Repository navigation

perf(ACMax): simplify arithmetic certificates and reduce compile time - #729

Merged

Vilin97 merged 2 commits into

mainfrom

researcher/optimize-acmax-20261102

Nov 4, 2026

Merged

perf(ACMax): simplify arithmetic certificates and reduce compile time#729
Vilin97 merged 2 commits into
mainfrom
researcher/optimize-acmax-20261102

Commits on Nov 2, 2026
- perf(ACMax): factor polynomial certificates and narrow imports
  Vilin97
  committed
  c37e5b1
- perf(ACMax): isolate scalar proofs and trim arithmetic contexts
  Vilin97
  committed
  9928dba