All pull requests

Pull requests

• perf: parallelize trace compaction and bytecode cycle tables

  no-spec
  #54·sumchecker opened Oct 5, 2026Collaborator·

  ·
  1

• perf(akita): share prepared A tiles across trace blocks

  no-spec
  #53·RadNi opened Oct 3, 2026·6 tasks done·

  ·
  2

• fix(akita): pin Akita with schedule-artifact log_basis validation

  no-spec
  #50·sumchecker opened Sep 29, 2026Collaborator·

  ·
  1

• fix(akita): size the grouped one-hot setup for precommitted objects above the trace arity

  no-spec
  #49·sumchecker opened Sep 28, 2026Collaborator·

  ·
  2

• feat: accept resident Akita commitment in modular stage zero

  no-spec
  #48·omibo opened Sep 25, 2026·

  ·
  1

• feat(akita): support external PCS provers

  no-spec
  #47·RadNi opened Sep 25, 2026·

  ·
  2

• feat: expose proof assembly and modular prover inputs

  implementationspec
  #38·omibo opened Sep 22, 2026·

  ·
  2

• Make the proof-parts -> verifier conversion seam public

  no-spec
  #35·mtbadakhshan opened Aug 21, 2026·

  ·
  2

• feat(sumcheck): add RoundScheduler for prove_round/finish_rounds order

  implementationno-spec
  #33·mtbadakhshan opened Aug 12, 2026·2 tasks·

  ·
  1

• feat(jolt-prover): stack RoundScheduler on Akita prover

  implementationspec
  #32·mtbadakhshan opened Aug 12, 2026·

  ·

• Feat/jolt prover akita

  no-spec
  #31·mtbadakhshan opened Aug 10, 2026·

  ·
  1

• feat(akita): fuse the stage-8 opening into one native multi-group root fold

  implementationspec
  #30·sumchecker opened Jul 27, 2026Collaborator·

  ·

• Feat/jolt legacy prover akita integration

  implementationspec
  #29·mtbadakhshan opened Jul 23, 2026·

  ·
  1

• Taghi/akita

  implementationspec
  #28·mtbadakhshan opened Jul 3, 2026·

  ·

• docs(akita): fused increment PIOP spec and locked design decisions

  implementationspec
  #27·quangvdao opened Jun 22, 2026·2 of 3 tasks·

  ·
  1

• feat: another akita integration

  implementationno-spec
  #25·sumchecker opened Jun 17, 2026Collaborator·

  ·
  5