Skip to content

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

Retain the exact normal and optimized replay transcript

48976da
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 4m 19s