#!/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
node ./tools/patch_vk/patch_vk.js

# try to generate and verify proof
snarkjs calculatewitness
cargo run --release --bin prove circuit.json witness.json circom4.params proof.json
snarkjs verify --vk patched_transformed_vk.json --proof proof.json