All pull requests

Pull requests

• AGENTS.md: function and allocation profiles, and a system-allocator build for heaptrack

  #497·kevaundray opened Oct 6, 2026Collaborator·

  ·
  1

• leanvm_core: split the ALU into ADD, LOGIC, BRANCH and JUMP (on padded tables)

  #496·kevaundray opened Oct 5, 2026Collaborator·

  ·
  2

• pcs: fold the opening's point claims in closed form in the first lane fold

  #495·tcoratger opened Oct 5, 2026Collaborator·

  ·
  1

• leanvm_core, python-verifier, doc: grind before the bus for programs past 2^21 entries

  #493·tcoratger opened Oct 5, 2026Collaborator·

  ·
  2

• leanvm_core: faster bus leaves, GKR and constraint kernels

  #465·kevaundray opened Oct 5, 2026Collaborator·

  ·
  10

• pcs: a cheaper commit NTT plan when few workers run

  #464·kevaundray opened Oct 5, 2026Collaborator·

  ·
  1

• leanvm_core: word-level witnesses for the ALU, memory, shift and clock circuits

  #463·kevaundray opened Oct 5, 2026Collaborator·

  ·
  1

• leanvm: commit the program in a verifying key

  native-verifier-optrecursive-verifier-opt
  #418·kevaundray opened Oct 3, 2026Collaborator·

  ·
  3

• leanxmss: a 2^17-word advice region, and 451 signatures a proof

  guest-opt
  #415·kevaundray opened Oct 3, 2026Collaborator·

  ·
  2

• verifier: the Python verifier reads the real proof; no raw-proof path; build the bytecode tuple once

  backlognative-verifier-optrecursive-verifier-opt
  #410·kevaundray opened Oct 3, 2026Collaborator·

  ·
  5

• leanvm_core: split the ALU into ADD, LOGIC, BRANCH and JUMP (on jagged tables)

  backlog
  #390·kevaundray opened Oct 2, 2026Collaborator·

  ·
  2

• leanvm_core: jagged tables, commit and prove the live rows only

  backlog
  #389·kevaundray opened Oct 2, 2026Collaborator·

  ·
  3

• perf: reuse execution trace buffers across proofs

  prover-opt
  #380·adust09 opened Oct 2, 2026Contributor·

  ·
  3

• perf: generate flock witnesses directly in the committed stack

  backlogprover-opt
  #374·tcoratger opened Oct 1, 2026Collaborator·

  ·
  2

• XMSS: move the chain index out of the chain-step tweak

  #283·TomWambsgans opened Sep 25, 2026Collaborator·

  ·

• xmss: harden the one-time-per-epoch invariant (doc, opt-in guard, aggregation reject)

  #279·isazajuancarlos opened Sep 22, 2026·

  ·

• RiscV

  #277·TomWambsgans opened Sep 18, 2026Collaborator·

  ·
  3

• chore(do not merge): aggregate API

  #267·kevaundray opened Aug 14, 2026Collaborator·

  ·
  3

• perf(xmss): derive WOTS public keys only during key generation

  #265·exocognosis opened Jul 31, 2026·

  ·
  1

• test: add regression test for F-01 field canonicity check

  #258·aryaethn opened Jul 5, 2026·

  ·

• fix(fiat-shamir): rejection-sample in sample_in_range to remove truncation bias

  #257·lau90eth opened Jul 5, 2026·

  ·
  1

• V1 demo

  #252·LongMeng-Crypto opened Jun 12, 2026·

  ·

• lean_vm: add source-level failure stack traces

  #246·latifkasuli opened Jun 3, 2026Contributor·

  ·
  1

• Fix compiler stack overflow

  #244·malik672 opened Jun 2, 2026Contributor·

  ·

• Sha256 benches

  #209·kilic opened May 4, 2026·

  ·