@@ -93,7 +93,7 @@ fn generate_verifier<F: FieldElement, W: std::io::Write>(
93
93
Ok ( ( ) )
94
94
}
95
95
96
- pub fn zkvm_evm_execute_and_prove ( task : & str , suite_json : String , output_path : & str ) -> Result < ( ) > {
96
+ pub fn zkvm_execute_and_prove ( task : & str , suite_json : String , output_path : & str ) -> Result < ( ) > {
97
97
log:: debug!( "Compiling Rust..." ) ;
98
98
let force_overwrite = true ;
99
99
let with_bootloader = true ;
@@ -156,7 +156,7 @@ pub fn zkvm_evm_execute_and_prove(task: &str, suite_json: String, output_path: &
156
156
Ok ( ( ) )
157
157
}
158
158
159
- pub fn zkvm_evm_generate_chunks (
159
+ pub fn zkvm_generate_chunks (
160
160
workspace : & str ,
161
161
suite_json : & String ,
162
162
output_path : & str ,
@@ -208,7 +208,7 @@ pub fn zkvm_evm_generate_chunks(
208
208
Ok ( bootloader_inputs)
209
209
}
210
210
211
- pub fn zkvm_evm_prove_only (
211
+ pub fn zkvm_prove_only (
212
212
task : & str ,
213
213
suite_json : & String ,
214
214
bootloader_input : Vec < GoldilocksField > ,
@@ -283,16 +283,16 @@ mod tests {
283
283
use num_traits:: identities:: Zero ;
284
284
use std:: io:: { Read , Write } ;
285
285
286
- // RUST_MIN_STACK=2073741821 RUST_LOG=debug proxychains nohup cargo test --release test_zkvm_evm_prove -- --nocapture &
286
+ // RUST_MIN_STACK=2073741821 RUST_LOG=debug proxychains nohup cargo test --release test_zkvm_prove -- --nocapture &
287
287
#[ test]
288
288
#[ ignore]
289
- fn test_zkvm_evm_prove ( ) {
289
+ fn test_zkvm_prove ( ) {
290
290
env_logger:: try_init ( ) . unwrap_or_default ( ) ;
291
291
//let test_file = "test-vectors/blockInfo.json";
292
292
let test_file = "test-vectors/solidityExample.json" ;
293
293
let suite_json = fs:: read_to_string ( test_file) . unwrap ( ) ;
294
294
295
- zkvm_evm_execute_and_prove ( "evm" , suite_json, "/tmp/test_evm" ) . unwrap ( ) ;
295
+ zkvm_execute_and_prove ( "evm" , suite_json, "/tmp/test_evm" ) . unwrap ( ) ;
296
296
}
297
297
298
298
#[ test]
@@ -303,7 +303,7 @@ mod tests {
303
303
let test_file = "test-vectors/solidityExample.json" ;
304
304
let suite_json = fs:: read_to_string ( test_file) . unwrap ( ) ;
305
305
306
- zkvm_evm_execute_and_prove ( "lr" , suite_json, "/tmp/test_lr" ) . unwrap ( ) ;
306
+ zkvm_execute_and_prove ( "lr" , suite_json, "/tmp/test_lr" ) . unwrap ( ) ;
307
307
}
308
308
309
309
#[ test]
@@ -318,7 +318,7 @@ mod tests {
318
318
let task = "lr" ;
319
319
let workspace = format ! ( "program/{}" , task) ;
320
320
let bootloader_inputs =
321
- zkvm_evm_generate_chunks ( workspace. as_str ( ) , & suite_json, output_path) . unwrap ( ) ;
321
+ zkvm_generate_chunks ( workspace. as_str ( ) , & suite_json, output_path) . unwrap ( ) ;
322
322
// save the chunks
323
323
let bi_files: Vec < _ > = ( 0 ..bootloader_inputs. len ( ) )
324
324
. map ( |i| Path :: new ( output_path) . join ( format ! ( "{task}_chunks_{i}.data" ) ) )
@@ -346,7 +346,7 @@ mod tests {
346
346
* out = GoldilocksField :: from_bytes_le ( bin) ;
347
347
} ) ;
348
348
349
- zkvm_evm_prove_only ( task, & suite_json, bi, i, output_path) . unwrap ( ) ;
349
+ zkvm_prove_only ( task, & suite_json, bi, i, output_path) . unwrap ( ) ;
350
350
} ) ;
351
351
}
352
352
}
0 commit comments