All pull requests

Pull requests

• Bind assert_zero claims in ideal checks

  #239·mariari opened Oct 16, 2026·

  ·

• Soundness Beta: the verifier now requires an all-zero-ideal UAIR's assert_zero claims to vanish

  #238·mariari opened Oct 9, 2026·

  ·

• Soundness Beta: the verifier now rejects lookup proofs with witnesses > lookups

  #237·mariari opened Oct 9, 2026·

  ·

• Soundness Beta: Verifier rejects chunks than what the verifier has.

  #236·mariari opened Oct 9, 2026·

  ·

• Soundness: The Verifyer now rejects columns with more coefficients than is commited

  #235·mariari opened Oct 8, 2026·

  ·
  1

• Soundness Bug: Verifier holds each commitment's batch to the signature

  #234·mariari opened Oct 8, 2026·

  ·
  1

• Bind shifted affine virtuals to source columns

  #233·latifkasuli opened Aug 18, 2026Contributor·

  ·

• Enforce PCS transcript iterator cardinality

  #232·latifkasuli opened Aug 18, 2026Contributor·

  ·

• Witness Column lookup

  #228·mariari opened Jul 30, 2026·

  ·

• Fold first sumfold

  #227·wu-s-john opened Jul 27, 2026·

  ·

• Add PnttConfig7340033: a 23-bit NTT field admitting 2^20 codewords

  #224·mariari opened Jul 16, 2026·

  ·

• Add optional proof-of-work grinding plumbing

  #210·latifkasuli opened Jun 10, 2026Contributor·

  ·

• Sumfold [DRAFT: NOT READY FOR REVIEW]

  #209·wu-s-john opened Jun 8, 2026·

  ·

• Optimize dense q1 row dot products

  #208·1sgtpepper opened Jun 6, 2026·4 tasks done·

  ·

• Hyrax

  #207·wu-s-john opened Jun 5, 2026·

  ·

• Delayed Modular Reduction for Fast Polynomial Evaluations

  #205·wu-s-john opened Jun 4, 2026·

  ·
  1

• Precompute eq(b, r)s before evaluating column MLEs in ideal check

  #188·ElijahVlasov opened May 7, 2026Contributor·

  ·
  1

• Integrate lookups with simple benches

  #172·amit0365 opened Apr 12, 2026Contributor·4 tasks done·

  ·

• Add LogUp module with lookup Uairs

  #167·amit0365 opened Apr 10, 2026Contributor·1 task done·

  ·

• bench: add FiveConstraint ideal check benchmarks

  #129·albert-garreta opened Feb 19, 2026Member·

  ·
  2

• Ideal checks reworked to only work with binary polynomials

  #101·frozenspider opened Feb 11, 2026Collaborator·

  ·
  1

  1

• bench: add sum-of-40 sumcheck benchmark

  #85·albert-garreta opened Feb 9, 2026Member·

  ·