Block_validation (octez-protocol-025-PsUshuai-libs.Tezos_protocol_plugin_025_PsUshuai.Block

type block_validation_state

Fast shell-side state threaded through block validation.

val init_block_validation_state : 
  Tezos_protocol_025_PsUshuai.Protocol.validation_state ->
  block_validation_state

val check_double_baking_evidence : 
  Tezos_protocol_025_PsUshuai.Protocol.block_header ->
  Tezos_protocol_025_PsUshuai.Protocol.block_header ->
  (unit, Tezos_protocol_025_PsUshuai.Environment.Error_monad.error)
    Stdlib.result

val check_block_operation : 
  block_validation_state ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.packed_operation ->
  block_validation_state Tezos_base.TzPervasives.tzresult Lwt.t

type Tezos_protocol_025_PsUshuai.Environment.Error_monad.error +=

| Sc_rollup_refute_dal_proof_future_published_level of {
1. published_level : Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Raw_level.t;
2. level : Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Raw_level.t;
}

Raised/returned for a smart-rollup refutation whose DAL page proof targets a published_level greater than the level at which the operation is processed. Used by both block validation and the mempool plugin.

val find_future_dal_refute : 
  level:Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Raw_level.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.packed_operation ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Raw_level.t option

find_future_dal_refute ~level op returns Some published_level if op contains a Sc_rollup_refute whose Proof move carries a DAL page proof with published_level > level, and None otherwise. level is the level at which the operation is processed (the block's own level for block validation; head + 1 for the mempool).