Skip to content

Cut five layers that cost more than they proved - #48

Merged
mkuznets merged 1 commit into
mainfrom
simplify-verification-apparatus
Aug 15, 2026
Merged

Cut five layers that cost more than they proved#48
mkuznets merged 1 commit into
mainfrom
simplify-verification-apparatus

Cut five layers that cost more than they proved

8cf3b24
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Verify
succeeded Aug 15, 2026 in 1m 21s