Repository navigation

Add compact universal certificates for dirty linear circuits (no new κ) - #5235

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

zxv:codex/universal-dirty-certificates

Oct 23, 2026

Merged

Add compact universal certificates for dirty linear circuits (no new κ)#5235
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
zxv:codex/universal-dirty-certificates

Commits on Oct 23, 2026
- Add compact universal certificates for dirty linear circuits
  zxv
  committed
  3418cd0
- Retain the exact normal and optimized replay transcript
  zxv
  committed
  48976da