.. complex-circuit calculatewitness.js circom2_multiplier2.r1cs circom2_multiplier2.wasm circuit2.circom circuit2.wasm input.json mycircuit-input1.json mycircuit-input2.json mycircuit-input3.json mycircuit-witness.json mycircuit.circom mycircuit.r1cs mycircuit.sym mycircuit.wasm nconstraints.circom package-lock.json proof.json prove.sh public.json safe-circuit-witness.json smtverifier10-input.json smtverifier10-witness.0.json smtverifier10-witness.json smtverifier10.wasm test.zkey verification_key.json witness.wtns witness_calculator.js