1//! Proof-Carrying-Code module. In here, we define the proof format and proof infrastructure. 2 3#![deny(missing_docs)] 4 5mod encoding; 6mod proof; 7 8pub use encoding::*; 9pub use proof::Proof;