Trait VerificationExt

pub trait VerificationExt: StateRead {
    // Provided methods
    fn check_claimed_anchor<'life0, 'async_trait>(
        &'life0 self,
        anchor: Root,
    ) -> Pin<Box<dyn Future<Output = Result<()>> + Send + 'async_trait>>
       where Self: Sync + 'async_trait,
             'life0: 'async_trait { ... }
    fn check_nullifier_unspent<'life0, 'async_trait>(
        &'life0 self,
        nullifier: Nullifier,
    ) -> Pin<Box<dyn Future<Output = Result<()>> + Send + 'async_trait>>
       where Self: Sync + 'async_trait,
             'life0: 'async_trait { ... }
}

Available on crate feature component only.

Provided Methods

fn check_claimed_anchor<'life0, 'async_trait>( &'life0 self, anchor: Root, ) -> Pin<Box<dyn Future<Output = Result<()>> + Send + 'async_trait>>

where Self: Sync + 'async_trait, 'life0: 'async_trait,

fn check_nullifier_unspent<'life0, 'async_trait>( &'life0 self, nullifier: Nullifier, ) -> Pin<Box<dyn Future<Output = Result<()>> + Send + 'async_trait>>

where Self: Sync + 'async_trait, 'life0: 'async_trait,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<T: StateRead + ?Sized> VerificationExt for T