Module embedded_pxe 

Embedded PXE implementation (in-process, client-side).

Modules

embedded_pxe

Embedded PXE implementation that runs PXE logic in-process.

execution

Private function execution and oracle handling.

kernel

Kernel circuit logic for private transaction proving.

stores

Local stores for PXE state.

sync

Block and contract state synchronization.

Structs

AnchorBlockStore

Stores the current anchor (synced) block header.

BbPrivateKernelProver

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

BbProverConfig

Configuration for the BB prover.

BlockStateSynchronizer

Block state synchronizer that manages block header tracking and reorg handling.

BlockSyncConfig

Configuration for the block state synchronizer.

ChonkProofWithPublicInputs

ChonkProof with public inputs — the final aggregated proof.

ContractSyncService

Service that ensures contracts’ private state is synced before execution.

EmbeddedPxe

Embedded PXE that runs private execution logic in-process.

EmbeddedPxeConfig

Configuration for EmbeddedPxe creation.

EventService

Service for validating and storing private events.

InMemoryKvStore

In-memory KV store for testing and ephemeral use.

LogService

Service for log retrieval operations using the tagging protocol.

NoteService

Service for note-related operations.

NoteStore

Stores discovered notes indexed by siloed nullifier (unique key).

PrivateEventFilterValidator

Validates and sanitizes private event filters.

PrivateEventStore

Stores decrypted private event logs with filtering and reorg support.

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.

RecipientTaggingStore

Stores recipient tagging data for synchronizing recipient logs.

SenderTaggingStore

Stores sender tagging data for synchronizing sender tagging indexes.

SimulatedKernel

Assembles kernel public inputs in software (no proving).

SledKvStore

Persistent key-value store backed by sled.

Traits

KvStore

Simple key-value store trait (async for future flexibility).

PrivateKernelProver

Private kernel prover interface.