package tezos-protocol-alpha
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
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.