Module Prove.Proof

type t = Proof.t
val start_state : t -> bytes

start_state proof returns the hash of the state before the operations recorded by proof.

val stop_state : t -> bytes

stop_state proof returns the hash of the state after the operations recorded by proof.

val serialise : t -> bytes

serialise proof serialises proof to a byte sequence.

val deserialise : bytes -> t Tezos_base.TzPervasives.tzresult

deserialise bytes attempts to deserialise a proof from bytes.