All pull requests

Pull requests

• feat(tracer): one trace row per source instruction for RV64I programs

  implementationspec
  #2042·quangvdao opened Oct 10, 2026Collaborator·

  ·
  1

• feat(jolt-sumcheck): an F8 evaluation domain for univariate skip

  implementationspec
  #2040·quangvdao opened Oct 9, 2026Collaborator·

  ·
  1

• fix: derive store-conditional success from reservation state

  no-spec
  #2039·moodlezoup opened Oct 9, 2026Collaborator·

  ·
  1

  1

• feat(jolt-field): deferred-reduction accumulators for the binary fields

  implementationspec
  #2035·quangvdao opened Oct 9, 2026Collaborator·4/4·

  ·
  2

• feat(jolt-field): F8 and its embeddings into the binary fields

  implementationspec
  #2034·quangvdao opened Oct 9, 2026Collaborator·3/4·

  ·
  2

• feat(jolt-sumcheck): sum-check over binary fields

  implementationspec
  #2033·quangvdao opened Oct 9, 2026Collaborator·2/4·

  ·
  1

• feat(jolt-field): binary-field backend

  implementationspec
  #2032·quangvdao opened Oct 9, 2026Collaborator·1/4·

  ·
  2

• refactor(bytecode)!: remove bytecode table chunking

  implementationspec
  #2030·omibo opened Oct 9, 2026Contributor·6 tasks done·

  ·

• refactor(jolt-kernels)!: bind backends to execution context

  no-spec
  #2028·mtbadakhshan opened Oct 8, 2026Contributor·10 tasks done·

  ·
  1

• perf(akita): optimize native chunk decomposition

  implementationspec
  #2020·RadNi opened Oct 7, 2026Contributor·

  ·

• fix(tracer-x86): compile static jumps to targets without a compiled group

  no-spec
  #2004·0xAndoroid opened Oct 6, 2026Collaborator·

  ·
  1

• refactor(transcript)!: write Jolt proofs as spongefish NARG argument strings

  implementationspec
  #2000·markosg04 opened Oct 6, 2026Collaborator·4 tasks done·

  ·
  2

• refactor: unify execution and proof trace rows

  implementationspec
  #1996·moodlezoup opened Oct 3, 2026Collaborator·

  ·
  1

  4

• feat(sdk): add checked field_to_limbs! and field_from_limbs! conversions

  implementationspec
  #1995·moodlezoup opened Oct 3, 2026Collaborator·

  ·
  1

  2

• feat(akita): admit supported shapes early and extend T31 schedules

  no-spec
  #1981·quangvdao opened Sep 30, 2026Collaborator·

  ·

• feat(recursion): Akita field-inline verifier guest on main

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

  ·
  3

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

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

  ·
  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(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·2 tasks done·

  ·
  1

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

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

  ·
  1

• feat(akita): constrain first norm-accepted sparse retry

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

  ·
  1

• feat(akita): constrain bounded sparse candidate sampling

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

  ·
  1