Struct CheckpointVerifier 

pub struct CheckpointVerifier { /* private fields */ }

Checkpoint finality verifier for Aptos

Implementations

impl CheckpointVerifier

pub fn new() -> Self

Create a new checkpoint verifier with default configuration.

pub fn with_config(config: CheckpointConfig) -> Self

Create a new checkpoint verifier with custom configuration.

pub fn config(&self) -> &CheckpointConfig

Get the verifier configuration.

pub fn is_version_finalized( &self, version: u64, rpc: &dyn AptosRpc, required_signatures: u64, ) -> AptosResult<CheckpointInfo>

Check if a transaction version is in a certified block.

In Aptos, a block is certified when it receives signatures from 2f+1 validators. Once certified, the block cannot be reverted.

Arguments

• version - The transaction version to check
• rpc - RPC client for fetching block data
• required_signatures - Required number of validator signatures (2f+1)

Returns

Ok(CheckpointInfo) with certification details, or Err on failure.

pub fn is_resource_present( &self, address: [u8; 32], resource_type: &str, rpc: &dyn AptosRpc, ) -> AptosResult<bool>

Check if a resource still exists (for seal verification).

This verifies that a seal resource has not been consumed yet.

Arguments

• address - The account address
• resource_type - The resource type tag
• rpc - RPC client for fetching resource data

pub fn verify_event_in_transaction( &self, tx_version: u64, expected_event_data: &[u8], rpc: &dyn AptosRpc, ) -> AptosResult<bool>

Verify an event was emitted in a specific transaction.

Arguments

• tx_version - The transaction version to check
• expected_event_data - The expected event data bytes
• rpc - RPC client for fetching transaction data

pub fn current_epoch(&self, rpc: &dyn AptosRpc) -> AptosResult<u64>

Get the current epoch from the network.

Arguments

• rpc - RPC client for fetching epoch info

pub fn is_epoch_passed( &self, expected_epoch: u64, rpc: &dyn AptosRpc, ) -> AptosResult<bool>

Verify that an epoch boundary has passed.

This is useful for ensuring the network has progressed beyond a certain point.

Arguments

• expected_epoch - The epoch we expect the network to be in
• rpc - RPC client for fetching current epoch

Trait Implementations

impl Default for CheckpointVerifier

fn default() -> Self

Returns the “default value” for a type.