package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

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
OCaml

Innovation. Community. Security.