Mavkit_smart_rollup_node.Refutation_gameThis module implements the refutation game logic of the rollup node.
val play_opening_move :
[< `Read | `Write Read ] Node_context.t ->
Mavkit_smart_rollup.Game.conflict ->
(unit, Mavryk_base.TzPervasives.tztrace) Stdlib.result Lwt.tplay_opening_move node_ctxt conflict injects the opening refutation game move for conflict.
val play :
Node_context.rw ->
self:Mavryk_crypto.Signature.public_key_hash ->
commitment_period_tick_offset:Z.t ->
Mavkit_smart_rollup.Game.t ->
Mavryk_crypto.Signature.public_key_hash ->
(unit, Mavryk_base.TzPervasives.tztrace) Stdlib.result Lwt.tplay head_block plugin node_ctxt ~self ~commitment_period_tick_offset game
opponent injects the next move in the refutation game played by self and opponent, where commitment_period_tick_offset is the tick offset for the commitment period for the conflict.