Skip to content

feat: make KoalaBear Rabin irreducibility certificates re-checkable by kernel replay - #306

Merged
alexanderlhicks merged 1 commit into
Verified-zkEVM:mainfrom
zksecurity:pr/rabin-replay-safe
Aug 17, 2026
Merged

feat: make KoalaBear Rabin irreducibility certificates re-checkable by kernel replay#306
alexanderlhicks merged 1 commit into
Verified-zkEVM:mainfrom
zksecurity:pr/rabin-replay-safe

feat: make KoalaBear Rabin irreducibility certificates re-checkable b…

1d0ce31
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
summarize
succeeded Aug 17, 2026 in 1m 30s