All pull requests

Pull requests

• feat(transcript): width-5 native-Fr Poseidon sponge on the spongefish transcript

  #2113·quangvdao opened Oct 21, 2026Collaborator·

  ·
  1

• feat(akita): run Akita's opening inside Jolt's Fiat-Shamir sponge (J8)

  #2111·quangvdao opened Oct 21, 2026Collaborator·4/4·

  ·
  1

• refactor(transcript): run Jolt on spongefish ProverState/VerifierState and delete the legacy facade

  #2110·quangvdao opened Oct 21, 2026Collaborator·3/4·

  ·
  1

• fix(tracer): re-run a JALR that jumps to itself through its own base

  #2109·moodlezoup opened Oct 21, 2026Collaborator·

  ·
  7

• feat(transcript): full-width BN254 challenges and proof of work for short challenges (J6)

  #2108·quangvdao opened Oct 20, 2026Collaborator·2/4·

  ·
  1

• feat(akita)!: NIST category 3 Module-SIS and 2^31 schedule coverage

  #2107·sumchecker opened Oct 20, 2026Collaborator·9 tasks done·

  ·
  5

• fix(verifier): reject trace lengths below the PCS floor

  #2102·moodlezoup opened Oct 20, 2026Collaborator·2 tasks done·

  ·
  1

• fix(program): decode VirtualHostIO without a destination register

  #2101·moodlezoup opened Oct 20, 2026Collaborator·3 tasks done·

  ·
  1

• perf(recursion): continue Akita verifier guest with cached hash prefixes

  #2100·Acentelles opened Oct 20, 2026Collaborator·6 tasks done·

  ·

• feat(transcript): proof of work on the transcript sponge

  #2099·quangvdao opened Oct 20, 2026Collaborator·3/4·

  ·
  2

• feat(transcript): field challenge codecs with a 2^-160 per-message bias budget (J2)

  #2097·quangvdao opened Oct 20, 2026Collaborator·2/4·

  ·
  2

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

  no-spec
  #2048·quangvdao opened Oct 11, 2026Collaborator·

  ·
  1

• feat: kernel primitives for sum-checks over binary fields

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

  ·
  1

• feat(jolt-prover): host an external protocol family over a binary field

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

  ·
  1

• 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

• perf(akita): optimize native chunk decomposition

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

  ·

• 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