Issues

• function-span: a missing GUEST_SYMBOLS_PATH panics as "Invalid ELF bytes", and each ELF decode overwrites the symbols file

  openvm-org/openvm#3200 · Filter by author pauldelucia opened on Nov 8, 2026

• perf-metrics: in v2.0.x and v2.1.0, cells_used misses the Keccak permutation, memory and lookup AIRs

  openvm-org/openvm#3199 · Filter by author pauldelucia opened on Nov 8, 2026
  1

• AppProver has no mutable or owned access to its VmInstance, so GPU prover settings can't be changed on SDK-built provers

  openvm-org/openvm#3198 · Filter by author pauldelucia opened on Nov 8, 2026

• VirtualMachine::prove drops the end state of a suspended segment, so proving consecutive segments needs re-execution or a re-implementation

  openvm-org/openvm#3197 · Filter by author pauldelucia opened on Nov 8, 2026

• SDK: a reused deferral-aware StarkProver makes proofs that fail verification after the first (DeferralInitialRootMismatch)

  openvm-org/openvm#3196 · Filter by author pauldelucia opened on Nov 8, 2026

• Dependency graph includes BOSL-licensed halo2 0.1.0-beta.2 through zkhash-axiom

  openvm-org/openvm#3195 · Filter by author pauldelucia opened on Nov 8, 2026

• Guest ELFs embed absolute host paths, so builds differ by build machine and expose local paths

  openvm-org/openvm#3183 · Filter by author jj-supercode opened on Oct 29, 2026

• Recursion proofs are not byte-deterministic: ExpBitsLen block order, and CUDA vs CPU Poseidon2 order

  openvm-org/openvm#3182 · Filter by author jj-supercode opened on Oct 29, 2026

• cargo-openvm v2.0.2 Linux release binaries need glibc 2.39 and don't run on Ubuntu 22.04

  openvm-org/openvm#3179 · Filter by author pauldelucia opened on Oct 27, 2026

• tiny-keccak patch: public keccakf is not routed to the KECCAKF opcode on the zkVM target

  openvm-org/openvm#3173 · Filter by author pauldelucia opened on Oct 24, 2026

• docs: llms.txt is turned off because the vocs llms plugin crashes

  openvm-org/openvm#3166 · Filter by author reetbatra opened on Oct 9, 2026