Make (u.bf33b14b2bf5d4cac9b20b763c83179f.tezos-plonk.1.0.1.doc.tezos-plonk.distribution.Distribution.Kzg

Parameters

module Pack : Aggregation.Pack.Aggregator

module PC : 
  Kzg.PC_for_distribution_sig
    with type BasePC.Scalar.t = Pack.scalar
     and type Commitment.t = Pack.g1 SMap.t

Signature

Sourcemodule BasePC : sig ... end

Sourcemodule Commitment : sig ... end

include module type of BasePC with module Commitment := Commitment

Sourcemodule Scalar : sig ... end

Sourcemodule Fr_generation : sig ... end

Sourcemodule Polynomial : sig ... end

Sourcemodule Domain : sig ... end

Sourcemodule Poly : sig ... end

Sourcemodule Scalar_map : sig ... end

Sourcetype secret = PC.secret

Sourcetype query = PC.query

Sourceval query_t : PC.query Repr.t

Sourcetype answer = PC.answer

Sourceval answer_t : PC.answer Repr.t

Sourcetype transcript = PC.transcript

Sourcemodule Public_parameters : sig ... end

Sourcetype proof = {

pc_proof : PC.proof;
packed_values : Pack.packed list;
pack_proof : Pack.proof;

}

Sourceval proof_t : proof Repr.t

Sourcetype prover_aux = {

r : Scalar.t;
s_list : Scalar.t Plonk.SMap.t list;
cm_answers : Scalar.t;

}

Sourceval expand_with_proof : proof -> bytes -> bytes

Sourceval expand_with_query : PC.query list -> bytes -> bytes

Sourceval expand_with_answer : PC.answer list -> bytes -> bytes

Source

val batch_p : 
  zero:'a ->
  add:('a -> 'b -> 'a) ->
  mul:(Scalar.t -> 'c -> 'b) ->
  Scalar.t ->
  'c Plonk.SMap.t ->
  'a

Source

val batch : 
  zero:'a ->
  add:('a -> 'b -> 'a) ->
  mul:(Scalar.t -> 'c -> 'b) ->
  Scalar.t ->
  'c Plonk.SMap.t ->
  'a

Sourceval batch_polys : Poly.scalar -> Poly.t Plonk.SMap.t -> Poly.t

Source

val batch_answers : 
  Scalar.t ->
  Scalar.t Plonk.SMap.t Plonk.SMap.t ->
  Scalar.t Plonk.SMap.t

Sourceval evaluate : PC.secret -> PC.query -> PC.answer

Sourceval poseidon : Scalar.t array -> Scalar.t

Sourceval poseidon_answers : Scalar.t Plonk.SMap.t Plonk.SMap.t list -> Scalar.t

Source

val prove_pack : 
  Public_parameters.prover ->
  Bytes.t ->
  Poly.t Plonk.SMap.t list ->
  Commitment.prover_aux list ->
  PC.query list ->
  Scalar.t Plonk.SMap.t Plonk.SMap.t list ->
  proof * bytes * Fr_generation.scalar * Scalar.t Plonk.SMap.t list

Source

val prove : 
  Public_parameters.prover ->
  bytes ->
  Poly.t Plonk.SMap.t list ->
  Commitment.prover_aux list ->
  PC.query list ->
  Scalar.t Plonk.SMap.t Plonk.SMap.t list ->
  proof * bytes

Source

val prove_super_aggregation : 
  Public_parameters.prover ->
  bytes ->
  Poly.t Plonk.SMap.t list ->
  Commitment.prover_aux list ->
  PC.query list ->
  Scalar.t Plonk.SMap.t Plonk.SMap.t list ->
  (proof * prover_aux) * bytes

Source

val verify_pack : 
  Public_parameters.verifier ->
  Pack.randomness ->
  Pack.transcript ->
  Pack.commitment list ->
  PC.query list ->
  PC.Scalar.t Plonk.SMap.t Plonk.List.t ->
  proof ->
  bool * bytes

Source

val verify : 
  Public_parameters.verifier ->
  bytes ->
  Pack.commitment list ->
  PC.query list ->
  Scalar.t Plonk.SMap.t Plonk.SMap.t list ->
  proof ->
  bool * bytes

Source

val verify_super_aggregation : 
  Public_parameters.verifier ->
  bytes ->
  Pack.commitment list ->
  PC.query list ->
  PC.Scalar.t Plonk.SMap.t Plonk.List.t ->
  Scalar.t ->
  proof ->
  bool * Fr_generation.scalar * bytes

Sourcetype worker_msg = Scalar.t * string list list

Sourceval worker_msg_t : (Scalar.t * string list list) Repr.t

Sourcetype main_prover_msg = Poly.t list * Commitment.prover_aux list

Source

val main_prover_msg_t : 
  (Poly.t list * (PC.Commitment.t * PC.Commitment.prover_aux) list) Repr.t

Source

type main_prover_state =
  Public_parameters.prover
  * transcript
  * Scalar.t
  * query list
  * Scalar.t SMap.t list
  * main_prover_msg

Sourceval merge_answers : answer list -> answer

Source

val distributed_prove_worker : 
  Poly.t SMap.t list ->
  'a ->
  (Scalar.t * string list list) ->
  Poly.t list * 'a

Source

val distributed_prove_main1 : 
  Public_parameters.prover ->
  bytes ->
  PC.query list ->
  Scalar.t SMap.t SMap.t list ->
  Poly.t SMap.t list ->
  'a ->
  (Fr_generation.scalar * SMap.key list list)
  * (Public_parameters.prover
     * Bytes.t
     * Fr_generation.scalar
     * PC.query list
     * Scalar.t Plonk.SMap.t list
     * (Poly.t list * 'a))

Source

val distributed_prove_main2 : 
  (Public_parameters.prover
   * Pack.transcript
   * Pack.randomness
   * PC.query list
   * PC.Scalar.t SMap.t list
   * (Poly.t Plonk.List.t
      * (PC.Commitment.t * PC.Commitment.prover_aux) Plonk.List.t)) ->
  (Poly.t Plonk.List.t
   * (PC.Commitment.t * PC.Commitment.prover_aux) Plonk.List.t)
    list ->
  proof * bytes