package octez-smart-rollup-node-lib

You can search for identifiers within the package.

in-package search v0.2.0

octez-smart-rollup-node-lib
- Octez_smart_rollup_node
  - Batcher
  - Batcher_events
    
    Declare
    
    WORKER
    
    Worker
  - Batcher_worker_types
    
    Request
  - Block_directory_helpers
  - Cli
    
    Binary_dependent_args
    
    P
  - Commitment_event
    
    Publisher
  - Configuration
    
    Cli
  - Context
    
    Internal_for_tests
    
    PVMState
    
    Proof
    
    Hash
    
    Proof_encoding
    
    Tree
    
    Version
  - Daemon_event
  - Event
  - Fuel
    
    Accounted
    
    Free
    
    S
  - Injector
    
    Inj_operation
    
    Hash
    
    Error_table
    
    Map
    
    Set
    
    Table
    
    WeakRingTable
  - Interpreter
  - Interpreter_event
    
    Simple
  - Layer1
  - Loser_mode
  - Messages
  - Metadata
    
    V0
    
    V1
    
    Versioned
  - Metrics
    
    Inbox
    
    Stats
    
    Info
  - Node_context
  - Operation_kind
    
    Map
  - Outbox_execution
  - Progress_bar
    
    Config
    
    Default
    
    Display
    
    Duration
    
    Of_int
    
    Line
    
    Bar_style
    
    Integer_dependent
    
    Ext
    
    Bar_style
    
    Make
    
    Integer
    
    S
    
    Internals
    
    Line_buffer
    
    Span
    
    Using_float
    
    Bar_style
    
    Using_int32
    
    Bar_style
    
    Using_int63
    
    Bar_style
    
    Using_int64
    
    Bar_style
    
    Lwt
    
    Multi
    
    Printer
    
    Internals
    
    Reporter
    
    Units
    
    Bytes
    
    Duration
    
    Percentage
  - Protocol_plugin_sig
    
    BATCHER
    
    BATCHER_CONSTANTS
    
    DAL_SLOTS_TRACKER
    
    INBOX
    
    L1_PROCESSING
    
    LAYER1_HELPERS
    
    PARTIAL
    
    Layer1_helpers
    
    Pvm
    
    Fueled
    
    Accounted
    
    Free
    
    Wasm_2_0_0
    
    REFUTATION_GAME_HELPERS
    
    RPC_DIRECTORY
    
    S
    
    Batcher_constants
    
    Dal_slots_tracker
    
    Inbox
    
    L1_processing
    
    Layer1_helpers
    
    Pvm
    
    Fueled
    
    Accounted
    
    Free
    
    Wasm_2_0_0
    
    RPC_directory
    
    Refutation_game_helpers
  - Protocol_plugins
  - Publisher
  - Publisher_worker_types
    
    Request
  - Purpose
    
    Map
  - Pvm_plugin_sig
    
    FUELED_PVM
    
    S
    
    Fueled
    
    Accounted
    
    Free
    
    Wasm_2_0_0
  - Reference
  - Refutation_coordinator
  - Refutation_coordinator_types
    
    Request
  - Refutation_game
  - Refutation_game_event
    
    Coordinator
    
    Player
    
    Simple
    
    Coordinator
    
    Player
    
    Worker
    
    ARG
    
    Request
  - Refutation_player
    
    Worker
    
    BOX
    
    Dropbox
    
    HANDLERS
    
    Name
    
    QUEUE
    
    Queue
    
    Request
    
    Types
  - Refutation_player_types
    
    Request
  - Rollup_node_daemon
    
    Internal_for_tests
  - Rollup_node_errors
  - Rpc_directory
  - Rpc_directory_helpers
    
    Make_directory
    
    S
    
    Make_sub_directory
    
    S
    
    PARAM
    
    PARAM_PREFIX
  - Rpc_server
  - Simulation
  - Snapshot_utils
  - Snapshots
  - Store
  - Store_migration
    
    MIGRATION_ACTIONS
    
    Make
    
    Actions
    
    S_dest
    
    S_from
    
    S
  - Store_sig
    
    S
  - Store_v0
    
    Commitments
    
    Commitments_published_at_level
    
    Dal_confirmed_slots_histories
    
    Dal_confirmed_slots_history
    
    Dal_processed_slots
    
    Dal_slot_pages
    
    Dal_slots_headers
    
    Inboxes
    
    Irmin_store
    
    Make_append_only_map
    
    K
    
    S
    
    V
    
    Make_mutable_value
    
    S
    
    V
    
    Make_nested_map
    
    K1
    
    K2
    
    S
    
    V
    
    Make_updatable_map
    
    K
    
    S
    
    V
    
    Raw_irmin
    
    Backend
    
    Branch
    
    Key
    
    Val
    
    Commit
    
    Hash
    
    Info
    
    Key
    
    Node
    
    Contents
    
    Hash
    
    Key
    
    Val
    
    Hash
    
    Key
    
    Metadata
    
    Path
    
    Val
    
    Metadata
    
    Val
    
    Commit_portable
    
    Info
    
    Contents
    
    Hash
    
    Key
    
    Val
    
    Hash
    
    Node
    
    Contents
    
    Hash
    
    Key
    
    Val
    
    Hash
    
    Key
    
    Metadata
    
    Path
    
    Val
    
    Metadata
    
    Node_portable
    
    Metadata
    
    Remote
    
    Repo
    
    Schema
    
    Branch
    
    Contents
    
    Hash
    
    Info
    
    Metadata
    
    Path
    
    Slice
    
    Branch
    
    Commit
    
    Contents
    
    Hash
    
    Head
    
    History
    
    E
    
    V
    
    Info
    
    Metadata
    
    Path
    
    Repo
    
    Schema
    
    Branch
    
    Contents
    
    Hash
    
    Info
    
    Metadata
    
    Path
    
    Status
    
    Tree
    
    Contents
    
    Private
    
    Env
    
    Proof
    
    L2_blocks
    
    L2_head
    
    Last_finalized_level
    
    Levels_to_hashes
    
    Messages
  - Store_v1
    
    Dal_pages
    
    Dal_processed_slots
    
    Dal_slots_statuses
    
    Messages
  - Store_v2
    
    Commitments
    
    Dal_confirmed_slots_histories
    
    Dal_confirmed_slots_history
    
    Dal_slots_headers
    
    Gc_levels
    
    History_mode
    
    Inboxes
    
    Lcc
    
    Lpc
    
    Messages
    
    Protocols
  - Store_v3
  - Store_v4
  - Store_version
  - Utils
    
    Reveal_hash_map
  - Wasm_2_0_0_dump

Legend:
Library
Module
Module type
Parameter
Class
Class type

This module implements the refutation game logic of the rollup node.

val play_opening_move : 
  [< `Read | `Write Read ] Node_context.t ->
  Octez_smart_rollup.Game.conflict ->
  (unit, Tezos_base.TzPervasives.tztrace) Stdlib.result Lwt.t

play_opening_move node_ctxt conflict injects the opening refutation game move for conflict.

val play : 
  Node_context.rw ->
  self:Tezos_crypto.Signature.public_key_hash ->
  Octez_smart_rollup.Game.t ->
  Tezos_crypto.Signature.public_key_hash ->
  (unit, Tezos_base.TzPervasives.tztrace) Stdlib.result Lwt.t

play head_block plugin node_ctxt ~self game opponent injects the next move in the refutation game played by self and opponent.