All pull requests

Pull requests

• Canopy commitment for the PCS (ePrint 2026/2790): draft, not merge

  #747·kevaundray opened Nov 10, 2026Collaborator·

  ·

• rec_aggregation: aggregate_after, a node's guest run started before its child's proof (draft)

  #746·nconsigny opened Nov 10, 2026Contributor·

  ·

• KECCAK: gated output cells count the constant 1 (draft, protocol change)

  #745·nconsigny opened Nov 10, 2026Contributor·

  ·

• leanvm_core: bus GKR binds two rounds per pass on AVX-512

  #744·nconsigny opened Nov 10, 2026Contributor·

  ·

• keccak_gkr: bind two tail rounds per pass over the table

  #743·nconsigny opened Nov 10, 2026Contributor·

  ·
  1

• keccak_gkr: AVX-512 Skip kernel with each chi row's products paired by a shared factor

  #742·nconsigny opened Nov 10, 2026Contributor·

  ·

• keccak_gkr: input opening's pack fold by BitFold, not byte tables

  #741·nconsigny opened Nov 10, 2026Contributor·

  ·
  1

• leanvm_core: each table's sum from its join message, no Bus tables pass

  #740·nconsigny opened Nov 10, 2026Contributor·

  ·

• pcs: LEANVM_KEEP_CODEWORD_MAX_BYTES lets a prover keep the L0 codeword above 1 GiB

  #739·nconsigny opened Nov 10, 2026Contributor·

  ·

• FV rust verifier via riscV

  #738·TomWambsgans opened Nov 10, 2026Collaborator·

  ·

• QROM sphincs

  #737·TomWambsgans opened Nov 10, 2026Collaborator·

  ·

• formal: scaffold the Rust-to-Lean extraction (hax), after Plonky3-lean

  #736·tcoratger opened Nov 9, 2026Collaborator·

  ·
  1

• keccak_gkr: 26% faster prover, proof unchanged

  #730·parithosh opened Nov 9, 2026Contributor·

  ·

• Prover optimisation ideas (not merge)

  #729·kevaundray opened Nov 9, 2026Collaborator·

  ·
  1

• Guest memory and table size ideas (not merge)

  #727·kevaundray opened Nov 9, 2026Collaborator·

  ·

• Keep the bus count tree in K

  #725·TomWambsgans opened Nov 9, 2026Collaborator·

  ·

• memory: announce N_mem and commit only the cells a run covers (-15% committed, M 27->26, -11% proving)

  #718·tcoratger opened Nov 6, 2026Collaborator·2/2·

  ·
  2

• stacking: commit columns in pieces, one piece per memory column for now (no protocol change)

  #717·tcoratger opened Nov 6, 2026Collaborator·1/2·

  ·

• leanvm_core: two bus GKR rounds per pass over the tall layers (-17% Bus GKR, -3% peak memory)

  #716·tcoratger opened Nov 6, 2026Collaborator·

  ·

• keccak_gkr: name the RMFE pack width once and derive from it (no behaviour change)

  #715·tcoratger opened Nov 6, 2026Collaborator·

  ·

• errors: thiserror across the repo, with variants that name the fault

  #707·tcoratger opened Nov 6, 2026Collaborator·1/2·

  ·

• verifier: hash Merkle leaves from a stack buffer, fewer clones (-14% allocations per verify)

  #703·tcoratger opened Nov 6, 2026Collaborator·

  ·

• verifier: evaluate the stacked claims' eq once per distinct point (-57% basis products)

  #702·tcoratger opened Nov 6, 2026Collaborator·

  ·

• verifier: stream the bytecode IV and group its words by sorting (-99.5% allocations, -85% transient memory)

  #701·tcoratger opened Nov 6, 2026Collaborator·2/2·

  ·

• verifier: complement each bytecode block's most frequent word (-18% position loads)

  #700·tcoratger opened Nov 6, 2026Collaborator·1/2·

  ·