Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
52 commits
Select commit Hold shift + click to select a range
4044b4d
perf(piop): avoid clones in virtual bit-op evals
wu-s-john Jun 4, 2026
69fe0d5
Add arkworks MSM commitment backend
wu-s-john Jun 4, 2026
6a7f044
perf: Optimize binary polynomial evaluation with delayed reduction
wu-s-john Jun 4, 2026
7c38f5f
perf: stream shifted bit-slice evals in 4x prover
wu-s-john Jun 4, 2026
6dab264
Add Hyrax PCS backend and benchmarks
wu-s-john Jun 5, 2026
92bde62
perf: use DMR-aware field inner products
wu-s-john Jun 5, 2026
ee89053
perf: complete DMR follow-up integrations
wu-s-john Jun 5, 2026
459739f
Merge branch 'hyrax' into sumfold
wu-s-john Jun 5, 2026
12d46ae
Optimize unblinded Hyrax bool commits
wu-s-john Jun 5, 2026
2c64719
Merge branch 'hyrax' into sumfold
wu-s-john Jun 5, 2026
3aff049
Add NeutronNova linear accumulator primitives
wu-s-john Jun 5, 2026
032f73b
Optimize Hyrax binary openings
wu-s-john Jun 5, 2026
9bddfcd
Add optimized linear CPR accumulator
wu-s-john Jun 6, 2026
a9d41de
Add NeutronNova booleanity accumulator
wu-s-john Jun 6, 2026
a038a0b
Harden Hyrax PCS setup and openings
wu-s-john Jun 6, 2026
7bec4b5
Add production ProjectionFold SHA helpers
wu-s-john Jun 6, 2026
80960f1
Add production SHA ProjectionFold folding path
wu-s-john Jun 6, 2026
f44b982
Implement production SHA ProjectionFold core
wu-s-john Jun 6, 2026
965a8db
Optimize Hyrax SHA commitments
wu-s-john Jun 6, 2026
6be419a
Refactor production SHA ideal and multipoint helpers
wu-s-john Jun 7, 2026
eaba4cc
Optimize production SHA SumFold hot paths
wu-s-john Jun 7, 2026
203db94
Add generic SHA witness synthesis
wu-s-john Jun 7, 2026
c7dfd97
Update SHA projection object model
wu-s-john Jun 7, 2026
87acf77
Implement ProjectionFold verifier harness
wu-s-john Jun 7, 2026
e215dc7
Implement production SHA SumFold integration
wu-s-john Jun 8, 2026
6b924c5
Refactor production SHA SumFold accumulators
wu-s-john Jun 8, 2026
98c4d5c
Add production SHA timing APIs
wu-s-john Jun 8, 2026
dcfe551
Use delayed products for SHA aggregations
wu-s-john Jun 8, 2026
d17bdd9
Add SHA-chain proving comparison bench
wu-s-john Jun 8, 2026
cf19388
Trace production SHA heavy phases
wu-s-john Jun 8, 2026
53a2dcf
Trace folded 4x prover phases
wu-s-john Jun 8, 2026
008199a
Refactor delayed reductions into reusable algorithms
wu-s-john Jun 8, 2026
28e3a89
Merge branch 'hyrax' into sumfold
wu-s-john Jun 8, 2026
175beda
Optimize ProjectionFold SHA prover overhead
wu-s-john Jun 8, 2026
6233683
Parallelize ProjectionFold SHA witness plumbing
wu-s-john Jun 8, 2026
6addc31
Reduce sumcheck prover scratch state
wu-s-john Jun 8, 2026
eac1506
Add ProjectionFold SHA profiling benchmarks
wu-s-john Jun 8, 2026
ebadcc7
Optimize ProjectionFold SHA hot paths
wu-s-john Jun 8, 2026
53433f6
Defer ProjectionFold folded commitments
wu-s-john Jun 8, 2026
95cd3c9
Derive ProjectionFold row claim from SumFold terminal
wu-s-john Jun 8, 2026
c4adb7c
Clean ProjectionFold row claim release build
wu-s-john Jun 8, 2026
33c9bf2
Avoid ProjectionFold polynomial scaling temporaries
wu-s-john Jun 8, 2026
d4cfc6f
Cache ProjectionFold row expression evaluations
wu-s-john Jun 8, 2026
0de2cd0
Specialize ProjectionFold row expression dot products
wu-s-john Jun 8, 2026
941a383
Add prepared ProjectionFold SHA prover path
wu-s-john Jun 8, 2026
a52cc9e
Optimize ProjectionFold endpoint MLE construction
wu-s-john Jun 8, 2026
c84919c
Prune ProjectionFold SHA endpoint multipoint sources
wu-s-john Jun 8, 2026
c213562
Parallelize ProjectionFold SHA residual table rows
wu-s-john Jun 8, 2026
1247c4c
Avoid temporary bool rows in Hyrax binary commits
wu-s-john Jun 8, 2026
40473ea
Avoid zero-filling sumcheck scratch vectors
wu-s-john Jun 8, 2026
50bcc99
Batch Hyrax binary lane mask commits
wu-s-john Jun 8, 2026
9dd568d
Optimize ProjectionFold SHA prover hot paths
wu-s-john Jun 8, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 9 additions & 0 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -19,12 +19,15 @@ crypto-bigint = { version = "= 0.7.0-rc.9", features = ["zeroize"] }
criterion = "0.7.0"
derive_more = { version = "2.1.1", features = ["full"] }
itertools = "0.14"
num-integer = "0.1"
num-traits = "0.2"
proptest = "1.9.0"
rand = "0.9"
rand_core = "0.9"
rayon = { version = "1.10" }
thiserror = "2.0"
tracing = "0.1"
tracing-subscriber = "0.3"
zinc-primality = { path = "primality/" }
zinc-test-uair = { path = "test-uair/" }
zinc-transcript = { path = "transcript/" }
Expand Down Expand Up @@ -52,3 +55,9 @@ unwrap_used = "deny"
[profile.release]
lto = true # Enable Link Time Optimization
codegen-units = 1 # Slower compilation but potentially better optimization

[profile.bench]
inherits = "release"
debug = 2
strip = false
split-debuginfo = "unpacked"
Loading