Sc_rollup_arith (p.tezos-protocol-alpha.17.3.doc.tezos-protocol-alpha.raw.Tezos_raw_protocol_alpha.Sc_rollup

Sourcemodule type S = sig ... end

This rollup is a stack machine equipped with addition.

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

Sourceval 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).

Sourcemodule type P = sig ... end

Source

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