package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type reveal_proof =
  1. | Raw_data_proof of string
  2. | Metadata_proof
  3. | Dal_page_proof of {
    1. page_id : Dal.Page.t;
    2. proof : Dal.Slots_history.proof;
    }
  4. | Dal_parameters_proof
type input_proof =
  1. | Inbox_proof of {
    1. level : Raw_level.t;
    2. message_counter : Tezos_protocol_environment_alpha.Z.t;
    3. proof : Inbox.serialized_proof;
    }
  2. | Reveal_proof of reveal_proof
  3. | First_inbox_message
type 'proof t = {
  1. pvm_step : 'proof;
  2. input_proof : input_proof option;
}
type serialized = private string
val serialize_pvm_step : pvm:('state, 'proof, 'output) PVM.implementation -> 'proof -> serialized Tezos_protocol_environment_alpha.Error_monad.tzresult
val unserialize_pvm_step : pvm:('state, 'proof, 'output) PVM.implementation -> serialized -> 'proof Tezos_protocol_environment_alpha.Error_monad.tzresult
module type PVM_with_context_and_state = sig ... end
type Tezos_protocol_environment_alpha.Error_monad.error +=
  1. | Sc_rollup_proof_check of string
val valid : pvm:('state, 'proof, 'output) PVM.implementation -> metadata:Metadata.t -> Inbox.history_proof -> Raw_level.t -> Dal.Slots_history.t -> Dal.parameters -> dal_attestation_lag:int -> dal_number_of_slots:int -> is_reveal_enabled:is_reveal_enabled -> 'proof t -> (input option * input_request) Tezos_protocol_environment_alpha.Error_monad.tzresult Tezos_protocol_environment_alpha.Lwt.t
OCaml

Innovation. Community. Security.