package octez-l2-libs
Octez layer2 libraries
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-18.1.tar.gz
sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d
sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a
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)"
>