Module execution 

Private function execution and oracle handling.

Modules

acvm_executor

ACVM integration for executing Noir bytecode.

execution_result

Typed private execution results matching upstream stdlib.

field_conversion

Field element conversion between aztec-core Fr and ACVM FieldElement.

oracle

Private execution oracle — bridges ACVM foreign calls to local stores + node RPC.

pick_notes

Note filtering by select clauses — mirrors upstream pick_notes.ts.

utility_oracle

Oracle for utility (view/unconstrained) function execution.

Structs

AcvmExecutor

Executor for Noir ACIR/Brillig bytecode via the ACVM.

PrivateCallExecutionResult

Result of a single private call execution (one function in the call tree).

PrivateExecutionOracle

Oracle for private function execution.

PrivateExecutionResult

Top-level result from private execution.

PrivateLogData

Private log data with counter for ordering.

PublicCallRequestData

Data for an enqueued public function call.

UtilityExecutionOracle

Oracle for utility function execution (read-only, no side effects).

Traits

OracleCallback

Trait for oracle callback during ACVM execution.

Functions

fe_to_fr

Convert an ACVM FieldElement to our Fr type.

fr_to_fe

Convert our Fr type to an ACVM FieldElement.