Issues

• Investigate unboxed quotient carriers for noncanonical field arithmetic

  Verified-zkEVM/CompPoly#393 · Filter by author mitschabaude-bot opened on Sep 30, 2026

• tracking: formalize Reed–Solomon decoding and certified operation bounds in CompPoly

  Verified-zkEVM/CompPoly#377 · Filter by author quangvdao opened on Sep 21, 2026

• roadmap: improve binary-field and tower foundations

  Verified-zkEVM/CompPoly#322 · Filter by author alexanderlhicks opened on Sep 8, 2026

• AdditiveNTT: unify the round-index type on Fin r, and widen iteratedQuotientMap to admit i = ℓ

  Verified-zkEVM/CompPoly#281 · Filter by author alexanderlhicks opened on Aug 2, 2026
  2

  

• Generalize computable multivariate polynomials to arbitrary ordered index types

  Verified-zkEVM/CompPoly#175 · Filter by author quangvdao opened on Mar 22, 2026
  1

• Optimize clMul in Binary Common

  enhancementhelp wanted
  Verified-zkEVM/CompPoly#129 · Filter by author dhsorens opened on Feb 27, 2026
  7