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-16.0.tar.gz

sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55

sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

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