From 2703431b771a963882b3ac89eb0461d521b9386f Mon Sep 17 00:00:00 2001 From: poma Date: Fri, 17 Jan 2020 14:00:49 +0700 Subject: [PATCH] add verifier generation to test.sh --- phase2/test.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/phase2/test.sh b/phase2/test.sh index 70f937e..f24b886 100755 --- a/phase2/test.sh +++ b/phase2/test.sh @@ -25,7 +25,6 @@ cargo run --release --bin verify_contribution circuit.json circom3.params circom # generate resulting keys cargo run --release --bin export_keys circom4.params vk.json pk.json - # create dummy keys in circom format npx snarkjs setup --protocol groth # patch dummy keys with actual keys params @@ -33,6 +32,9 @@ cargo run --release --bin copy_json proving_key.json pk.json transformed_pk.json cargo run --release --bin copy_json verification_key.json vk.json transformed_vk.json node ./tools/patch_vk/patch_vk.js +# generate solidity verifier +cargo run --release --bin generate_verifier circom4.params verifier.sol + # try to generate and verify proof snarkjs calculatewitness cargo run --release --bin prove circuit.json witness.json circom4.params proof.json