Issues

• Keep the prover loaded when ere-server gets a new ELF

  eth-act/ere#434 · Filter by author codygunton opened on Sep 23, 2026
  2

  

• Update sp1 to v6.8.1

  zkvm:sp1
  eth-act/ere#422 · Filter by author github-actions opened on Sep 8, 2026

• Add a Jolt backend

  eth-act/ere#403 · Filter by author andreacarotti9 opened on Aug 14, 2026

• Add Venus

  eth-act/ere#327 · Filter by author kevaundray opened on Apr 3, 2026

• Zisk v0.16.1 seems to get stuck

  eth-act/ere#323 · Filter by author jsign opened on Mar 28, 2026
  5

• Proposal: make ere benchmark semantics explicit before publishing more cross-zkVM comparisons

  eth-act/ere#306 · Filter by author quangvdao opened on Mar 9, 2026

• Add support for cancelling an ongoing proving process

  eth-act/ere#302 · Filter by author han0110 opened on Feb 27, 2026

• Update risc0 to v5.0.0-rc.1

  zkvm:risc0
  eth-act/ere#269 · Filter by author github-actions opened on Jan 15, 2026

• Update openvm to v2.1.0-dev.0

  zkvm:openvm
  eth-act/ere#268 · Filter by author github-actions opened on Jan 12, 2026

• Consider an optional flag to collect and dump GPU metrics

  eth-act/ere#265 · Filter by author jsign opened on Jan 6, 2026
  2

• airbender: deadlocks on heavy blocks

  eth-act/ere#253 · Filter by author jsign opened on Dec 19, 2025

• zisk v0.14.0: particular fixture blocks the prover

  eth-act/ere#246 · Filter by author jsign opened on Dec 11, 2025
  1

• OpenVM: No multi-gpu support

  eth-act/ere#242 · Filter by author jsign opened on Dec 10, 2025

• Support proof composition for OpenVM

  eth-act/ere#238 · Filter by author han0110 opened on Dec 8, 2025

• Tracker for RV64IM-None support

  eth-act/ere#232 · Filter by author kevaundray opened on Nov 30, 2025

• Use upstream ZisK instead of patch

  eth-act/ere#200 · Filter by author han0110 opened on Nov 3, 2025

• Consider adding Boojum compression proof for Airbender

  eth-act/ere#180 · Filter by author han0110 opened on Oct 28, 2025
  1

• Proof compression

  eth-act/ere#152 · Filter by author han0110 opened on Sep 25, 2025
  2

• ethrex: verifying key generation

  eth-act/ere#148 · Filter by author ilitteri opened on Sep 22, 2025
  2

• Requirements for ethrex integration (tracker)

  eth-act/ere#146 · Filter by author ilitteri opened on Sep 22, 2025

• Explore expected assumptions in zkVM regarding memory access alignment

  eth-act/ere#121 · Filter by author jsign opened on Sep 2, 2025
  3

• Add Ceno

  eth-act/ere#111 · Filter by author kevaundray opened on Aug 28, 2025

• Fixing dynamic dependencies

  eth-act/ere#105 · Filter by author kevaundray opened on Aug 24, 2025

• Consider adding tests for "verification key" determinism

  eth-act/ere#97 · Filter by author jsign opened on Aug 18, 2025
  1

• Ensure verifier can be compiled to WASM for compatible zkVMs

  eth-act/ere#93 · Filter by author ple1n opened on Aug 15, 2025