Circom and SnarkJS
https://docs.circom.io/getting-started/proving-circuits/#verifying-from-a-smart-contract
--
Verifying from a Smart Contract
--
Write the Circuit in Circom
circom multiplier2.circom --r1cs --wasm --sym --c
generate_witness.js
snarkjs ceremony
snarkjs groth16 setup
snarkjs groth16 prove
snarkjs groth16 verify
snarkjs zkey contribute
snarkjs zkey export
snarkjs generate call