7 | This is an app aggregating {total} ECDSA signatures - {iteration_count} folding steps, {per_iteration_count} signatures per step - over secp/secq using Nova. You can test it to generate and subsequently verify a compressed Nova SNARK.
8 |
9 | Read here on how to leverage Nova within your zk app.
10 | And here on how we did this along with some benchmarks.
11 |
Currently desktop only!
40 | : 41 | <> 42 |Generate Public Parameters:
35 | { 36 | isGenerating ? 37 |Generating...
38 | : 39 | data ? 40 |{formatForDisplay(`${data}`)}
42 |Generation time: {formatTime(time)}s
43 |Generate Proof:
55 | { 56 | isGenerating ? 57 |Generating...
58 | : 59 | data ? 60 | <> 61 |{formatForDisplay(`${data}`)}
62 |Generation time: {formatTime(time)}s
63 |(~ {(300 / (time / 1000)).toFixed(2)} signatures/second, including compressed SPARTAN proof generation.)
64 | 65 | : 66 | 67 | } 68 |Verify Proof:
76 | { 77 | isGenerating ? 78 |Verifying...
79 | : 80 | data != undefined ? 81 | <> 82 |Verified as: {`${data}`}
83 |Verification time: {formatTime(time)}s
84 | 85 | : 86 | 87 | } 88 | 89 | 90 | ) 91 | } 92 | -------------------------------------------------------------------------------- /nova-ecdsa/src/main.rs: -------------------------------------------------------------------------------- 1 | use std::{collections::HashMap, env::current_dir, time::{Instant, Duration}}; 2 | 3 | use nova_scotia::{ 4 | circom::reader::load_r1cs, create_public_params, create_recursive_circuit, FileLocation, 5 | F1, G2 6 | }; 7 | use ff::PrimeField; 8 | use nova_snark::traits::Group; 9 | use serde::{Deserialize, Serialize}; 10 | use serde_json::json; 11 | 12 | #[derive(Serialize, Deserialize)] 13 | #[allow(non_snake_case)] 14 | struct EffSig { 15 | start_pub_input: [String; 7], 16 | signatures: Vec<[String; 7]>, 17 | } 18 | 19 | fn run(per_iteration_count: usize, r1cs_path: String, wasm_path: String) -> (Duration, Duration) { 20 | 21 | let root = current_dir().unwrap(); 22 | let circuit_file = root.join(r1cs_path); 23 | let r1cs = load_r1cs(&FileLocation::PathBuf(circuit_file)); 24 | let witness_generator_wasm = root.join(wasm_path); 25 | let sigs: EffSig = serde_json::from_str(include_str!("data/batch.json")) 26 | .unwrap(); 27 | let start_public_input = vec![ 28 | F1::from_str_vartime(&sigs.start_pub_input[0]).unwrap(), 29 | F1::from_str_vartime(&sigs.start_pub_input[1]).unwrap(), 30 | F1::from_str_vartime(&sigs.start_pub_input[2]).unwrap(), 31 | F1::from_str_vartime(&sigs.start_pub_input[3]).unwrap(), 32 | F1::from_str_vartime(&sigs.start_pub_input[4]).unwrap(), 33 | F1::from_str_vartime(&sigs.start_pub_input[5]).unwrap(), 34 | F1::from_str_vartime(&sigs.start_pub_input[6]).unwrap(), 35 | ]; 36 | 37 | let mut private_inputs = Vec::new(); 38 | let n_sigs = sigs.signatures.len(); 39 | println!("n_sigs: {}", n_sigs); 40 | let iteration_count = n_sigs / per_iteration_count; 41 | for i in 0..iteration_count { 42 | let mut private_input = HashMap::new(); 43 | private_input.insert( 44 | "signatures".to_string(), 45 | json!( 46 | sigs.signatures 47 | [i * per_iteration_count..i * per_iteration_count + per_iteration_count] 48 | ), 49 | ); 50 | private_inputs.push(private_input); 51 | } 52 | let pp = create_public_params(r1cs.clone()); 53 | println!("Creating a RecursiveSNARK..."); 54 | let start = Instant::now(); 55 | let recursive_snark = create_recursive_circuit( 56 | FileLocation::PathBuf(witness_generator_wasm), 57 | r1cs, 58 | private_inputs, 59 | start_public_input.clone(), 60 | &pp, 61 | ) 62 | .unwrap(); 63 | let prover_time = start.elapsed(); 64 | println!("RecursiveSNARK creation took {:?}", start.elapsed()); 65 | 66 | let z0_secondary = vec![