Repository navigation

recursion: supply DECODE/page commitments via private input; bind them to the inner ELF via a program_id fold - #782

Merged

MauroToscano merged 9 commits into

mainfrom

fix/recursion-precomputed-pages

Jul 14, 2026

Merged

recursion: supply DECODE/page commitments via private input; bind them to the inner ELF via a program_id fold#782
MauroToscano merged 9 commits into
mainfrom
fix/recursion-precomputed-pages

Commits on Jul 8, 2026
- feat(recursion): pass DECODE/page commitments via private input, commit elf identity
  Oppen
  committed
  fe26ffd
- fix(recursion): bind supplied DECODE/page roots to inner ELF via program_id
  Oppen
  committed
  acf996e
- fix build
  Oppen
  committed
  0039f84
- remove poc
  Oppen
  committed
  db2bfa8
- ci(recursion): build recursion guest ELFs in the test-prover matrix
  Oppen
  committed
  5fc54e6
Commits on Jul 13, 2026