Expand description
Private kernel prover trait and BB binary integration.
Ports the TS PrivateKernelProver interface and BBPrivateKernelProver
implementation that shells out to the bb binary for proof generation.
Structs§
- BbPrivate
Kernel Prover - Private kernel prover backed by the Barretenberg (
bb) binary. - BbProver
Config - Configuration for the BB prover.
- Chonk
Proof With Public Inputs - ChonkProof with public inputs — the final aggregated proof.
- Private
Execution Step - A single step in private execution, used to build a ChonkProof.
- Private
Kernel Simulate Output - Output from a kernel circuit simulation or witness generation.
- Proving
Timings - Proving timings for the entire transaction.
- Step
Timings - Timing metadata for an execution step.
Enums§
- BbResult
- Result from BB binary execution.
Traits§
- Private
Kernel Prover - Private kernel prover interface.