Feat: recursion v2

.github/PULL_REQUEST_TEMPLATE.md

@@ -8,7 +8,7 @@
 
 ## Change Highlights
 
-<!-- Briefly list the key changes by crate/module (for example: ceno_zkvm, ceno_emul, ceno_recursion, docs). -->
+<!-- Briefly list the key changes by crate/module (for example: ceno_zkvm, ceno_emul, ceno_recursion_v2, docs). -->
 
 ## Benchmark / Performance Impact
 

.github/copilot-instructions.md

@@ -10,7 +10,7 @@ These instructions apply only to pull request or diff review tasks in this repos
 
 ## Repository context
 
-- Workspace: multi-crate Rust workspace (for example `ceno_zkvm`, `ceno_emul`, `ceno_recursion`, `ceno_cli`, `examples`).
+- Workspace: multi-crate Rust workspace (for example `ceno_zkvm`, `ceno_emul`, `ceno_recursion_v2`, `ceno_cli`, `examples`).
 - Toolchain: `nightly-2025-11-20` (see `rust-toolchain.toml`).
 - CI expectations (see `.github/workflows/`):
   - `cargo fmt --all --check`

.github/pr-review-checklist.md

@@ -15,7 +15,7 @@ just fails to produce a valid proof — a liveness failure. Scrutinize
 verifier-side edits more than prover-side edits, and treat any edit to
 verifier code as the highest-scrutiny change in the repo.
 
-"Verifier code" includes the **recursive verifier** in `ceno_recursion/`.
+"Verifier code" includes the **recursive verifier** in `ceno_recursion_v2/`.
 Recursion compresses many shard proofs into a single smaller proof by
 running a verifier inside another proof, so a bug there can silently
 pass invalid inner proofs through the compressed proof. Same scrutiny

.github/workflows/integration.yml

@@ -186,11 +186,11 @@ jobs:
           RUSTFLAGS: "-C opt-level=3"
         run: cargo run --release --package ceno_zkvm --bin e2e -- --platform=ceno examples/target/riscv32im-ceno-zkvm-elf/release/examples/sha_extend_syscall
 
-      #      - name: Run aggregation e2e
-      #        env:
-      #          RUSTFLAGS: "-C opt-level=3"
-      #        run: |
-      #          cargo run --release --package ceno_recursion --bin e2e_aggregate -- --platform=ceno --max-cycle-per-shard=1600 examples/target/riscv32im-ceno-zkvm-elf/release/examples/keccak_syscall
+      - name: Run recursion v2 aggregation e2e
+        env:
+          RUSTFLAGS: "-C opt-level=3"
+          RUST_MIN_STACK: "33554432"
+        run: cargo run --release --package ceno_recursion_v2 --bin e2e_aggregate -- --platform=ceno --max-cycle-per-shard=1600 examples/target/riscv32im-ceno-zkvm-elf/release/examples/keccak_syscall
 
       - name: Install cargo make
         run: |

.github/workflows/tests.yml

@@ -54,17 +54,11 @@ jobs:
         run: |
           cargo make --version || cargo install cargo-make
 
-      #      - name: Run aggregation tests
+      #      - name: Run recursion v2 aggregation tests
       #        env:
       #          RUSTFLAGS: "" # cleanup RUSTFLAGS and avoid target-cpu=native
-      #        run: |
-      #          cargo run --release --package ceno_zkvm --bin e2e -- \
-      #            --platform=ceno --max-cycle-per-shard=1600 \
-      #            examples/target/riscv32im-ceno-zkvm-elf/release/examples/keccak_syscall
-      #          mkdir -p ceno_recursion/src/imported
-      #          mv proof.bin ceno_recursion/src/imported/
-      #          mv vk.bin ceno_recursion/src/imported/
-      #          cargo test --release --package ceno_recursion --tests -- --ignored
+      #          RUST_MIN_STACK: "33554432"
+      #        run: bash ceno_recursion_v2/scripts/run_e2e_test.sh
 
       - name: run test
         env:

CLAUDE.md

@@ -18,7 +18,7 @@ Main crates in this repo:
 - `gkr_iop/` — local GKR circuit framework: `Chip`, `Layer`, zerocheck /
   sumcheck / linear layer provers, CPU and GPU backends. 
 - `ceno_emul/` — RISC-V emulator (produces traces for the prover).
-- `ceno_recursion/` — recursive proof aggregation stack. Compresses
+- `ceno_recursion_v2/` — recursive proof aggregation stack. Compresses
   shard proofs by running a verifier inside another proof; treat as
   verifier code for soundness purposes. **Must stay in lockstep with
   the native Rust verifier** — any protocol-level change on one side
@@ -91,7 +91,7 @@ surface. See `docs/src/technical-overview.md` for the long form.
 
 ## What to prioritize when editing
 
-Verifier code — including the recursive verifier in `ceno_recursion/`
+Verifier code — including the recursive verifier in `ceno_recursion_v2/`
 — is the highest-scrutiny surface in the repo. Spend more thinking
 time per line there than anywhere else; prefer a slow, explicit edit
 over a clever one.