mina_tree::proofs::block

Function ledger_proof_opt

Source 
fn ledger_proof_opt(
    proof: Option<&LedgerProofProdStableV2>,
    next_state: &MinaStateProtocolStateValueStableV2,
) -> Result<(Statement<SokDigest>, Arc<TransactionSnarkProofStableV2>)>