Module kernel 

Kernel circuit logic for private transaction proving.

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.

Structs

BbPrivateKernelProver

Private kernel prover backed by the Barretenberg (bb) binary.

BbProverConfig

Configuration for the BB prover.

ChonkProofWithPublicInputs

ChonkProof with public inputs — the final aggregated proof.

PrivateExecutionStep

A single step in private execution, used to build a ChonkProof.

PrivateKernelExecutionProver

Orchestrates private kernel proof generation.

PrivateKernelOracle

Oracle for private kernel circuit interactions with state trees.

PrivateKernelSimulateOutput

Output from a kernel circuit simulation or witness generation.

SimulatedKernel

Assembles kernel public inputs in software (no proving).

Traits

PrivateKernelProver

Private kernel prover interface.