Trait ProverService

pub trait ProverService: Sync + Send {
    // Required methods
    fn compute_transactions_proofs<'life0, 'life1, 'async_trait>(
        &'life0 self,
        up_to: BlockNumber,
        transaction_hashes: &'life1 [TransactionHash],
    ) -> Pin<Box<dyn Future<Output = StdResult<Vec<CardanoTransactionsSetProof>>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait;
    fn compute_cache<'life0, 'async_trait>(
        &'life0 self,
        up_to: BlockNumber,
    ) -> Pin<Box<dyn Future<Output = StdResult<()>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait;
}

Prover service is the cryptographic engine in charge of producing cryptographic proofs for transactions

Required Methods

fn compute_transactions_proofs<'life0, 'life1, 'async_trait>( &'life0 self, up_to: BlockNumber, transaction_hashes: &'life1 [TransactionHash], ) -> Pin<Box<dyn Future<Output = StdResult<Vec<CardanoTransactionsSetProof>>> + Send + 'async_trait>>

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

Compute the cryptographic proofs for the given transactions

fn compute_cache<'life0, 'async_trait>( &'life0 self, up_to: BlockNumber, ) -> Pin<Box<dyn Future<Output = StdResult<()>> + Send + 'async_trait>>

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

Compute the cache

Implementors

impl<S: MKTreeStorer> ProverService for MithrilProverService<S>