aztec_pxe/kernel/
mod.rs

1//! Kernel circuit logic for private transaction proving.
2
3pub mod execution_prover;
4pub mod oracle;
5pub mod prover;
6pub mod simulated;
7
8pub use execution_prover::PrivateKernelExecutionProver;
9pub use oracle::PrivateKernelOracle;
10pub use prover::{
11    BbPrivateKernelProver, BbProverConfig, ChonkProofWithPublicInputs, PrivateExecutionStep,
12    PrivateKernelProver, PrivateKernelSimulateOutput,
13};
14pub use simulated::SimulatedKernel;