All pull requests

Pull requests

• fix(sw_bls12377): accept the point at infinity in AssertIsOnG1

  #1919·Snan0M opened Nov 7, 2026Contributor·

  ·

• fix(emulated): Eval and AssertEvalIsZero on constant zero inputs

  #1918·Snan0M opened Nov 7, 2026Contributor·

  ·
  3

• fix(witness): validate JSON documents and report partial writes

  #1916·zakazaka95 opened Nov 6, 2026·

  ·

• fix(compress): keep the range checker lookup table in AssertLessThan

  #1915·Ravan002 opened Nov 6, 2026Contributor·

  ·

• fix(constraint): accept the Grumpkin scalar field when reading a constraint system

  #1914·erkancamli opened Nov 5, 2026·5 tasks done·

  ·

• perf(GKR)!: Sumcheck Polynomials in Coefficient Form

  #1913·Tabaie opened Nov 5, 2026Contributor·

  ·
  1

• fix(sw_bls12381): bind G2 MultiScalarMul fake-GLV summands to the curve

  #1912·ivokub opened Nov 4, 2026Contributor·

  ·
  15

• feat: record call stack of emulated operations in debug mode

  #1911·Mohith26 opened Nov 4, 2026·8 of 9 tasks·

  ·
  1

• fix: keep solver options when WithProverOpts is used after WithSolverOpts

  #1909·Bruce039 opened Nov 3, 2026Contributor·

  ·

• fix(expand): don't write the DST length into the caller's dst slice

  #1906·Snan0M opened Oct 31, 2026Contributor·

  ·

• fix(uints): bound Lrot to the type width and zero Rshift past it

  #1905·Snan0M opened Oct 31, 2026Contributor·

  ·

• fix(emulated): reduce a FromBits result that can hold 2p or more

  #1904·0x5ea000000 opened Oct 30, 2026·10 tasks done·

  ·
  6

• fix(gkr): return an error when a gate returns an input other than the last

  #1899·0xShadowX opened Oct 25, 2026Contributor·

  ·

• fix(hash): don't compare circuit variables in Merkle-Damgard SetState

  #1898·0xShadowX opened Oct 25, 2026Contributor·

  ·

• fix(polynomial): compute the InterpolateLDE factorial without int overflow

  #1895·Ravan002 opened Oct 24, 2026Contributor·

  ·

• fix(emulated): prevent IsZero limb length mismatch and panic on non-modulus width elements

  #1891·Yudis-bit opened Oct 20, 2026·

  ·
  1

• test(emulated): regression test for non-canonical exponent in Exp

  #1890·operagxsasha opened Oct 19, 2026·

  ·

• fix(emulated): size the Eval quotient for negative results on short inputs

  #1888·Ravan002 opened Oct 18, 2026Contributor·

  ·

• fix(std/compress): correctly widen NumReader window in SetNumNbBits

  #1865·somasoil opened Oct 5, 2026·12 of 15 tasks·

  ·
  1

  1

• fix: don't record gkrapi input wires twice when they are also outputs

  #1848·Bruce039 opened Sep 28, 2026Contributor·

  ·
  1

• fix: let deferred gadgets use multicommit after WithCommitment

  #1845·Bruce039 opened Sep 28, 2026Contributor·

  ·
  1

• fix: implement CheckUnconstrainedWires

  #1827·da1suk8 opened Sep 20, 2026·9 of 10 tasks·

  ·
  4

• test: make constness a property of the value in the test engine

  #1810·zexoverz opened Aug 22, 2026·

  ·
  1

  3

• Add GPU-accelerated PLONK prover via ICICLE

  #1800·martun opened Jul 27, 2026·13 of 14 tasks·

  ·
  4

• Add optional CUDA-accelerated PLONK prover for BLS12-381

  #1792·seunlanlege opened Jul 6, 2026·

  ·