docs: add guide to run SNARK tests

Author: jpraynaud

RUN-IVC-SNARK-TESTS.md

@@ -0,0 +1,93 @@
+# Running SNARK Proofs Tests
+
+This guide walks you through running SNARK proof tests for Mithril, covering both unit tests and the full end-to-end test suite.
+
+## Prerequisites
+
+- **Operating System**: Linux (Ubuntu 24.04 or later)
+- **Rust toolchain**: latest stable version
+- **Hardware Requirements**: At least 32GB (64GB recommended) of RAM and 16 CPU cores for optimal performance. If you computer has less CPU cores, you will need to adjust the `cardano-epoch-length` by the ratio of your CPU cores to 16. For example, if you have 8 CPU cores, double the `cardano-epoch-length`.
+
+## Getting Started
+
+Clone the Mithril repository:
+
+```bash
+git clone git@github.com:input-output-hk/mithril.git
+cd mithril
+```
+
+### Branch Setup
+
+Switch to the dedicated SNARK end-to-end test branch:
+
+```bash
+git switch jpraynaud/3142-ivc-snark-e2e-tests
+```
+
+## Unit Tests
+
+Run the full workspace unit tests with the `future_snark` feature enabled:
+
+```bash
+cargo test --all-features --features future_snark
+```
+
+## End-to-End Test
+
+### Working Directory Configuration
+
+> **Important**: The working directory path must be kept short because the Cardano node uses local socket files with path length limitations. Use an absolute path such as the example below. **Do not** use `.` as the working directory, this could delete your entire repository.
+
+Set the working directory environment variable:
+
+```bash
+WORK_DIRECTORY=~/Desktop/mithril/artifacts
+```
+
+### Running the Test
+
+The following command compiles all required nodes and runs the end-to-end test with SNARK proofs. Expect the full process to take approximately **100 minutes** on the recommended hardware configuration(otherwise the time will be multiplied by the ratio of your CPU cores to 16):
+
+```bash
+cargo build --release --features future_snark \
+  -p mithril-aggregator \
+  -p mithril-signer \
+  -p mithril-client-cli \
+  -p mithril-relay \
+  -p mithril-end-to-end \
+&& RUST_BACKTRACE=1 ./target/release/mithril-end-to-end -vvvv \
+  --bin-directory ./target/release/ \
+  --work-directory=$WORK_DIRECTORY \
+  --devnet-scripts-directory=./mithril-test-lab/mithril-devnet \
+  --cardano-node-version=11.0.1 \
+  --mithril-era=lagrange \
+  --aggregate-signature-type IvcSnark \
+  --cardano-slot-length 1.0 \
+  --cardano-epoch-length 1200 \
+  --mithril-run-interval 60000 \
+  minimal \
+  --signed-entity-type CardanoStakeDistribution
+```
+
+## Explorer
+
+In a separate terminal, you can run the explorer to visualize the devnet by switching to the `mithril-explorer` directory:
+
+```bash
+cd mithril-explorer
+```
+
+Then build the WASM client with the `future_snark` feature enabled:
+
+```bash
+WASM_PACK_ARGS="-- --features future_snark" make -C ../mithril-client-wasm build
+```
+
+Then, run the development server:
+
+```bash
+make dev
+```
+
+Open [http://localhost:3000/explorer/?aggregator=https%3A%2F%2Faggregator.dev-follower-preview.api.mithril.network%2Faggregator](http://localhost:3000/explorer/?aggregator=https%3A%2F%2Faggregator.dev-follower-preview.api.mithril.network%2Faggregator) with your browser to see the result.