package octez-l2-libs

You can search for identifiers within the package.

in-package search v0.2.0

Octez layer2 libraries

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

Maintainers

C

contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2

sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61

sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/octez-l2-libs.layer2_store/Tezos_layer2_store/Irmin_context/Proof/index.html

Module `Irmin_context.Proof`Source

Module for generating and verifying proofs for a context

Parameters

module Hash : sig ... end

module Proof_encoding : sig ... end

Signature

Source

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.

Sourcetype tree = Tree.tree

Sourcetype proof

See Sc_rollup_PVM_sem.proof

Sourceval hash_tree : tree -> Hash.t

Sourceval proof_encoding : proof Tezos_base.TzPervasives.Data_encoding.t

See Sc_rollup_PVM_sem.proof_encoding

Sourceval proof_before : proof -> Hash.t

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

Sourceval proof_after : proof -> Hash.t

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

Source

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.

Source

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.

On This Page

Parameters
Signature

package octez-l2-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-l2-libs.layer2_store/Tezos_layer2_store/Irmin_context/Proof/index.html

Module Irmin_context.ProofSource

Parameters

Signature

Module `Irmin_context.Proof`Source