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

Commits on Jul 5, 2026

fix(BCIKS20): correct false/vacuous statement of large_agreement_set_on_curve_implies_correlated_agreement
aryaethn
committed
fix(BCIKS20): tie V to an actual Reed-Solomon code in the curve correlated-agreement lemmas
aryaethn
committed

Commits on Jul 10, 2026

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