Skip to main content

Module proof_result

Module proof_result 

Source

Enumsยง

StateTransitionProofOutcome
A verified state-transition proof result, tagged with the guarantee the proof establishes.
StateTransitionProofResult