Module kernel 

Kernel circuit logic for private transaction proving.

Re-exports

pub use execution_prover::PrivateKernelExecutionProver;

pub use oracle::PrivateKernelOracle;

pub use prover::BbPrivateKernelProver;

pub use prover::BbProverConfig;

pub use prover::ChonkProofWithPublicInputs;

pub use prover::PrivateExecutionStep;

pub use prover::PrivateKernelProver;

pub use prover::PrivateKernelSimulateOutput;

pub use simulated::SimulatedKernel;

Modules

execution_prover

Private kernel execution prover — orchestrates the kernel circuit sequence.

oracle

Private kernel oracle for providing hints during kernel circuit execution.

prover

Private kernel prover trait and BB binary integration.

simulated

Simulated kernel proving — generates kernel public inputs in software.