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