All pull requests

Pull requests

• feat(jolt-poly): share normalized and equispaced univariate primitives

  no-spec
  #1925·quangvdao opened Sep 24, 2026Collaborator·

  ·
  2

• fix(transcript): make Akita sponge challenges pointer-width independent

  no-spec
  #1924·0xAndoroid opened Sep 23, 2026Collaborator·

  ·
  2

• perf(kernels): prove the first RAM Hamming booleanity rounds from block patterns

  no-spec
  #1923·quangvdao opened Sep 23, 2026Collaborator·

  ·
  1

• fix(kernels): defer Dory opening table materialization

  no-spec
  #1922·mtbadakhshan opened Sep 23, 2026Contributor·

  ·

• feat(kernels): support address-first read/write sumchecks

  no-spec
  #1921·mtbadakhshan opened Sep 23, 2026Contributor·

  ·
  1

• feat(kernels): expose batched initial RAM opening evaluations

  implementationspec
  #1920·mtbadakhshan opened Sep 23, 2026Contributor·

  ·

• feat(kernels): pass typed claims to product uni-skip kernels

  no-spec
  #1919·mtbadakhshan opened Sep 23, 2026Contributor·

  ·

• ci: pin workflow actions to current commit SHAs

  no-spec
  #1918·sumchecker opened Sep 23, 2026Collaborator·

  ·
  2

• fix(tracer): handle zero masks in VirtualSRLIW

  no-spec
  #1917·0xAndoroid opened Sep 23, 2026Collaborator·

  ·
  1

  2

• feat: refresh fast recursion on modular field-inline

  implementationspec
  #1911·markosg04 opened Sep 23, 2026Collaborator·

  ·
  2

• fix(jolt-program): lower csrrs x0, csr, x0 to the canonical no-op

  no-spec
  #1910·quangvdao opened Sep 23, 2026Collaborator·

  ·

• perf(kernels): use zeroed allocation for polynomial tables

  no-spec
  #1906·Acentelles opened Sep 22, 2026Collaborator·

  ·

• fix(tracer): reject MISC-MEM encodings that are not FENCE

  no-spec
  #1902·erkancamli opened Sep 22, 2026Contributor·

  ·

• perf(kernels): bound lazy selector table growth

  no-spec
  #1899·Acentelles opened Sep 22, 2026Collaborator·

  ·

• fix(sdk): invalidate guest builds when function selection changes

  no-spec
  #1898·Acentelles opened Sep 22, 2026Collaborator·

  ·

• feat(akita): add multi-chunk artifacts and bump Akita

  implementationspec
  #1896·RadNi opened Sep 22, 2026Contributor·

  ·
  1

• feat: constrain the Akita proof boundary and first sumcheck stage

  no-spec
  #1894·markosg04 opened Sep 22, 2026Collaborator·

  ·
  2

• feat(evm): complete clear preprocessed Spartan verification

  no-spec
  #1893·markosg04 opened Sep 22, 2026Collaborator·

  ·
  2

• feat(recursion): refresh Blake fast recursion and bounded proof replay

  implementationspec
  #1892·markosg04 opened Sep 22, 2026Collaborator·

  ·
  3

• feat(akita): constrain terminal transcript and exact byte routing

  implementationspec
  #1891·markosg04 opened Sep 22, 2026Collaborator·

  ·
  1

• feat(evm): reproduce Blake transcript and wide challenges

  no-spec
  #1890·markosg04 opened Sep 22, 2026Collaborator·

  ·
  3

• feat(spartan): verify bounded canonical proof bytes

  implementationspec
  #1889·markosg04 opened Sep 22, 2026Collaborator·

  ·
  1

• feat(akita): compose the complete fixed-profile terminal relation

  implementationspec
  #1888·markosg04 opened Sep 22, 2026Collaborator·

  ·
  1

• feat(spartan): authenticate preprocessed sparse matrix evaluation

  implementationspec
  #1887·markosg04 opened Sep 22, 2026Collaborator·

  ·
  1

• feat(akita): bind FoldDraw roots to constrained Blake transcripts

  implementationspec
  #1886·markosg04 opened Sep 22, 2026Collaborator·

  ·
  1