Perm (u.bf33b14b2bf5d4cac9b20b763c83179f.tezos-plonk.1.0.1.doc.tezos-plonk.aggregation.Aggregation.Main

Sourceval z_name : string

Sourceval zg_name : string

Sourceval srs_size : zero_knowledge:bool -> n:int -> int

Sourceval polynomials_degree : nb_wires:int -> int

val preprocessing : 
  ?circuit_name:string ->
  domain:PP.PC.Polynomial.Domain.t ->
  permutation:int array ->
  nb_wires:int ->
  unit ->
  PP.PC.Polynomial.Polynomial.t Plonk.SMap.t

Source

val common_preprocessing : 
  compute_l1:bool ->
  domain:PP.PC.Polynomial.Domain.t ->
  nb_wires:int ->
  domain_evals:PP.Evaluations.domain ->
  PP.PC.Polynomial.Polynomial.t Plonk.SMap.t * PP.Evaluations.t Plonk.SMap.t

Source

val prover_identities : 
  ?circuit_name:string ->
  wire_names:string list ->
  generator:PP.PC.Scalar.t ->
  beta:PP.PC.Scalar.t ->
  gamma:PP.PC.Scalar.t ->
  n:int ->
  unit ->
  PP.prover_identities

Source

val verifier_identities : 
  ?circuit_name:string ->
  nb_proofs:int ->
  generator:PP.PC.Scalar.t ->
  n:int ->
  wire_names:string list ->
  beta:PP.PC.Scalar.t ->
  gamma:PP.PC.Scalar.t ->
  delta:PP.PC.Scalar.t ->
  unit ->
  PP.verifier_identities

Source

val f_map_contribution : 
  permutation:int array ->
  values:PP.Evaluations.t ->
  indices:int array Plonk.SMap.t ->
  beta:PP.PC.Scalar.t ->
  gamma:PP.PC.Scalar.t ->
  domain:PP.PC.Polynomial.Domain.t ->
  PP.PC.Polynomial.Polynomial.t Plonk.SMap.t

Source

val cs : 
  sum_alpha_i:
    (Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr list ->
      Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
      Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr
        Plonk__Permutation_gate.L.t) ->
  l1:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  ss1:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  ss2:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  ss3:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  beta:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  gamma:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  delta:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  x:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  z:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  zg:Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr ->
  wires:
    Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr list list ->
  (Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr
   * Plonk__Permutation_gate.L.scalar Plonk__Permutation_gate.L.repr)
    Plonk__Permutation_gate.L.t