Skip to content

feat(Append): completeness composition under init-uniformity + run_pure_verifier#635

Open
Abraxas1010 wants to merge 1 commit into
Verified-zkEVM:mainfrom
Abraxas1010:feat/append-completeness-uniform-init
Open

feat(Append): completeness composition under init-uniformity + run_pure_verifier#635
Abraxas1010 wants to merge 1 commit into
Verified-zkEVM:mainfrom
Abraxas1010:feat/append-completeness-uniform-init

Commits

Commits on Jul 11, 2026