From 215d7bf3103d538598d65f6b19ceaec70916ef6f Mon Sep 17 00:00:00 2001
From: Marcos Nicolau <marcosnicolau@lambdaclass.com>
Date: Wed, 28 Jan 2026 11:50:31 -0300
Subject: [PATCH] docs: add mina verifiers in supported verifiers + example

---
 docs/2_architecture/0_supported_verifiers.md |  2 +
 docs/3_guides/0_submitting_proofs.md         | 76 ++++++++++++++++++++
 2 files changed, 78 insertions(+)

diff --git a/docs/2_architecture/0_supported_verifiers.md b/docs/2_architecture/0_supported_verifiers.md
index 54c754bce3..729473d3a4 100644
--- a/docs/2_architecture/0_supported_verifiers.md
+++ b/docs/2_architecture/0_supported_verifiers.md
@@ -9,6 +9,8 @@ The following is the list of the verifiers currently supported by Aligned:
 - :white_check_mark: SP1 [(v5.0.0)](https://github.com/succinctlabs/sp1/releases/tag/v5.0.0)
 - :white_check_mark: Risc0 [(v3.0.3)](https://github.com/risc0/risc0/releases/tag/v3.0.3). Previous versions are also compatible.
 - :white_check_mark: Circom [(v2.2.2)](https://github.com/iden3/circom/releases/tag/v2.2.2)
+- :white_check_mark: Mina (Testnet only - Sepolia, Hoodi)
+- :white_check_mark: Mina Account (Testnet only - Sepolia, Hoodi)
 - 🏗️ Lambdaworks
 - 🏗️ Kimchi
 
diff --git a/docs/3_guides/0_submitting_proofs.md b/docs/3_guides/0_submitting_proofs.md
index 31b38f8d61..18aa1f9b19 100644
--- a/docs/3_guides/0_submitting_proofs.md
+++ b/docs/3_guides/0_submitting_proofs.md
@@ -15,6 +15,8 @@ The following is the list of the verifiers currently supported by Aligned:
 - :white_check_mark: SP1 [(v5.0.0)](https://github.com/succinctlabs/sp1/releases/tag/v5.0.0)
 - :white_check_mark: Risc0 [(v3.0.3)](https://github.com/risc0/risc0/releases/tag/v3.0.3). Previous versions are also compatible. 
 - :white_check_mark: Circom [(v2.2.2)](https://github.com/iden3/circom/releases/tag/v2.2.2)
+- :white_check_mark: Mina (Testnet only - Sepolia, Hoodi)
+- :white_check_mark: Mina Account (Testnet only - Sepolia, Hoodi)
 
 Learn more about future verifiers [here](../2_architecture/0_supported_verifiers.md).
 
@@ -288,3 +290,77 @@ aligned submit \
 --network hoodi \
 --rpc_url https://ethereum-hoodi-rpc.publicnode.com
 ```
+
+### Mina proof
+
+{% hint style="warning" %}
+Mina proofs are only available on testnets (Sepolia, Hoodi). To use this verifier, you need to checkout to the `staging` branch:
+```bash
+git checkout staging
+```
+{% endhint %}
+
+The Mina proof needs the proof file and the public input file.
+
+```bash
+rm -rf ./aligned_verification_data/ &&
+aligned submit \
+--proving_system Mina \
+--proof <proof_file> \
+--public_input <public_input_file> \
+--proof_generator_addr [proof_generator_addr] \
+--batch_inclusion_data_directory_path [batch_inclusion_data_directory_path] \
+--keystore_path <path_to_ecdsa_keystore> \
+--network hoodi \
+--rpc_url https://ethereum-hoodi-rpc.publicnode.com
+```
+
+**Example**
+
+```bash
+rm -rf ./aligned_verification_data/ &&
+aligned submit \
+--proving_system Mina \
+--proof ./scripts/test_files/mina/devnet_mina_state.proof \
+--public_input ./scripts/test_files/mina/devnet_mina_state.pub \
+--keystore_path ~/.aligned_keystore/keystore0 \
+--network hoodi \
+--rpc_url https://ethereum-hoodi-rpc.publicnode.com
+```
+
+### MinaAccount proof
+
+{% hint style="warning" %}
+MinaAccount proofs are only available on testnets (Sepolia, Hoodi). To use this verifier, you need to checkout to the `staging` branch:
+```bash
+git checkout staging
+```
+{% endhint %}
+
+The MinaAccount proof needs the proof file and the public input file.
+
+```bash
+rm -rf ./aligned_verification_data/ &&
+aligned submit \
+--proving_system MinaAccount \
+--proof <proof_file> \
+--public_input <public_input_file> \
+--proof_generator_addr [proof_generator_addr] \
+--batch_inclusion_data_directory_path [batch_inclusion_data_directory_path] \
+--keystore_path <path_to_ecdsa_keystore> \
+--network hoodi \
+--rpc_url https://ethereum-hoodi-rpc.publicnode.com
+```
+
+**Example**
+
+```bash
+rm -rf ./aligned_verification_data/ &&
+aligned submit \
+--proving_system MinaAccount \
+--proof ./scripts/test_files/mina_account/mina_account.proof \
+--public_input ./scripts/test_files/mina_account/mina_account.pub \
+--keystore_path ~/.aligned_keystore/keystore0 \
+--network hoodi \
+--rpc_url https://ethereum-hoodi-rpc.publicnode.com
+```