A sample for using Circom & SnarkJS to generate ZKP (Zero-knowledege proof) circuits and proving. Circom & SnarkJS generate r1cs/js/cpp codes which can be compiled and generate witnesses. All the generation process can be verfified online https://remix.ethereum.org.
circom multiplier2.circom --r1cs --wasm --sym --c