Miyamura80 / ZK_Interactive_Tutorial

ZK_Interactive_Tutorial

Updating the circom circuits

1. (From circuits) circom linear_dot.circom --r1cs --wasm --sym -o build
2. (From circuits) snarkjs plonk setup build/simple_multiplier.r1cs ptau/powersOfTau28_hez_final_08.ptau build/proving_key.zkey
3. (From project root:) snarkjs zkey export solidityverifier circuits/build/proving_key.zkey contracts/src/PlonkVerifier.sol

Sources:

• https://medium.com/coinmonks/zk-poker-a-simple-zk-snark-circuit-8ec8d0c5ee52