Plook (p.tezos-plonk.1.0.0.doc.tezos-plonk.aggregation.Aggregation.Main_protocol.Make

Sourcemodule PP : sig ... end

Sourceexception Entry_not_in_table of string

type public_parameters =
  (PP.prover_public_parameters * PP.verifier_public_parameters)
  * PP.PC.Scalar.t array list
  * PP.PC.Polynomial.Polynomial.t Plonk.SMap.t

Sourceval srs_size : length_table:int -> int

Sourceval polynomials_degree : unit -> int

Source

val format_tables : 
  tables:PP.PC.Scalar.t array list list ->
  nb_columns:int ->
  length_not_padded:int ->
  length_padded:int ->
  PP.PC.Scalar.t array list

Source

val common_preprocessing : 
  n:int ->
  domain:PP.PC.Polynomial.Domain.t ->
  PP.PC.Polynomial.Polynomial.t Plonk.SMap.t

Source

val preprocessing : 
  ?prefix:string ->
  domain:PP.PC.Polynomial.Domain.t ->
  tables:PP.PC.Scalar.t array list ->
  alpha:PP.PC.Scalar.t ->
  unit ->
  PP.PC.Polynomial.Polynomial.t Plonk.SMap.t

Source

val setup : 
  ?nb_pack:int ->
  nb_wires:int ->
  domain:PP.PC.Polynomial.Domain.t ->
  size_domain:int ->
  tables:PP.PC.Scalar.t array list list ->
  table_size:int ->
  alpha:PP.PC.Scalar.t ->
  srs:(Bls12_381_polynomial.Srs.t * Bls12_381_polynomial.Srs.t) ->
  unit ->
  public_parameters

Source

val prover_identities : 
  ?circuit_name:string ->
  proof_idx:int ->
  nb_proofs:int ->
  f_map:PP.PC.Polynomial.Polynomial.t Plonk.SMap.t ->
  wires_name:string array ->
  alpha:PP.PC.Scalar.t ->
  beta:PP.PC.Scalar.t ->
  gamma:PP.PC.Scalar.t ->
  ultra:bool ->
  n:int ->
  unit ->
  PP.prover_identities

Source

val verifier_identities : 
  ?circuit_name:string ->
  proof_idx:int ->
  nb_proofs:int ->
  wires_name:string array ->
  alpha:PP.PC.Scalar.t ->
  beta:PP.PC.Scalar.t ->
  gamma:PP.PC.Scalar.t ->
  ultra:bool ->
  unit ->
  PP.verifier_identities

Source

val f_map_contribution : 
  wires:PP.PC.Scalar.t array Plonk.SMap.t ->
  gates:PP.PC.Scalar.t array Plonk.SMap.t ->
  tables:PP.PC.Scalar.t array list ->
  alpha:PP.PC.Scalar.t ->
  beta:PP.PC.Scalar.t ->
  gamma:PP.PC.Scalar.t ->
  domain:PP.PC.Polynomial.Domain.t ->
  size_domain:int ->
  circuit_size:int ->
  PP.PC.secret