Module `Kzg_pack.Kzg_pack_impl`Source

Sourcemodule BasePC : sig ... end

Sourcemodule Commitment : sig ... end

module Scalar : sig ... end

module Fr_generation : sig ... end

module Polynomial : sig ... end

module Domain : sig ... end

module Poly : sig ... end

module Scalar_map : sig ... end

Sourcetype secret = Kzg.Kzg_impl.secret

Sourcetype query = Kzg.Kzg_impl.query

Sourceval query_t : Kzg.Kzg_impl.query Repr.t

Sourcetype answer = Kzg.Kzg_impl.answer

Sourceval answer_t : Kzg.Kzg_impl.answer Repr.t

Sourcetype transcript = Kzg.Kzg_impl.transcript

Sourcemodule Public_parameters : sig ... end

Sourcetype proof = {

pc_proof : Kzg.Kzg_impl.proof;
packed_values : Aggregation.Pack.packed list;
pack_proof : Aggregation.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 : Kzg.Kzg_impl.query list -> bytes -> bytes

Sourceval expand_with_answer : Kzg.Kzg_impl.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 : Kzg.Kzg_impl.secret -> Kzg.Kzg_impl.query -> Kzg.Kzg_impl.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 ->
  Kzg.Kzg_impl.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 ->
  Kzg.Kzg_impl.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 ->
  Kzg.Kzg_impl.query list ->
  Scalar.t Plonk.SMap.t Plonk.SMap.t list ->
  (proof * prover_aux) * bytes

Source

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

Source

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

Source

val verify_super_aggregation : 
  Public_parameters.verifier ->
  bytes ->
  Aggregation.Pack.commitment list ->
  Kzg.Kzg_impl.query list ->
  Distribution.Kzg.Kzg_impl.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
   * (Kzg.Kzg_impl.Commitment.t * Kzg.Kzg_impl.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 ->
  Kzg.Kzg_impl.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
     * Kzg.Kzg_impl.query list
     * Scalar.t Plonk.SMap.t list
     * (Poly.t list * 'a))

Source

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

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/tezos-plonk.distribution/Distribution/Kzg_pack/Kzg_pack_impl/index.html

Module `Kzg_pack.Kzg_pack_impl`Source

package tezos-plonk

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/tezos-plonk.distribution/Distribution/Kzg_pack/Kzg_pack_impl/index.html

Module Kzg_pack.Kzg_pack_implSource

dune-project
Dependency

Module `Kzg_pack.Kzg_pack_impl`Source