pub trait TransactionProver {
// Required method
fn prove<'life0, 'async_trait>(
&'life0 self,
tx_result: TransactionInputs,
) -> Pin<Box<dyn Future<Output = Result<ProvenTransaction, TransactionProverError>> + Send + 'async_trait>>
where 'life0: 'async_trait,
Self: 'async_trait;
}