feat: add scripts to generate and send circom proofs

Author: JuArce

Makefile

@@ -653,6 +653,29 @@ batcher_send_groth16_bn254_infinite: crates/target/release/aligned ## Send a dif
 	@mkdir -p scripts/test_files/gnark_groth16_bn254_infinite_script/infinite_proofs
 	@./crates/cli/send_burst_tasks.sh $(BURST_SIZE) $(START_COUNTER)
 
+batcher_send_circom_groth16_bn128_task: crates/target/release/aligned ## Send a Circom Groth16 BN128 proof to Batcher. Parameters: RPC_URL, NETWORK
+	@echo "Sending Circom Groth16 BN128 proof to Batcher..."
+	@cd crates/cli/ && cargo run --release -- submit \
+		--proving_system CircomGroth16Bn128 \
+		--proof ../../scripts/test_files/circom_groth16_bn128_script/proof.json \
+		--public_input ../../scripts/test_files/circom_groth16_bn128_script/public.json \
+		--vk ../../scripts/test_files/circom_groth16_bn128_script/verification_key.json \
+		--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
+		--rpc_url $(RPC_URL) \
+		--network $(NETWORK)
+
+batcher_send_circom_groth16_bn128_burst: crates/target/release/aligned ## Send a burst of Circom Groth16 BN128 proofs to Batcher. Parameters: RPC_URL, NETWORK, BURST_SIZE
+	@echo "Sending Circom Groth16 BN128 proof to Batcher..."
+	@cd crates/cli/ && cargo run --release -- submit \
+		--proving_system CircomGroth16Bn128 \
+		--proof ../../scripts/test_files/circom_groth16_bn128_script/proof.json \
+		--public_input ../../scripts/test_files/circom_groth16_bn128_script/public.json \
+		--vk ../../scripts/test_files/circom_groth16_bn128_script/verification_key.json \
+		--proof_generator_addr 0x66f9664f97F2b50F62D13eA064982f936dE76657 \
+		--repetitions $(BURST_SIZE) \
+		--rpc_url $(RPC_URL) \
+		--network $(NETWORK)
+
 batcher_send_proof_with_random_address: ## Send a proof with a random address to Batcher. Parameters: RPC_URL, NETWORK, PROOF_TYPE, REPETITIONS
 	@cd crates/cli/ && ./send_proof_with_random_address.sh
 
@@ -762,6 +785,13 @@ generate_gnark_groth16_bn254_ineq_proof: ## Run the gnark_plonk_bn254_script
 	@echo "Running gnark_groth_bn254_ineq script..."
 	@go run scripts/test_files/gnark_groth16_bn254_infinite_script/cmd/main.go 1
 
+generate_circom_groth16_bn128_proof: ## Run the circom_groth16_bn128_script
+	@echo "Running circom_groth16_bn128 script..."
+	@cd scripts/test_files/circom_groth16_bn128_script && ./generate_proof.sh
+
+generate_circom_groth16_bn128_setup: ## Run the circom_groth16_bn128_script setup
+	@echo "Running circom_groth16_bn128 script setup..."
+	@cd scripts/test_files/circom_groth16_bn128_script && ./generate_setup.sh
 
 __CONTRACTS_DEPLOYMENT__: ## ____
 deploy_aligned_contracts: ## Deploy Aligned Contracts. Parameters: NETWORK=<mainnet|holesky|sepolia>

crates/cli/send_proof_with_random_address.sh

@@ -1,7 +1,7 @@
 #!/bin/bash
 
 # Params:
-# PROOF_TYPE = sp1|groth16|plonk|risc0  (default sp1)
+# PROOF_TYPE = sp1|groth16|plonk|risc0|circom  (default sp1)
 # RPC_URL (default localhost:8545)
 # NETWORK   devnet|holesky-stage|holesky
 # REPETITIONS (default 1)
@@ -18,7 +18,7 @@ fi
 
 if [ -z $PROOF_TYPE ]; then
     echo "Proof type not provided, using SP1 default"
-    PROOF_TYPE="sp1" #sp1|groth16|plonk|risc0
+    PROOF_TYPE="sp1" #sp1|groth16|plonk|risc0|circom
 fi
 
 if [ -z $REPETITIONS ]; then
@@ -34,8 +34,8 @@ if [[ $PROOF_TYPE == "sp1" ]]; then
 		--proving_system SP1 \
 		--proof ../../scripts/test_files/sp1/sp1_fibonacci_5_0_0.proof \
 		--vm_program ../../scripts/test_files/sp1/sp1_fibonacci_5_0_0.elf \
-        --random_address \
-        --repetitions $REPETITIONS \
+    --random_address \
+    --repetitions $REPETITIONS \
 		--rpc_url $RPC_URL \
 		--network $NETWORK
 
@@ -45,8 +45,8 @@ elif [[ $PROOF_TYPE == "groth16" ]]; then
 		--proof ../../scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.proof \
 		--public_input ../../scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.pub \
 		--vk ../../scripts/test_files/gnark_groth16_bn254_script/groth16_0_12_0.vk \
-        --random_address \
-        --repetitions $REPETITIONS \
+    --random_address \
+    --repetitions $REPETITIONS \
 		--rpc_url $RPC_URL \
 		--network $NETWORK
 
@@ -57,21 +57,32 @@ elif [[ $PROOF_TYPE == "plonk" ]]; then
 		--public_input ../../scripts/test_files/gnark_plonk_bn254_script/plonk_pub_input_0_12_0.pub \
 		--vk ../../scripts/test_files/gnark_plonk_bn254_script/plonk_0_12_0.vk \
 		--random_address \
-        --repetitions $REPETITIONS \
+    --repetitions $REPETITIONS \
 		--rpc_url $RPC_URL \
 		--network $NETWORK
 
 elif [[ $PROOF_TYPE == "risc0" ]]; then
 	aligned submit \
 		--proving_system Risc0 \
 		--proof ../../scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_0.proof \
-        --vm_program ../../scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id_2_0.bin \
-        --public_input ../../scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_0.pub \
+    --vm_program ../../scripts/test_files/risc_zero/fibonacci_proof_generator/fibonacci_id_2_0.bin \
+    --public_input ../../scripts/test_files/risc_zero/fibonacci_proof_generator/risc_zero_fibonacci_2_0.pub \
 		--random_address \
-        --repetitions $REPETITIONS \
+    --repetitions $REPETITIONS \
 		--rpc_url $RPC_URL \
 		--network $NETWORK
 
+elif [[ $PROOF_TYPE == "circom" ]]; then
+    aligned submit \
+    --proving_system CircomGroth16Bn128 \
+    --proof ../../scripts/test_files/circom_groth16_bn128_script/proof.json \
+    --public_input ../../scripts/test_files/circom_groth16_bn128_script/public.json \
+    --vk ../../scripts/test_files/circom_groth16_bn128_script/verification_key.json \
+    --random_address \
+    --repetitions $REPETITIONS \
+    --rpc_url $RPC_URL \
+    --network $NETWORK
+
 else
     echo "Incorrect proof type provided $1"
     exit 1

scripts/test_files/README.md

@@ -32,7 +32,10 @@ make generate_gnark_plonk_bn254_proof
 make generate_gnark_plonk_bls12_381_proof
 ```
 
+## Generate Circom Groth16 BN128 Proof
 
+```bash
+make generate_circom_groth16_bn128_proof
+```
 
-
-
+You can find more details about Circom in [./circom_groth16_bn128_script/README.md](./circom_groth16_bn128_script/README.md).

scripts/test_files/circom_groth16_bn128_script/README.md

@@ -0,0 +1,43 @@
+# Circom
+
+# Circom Groth16 BN128 Script
+
+The proof contained here is generated using the steps from [snarkjs repository](https://github.com/iden3/snarkjs) guide.
+
+The example uses the following dependencies versions:
+
+- Node version `v22.16.0`
+- Circom version `2.2.2`
+- Snarkjs version `0.7.5`
+
+You can find how to install all dependencies in the snarkjs repository.
+
+## Powers Of Tau Setup
+
+You can run the following command from the repository root to create the setup:
+
+```bash
+make generate_circom_groth16_bn128_setup
+```
+
+## Generate the Circuit
+
+You can modify `circuit.circom` and `input.json` files to create your own circuit and input.
+
+## Generate the Proof
+
+You can run the following command from the repository root to generate the proof:
+
+```bash
+make generate_circom_groth16_bn128_proof
+```
+
+This will generate the following files `proof.json`, `public.json`, and `verification_key.json` that can be sent to Aligned.
+
+## Send the Proof to Aligned
+
+You can run the following command from the repository root to send the proof to Aligned:
+
+```bash
+make batcher_send_circom_groth16_bn128_task
+```

scripts/test_files/circom_groth16_bn128_script/challenge_0003

@@ -0,0 +1,18 @@
+pragma circom 2.0.0;
+
+template Multiplier(n) {
+    signal input a;
+    signal input b;
+    signal output c;
+
+    signal int[n];
+
+    int[0] <== a*a + b;
+    for (var i=1; i<n; i++) {
+        int[i] <== int[i-1]*int[i-1] + b;
+    }
+
+    c <== int[n-1];
+}
+
+component main = Multiplier(1000);