Re-exports§
pub use openvm_stark_backend;
pub use p3_baby_bear;
pub use p3_blake3;
pub use p3_bn254_fr;
pub use p3_goldilocks;
pub use p3_keccak;
Modules§
- bench
- config
- cost_
estimate - Verifier cost estimation
- dummy_
airs - engine
- utils
Macros§
- any_
rap_ arc_ vec - A macro to create a
Vec<Arc<dyn AnyRap<_>>>
from a list of AIRs because Rust cannot infer the type correctly when usingvec!
. - assert_
sc_ compatible_ with_ serde - collect_
airs_ and_ inputs