You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
# run from within test-vectors dir DIR="test-vectors" if [ ! -d "$DIR" ]; then echo "Directory $DIR does not exist. Please ensure you are running this script from the correct location." exit 1 fi
cd "$DIR"
echo "compiling" circom circuit2.circom --wasm
node circuit2_js/generate_witness.js circuit2_js/circuit2.wasm mycircuit-input1.json circuit2_js/witness.wtns
snarkjs wej circuit2_js/witness.wtns safe-circuit-witness.json
|