Skip to content

fix(BCIKS20): correct false/vacuous statement of large_agreement_set_on_curve_implies_correlated_agreement - #606

Open
aryaethn wants to merge 3 commits into
Verified-zkEVM:mainfrom
aryaethn:fix/bciks20-curve-correlated-agreement
Open

fix(BCIKS20): correct false/vacuous statement of large_agreement_set_on_curve_implies_correlated_agreement#606
aryaethn wants to merge 3 commits into
Verified-zkEVM:mainfrom
aryaethn:fix/bciks20-curve-correlated-agreement

Merge branch 'main' into fix/bciks20-curve-correlated-agreement

2a7a857
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
summarize
succeeded Jul 10, 2026 in 47s