PetraVM Proving System using Binius M3 Arithmetization.

This library implements the proving system for the PetraVM using M3 arithmetization. The design is modular, with each opcode instruction having its own M3 table implementation.

PetraVM Prover

Placeholder for the PetraVM Prover crate.

License

Licensed under Apache 2.0. See LICENSE.