All pull requests

Pull requests

• feat(sis)!: raise Module-SIS to NIST security category 3 (169-bit ADPS16)

  implementationspec
  #232·sumchecker opened Oct 11, 2026Collaborator·14 tasks done·

  ·
  3

• perf(labinius): faster root opening kernels

  ai-reviewedimplementationspec
  #230·quangvdao opened Oct 10, 2026Collaborator·

  ·
  7

• feat(labinius): polynomial commitment for binary and prime evaluation claims

  ai-reviewedimplementationspec
  #229·quangvdao opened Oct 10, 2026Collaborator·

  ·
  15

• feat(params): add the Q128Offset275 SIS modulus profile

  ai-approvedai-reviewedimplementationspec
  #225·quangvdao opened Oct 10, 2026Collaborator·

  ·
  9

• docs: qualify the 128-bit security claims by model

  ai-approvedai-reviewedno-spec
  #223·sumchecker opened Oct 10, 2026Collaborator·10 tasks done·

  ·
  16

• fix(algebra): route NEON i16 transforms below eight coefficients to scalar

  ai-approvedai-reviewedno-spec
  #222·sumchecker opened Oct 10, 2026Collaborator·9 tasks done·

  ·
  10

• test(sis): tie the production SIS tables to their audit certificates

  ai-reviewedno-spec
  #221·sumchecker opened Oct 10, 2026Collaborator·9 tasks done·

  ·
  11

• fix(verifier)!: rebuild supplied terminal NTT caches unless program-bound

  ai-reviewedno-spec
  #220·sumchecker opened Oct 9, 2026Collaborator·9 tasks done·

  ·
  10

• fix(profile): reject a panicking guest in the recursion profile host

  no-spec
  #219·markosg04 opened Oct 9, 2026Collaborator·

  ·
  3

• fix(grinding): price sumcheck rounds at the verifier's wire degrees

  ai-approvedai-reviewedno-spec
  #214·sumchecker opened Oct 9, 2026Collaborator·9 tasks done·

  ·
  10

• fix(schedules): pin the terminal z payload budget to its cap at admission

  ai-approvedai-reviewedno-spec
  #213·sumchecker opened Oct 9, 2026Collaborator·9 tasks done·

  ·
  5

• fix(schedules): require full-width inner digits for setup-prefix commitments

  ai-approvedai-reviewedno-spec
  #212·sumchecker opened Oct 9, 2026Collaborator·9 tasks done·

  ·
  5

• fix(setup)!: authenticate setup-prefix registries before admitting offloading rows

  ai-approvedai-reviewedimplementationspec
  #210·sumchecker opened Oct 9, 2026Collaborator·9 tasks done·

  ·
  12

• test(fuzz): add a resumable liveness-first fuzzing campaign

  ai-reviewedno-spec
  #194·sumchecker opened Oct 8, 2026Collaborator·

  ·
  38

• perf(verifier): batch verifier dot products through jolt-field row kernels

  ai-reviewedimplementationspec
  #190·markosg04 opened Oct 6, 2026Collaborator·

  ·
  10

• feat: Blake2b, Keccak, and NTT inline backends for RISC-V guest verifiers

  no-spec
  #189·markosg04 opened Oct 6, 2026Collaborator·

  ·
  15

• perf: cheaper decoding and challenge setup for RISC-V guest verifiers

  ai-reviewedno-spec
  #188·markosg04 opened Oct 6, 2026Collaborator·

  ·
  8

• feat(schedules): selected-row catalog views for verifiers

  ai-reviewedimplementationspec
  #187·markosg04 opened Oct 6, 2026Collaborator·

  ·
  8

• feat(verifier): view trusted setup and terminal NTT caches in place

  ai-reviewedno-spec
  #186·markosg04 opened Oct 6, 2026Collaborator·

  ·
  19

• refactor!: run Akita on the caller's jolt-transcript

  implementationspec
  #185·markosg04 opened Oct 6, 2026Collaborator·6 of 9 tasks·

  ·
  10

• docs(book): improve correctness and clarity of protocol explanations

  no-spec
  #181·f7ed opened Oct 5, 2026Collaborator·

  ·
  3

• Bump the "dependencies" group with 1 update across multiple ecosystems

  dependenciesno-specrust
  #145·dependabot[bot] opened Sep 30, 2026Bot·

  ·
  4

• Bump the "dependencies" group with 2 updates across multiple ecosystems

  dependenciesgithub_actionsno-spec
  #118·dependabot[bot] opened Sep 29, 2026Bot·

  ·
  4