Module Mavryk_raw_protocol_alpha.Zk_rollup_update_repr

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 : Mavryk_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.