1//! PetraVM Proving System using Binius M3 Arithmetization.
2//!
3//! This library implements the proving system for the PetraVM using M3
4//! arithmetization. The design is modular, with each opcode
5//! instruction having its own M3 table implementation.