Module `Make.BasePC`Source

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

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.distribution/Distribution/Kzg_pack/Make/BasePC/index.html

Module `Make.BasePC`Source

package tezos-plonk

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Make.BasePCSource

Module `Make.BasePC`Source