package tezos-protocol-015-PtLimaPt

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

Dune Dependency

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

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-17.3.tar.gz

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Zk_rollup_operation_repr/index.html

Module `Tezos_raw_protocol_015_PtLimaPt.Zk_rollup_operation_repr`Source

Sourcetype price = {

id : Ticket_hash_repr.t;
amount : Tezos_protocol_environment_015_PtLimaPt.Z.t;

}

The price of an L2 operation represents the net ticket transfer from L1 to L2 that it will produce. id is a ticket hash used as a ticket identifier and amount is positive if the operation transfers tickets from L1 to L2, negative if it does so from L2 to L1, and zero when no transfer is done between layers.

Sourcetype t = {

op_code : int;
price : price;
l1_dst : Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key_hash.t;
rollup_id : Zk_rollup_repr.t;
payload : Zk_rollup_scalar.t array;

}

A ZK rollup L2 operation has two parts: a transparent header and an opaque payload. The header is made up by:

An op_code in the range [0, nb_ops)
The price of this L2 operation
l1_dst is the public key hash of the implicit account that will be credited with the withdrawal generated by this operation, if any
rollup_id is the address of the rollup this operation targets

This type represents the L1's view of L2 operations. It's important to remember that this is only used for public operations, as the protocol isn't aware of private ones.

Sourceval encoding : t Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t

Sourceval to_scalar_array : t -> Zk_rollup_scalar.t array

Special encoding needed to feed L2 operations to the Plonk verifier