generate_pessimistic_proof

pessimistic_proof_core::proof

Function generate_pessimistic_proof 

Source 
pub fn generate_pessimistic_proof(
    initial_network_state: NetworkState,
    batch_header: &MultiBatchHeader,
) -> Result<(PessimisticProofOutput, StateCommitment), ProofError>
Expand description

Proves that the given MultiBatchHeader can be applied on the given NetworkState.