feat: widen ECCVM layout (8 additions/row, 8 wnaf digits/row)#21721

Open

notnotraju wants to merge 24 commits intomerge-train/barretenbergfrom

rk/eccvm-wide-short

Commits on Mar 17, 2026

eccvm: widen constants WNAF_DIGITS_PER_ROW 4->8, ADDITIONS_PER_ROW 4->8
notnotraju
committed
eccvm: update msm_builder for 8-wide additions and 4-wide doublings
notnotraju
committed
eccvm: widen precomputed_tables_builder for 8 wNAF digits per row
notnotraju
committed
eccvm: add 36 new flavor columns for 8-wide ECCVM
notnotraju
committed
eccvm: wire up new 8-wide columns in ProverPolynomials constructor
notnotraju
committed
eccvm: extend MSM relation for 8 additions per row
notnotraju
committed
eccvm: add boolean checks for msm_add5..8
notnotraju
committed
feat(eccvm): widen WNAF relation to 8 digits per row
notnotraju
committed
feat(eccvm): widen set relation to 8 slice fingerprints and 8 add-gated tuples
notnotraju
committed
feat(eccvm): widen lookup relation to 8 reads and 4 table terms
notnotraju
committed
feat(eccvm): add 2nd precomputed point constraint to point table relation
notnotraju
committed
feat(eccvm): update eccvm_set_permutation_delta to product of 8 terms
notnotraju
committed
chore(eccvm): add ECCVM univariate benchmarks for sumcheck prover
notnotraju
committed
fix(eccvm): fix MSM relation partial lengths and remove unused vars
notnotraju
committed
fix(eccvm): resolve crashes in MSM builder for 8-wide layout
notnotraju
committed
fix(eccvm): update lookup read counts and set relation for 2-point-per-row layout
notnotraju
committed
fix(eccvm): update test infrastructure for 8-wide layout
notnotraju
committed
chore(eccvm): update recursive verifier gate count for 8-wide layout
notnotraju
committed

Commits on Mar 18, 2026

chore(eccvm): update stale comments for 8-wide layout
notnotraju
committed
chore(eccvm): revert benchmark file changes
notnotraju
committed
chore(eccvm): fix stale degree comments and design doc proof size
notnotraju
committed
chore(eccvm): make MaxCapacityPassing test compute max apps from LOG_N
notnotraju
committed
chore(eccvm): add Step 3 to design doc — double the doublings per row
notnotraju
committed
chore(eccvm): document why doubling widening is infeasible
notnotraju
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: widen ECCVM layout (8 additions/row, 8 wnaf digits/row)#21721

feat: widen ECCVM layout (8 additions/row, 8 wnaf digits/row)#21721
notnotraju wants to merge 24 commits intomerge-train/barretenbergfrom
rk/eccvm-wide-short

Commits on Mar 17, 2026

eccvm: widen constants WNAF_DIGITS_PER_ROW 4->8, ADDITIONS_PER_ROW 4->8

eccvm: update msm_builder for 8-wide additions and 4-wide doublings

eccvm: widen precomputed_tables_builder for 8 wNAF digits per row

eccvm: add 36 new flavor columns for 8-wide ECCVM

eccvm: wire up new 8-wide columns in ProverPolynomials constructor

eccvm: extend MSM relation for 8 additions per row

eccvm: add boolean checks for msm_add5..8

feat(eccvm): widen WNAF relation to 8 digits per row

feat(eccvm): widen set relation to 8 slice fingerprints and 8 add-gated tuples

feat(eccvm): widen lookup relation to 8 reads and 4 table terms

feat(eccvm): add 2nd precomputed point constraint to point table relation

feat(eccvm): update eccvm_set_permutation_delta to product of 8 terms

chore(eccvm): add ECCVM univariate benchmarks for sumcheck prover

fix(eccvm): fix MSM relation partial lengths and remove unused vars

fix(eccvm): resolve crashes in MSM builder for 8-wide layout

fix(eccvm): update lookup read counts and set relation for 2-point-per-row layout

fix(eccvm): update test infrastructure for 8-wide layout

chore(eccvm): update recursive verifier gate count for 8-wide layout

Commits on Mar 18, 2026

chore(eccvm): update stale comments for 8-wide layout

chore(eccvm): revert benchmark file changes

chore(eccvm): fix stale degree comments and design doc proof size

chore(eccvm): make MaxCapacityPassing test compute max apps from LOG_N

chore(eccvm): add Step 3 to design doc — double the doublings per row

chore(eccvm): document why doubling widening is infeasible