Sc_rollup_arith (mavryk-protocol-001-PtAtLas.Mavryk_raw_protocol_001_PtAtLas.Sc_rollup

module type S = sig ... end

This rollup is a stack machine equipped with addition.

module Protocol_implementation : 
  S
    with type context = Mavryk_protocol_environment_001_PtAtLas.Context.t
     and type state = Mavryk_protocol_environment_001_PtAtLas.Context.tree
     and type proof =
           Mavryk_protocol_environment_001_PtAtLas.Context.Proof.tree
             Mavryk_protocol_environment_001_PtAtLas.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 Make
  (Context : Sc_rollup_PVM_sig.Generic_pvm_context_sig) : 
  S
    with type context = Context.Tree.t
     and type state = Context.tree
     and type proof = Context.proof