Struct Verifier 

pub struct Verifier { /* private fields */ }

RAII wrapper around a verifier context (void* in C, opaque to us).

Implementations

impl Verifier

pub fn new( proof: &[u8], method: &str, args: &str, chain_id: u64, trusted_checkpoint: Option<&str>, verify_flags: u32, ) -> Result<Self, ColibriError>

Create a verifier context.

• proof – the SSZ-encoded proof bytes to verify.
• args – JSON array string of the original RPC parameters.
• trusted_checkpoint – optional 0x-prefixed 66-char hex string. When None, the C core keeps the previously configured checkpoint for chain_id.
• verify_flags – bitmask of verify_flags_t values (e.g. PAP).

pub fn set_min_latest_block_ts(&mut self, ts: u64)

Set the lower bound (Unix seconds) for block.timestamp accepted when the proof references the "latest" tag. 0 disables the check.

pub fn execute_json_status(&mut self) -> Result<String, ColibriError>

Advance the verifier state machine one step. See crate::types::Status for the shape of the returned JSON.

Trait Implementations

impl Drop for Verifier

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.

impl Send for Verifier