Sumfold [DRAFT: NOT READY FOR REVIEW] - #209

Draft

wu-s-john wants to merge 52 commits into

NethermindEth:main-betafrom

wu-s-john:sumfold

Commits on Jun 4, 2026

Commits on Jun 5, 2026

Add Hyrax PCS backend and benchmarks
wu-s-john
committed
6dab264
perf: use DMR-aware field inner products
wu-s-john
committed
92bde62
perf: complete DMR follow-up integrations
wu-s-john
committed
ee89053
Merge branch 'hyrax' into sumfold
wu-s-john
committed
459739f
Optimize unblinded Hyrax bool commits
wu-s-john
committed
12d46ae
Merge branch 'hyrax' into sumfold
wu-s-john
committed
2c64719
Add NeutronNova linear accumulator primitives
wu-s-john
committed
3aff049
Optimize Hyrax binary openings
wu-s-john
committed
032f73b

Commits on Jun 6, 2026

Add optimized linear CPR accumulator
wu-s-john
committed
9bddfcd
Add NeutronNova booleanity accumulator
wu-s-john
committed
a9d41de
Harden Hyrax PCS setup and openings
wu-s-john
committed
a038a0b
Add production ProjectionFold SHA helpers
wu-s-john
committed
7bec4b5
Add production SHA ProjectionFold folding path
wu-s-john
committed
80960f1
Implement production SHA ProjectionFold core
wu-s-john
committed
f44b982
Optimize Hyrax SHA commitments
wu-s-john
committed
965a8db

Commits on Jun 7, 2026

Commits on Jun 8, 2026

Implement production SHA SumFold integration
wu-s-john
committed
e215dc7
Refactor production SHA SumFold accumulators
wu-s-john
committed
6b924c5
Add production SHA timing APIs
wu-s-john
committed
98c4d5c
Use delayed products for SHA aggregations
wu-s-john
committed
dcfe551
Add SHA-chain proving comparison bench
wu-s-john
committed
d17bdd9
Trace production SHA heavy phases
wu-s-john
committed
cf19388
Trace folded 4x prover phases
wu-s-john
committed
53a2dcf
Refactor delayed reductions into reusable algorithms
wu-s-john
committed
008199a
Merge branch 'hyrax' into sumfold
wu-s-john
committed
28e3a89
Optimize ProjectionFold SHA prover overhead
wu-s-john
committed
175beda
Parallelize ProjectionFold SHA witness plumbing
wu-s-john
committed
6233683
Reduce sumcheck prover scratch state
wu-s-john
committed
6addc31
Add ProjectionFold SHA profiling benchmarks
wu-s-john
committed
eac1506
Optimize ProjectionFold SHA hot paths
wu-s-john
committed
ebadcc7
Defer ProjectionFold folded commitments
wu-s-john
committed
53433f6
Derive ProjectionFold row claim from SumFold terminal
wu-s-john
committed
95cd3c9
Clean ProjectionFold row claim release build
wu-s-john
committed
c4adb7c
Avoid ProjectionFold polynomial scaling temporaries
wu-s-john
committed
33c9bf2
Cache ProjectionFold row expression evaluations
wu-s-john
committed
d4cfc6f
Specialize ProjectionFold row expression dot products
wu-s-john
committed
0de2cd0
Add prepared ProjectionFold SHA prover path
wu-s-john
committed
941a383
Optimize ProjectionFold endpoint MLE construction
wu-s-john
committed
a52cc9e
Prune ProjectionFold SHA endpoint multipoint sources
wu-s-john
committed
c84919c
Parallelize ProjectionFold SHA residual table rows
wu-s-john
committed
c213562
Avoid temporary bool rows in Hyrax binary commits
wu-s-john
committed
1247c4c
Avoid zero-filling sumcheck scratch vectors
wu-s-john
committed
40473ea
Batch Hyrax binary lane mask commits
wu-s-john
committed
50bcc99
Optimize ProjectionFold SHA prover hot paths
wu-s-john
committed
9dd568d