diff --git a/test-vectors/mycircuit.circom b/test-vectors/mycircuit.circom index 1ca4dae..59af90d 100644 --- a/test-vectors/mycircuit.circom +++ b/test-vectors/mycircuit.circom @@ -1,6 +1,8 @@ +pragma circom 2.1.0; + template Multiplier() { - signal private input a; - signal private input b; + signal input a; + signal input b; signal output c; c <== a*b; diff --git a/test-vectors/mycircuit.r1cs b/test-vectors/mycircuit.r1cs index 0aebe91..e61b9b0 100644 Binary files a/test-vectors/mycircuit.r1cs and b/test-vectors/mycircuit.r1cs differ diff --git a/test-vectors/mycircuit.sh b/test-vectors/mycircuit.sh new file mode 100755 index 0000000..3dcead0 --- /dev/null +++ b/test-vectors/mycircuit.sh @@ -0,0 +1,23 @@ +# 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 mycircuit.circom --r1cs --wasm + +FILE="powersOfTau28_hez_final_17.ptau" +if [ ! -f "$FILE" ]; then + echo "getting powers of tau" + curl -O https://storage.googleapis.com/zkevm/ptau/powersOfTau28_hez_final_17.ptau +else + echo "$FILE already exists" +fi + + +echo "zkey" +snarkjs zkey new mycircuit.r1cs powersOfTau28_hez_final_17.ptau test.zkey diff --git a/test-vectors/mycircuit.wasm b/test-vectors/mycircuit.wasm index 4a28f0c..ef5493a 100644 Binary files a/test-vectors/mycircuit.wasm and b/test-vectors/mycircuit.wasm differ diff --git a/test-vectors/test.zkey b/test-vectors/test.zkey index 882364e..22c9327 100644 Binary files a/test-vectors/test.zkey and b/test-vectors/test.zkey differ