Module `Kzg_pack_impl.BasePC`Source

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

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

Install

dune-project
Dependency

Authors

Maintainers

Sources

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

Module `Kzg_pack_impl.BasePC`Source

package tezos-plonk

Install

dune-project Dependency

Authors

Maintainers

Sources

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

Module Kzg_pack_impl.BasePCSource

dune-project
Dependency

Module `Kzg_pack_impl.BasePC`Source