package tezos-protocol-020-PsParisC

  1. Overview
  2. Docs
package tezos-protocol-020-PsParisC
Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

type op_pi = {
  1. new_state : Zk_rollup_state_repr.t;
  2. fee : Zk_rollup_scalar.t;
  3. exit_validity : bool;
}

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

type private_inner_pi = {
  1. new_state : Zk_rollup_state_repr.t;
  2. fees : Zk_rollup_scalar.t;
}

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

type fee_pi = {
  1. new_state : Zk_rollup_state_repr.t;
}

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

type t = {
  1. pending_pis : (string * op_pi) list;
  2. private_pis : (string * private_inner_pi) list;
  3. fee_pi : fee_pi;
  4. proof : Tezos_protocol_environment_020_PsParisC.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.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct