40 lines
1.5 KiB
Bash
Executable File
40 lines
1.5 KiB
Bash
Executable File
#!/bin/sh
|
|
|
|
rm -f pk.json vk.json transformed_vk.json transformed_pk.* proof.json
|
|
|
|
set -e
|
|
|
|
# move results of powers of tau here
|
|
cp ../powersoftau/phase1radix* .
|
|
|
|
# compile circuit
|
|
npx circom circuit.circom -o circuit.json && npx snarkjs info -c circuit.json
|
|
# npx snarkjs info -c circuit.json
|
|
|
|
# initialize ceremony
|
|
cargo run --release --bin new circuit.json circom1.params
|
|
|
|
cargo run --release --bin contribute circom1.params circom2.params asdajdzixcjlzxjczxlkcjzxlkcj
|
|
cargo run --release --bin verify_contribution circuit.json circom1.params circom2.params
|
|
|
|
cargo run --release --bin contribute circom2.params circom3.params dsfjkshdfakjhsdf
|
|
cargo run --release --bin verify_contribution circuit.json circom2.params circom3.params
|
|
|
|
cargo run --release --bin contribute circom3.params circom4.params askldfjklasdf
|
|
cargo run --release --bin verify_contribution circuit.json circom3.params circom4.params
|
|
|
|
# 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
|
|
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
|
|
|
|
# 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
|
|
snarkjs verify --vk transformed_vk.json --proof proof.json |