package tezos-protocol-alpha
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Zk_rollup_update_repr/index.html
Module Tezos_raw_protocol_alpha.Zk_rollup_update_reprSource
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.
Source
type 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.
Minimal subset of public inputs for the circuits for batches of private L2 operations
Minimal subset of public inputs for the "fee" circuit.
Source
type t = {pending_pis : (string * op_pi) list;private_pis : (string * private_inner_pi) list;fee_pi : fee_pi;proof : Tezos_protocol_environment_alpha.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.