Module `Polynomial_commitment.Make_impl`Source

Parameters

module Pack : Pack.Aggregator

module PC : 
  Plonk.Polynomial_commitment.S
    with type Scalar.t = Pack.scalar
     and type Commitment.t = Pack.g1 Plonk.SMap.t

Signature

Sourcemodule Scalar = PC.Scalar

Sourcemodule Fr_generation = PC.Fr_generation

Sourcemodule Polynomial = PC.Polynomial

Sourcemodule Domain = PC.Polynomial.Domain

Sourcemodule Poly = PC.Polynomial.Polynomial

Sourcemodule Scalar_map = PC.Scalar_map

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

Sourcemodule Commitment : 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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-plonk.aggregation/Aggregation/Polynomial_commitment/Make_impl/index.html

Module `Polynomial_commitment.Make_impl`Source

Parameters

Signature

package tezos-plonk

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-plonk.aggregation/Aggregation/Polynomial_commitment/Make_impl/index.html

Module Polynomial_commitment.Make_implSource

Parameters

Signature

Module `Polynomial_commitment.Make_impl`Source