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-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Sc_rollup_outbox_message_repr/index.html

Module Tezos_raw_protocol_alpha.Sc_rollup_outbox_message_reprSource

This module defines a data type t that represents messages from Layer 2 to Layer 1.

They are part of the Rollup Management Protocol that defines the communication protocol for exchanging messages between Layer 1 and Layer 2 for smart-contract rollups.

An outbox-message consists of a sequence of transactions to L1 smart-contract accounts. All transactions contained in a message are intended to be executed as a batch.

Sourcetype transaction = {
  1. unparsed_parameters : Script_repr.expr;
    (*

    The payload.

    *)
  2. destination : Contract_hash.t;
    (*

    The recipient contract.

    *)
  3. entrypoint : Entrypoint_repr.t;
    (*

    Entrypoint of the destination.

    *)
}

A transaction from L2 to L1.

Sourcetype typed_transaction = {
  1. unparsed_parameters : Script_repr.expr;
    (*

    The payload.

    *)
  2. unparsed_ty : Script_repr.expr;
    (*

    The type of the payload.

    *)
  3. destination : Contract_hash.t;
    (*

    The recipient contract.

    *)
  4. entrypoint : Entrypoint_repr.t;
    (*

    Entrypoint of the destination.

    *)
}

A transaction from L2 to L1, with typed payload.

Sourcetype t =
  1. | Atomic_transaction_batch of {
    1. transactions : transaction list;
    }
  2. | Atomic_transaction_batch_typed of {
    1. transactions : typed_transaction list;
    }

A type representing messages from Layer 2 to Layer 1.

Sourcetype serialized = private string

deserialize ctxt bs decodes an outbox message value from the given data bs. The function involves parsing Micheline expressions to typed values.

serialize msg serializes the given outbox message msg.

Sourceval unsafe_of_string : string -> serialized

unsafe_of_string s builds a serialized value out of a string. You must understand the invariants of serialized to do so.

Sourceval unsafe_to_string : serialized -> string

unsafe_to_string s builds a string out of a serialized value. You must understand the invariants of serialized to manipulate the resulting string.