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

feat(Append): prove completeness composition under init-uniformity; a…

66da7fa
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check Library File Imports
succeeded Jul 28, 2026 in 4s