package tezos-protocol-alpha

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

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
Sourceval play : Kind.t -> Dal.parameters -> dal_activation_level:Raw_level.t option -> dal_attestation_lag:int -> dal_number_of_slots:int -> stakers:Index.t -> Metadata.t -> t -> step:step -> choice:Tick.t -> is_reveal_enabled:is_reveal_enabled -> dal_attested_slots_validity_lag:int -> (game_result, t) Tezos_protocol_environment_alpha.Either.t Tezos_protocol_environment_alpha.Error_monad.tzresult Tezos_protocol_environment_alpha.Lwt.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
OCaml

Innovation. Community. Security.