package tezos-protocol-014-PtKathma
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-014-PtKathma.raw/Tezos_raw_protocol_014_PtKathma/Sc_rollups/index.html
Module Tezos_raw_protocol_014_PtKathma.Sc_rollupsSource
Here is the list of PVMs available in this protocol.
A smart contract rollup has a kind, which assigns meaning to rollup operations.
A module signature we can use to form first-class modules that carry a specific proof a long with the PVM module interface.
type wrapped_proof = | Unencodable of (module PVM_with_proof)| Arith_pvm_with_proof of (module PVM_with_proof with type proof = Sc_rollup_arith.ProtocolImplementation.proof)| Wasm_2_0_0_pvm_with_proof of (module PVM_with_proof with type proof = Sc_rollup_wasm.V2_0_0.ProtocolImplementation.proof)
A wrapper for first-class modules (module PVM_with_proof). We need this in order to implement an encoding function. The Unencodable case is provided so that tests can provide their own PVM interfaces without having to include proof encodings here.
Unwrap a wrapped_proof into a first-class module.
val wrapped_proof_encoding :
wrapped_proof Tezos_protocol_environment_014_PtKathma.Data_encoding.tWrap a PVM module with proof into a wrapped_proof. This matches on the name in the module---if that is recognisable as a Kind, this function will encode and decode to coerce the proof to a proof in the protocol implementation of the PVM. If the name is not recognised this will fall back to using Unencodable, so the value can still be used in tests but won't work as part of a Sc_rollup_refute operation.