Module Irmin_context.Proof

Module for generating and verifying proofs for a context

Parameters

module Hash : sig ... end
module Proof_encoding : sig ... end

Signature

module Tree : Tezos_context_sigs.Context.TREE with type key = string list and type value = bytes and type t = rw_index and type tree = tree

Tree representation for proof generation.

type tree = Tree.tree

See Sc_rollup_PVM_sem.proof. The equation with the context tree-proof type is exposed so consumers can supply proof encodings of their own (e.g. the compact tag-space join of Tezos_smart_rollup_wasm_dual_state.Make).

val hash_tree : tree -> Hash.t

See Sc_rollup_PVM_sem.proof_encoding

val proof_before : proof -> Hash.t

proof_before proof is the hash of the state before the step that generated rpoof.

val proof_after : proof -> Hash.t

proof_after proof is the hash of the state after the step that generated rpoof.

val cast_read_only : proof -> proof

cast_read_only replaces proof.after with proof.before.

val produce_proof : rw_index -> tree -> (tree -> (tree * 'a) Lwt.t) -> (proof * 'a) option Lwt.t

produce_proof ctxt tree f produces and returns a proof for the execution of f on the state tree.

val verify_proof : proof -> (tree -> (tree * 'a) Lwt.t) -> (tree * 'a) option Lwt.t

verify_proof proof f verifies that f produces the proof proof and returns the resulting tree, or None if the proof cannot be verified.