Verifier (u.bf33b14b2bf5d4cac9b20b763c83179f.tezos-plonk.1.0.1.doc.tezos-plonk.aggregation.Aggregation.Main_protocol.Make

Sourcetype verifier_common_pp = {

n : int;
generator : Scalar.t;
pp_public_parameters : Super_PP.PC.Public_parameters.verifier;
cm_g : Super_PP.PC.Commitment.t;

}

Sourceval verifier_common_pp_t : verifier_common_pp Repr.t

Sourcetype verifier_circuit_pp = {

gates : unit SMap.t;
nb_wires : int;
alpha : Scalar.t option;
ultra : bool;

}

Sourceval verifier_circuit_pp_t : verifier_circuit_pp Repr.t

Source

val build_identities : 
  verifier_common_pp ->
  Perm.PP.PC.Scalar.t ->
  Perm.PP.PC.Scalar.t ->
  Perm.PP.PC.Scalar.t ->
  Plook.PP.PC.Scalar.t ->
  Plook.PP.PC.Scalar.t ->
  (verifier_circuit_pp * Gates.PP.PC.Scalar.t array list * int) SMap.t ->
  Plompiler.S.t ->
  Plompiler.S.t Plonk.SMap.t Plonk.SMap.t ->
  Plompiler.S.t Plonk.SMap.t

Source

val verify_parameters : 
  ((verifier_common_pp * verifier_circuit_pp SMap.t) * bytes) ->
  public_inputs:Gates.PP.PC.Scalar.t array list SMap.t ->
  proof ->
  bytes
  * (Plompiler.S.t ->
  Plompiler.S.t Plonk.SMap.t Plonk.SMap.t ->
  Plompiler.S.t Plonk.SMap.t)
  * Fr_generation.scalar
  * Fr_generation.scalar
  * Fr_generation.scalar
  * Super_PP.PC.Commitment.t list
  * Super_PP.eval_point list list