package octez-l2-libs
Octez layer2 libraries
Install
Dune Dependency
Authors
Maintainers
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.Game
Source
include Versioned_data.S with type t = V1.t
The type of versioned values, including the one that is currently used and the previous ones.
Encoding for versioned values, corresponds to the one defined by the protocol.
Conversion to the currently used representation. In practice this function must provide ways to translate values of older versions to the latest 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
Source
type refutation = V1.refutation =
| Start of {
player_commitment_hash : Octez_smart_rollup.Commitment.Hash.t;
opponent_commitment_hash : Octez_smart_rollup.Commitment.Hash.t;
}
| Move of {
choice : Z.t;
step : step;
}
Source
val make_index :
Tezos_crypto.Signature.Public_key_hash.t ->
Tezos_crypto.Signature.Public_key_hash.t ->
index
Source
type game_state = V1.game_state =
| Dissecting of {
dissection : dissection_chunk list;
default_number_of_sections : int;
}
| Final_move of {
agreed_start_chunk : dissection_chunk;
refuted_stop_chunk : dissection_chunk;
}
Source
type t = V1.t = {
turn : player;
inbox_snapshot : Inbox.V1.history_proof;
dal_snapshot : Dal.Slot_history.t;
start_level : int32;
inbox_level : int32;
game_state : game_state;
}
Source
type conflict = V1.conflict = {
other : Tezos_crypto.Signature.Public_key_hash.t;
their_commitment : Commitment.t;
our_commitment : Commitment.t;
parent_commitment : Octez_smart_rollup.Commitment.Hash.t;
}
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>