package tezos-protocol-016-PtMumbai

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

This module provides a temporary toy rollup to be used as a demo.

module type S = sig ... end

This rollup is a stack machine equipped with addition.

module Protocol_implementation : 
  S
    with type context = Tezos_protocol_environment_016_PtMumbai.Context.t
     and type state = Tezos_protocol_environment_016_PtMumbai.Context.tree
     and type proof =
           Tezos_protocol_environment_016_PtMumbai.Context.Proof.tree
             Tezos_protocol_environment_016_PtMumbai.Context.Proof.t

val reference_initial_state_hash : Sc_rollup_repr.State_hash.t

This is the state hash of reference that both the prover of the node and the verifier of the protocol Protocol_implementation have to agree on (if they do, it means they are using the same tree structure).

module type P = sig ... end

module Make
  (Context : P) : 
  S
    with type context = Context.Tree.t
     and type state = Context.tree
     and type proof = Context.proof