Struct PrivateKernelOracle 

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

Oracle for private kernel circuit interactions with state trees.

Provides hints and data lookups needed during kernel circuit execution:

• Contract address and class preimages
• Function membership witnesses
• VK membership witnesses in the protocol VK tree
• Note hash and nullifier tree membership witnesses
• Master secret keys for key verification

Implementations

impl<'a, N: AztecNode> PrivateKernelOracle<'a, N>

pub fn new( node: &'a N, contract_store: &'a ContractStore, key_store: &'a KeyStore, block_hash: Fr, ) -> Self

pub async fn get_contract_address_preimage( &self, address: &AztecAddress, ) -> Result<Value, Error>

Get the contract address preimage (instance data including salted init hash).

Returns the contract instance data needed to verify the contract address derivation inside the kernel circuit.

pub async fn get_contract_class_id_preimage( &self, class_id: &Fr, ) -> Result<Value, Error>

Get the contract class ID preimage (artifact hash, bytecode commitment).

Returns the contract class data needed to verify class ID derivation.

pub async fn get_function_membership_witness( &self, class_id: &Fr, function_selector: &Fr, ) -> Result<Value, Error>

Get function membership witness in the contract’s private function tree.

Proves that a function selector belongs to a specific contract class.

pub async fn get_vk_membership_witness( &self, vk_hash: &Fr, ) -> Result<Value, Error>

Get VK membership witness in the protocol VK indexed merkle tree.

Proves that a verification key is part of the protocol’s VK tree.

pub async fn get_note_hash_membership_witness( &self, note_hash: &Fr, ) -> Result<Option<Value>, Error>

Get note hash membership witness at the current block.

pub async fn get_nullifier_membership_witness( &self, nullifier: &Fr, ) -> Result<Option<Value>, Error>

Get nullifier membership witness at the current block.

pub async fn get_note_hash_tree_root(&self) -> Result<Fr, Error>

Get the note hash tree root from the block header.

pub async fn get_master_secret_key( &self, pk_hash: &Fr, ) -> Result<Option<Fr>, Error>

Get the master secret key (sk_m) for key verification in the kernel.

pub async fn get_block_hash_membership_witness( &self, block_hash: &Fr, ) -> Result<Option<Value>, Error>

Get block hash membership witness in the archive tree.

pub async fn get_updated_class_id_hints( &self, address: &AztecAddress, ) -> Result<Value, Error>

Get updated class ID hints (public data witnesses for class ID updates).

pub async fn get_debug_function_name( &self, contract_address: &AztecAddress, function_selector: &FunctionSelector, ) -> Result<Option<String>, Error>

Get debug function name from selector (for error messages).

pub fn block_hash(&self) -> &Fr

Get the block hash used for consistent state reads.