package tezos-protocol-017-PtNairob

  1. Overview
  2. Docs
package tezos-protocol-017-PtNairob
Legend:
Library
Module
Module type
Parameter
Class
Class type
type inclusion_proof = history_proof list

Given a inbox A at some level L and another inbox B at some level L' >= L, an inclusion_proof guarantees that A is an older version of B.

To be more precise, an inclusion_proof guarantees that the previous levels witnesss of A are included in the previous levels witnesss of B. The current witness of A and B are not considered.

The size of this proof is O(log2 (L' - L)).

produce_inclusion_proof get_history a b exploits get_history to produce a self-contained proof that a is an older version of b.

verify_inclusion_proof proof snapshot returns A iff proof is a minimal and valid proof that A is included in snapshot, fails otherwise. A is part of the proof.

val serialized_proof_of_string : string -> serialized_proof

Allows to create a dumb serialized_proof from a string, instead of serializing a proof with to_serialized_proof.

val get_level_of_history_proof : history_proof -> Raw_level_repr.t
val level_proof_of_history_proof : history_proof -> level_proof
val expose_proof : proof -> inclusion_proof * payloads_proof
val make_proof : inclusion_proof -> payloads_proof -> proof
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct