package octez-smart-rollup-node-lib

  1. Overview
  2. Docs
package octez-smart-rollup-node-lib
Legend:
Library
Module
Module type
Parameter
Class
Class type

Component for managing refutation games. This module is implemented as a single worker in the rollup node, which takes care of processing new L1 heads, and coordinating the refutation game players. (See Refutation_player).

Initiatilize the refuation coordinator, if the rollup node mode supports it.

val start_in_mode : Configuration.mode -> bool

Whether the refutation coordinator is run in the given mode.

process head processes a new l1 head. This means that the coordinator will:

  1. Gather all existing conflicts
  2. Launch new refutation players for each conflict concerning the operator that doesn't have a player in this node
  3. Kill all players whose conflict has disappeared from L1
  4. Make all players play a step in the refutation
val shutdown : unit -> unit Lwt.t

Shutdown the refutation coordinator.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct