package tezos-protocol-alpha

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Alpha_context/Sc_rollup/Game/index.html

Module Sc_rollup.GameSource

Sourcetype player =
  1. | Alice
  2. | Bob
Sourceval player_equal : player -> player -> bool
Sourcetype dissection_chunk = Dissection_chunk.t
Sourcetype game_state =
  1. | Dissecting of {
    1. dissection : dissection_chunk list;
    2. default_number_of_sections : int;
    }
  2. | Final_move of {
    1. agreed_start_chunk : dissection_chunk;
    2. refuted_stop_chunk : dissection_chunk;
    }
Sourceval game_state_equal : game_state -> game_state -> bool
Sourcetype t = {
  1. turn : player;
  2. inbox_snapshot : Inbox.history_proof;
  3. dal_snapshot : Dal.Slots_history.t;
  4. start_level : Raw_level.t;
  5. inbox_level : Raw_level.t;
  6. game_state : game_state;
}
Sourcemodule Index : sig ... end
Sourceval opponent : player -> player
Sourcetype step =
  1. | Dissection of dissection_chunk list
  2. | Proof of Proof.serialized Proof.t
Sourcetype refutation =
  1. | Start of {
    1. player_commitment_hash : Commitment.Hash.t;
    2. opponent_commitment_hash : Commitment.Hash.t;
    }
  2. | Move of {
    1. choice : Tick.t;
    2. step : step;
    }
Sourcetype reason =
  1. | Conflict_resolved
  2. | Timeout
Sourcetype game_result =
  1. | Loser of {
    1. reason : reason;
    2. loser : Staker.t;
    }
  2. | Draw
Sourcetype status =
  1. | Ongoing
  2. | Ended of game_result
Sourceval initial : Inbox.history_proof -> Dal.Slots_history.t -> start_level:Raw_level.t -> parent_commitment:Commitment.t -> defender_commitment:Commitment.t -> refuter:Staker.t -> defender:Staker.t -> default_number_of_sections:int -> t
Sourcetype timeout = {
  1. alice : int;
  2. bob : int;
  3. last_turn_level : Raw_level.t;
}
Sourcetype Tezos_protocol_environment_alpha.Error_monad.error +=
  1. | Dissection_choice_not_found of Tick.t
  2. | Proof_unexpected_section_size of Tezos_protocol_environment_alpha.Z.t
  3. | Proof_start_state_hash_mismatch of {
    1. start_state_hash : State_hash.t option;
    2. start_proof : State_hash.t;
    }
  4. | Proof_stop_state_hash_failed_to_refute of {
    1. stop_state_hash : State_hash.t option;
    2. stop_proof : State_hash.t option;
    }
  5. | Proof_stop_state_hash_failed_to_validate of {
    1. stop_state_hash : State_hash.t option;
    2. stop_proof : State_hash.t option;
    }
  6. | Dissecting_during_final_move
Sourcemodule Internal_for_tests : sig ... end