package tezos-protocol-017-PtNairob

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 (6)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-17.3.tar.gz

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/tezos-protocol-017-PtNairob.raw/Tezos_raw_protocol_017_PtNairob/Zk_rollup_update_repr/index.html

Module `Tezos_raw_protocol_017_PtNairob.Zk_rollup_update_repr`Source

Payload of a ZK Rollup update operation. The operator only needs to send a subset of the public inputs defined in Zk_rollup_circuit_public_inputs_repr, the rest is provided by the protocol.

Sourcetype op_pi = {

new_state : Zk_rollup_state_repr.t;
fee : Zk_rollup_scalar.t;
exit_validity : bool;

}

Minimal subset of public inputs for the public L2 operations' circuits.

Sourcetype private_inner_pi = {

new_state : Zk_rollup_state_repr.t;
fees : Zk_rollup_scalar.t;

}

Minimal subset of public inputs for the circuits for batches of private L2 operations

Sourcetype fee_pi = {

new_state : Zk_rollup_state_repr.t;

}

Minimal subset of public inputs for the "fee" circuit.

Sourcetype t = {

pending_pis : (string * op_pi) list;
private_pis : (string * private_inner_pi) list;
fee_pi : fee_pi;
proof : Tezos_protocol_environment_017_PtNairob.Plonk.proof;

}

Payload of an update operation. Includes the proof and the public inputs that are needed to verify it. Each set of public inputs also carries the string that identifies the circuit which they are for.

Sourceval encoding : t Tezos_protocol_environment_017_PtNairob.Data_encoding.t