Module execution_prover

Module execution_prover 

Source
Expand description

Private kernel execution prover — orchestrates the kernel circuit sequence.

Ports the TS PrivateKernelExecutionProver which processes transaction requests through the kernel circuit sequence: init → inner (looped) → reset (dynamic) → tail → hiding → ChonkProof

Structs§

KernelExecutionConfig
Configuration for the kernel execution prover.
KernelProvingResult
Result from the kernel proving sequence.
PrivateCallExecution
Represents a private function call execution for kernel processing.
PrivateKernelExecutionProver
Orchestrates private kernel proof generation.