Module `Polynomial_commitment.Kzg_impl`Source

Sourcemodule Public_parameters : sig ... end

Sourcemodule Commitment : sig ... end

Sourcetype secret = Commitment.secret

Sourcetype query = Plonk.Bls.Scalar.t SMap.t

Sourceval query_t : Plonk.Bls.Scalar.t SMap.t Repr.ty

Sourcetype answer = Plonk.Bls.Scalar.t SMap.t SMap.t

Sourceval answer_t : Plonk.Bls.Scalar.t SMap.t SMap.t Repr.ty

Sourcetype transcript = Bytes.t

Sourcetype proof = Bls.G1.t SMap.t

Sourceval proof_t : Bls.G1.t SMap.t Repr.ty

Source

val compute_Ws : 
  Public_parameters.prover ->
  Plonk.Bls.Poly.t SMap.t ->
  Plonk.Bls.Poly.scalar SMap.t ->
  Plonk.Bls.Scalar.t SMap.t ->
  Plonk.Bls.Srs_g1.elt SMap.t

Source

val verifier_check : 
  Public_parameters.verifier ->
  Bls.G1.t SMap.t ->
  Plonk.Bls.Scalar.t SMap.t SMap.t ->
  Plonk.Bls.Scalar.t SMap.t ->
  Plonk.Bls.Scalar.t SMap.t ->
  Bls.G1.t SMap.t ->
  bool

Sourceval sample_ys : Bytes.t -> 'a SMap.t -> Plonk.Bls.Scalar.t SMap.t * Bytes.t

Source

val batch_answer : 
  Plonk.Bls.Scalar.t SMap.t ->
  Plonk.Bls.Scalar.t SMap.t SMap.t ->
  Plonk.Bls.Scalar.t SMap.t * Plonk.Bls.Scalar.t SMap.t SMap.t

Source

val batch_polys : 
  Plonk.Bls.Poly.scalar SMap.t SMap.t ->
  Plonk.Bls.Poly.t SMap.t ->
  Plonk.Bls.Poly.t SMap.t

Source

val prove_single : 
  Public_parameters.prover ->
  Bytes.t ->
  Plonk.Bls.Poly.t SMap.t ->
  Plonk.Bls.Scalar.t SMap.t ->
  Plonk.Bls.Scalar.t SMap.t SMap.t ->
  Plonk.Bls.Srs_g1.elt SMap.t * bytes

Source

val verify_single : 
  Public_parameters.verifier ->
  Bytes.t ->
  Bls.G1.t SMap.t ->
  Plonk.Bls.Scalar.t SMap.t ->
  Plonk.Bls.Scalar.t SMap.t SMap.t ->
  Bls.G1.t SMap.t ->
  bool * bytes

Sourceval group_secrets : secret list -> secret

Sourceval group_cmts : Commitment.t list -> Commitment.t

Sourceval group_queries : query list -> query

Sourceval group_answers : answer list -> answer

Sourceval evaluate : Plonk.Bls.Poly.t SMap.t -> query -> answer

Source

val prove : 
  Public_parameters.prover ->
  bytes ->
  secret list ->
  'a ->
  query list ->
  answer list ->
  Plonk.Bls.Srs_g1.elt SMap.t * bytes

Source

val verify : 
  Public_parameters.verifier ->
  bytes ->
  Commitment.t list ->
  query list ->
  answer list ->
  Bls.G1.t SMap.t ->
  bool * bytes

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-libs.plonk/Plonk/Polynomial_commitment/Kzg_impl/index.html

Module `Polynomial_commitment.Kzg_impl`Source

package octez-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-libs.plonk/Plonk/Polynomial_commitment/Kzg_impl/index.html

Module Polynomial_commitment.Kzg_implSource

Module `Polynomial_commitment.Kzg_impl`Source