package octez-l2-libs

  1. Overview
  2. Docs
Octez layer2 libraries

Install 

dune-project
 Dependency

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

Authors

  1. T
    Tezos devteam
  2. W
    WebAssembly Authors

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-18.0.tar.gz
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a

doc/octez-l2-libs.smart-rollup/Octez_smart_rollup/Game/index.html

Module Octez_smart_rollup.GameSource

Sourcemodule V1 : sig ... end
include Versioned_data.S with type t = V1.t
Sourcetype versioned

The type of versioned values, including the one that is currently used and the previous ones.

Sourceval versioned_encoding : versioned Tezos_base.TzPervasives.Data_encoding.t

Encoding for versioned values, corresponds to the one defined by the protocol.

Sourceval of_versioned : versioned -> V1.t

Conversion to the currently used representation. In practice this function must provide ways to translate values of older versions to the latest one.

Sourceval to_versioned : V1.t -> versioned

Wrapping a current value as a versioned one.

include module type of V1 with type dissection_chunk = V1.dissection_chunk and type step = V1.step and type refutation = V1.refutation and type index = V1.index and type player = V1.player and type game_state = V1.game_state and type conflict = V1.conflict and type t = V1.t
Sourcetype dissection_chunk = V1.dissection_chunk = {
  1. state_hash : State_hash.t option;
  2. tick : Z.t;
}
Sourcetype step = V1.step =
  1. | Dissection of dissection_chunk list
  2. | Proof of string
Sourcetype refutation = V1.refutation =
  1. | Start of {
    1. player_commitment_hash : Octez_smart_rollup.Commitment.Hash.t;
    2. opponent_commitment_hash : Octez_smart_rollup.Commitment.Hash.t;
    }
  2. | Move of {
    1. choice : Z.t;
    2. step : step;
    }
Sourceval dissection_chunk_encoding : dissection_chunk Tezos_base.TzPervasives.Data_encoding.t
Sourceval dissection_encoding : dissection_chunk list Tezos_base.TzPervasives.Data_encoding.t
Sourceval step_encoding : step Tezos_base.TzPervasives.Data_encoding.t
Sourceval refutation_encoding : refutation Tezos_base.TzPervasives.Data_encoding.t
Sourceval index_encoding : index Tezos_base.TzPervasives.Data_encoding.t
Sourcetype player = V1.player =
  1. | Alice
  2. | Bob
Sourcetype game_state = V1.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;
    }
Sourcetype t = V1.t = {
  1. turn : player;
  2. inbox_snapshot : Inbox.V1.history_proof;
  3. dal_snapshot : Dal.Slot_history.t;
  4. start_level : int32;
  5. inbox_level : int32;
  6. game_state : game_state;
}
Sourcetype conflict = V1.conflict = {
  1. other : Tezos_crypto.Signature.Public_key_hash.t;
  2. their_commitment : Commitment.t;
  3. our_commitment : Commitment.t;
  4. parent_commitment : Octez_smart_rollup.Commitment.Hash.t;
}
Sourceval game_state_equal : game_state -> game_state -> bool
Sourceval player_encoding : player Tezos_base.TzPervasives.Data_encoding.t
Sourceval game_state_encoding : game_state Tezos_base.TzPervasives.Data_encoding.t
Sourceval encoding : t Tezos_base.TzPervasives.Data_encoding.t
Sourceval conflict_encoding : conflict Tezos_base.TzPervasives.Data_encoding.t