Skip to main content

cairo_air/
lib.rs

1pub mod air;
2pub mod cairo_components;
3pub mod claims;
4pub mod components;
5pub mod flat_claims;
6pub mod relations;
7pub mod serde_utils;
8pub mod utils;
9
10// TODO(Ohad): verifier crate.
11pub mod verifier;
12
13pub use air::{CairoProof, CairoProofForRustVerifier};