Struct PrivateKernelExecutionProver 

pub struct PrivateKernelExecutionProver<'a, N>
where
    N: AztecNode,
{ /* private fields */ }

Orchestrates private kernel proof generation.

Processes a private execution result through the full kernel circuit sequence:

1. Init — first private call produces kernel public inputs
2. Inner — each subsequent nested call chains with previous output
3. Reset — between calls: squash transient side effects, verify reads
4. Tail — finalize private kernel public inputs
5. Hiding — wrap into privacy-preserving proof (to-rollup or to-public)
6. ChonkProof — aggregate all execution steps into one proof

Implementations

impl<'a, N> PrivateKernelExecutionProver<'a, N>

where N: AztecNode,

pub fn new( oracle: PrivateKernelOracle<'a, N>, prover: &'a dyn PrivateKernelProver, config: KernelExecutionConfig, ) -> PrivateKernelExecutionProver<'a, N>

pub fn from_stores( node: &'a N, contract_store: &'a ContractStore, key_store: &'a KeyStore, prover: &'a dyn PrivateKernelProver, block_hash: Fr, config: KernelExecutionConfig, ) -> PrivateKernelExecutionProver<'a, N>

Create from component stores and node.

pub async fn prove_with_kernels( &self, execution_results: &[PrivateCallExecution], ) -> Result<KernelProvingResult, Error>

Execute the full kernel proving sequence for a transaction.

Takes the private execution results (from ACVM execution) and processes them through the kernel circuit sequence.