package tezos-protocol-alpha

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Alpha_context/Sc_rollup/Proof/index.html

Module Sc_rollup.ProofSource

Sourcetype 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;
    }
Sourcetype 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
Sourcetype 'proof t = {
  1. pvm_step : 'proof;
  2. input_proof : input_proof option;
}
Sourcetype serialized = private string
Sourceval serialize_pvm_step : pvm:('state, 'proof, 'output) PVM.implementation -> 'proof -> serialized Tezos_protocol_environment_alpha.Error_monad.tzresult
Sourceval unserialize_pvm_step : pvm:('state, 'proof, 'output) PVM.implementation -> serialized -> 'proof Tezos_protocol_environment_alpha.Error_monad.tzresult
Sourcemodule type PVM_with_context_and_state = sig ... end
Sourcetype Tezos_protocol_environment_alpha.Error_monad.error +=
  1. | Sc_rollup_proof_check of string