Issues

• README test counts are substantially stale

  QuilibriumNetwork/metavm#5 · Filter by author blacks1ne opened on Aug 8, 2026

• CLI proof artifacts are incomplete and incompatible with RecursiveProof::from_bytes

  QuilibriumNetwork/metavm#4 · Filter by author blacks1ne opened on Aug 8, 2026

• prove-sbf exits instead of running the documented no-argument demo

  QuilibriumNetwork/metavm#3 · Filter by author blacks1ne opened on Aug 8, 2026

• prove-sbf and prove-slot ignore --output and discard generated proofs

  QuilibriumNetwork/metavm#2 · Filter by author blacks1ne opened on Aug 8, 2026

• Fresh checkout cannot build because trusted_setup.bin is missing and gitignored

  QuilibriumNetwork/metavm#1 · Filter by author blacks1ne opened on Aug 8, 2026