/ZK_Interactive_Tutorial

Primary LanguageTypeScriptMIT LicenseMIT

ZK_Interactive_Tutorial

image

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: