Repository navigation

perf: parallelize commit phase and reduce allocations - #2

Closed

quangvdao wants to merge 34 commits into

mainfrom

perf/commit-optimizations

Closed

perf: parallelize commit phase and reduce allocations#2
quangvdao wants to merge 34 commits into
mainfrom
perf/commit-optimizations

Commits on Feb 28, 2026
- Implement Hachi PCS protocol with required primitives (#1)
  
  authored
  ae51d8c
- Implement Batched Sumcheck and Gruen EQ (#2)
  omibo
  authored
  4980e1a
- Add rayon parallelism behind `parallel` feature flag (enabled by default)
  Quang Dao
  committed
  10e53dd
- Add e2e benchmark and make HachiCommitmentScheme generic over config
  Quang Dao
  committed
  0ed2736
- Refactor CRT-NTT backend: generalize over PrimeWidth, add Q128 support
  Quang Dao
  committed
  96a9ccd
- Add extension field arithmetic and refactor sumcheck trait bounds
  Quang Dao
  committed
  e4f9836
- Fix CRT+NTT correctness and optimize negacyclic NTT pipeline
  Quang Dao
  committed
  21b6f59
- Cache CRT+NTT matrix representations in setup to avoid repeated conversion
  Quang Dao
  committed
  01b65d0
- Remove dead code (HachiRoutines, domains/, redundant trait methods) and extract shared field utilities
  Quang Dao
  committed
  89716fc
- Unify Blake2b and Keccak transcript backends into generic HashTranscript
  Quang Dao
  committed
  3b5603d
- Fix sumcheck degree bug, split types, in-place fold, CommitWitness, rename configs, add soundness test
  Quang Dao
  committed
  f74f2ed
- fix(test): resolve clippy needless_range_loop in algebra tests
  Quang Dao
  committed
  9cd06cf
- Refactor commitment setup to runtime layout and staged artifacts.
  Quang Dao
  committed
  dba56b2
Commits on Mar 1, 2026
- Soundness hardening: panic-free verifier, Fiat-Shamir binding, NTT overflow fix
  Quang Dao
  committed
  43d8ef2
- Hoist fully qualified paths to use statements in touched files
  Quang Dao
  committed
  1e24653
- Dispatch norm sumcheck kernels by range size.
  Quang Dao
  committed
  2d35bdb
- Format commitment-related files for readability.
  Quang Dao
  committed
  7278414
- Format: cargo fmt pass on commitment-related files
  Quang Dao
  committed
  1a2b846
- feat: sequential coefficient ordering + streaming commitment
  Quang Dao
  committed
  c8565bb
Commits on Mar 2, 2026
- refactor: decompose verify_batched_sumcheck into composable steps
  Quang Dao
  committed
  a7bdea9
- feat: accept Option<usize> in commit_onehot for sparse one-hot support
  Quang Dao
  committed
  6705efe
- feat: submatrix commit for polynomials smaller than setup max
  Quang Dao
  committed
  1fdf18e
- feat: add HachiSerialize impls for proof types
  Quang Dao
  committed
  ce8eca8
- fix: relax balanced_decompose_pow2 assertion for 128-bit fields
  Quang Dao
  committed
  c997b60
- feat: add DynamicSmallTestCommitmentConfig
  Quang Dao
  committed
  c6a6a4e
- perf: true submatrix in commit_coeffs — skip zero blocks
  Quang Dao
  committed
  5bf8762
- fix: use inner_width for zero_s in commit_coeffs/commit_onehot
  Quang Dao
  committed
  2b03961
- fix: configure rayon with 64MB stack for D>=512 ring elements
  Quang Dao
  committed
  06d7095
- feat: add commit_mixed for mega-polynomial commitment
  Quang Dao
  committed
  8962dcf
- perf: drop s vectors from CommitWitness and HachiCommitmentHint
  Quang Dao
  committed
  5dad74f
- chore: untrack docs/ and paper/ from version control
  Quang Dao
  committed
  ce940d0
- perf: fused sumcheck, split-eq streaming, compact w_evals — 8x memory reduction
  Quang Dao
  committed
  fa070fe
- revert: remove ensure_large_thread_stack rayon config
  Quang Dao
  committed
  6d3dd14
- perf: parallelize commit phase and reduce allocations
  Quang Dao
  committed
  a4af82a

Commits

Commits on Feb 28, 2026

Commits on Mar 1, 2026

Commits on Mar 2, 2026