package tezos-protocol-013-PtJakart
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Sc_rollup_arith/ProtocolImplementation/index.html
Module Sc_rollup_arith.ProtocolImplementationSource
include Sc_rollup_PVM_sem.S
with type context = Tezos_protocol_environment_013_PtJakart.Context.t
The state of the PVM denotes a state of the rollup.
During interactive rejection games, a player may need to provide a proof that a given execution step is valid.
A state is initialized in a given context.
A commitment hash characterized the contents of the state.
proof_start_state proof returns the initial state hash of the proof execution step.
proof_stop_state proof returns the final state hash of the proof execution step.
state_hash state returns a compressed representation of state.
initial_state context is the state of the PVM before booting. It must be such that state_hash state = Commitment_hash.zero. Any context should be enough to create an initial state.
val is_input_state :
state ->
(Alpha_context.Raw_level.t * Tezos_protocol_environment_013_PtJakart.Z.t)
option
Tezos_protocol_environment_013_PtJakart.Lwt.tis_input_state state returns Some (level, counter) if state is waiting for the input message that comes next to the message numbered counter in the inbox of a given level.
val set_input :
Sc_rollup_PVM_sem.input ->
state ->
state Tezos_protocol_environment_013_PtJakart.Lwt.tset_input level n msg state sets msg in state as the next message to be processed. This input message is assumed to be the number n in the inbox messages at the given level. The input message must be the message next to the previous message processed by the rollup.
eval s0 returns a state s1 resulting from the execution of an atomic step of the rollup at state s0.
val verify_proof :
input:Sc_rollup_PVM_sem.input option ->
proof ->
bool Tezos_protocol_environment_013_PtJakart.Lwt.tverify_proof input proof returns true iff the proof is valid. If the state is an input state, input is the hash of the input message externally provided to the evaluation function.
name is "arith".
parse_boot_sector s builds a boot sector from its human writable description.
val pp_boot_sector :
Tezos_protocol_environment_013_PtJakart.Format.formatter ->
string ->
unitpp_boot_sector fmt s prints a human readable representation of a boot sector.
val pp :
state ->
(Tezos_protocol_environment_013_PtJakart.Format.formatter ->
unit ->
unit)
Tezos_protocol_environment_013_PtJakart.Lwt.tpp state returns a pretty-printer valid for state.
val get_tick :
state ->
Alpha_context.Sc_rollup.Tick.t Tezos_protocol_environment_013_PtJakart.Lwt.tget_tick state returns the current tick of state.
The machine has three possible states:
get_status state returns the machine status in state.
The machine has only two instructions.
equal_instruction i1 i2 is true iff i1 equals i2.
val pp_instruction :
Tezos_protocol_environment_013_PtJakart.Format.formatter ->
instruction ->
unitpp_instruction fmt i shows a human readable representation of i.
get_parsing_result state is Some true if the current message is syntactically correct, Some false when it contains a syntax error, and None when the machine is not in parsing state.
get_code state returns the current code obtained by parsing the current input message.
get_stack state returns the current stack.
val get_evaluation_result :
state ->
bool option Tezos_protocol_environment_013_PtJakart.Lwt.tget_evaluation_result state returns Some true if the current message evaluation succeeds, Some false if it failed, and None if the evaluation has not been done yet.
get_is_stuck state returns Some err if some internal error made the machine fail during the last evaluation step. None if no internal error occurred. When a machine is stuck, it reboots, waiting for the next message to process.