All pull requests

Pull requests

• fix(guest-build): trim host paths for reproducible guest ELFs

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

  ·
  1

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

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

  ·

• fix(tracer-x86): fault on stores into the stack canary

  no-spec
  #1999·Crypt0-Gr0wth opened Oct 5, 2026·2 tasks done·

  ·
  1

• refactor: unify execution and proof trace rows

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

  ·
  1

  1

• 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·

  ·

• fix(host): report checked memory layout errors during preprocessing

  implementationspec
  #1978·quangvdao opened Sep 30, 2026Collaborator·

  ·
  

• feat(akita): add multi-chunk one-hot profiles

  implementationspec
  #1976·RadNi opened Sep 30, 2026Contributor·

  ·
  3

• fix(prover): reject traces whose last row is not a jump

  no-spec
  #1968·kriss39 opened Sep 29, 2026Contributor·2 tasks done·

  ·
  1

  1

• perf(kernels): integer Spartan outer uni-skip with unreduced i128 fmadds

  no-spec
  #1967·quangvdao opened Sep 29, 2026Collaborator·

  ·

• fix(tracer): reject load/store rows whose address is not Rs1Value + Imm

  no-spec
  #1956·kriss39 opened Sep 29, 2026Contributor·2 tasks done·

  ·
  1

• feat(metal): Fp64 and Ext2 arithmetic

  implementationspec
  #1946·quangvdao opened Sep 26, 2026Collaborator·

  ·
  1

  

• feat(recursion): Akita verifier guest under 2^26 rows 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(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·2 tasks done·

  ·
  1

• feat(spartan): authenticate preprocessed sparse matrix evaluation

  implementationspec
  #1887·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

• feat(akita): constrain complete D64 norm acceptance

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

  ·
  1