Issues

• Benchmark proving Falcon-512 signature scheme

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

  

• Add a benchmark for L1 state proof

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

• Add a benchmark for shielded transfers

  leanEthereum/leanVM#467 · 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
  

• 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

• Reset the proof version and digest label at the first production release

  leanEthereum/leanVM#364 · Filter by author tcoratger opened on Oct 1, 2026

• Optimisation ideas

  leanEthereum/leanVM#352 · Filter by author kevaundray opened on Oct 1, 2026
  7

• Use dedicated runners for CI benchmarks

  leanEthereum/leanVM#349 · Filter by author kevaundray opened on Sep 30, 2026

• Could we use the new stable rust allocator API?

  leanEthereum/leanVM#330 · Filter by author kevaundray opened on Sep 30, 2026
  1

• Tracking Issue for adding zero knowledge

  leanEthereum/leanVM#303 · Filter by author kevaundray opened on Sep 29, 2026

• Clarify intended behaviour on misaligned accesses

  leanEthereum/leanVM#301 · Filter by author kevaundray opened on Sep 29, 2026
  1

• Consider adding release-please

  leanEthereum/leanVM#298 · Filter by author kevaundray opened on Sep 29, 2026

• Tracking issue for Aeneas integration

  leanEthereum/leanVM#297 · Filter by author kevaundray opened on Sep 29, 2026
  1

• Benchmarks for leanXMSS, leanSPHINCS, leanDA and recursive aggregation

  leanEthereum/leanVM#296 · Filter by author kevaundray opened on Sep 29, 2026
  1

• Improved stack traces

  leanEthereum/leanVM#112 · Filter by author morganthomas opened on Dec 15, 2025