Skip to content

feat(proximity-gap): prove BCIKS20 curve agreement bounds - #639

Merged
alexanderlhicks merged 2 commits into
Verified-zkEVM:mainfrom
latifkasuli:agent/bciks20-affine-lines-list-decoding
Aug 7, 2026
Merged

feat(proximity-gap): prove BCIKS20 curve agreement bounds#639
alexanderlhicks merged 2 commits into
Verified-zkEVM:mainfrom
latifkasuli:agent/bciks20-affine-lines-list-decoding

Prove BCIKS20 integral-weight strengthening

03a90f6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
summarize
succeeded Jul 11, 2026 in 1m 0s