feat: receive vk on deployment

Author: MarcosNicolau

examples/circom/circuits/circuit.circom

@@ -15,4 +15,4 @@ template Multiplier(n) {
     c <== int[n-1];
 }
 
-component main  {public [d]} = Multiplier(1000);
+component main = Multiplier(1000);

examples/circom/circuits/generate_proof.sh

@@ -2,34 +2,12 @@
 
 # Reference: https://github.com/iden3/snarkjs?tab=readme-ov-file#10-compile-the-circuit
 
-# 10. Compile the circuit
-circom --r1cs --wasm --c --sym --inspect circuit.circom
-# 11. View information about the circuit
-snarkjs r1cs info circuit.r1cs
-# 12. Print the constraints [omitted]
-# 13. Export r1cs to json
-snarkjs r1cs export json circuit.r1cs circuit.r1cs.json
-# 14. Calculate the witness
-snarkjs wtns calculate circuit_js/circuit.wasm input.json witness.wtns
-# 15. Setup. This generates the reference zkey without phase 2 contributions.
-#IMPORTANT: Do not use this zkey in production, as it's not safe. It requires at least one contribution.
-snarkjs groth16 setup circuit.r1cs pot14_final.ptau circuit_0000.zkey
-# 16. Contribute to the phase 2 ceremony
-snarkjs zkey contribute circuit_0000.zkey circuit_0001.zkey --name="1st Contributor Name" -v -e="Random entropy"
-# 17. Provide a second contribution
-snarkjs zkey contribute circuit_0001.zkey circuit_0002.zkey --name="Second contribution Name" -v -e="Another random entropy"
-# 18. Provide a third contribution using third-party software
-snarkjs zkey export bellman circuit_0002.zkey  challenge_phase2_0003
-snarkjs zkey bellman contribute bn128 challenge_phase2_0003 response_phase2_0003 -e="some random text"
-snarkjs zkey import bellman circuit_0002.zkey response_phase2_0003 circuit_0003.zkey -n="Third contribution name"
-# 19. Verify the latest zkey. Expected output: [INFO]  snarkJS: ZKey Ok!
-snarkjs zkey verify circuit.r1cs pot14_final.ptau circuit_0003.zkey
-# 20. Apply a random beacon
-snarkjs zkey beacon circuit_0003.zkey circuit_final.zkey 0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f 10 -n="Final Beacon phase2"
-# 21. Verify the final zkey. Expected output: [INFO]  snarkJS: ZKey Ok!
-snarkjs zkey verify circuit.r1cs pot14_final.ptau circuit_final.zkey
-# 22. Export the verification key
-snarkjs zkey export verificationkey circuit_final.zkey verification_key.json
+# cd to the directory of this script so that this can be run from anywhere
+parent_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" || exit 1 ; pwd -P )
+
+cd "$parent_path" || exit 1
+
+
 # 23a. Calculate the witness and generate the proof in one step
 snarkjs groth16 fullprove input.json circuit_js/circuit.wasm circuit_final.zkey proof.json public.json
 # 24. Verify the proof

examples/circom/circuits/generate_setup.sh

@@ -20,3 +20,31 @@ snarkjs powersoftau beacon pot14_0003.ptau pot14_beacon.ptau 0102030405060708090
 snarkjs powersoftau prepare phase2 pot14_beacon.ptau pot14_final.ptau -v
 # 8. Verify the final ptau. Expected output: [INFO]  snarkJS: Powers Of tau file OK!
 snarkjs powersoftau verify pot14_final.ptau
+# 10. Compile the circuit
+circom --r1cs --wasm --c --sym --inspect circuit.circom
+# 11. View information about the circuit
+snarkjs r1cs info circuit.r1cs
+# 12. Print the constraints [omitted]
+# 13. Export r1cs to json
+snarkjs r1cs export json circuit.r1cs circuit.r1cs.json
+# 14. Calculate the witness
+snarkjs wtns calculate circuit_js/circuit.wasm input.json witness.wtns
+# 15. Setup. This generates the reference zkey without phase 2 contributions.
+#IMPORTANT: Do not use this zkey in production, as it's not safe. It requires at least one contribution.
+snarkjs groth16 setup circuit.r1cs pot14_final.ptau circuit_0000.zkey
+# 16. Contribute to the phase 2 ceremony
+snarkjs zkey contribute circuit_0000.zkey circuit_0001.zkey --name="1st Contributor Name" -v -e="Random entropy"
+# 17. Provide a second contribution
+snarkjs zkey contribute circuit_0001.zkey circuit_0002.zkey --name="Second contribution Name" -v -e="Another random entropy"
+# 18. Provide a third contribution using third-party software
+snarkjs zkey export bellman circuit_0002.zkey  challenge_phase2_0003
+snarkjs zkey bellman contribute bn128 challenge_phase2_0003 response_phase2_0003 -e="some random text"
+snarkjs zkey import bellman circuit_0002.zkey response_phase2_0003 circuit_0003.zkey -n="Third contribution name"
+# 19. Verify the latest zkey. Expected output: [INFO]  snarkJS: ZKey Ok!
+snarkjs zkey verify circuit.r1cs pot14_final.ptau circuit_0003.zkey
+# 20. Apply a random beacon
+snarkjs zkey beacon circuit_0003.zkey circuit_final.zkey 0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f 10 -n="Final Beacon phase2"
+# 21. Verify the final zkey. Expected output: [INFO]  snarkJS: ZKey Ok!
+snarkjs zkey verify circuit.r1cs pot14_final.ptau circuit_final.zkey
+# 22. Export the verification key
+snarkjs zkey export verificationkey circuit_final.zkey verification_key.json

examples/circom/circuits/proof.json

@@ -0,0 +1,6 @@
+RPC_URL="http://127.0.0.1:8545"
+PRIVATE_KEY=0xac0974bec39a17e36ba4a6b4d238ff944bacb478cbed5efcae784d7bf4f2ff80
+ALIGNED_SERVICE_MANAGER_ADDRESS=0x1613beB3B2C4f22Ee086B2b38C1476A3cE7f78E8
+PAYMENT_SERVICE_ADDRESS=0x7969c5eD335650692Bc04293B07F5BF2e7A673C0 
+# generate it by running make generate_vk_commitment
+VK_COMMITMENT=<THE_GENERATED_VK_COMMITMENT> 

examples/circom/circuits/public.json

@@ -0,0 +1,37 @@
+#!/bin/bash
+
+# cd to the directory of this script so that this can be run from anywhere
+parent_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" || exit 1 ; pwd -P )
+
+cd "$parent_path" || exit 1
+
+if [ -z "$ALIGNED_SERVICE_MANAGER_ADDRESS" ]; then
+    echo "ALIGNED_SERVICE_MANAGER_ADDRESS is not set. Please set it in .env"
+    exit 1
+fi
+
+if [ -z "$PAYMENT_SERVICE_ADDRESS" ]; then
+    echo "PAYMENT_SERVICE_ADDRESS is not set. Please set it in .env"
+    exit 1
+fi
+
+if [ -z "$RPC_URL" ]; then
+    echo "RPC_URL is not set. Please set it in .env"
+    exit 1
+fi
+
+if [ -z "$PRIVATE_KEY" ]; then
+    echo "PRIVATE_KEY is not set. Please set it in .env"
+    exit 1
+fi
+
+forge install
+
+forge script script/FibonacciDeployer.s.sol \
+    "$ALIGNED_SERVICE_MANAGER_ADDRESS" \
+    "$PAYMENT_SERVICE_ADDRESS" \
+    "$VK_COMMITMENT" \
+    --rpc-url "$RPC_URL" \
+    --private-key "$PRIVATE_KEY" \
+    --broadcast \
+    --sig "run(address _alignedServiceManager,address _paymentServiceAddr)"

examples/circom/circuits/verification_key.json

@@ -5,15 +5,16 @@ contract FibonacciValidator {
     address public alignedServiceManager;
     address public paymentServiceAddr;
 
-    bytes32 public fibonacciProgramVk = 0xc91d23fc3b1d24ecb241fbd501162734584f7c9f15ee5c95c712419206797a61;
+    bytes32 public fibonacciProgramVk;
 
     error ProofVerificationFailed();
 
     uint256 fibonacciNumber = 0;
 
-    constructor(address _alignedServiceManager, address _paymentServiceAddr) {
+    constructor(address _alignedServiceManager, address _paymentServiceAddr, bytes32 programVk) {
         alignedServiceManager = _alignedServiceManager;
         paymentServiceAddr = _paymentServiceAddr;
+        fibonacciProgramVk = programVk;
     }
 
     function setNewNumber(