docs: add circom verifier

Author: JuArce

docs/2_architecture/0_supported_verifiers.md

@@ -8,7 +8,7 @@ The following is the list of the verifiers currently supported by Aligned:
 - :white_check_mark: gnark - Plonk (with BN254 and BLS12-381) [(v0.12.0)](https://github.com/Consensys/gnark/releases/tag/v0.12.0)
 - :white_check_mark: SP1 [(v5.0.0)](https://github.com/succinctlabs/sp1/releases/tag/v5.0.0)
 - :white_check_mark: Risc0 [(v2.0.0)](https://github.com/risc0/risc0/releases/tag/v2.0.0)
-- 🏗️ Circom
+- :white_check_mark: Circom [(v2.2.2)](https://github.com/iden3/circom/releases/tag/v2.2.2)
 - 🏗️ Lambdaworks
 - 🏗️ Kimchi
 

docs/3_guides/0_submitting_proofs.md

@@ -14,6 +14,7 @@ The following is the list of the verifiers currently supported by Aligned:
 - :white_check_mark: gnark - Plonk (with BN254 and BLS12-381) [(v0.12.0)](https://github.com/Consensys/gnark/releases/tag/v0.12.0)
 - :white_check_mark: SP1 [(v5.0.0)](https://github.com/succinctlabs/sp1/releases/tag/v5.0.0)
 - :white_check_mark: Risc0 [(v2.0.0)](https://github.com/risc0/risc0/releases/tag/v2.0.0)
+- :white_check_mark: Circom [(v2.2.2)](https://github.com/iden3/circom/releases/tag/v2.2.2)
 
 Learn more about future verifiers [here](../2_architecture/0_supported_verifiers.md).
 
@@ -254,3 +255,34 @@ aligned submit \
 --network holesky \
 --rpc_url https://ethereum-holesky-rpc.publicnode.com
 ```
+
+### CircomGroth16Bn128
+
+The CircomGroth16Bn128 proof needs the proof file, the public input file and the verification key file.
+
+```bash
+rm -rf ./aligned_verification_data/ &&
+aligned submit \
+--proving_system CircomGroth16Bn128 \
+--proof <proof_file> \
+--public_input <public_input_file> \
+--vk <verification_key_file> \
+--proof_generator_addr [proof_generator_addr] \
+--batch_inclusion_data_directory_path [batch_inclusion_data_directory_path] \
+--keystore_path <path_to_ecdsa_keystore> \
+--network holesky \
+--rpc_url https://ethereum-holesky-rpc.publicnode.com
+```
+**Example**
+
+```bash
+rm -rf ./aligned_verification_data/ &&
+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 \
+--keystore_path ~/.aligned_keystore/keystore0 \
+--network holesky \
+--rpc_url https://ethereum-holesky-rpc.publicnode.com
+```

docs/3_guides/9_aligned_cli.md

@@ -58,7 +58,7 @@ Submit a proof to the Aligned Layer batcher.
   - Holesky: `https://ethereum-holesky-rpc.publicnode.com`
   - Also, you can use your own Ethereum RPC providers.
 - `--proving_system <proving_system>`: Proof system of the submitted proof  
-  - Possible values: `GnarkPlonkBls12_381`, `GnarkPlonkBn254`, `Groth16Bn254`, `SP1`, `Risc0`
+  - Possible values: `GnarkPlonkBls12_381`, `GnarkPlonkBn254`, `Groth16Bn254`, `SP1`, `Risc0`, `CircomGroth16Bn128`
 - `--proof <proof_file_path>`: Path to the proof file.
 - `--public_input <public_input_file_path>`: Path to the public input file.
 - `--vk <verification_key_file_path>`: Path to the verification key file (required for specific proof systems).