All pull requests

Pull requests

• leanvm: recursion trees without the lift: the first level merges leaf proofs directly

  backlogrecursive-verifier-opt
  #443·kevaundray opened Oct 4, 2026Collaborator·

  ·
  2

• bench: report each proven case's stage times and peak memory

  #432·kevaundray opened Oct 3, 2026Collaborator·

  ·
  2

• flock, pcs: lockstep flock challenges, one ring-switch family per proof

  backlog
  #422·kevaundray opened Oct 3, 2026Collaborator·

  ·
  4

• leanvm: commit the program in a verifying key

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

  ·
  3

• flock: one batched zerocheck and lincheck for all circuits

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

  ·

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

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

  ·
  3

• primitives: a word-fed BLAKE2s; stream the program digest and Merkle leaves without staging copies

  backlogrecursive-verifier-opt
  #411·kevaundray opened Oct 3, 2026Collaborator·

  ·
  1

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

  ·
  7

• leanvm: recursion as a circuit (a recursion machine verifying leanVM proofs)

  recursive-verifier-opt
  #404·kevaundray opened Oct 3, 2026Collaborator·

  ·
  6

• leanvm_core: prove the EXT product by identities over K, with no class circuit

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

  ·
  4

• programs: the leanVM verifier as a leanVM guest (recursion harness)

  recursive-verifier-opt
  #398·kevaundray opened Oct 2, 2026Collaborator·

  ·
  5

• flock: one batched zerocheck and lincheck for all circuits (on jagged tables)

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

  ·
  3

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

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

  ·
  5

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

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

  ·
  4

• 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, 2026Contributor·

  ·
  5

• bench: stop tracking the exact counts on Bencher

  #336·kevaundray opened Sep 30, 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·

  ·