Struct ProvableQuery 

pub struct ProvableQuery {
    pub state_root: <TestnetV0 as Network>::StateRoot,
    pub block_height: u32,
    pub api_base_url: String,
    /* private fields */
}

A custom query that fetches Merkle state paths from the Provable API v2 statePath/{commitment} endpoint during trace.prepare().

The state root returned by [current_state_root] is cached from the most recently fetched state path — ensuring the Merkle proof and the root it verifies against are consistent.

Fields

state_root: <TestnetV0 as Network>::StateRoot

block_height: u32

api_base_url: String

Provable API v2 base URL (e.g. https://api.provable.com/v2/testnet)

Implementations

impl ProvableQuery

pub fn new( state_root: <TestnetV0 as Network>::StateRoot, block_height: u32, api_base_url: &str, ) -> Self

Trait Implementations

impl Clone for ProvableQuery

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ProvableQuery

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl QueryTrait<TestnetV0> for ProvableQuery

fn current_state_root(&self) -> Result<<TestnetV0 as Network>::StateRoot>

Returns the current state root.

fn current_block_height(&self) -> Result<u32>

Returns the current block height

fn get_state_path_for_commitment( &self, commitment: &Field<TestnetV0>, ) -> Result<StatePath<TestnetV0>>

Returns a state path for the given commitment.

fn get_state_paths_for_commitments( &self, commitments: &[Field<TestnetV0>], ) -> Result<Vec<StatePath<TestnetV0>>>

Returns a list of state paths for the given list of commitments.

fn current_state_root_async<'life0, 'async_trait>( &'life0 self, ) -> Pin<Box<dyn Future<Output = Result<<TestnetV0 as Network>::StateRoot>> + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Returns the current state root.

fn current_block_height_async<'life0, 'async_trait>( &'life0 self, ) -> Pin<Box<dyn Future<Output = Result<u32>> + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait,

Returns the current block height

fn get_state_path_for_commitment_async<'life0, 'life1, 'async_trait>( &'life0 self, commitment: &'life1 Field<TestnetV0>, ) -> Pin<Box<dyn Future<Output = Result<StatePath<TestnetV0>>> + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Returns a state path for the given commitment.

fn get_state_paths_for_commitments_async<'life0, 'life1, 'async_trait>( &'life0 self, commitments: &'life1 [Field<TestnetV0>], ) -> Pin<Box<dyn Future<Output = Result<Vec<StatePath<TestnetV0>>>> + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait,

Returns a list of state paths for the given list of commitments.