Issues

• Question: leanSPHINCS Recursive aggregation

  leanEthereum/leanVM#748 · Filter by author zak-codes opened on Nov 10, 2026
  2

• Ring-switching soundness: charge 1/|E| per stage instead of the total degree (≈2^32)

  leanEthereum/leanVM#735 · Filter by author kevaundray opened on Nov 9, 2026

• Use two independent bus fingerprints

  leanEthereum/leanVM#733 · Filter by author kevaundray opened on Nov 9, 2026
  1

• Bus: fold the counts into the pull leaves and drop the count tree (protocol change, proposal)

  leanEthereum/leanVM#722 · Filter by author tcoratger opened on Nov 6, 2026
  2

• Keccak GKR: pack 32 instances per RMFE embedding (protocol change, proposal)

  leanEthereum/leanVM#721 · Filter by author tcoratger opened on Nov 6, 2026

• Question: Side-Channel Security and Implementation Security Status of leanSPHINCS

  leanEthereum/leanVM#651 · Filter by author zak-codes opened on Oct 31, 2026
  1

• AVX-512 code paths are active in local builds but never compiled or tested in CI

  leanEthereum/leanVM#644 · Filter by author gopikannappan opened on Oct 21, 2026

• Move ci benchmarks to main branch

  leanEthereum/leanVM#641 · Filter by author kevaundray opened on Oct 17, 2026

• Align on benchmark metrics

  leanEthereum/leanVM#598 · Filter by author kevaundray opened on Oct 10, 2026

• Investigate variance in benchmarks

  leanEthereum/leanVM#581 · Filter by author kevaundray opened on Oct 9, 2026

• Benchmark to see the diff between Google Pixel 7 and Google Pixel 8

  leanEthereum/leanVM#579 · Filter by author kevaundray opened on Oct 9, 2026

• Review Fiat-Shamir construction

  leanEthereum/leanVM#529 · Filter by author kevaundray opened on Oct 7, 2026
  2

• Add ability to supply hints to guest programs

  leanEthereum/leanVM#500 · Filter by author kevaundray opened on Oct 6, 2026

• Prove leanXMSS guest program is equivalent to the cryptography specs implementation

  leanEthereum/leanVM#494 · Filter by author kevaundray opened on Oct 5, 2026

• Add leanDA proving times to benchmarks

  leanEthereum/leanVM#489 · Filter by author kevaundray opened on Oct 5, 2026

• Add a benchmark to test how long it takes to wrap proofs

  leanEthereum/leanVM#466 · Filter by author kevaundray opened on Oct 5, 2026
  1

  

• Establish benchmarking hardware requirements

  leanEthereum/leanVM#459 · Filter by author kevaundray opened on Oct 4, 2026
  2

  

• Investigate recursion as a guest program

  leanEthereum/leanVM#446 · Filter by author kevaundray opened on Oct 4, 2026
  1

• Controlling the number of cores/threads in benchmarks

  leanEthereum/leanVM#441 · Filter by author kevaundray opened on Oct 4, 2026

• Tracking issue for rate

  leanEthereum/leanVM#429 · Filter by author kevaundray opened on Oct 3, 2026
  2

• Committed-program mode (possibly the default), for aggregating proofs of different programs?

  leanEthereum/leanVM#417 · Filter by author kevaundray opened on Oct 3, 2026
  1

• Read-only memory regions: cheaper loads of constants and advice?

  leanEthereum/leanVM#414 · Filter by author kevaundray opened on Oct 3, 2026
  1

• spec: define blake2s block addressing for unaligned blocks, so guests can chain blocks without copies?

  leanEthereum/leanVM#413 · Filter by author kevaundray opened on Oct 3, 2026

• Investigate all unsafe usages in riscv guest programs

  leanEthereum/leanVM#408 · Filter by author kevaundray opened on Oct 3, 2026

• ensure zkVM uses reserved/unused opcodes

  leanEthereum/leanVM#403 · Filter by author kevaundray opened on Oct 3, 2026