1pub mod adapters;
2pub mod backend;
3pub mod backend_stub;
4pub mod core;
5pub mod engine;
6pub mod policy;
7pub mod proof;
8pub mod storage;
9
10pub use core::proof::{Proof, ProofSystem};
11pub use core::{
12 registry::VerifierRegistry,
13 verifier::{ProofVerifier, VerificationRequest, Verifier},
14};
15
16#[cfg(feature = "zk-halo2")]
17pub mod backend_halo2;
18
19#[cfg(feature = "zk-halo2")]
20pub use backend_halo2::Halo2Backend;
21
22#[cfg(feature = "zk-vm")]
23pub mod backend_zkvm;
24
25#[cfg(feature = "zk-vm")]
26pub use backend_zkvm::ZkVmBackend;
27
28#[cfg(test)]
29mod tests;
30
31#[cfg(all(test, feature = "zk-halo2"))]
32mod tests_halo2;
33
34#[cfg(all(test, feature = "zk-vm"))]
35mod tests_zkvm;
36
37#[cfg(all(test, feature = "zk-halo2", feature = "zk-vm"))]
38mod tests_equivalence;
39
40#[cfg(test)]
41mod tests_universal;