Kzg_impl (u.bf33b14b2bf5d4cac9b20b763c83179f.tezos-plonk.1.0.1.doc.tezos-plonk.Plonk.Polynomial_commitment.Kzg

include module type of struct include Bls end

Sourcemodule type Scalar_sig = Bls.Scalar_sig

Sourcemodule Scalar = Bls.Scalar

Sourcemodule G1 = Bls.G1

Sourcemodule G2 = Bls.G2

Sourcemodule GT = Bls.GT

Sourcemodule Pairing = Bls.Pairing

Sourcemodule Fr_generation : sig ... end

Sourcemodule Polynomial = Bls12_381_polynomial

Sourcemodule Poly = Bls12_381_polynomial.Polynomial

Sourcemodule Srs_g1 = Bls12_381_polynomial.Srs.Srs_g1

Sourcemodule Srs_g2 = Bls12_381_polynomial.Srs.Srs_g2

Sourcemodule Scalar_map : sig ... end

Sourcetype secret = Poly.t SMap.t

Sourcetype query = Scalar.t SMap.t

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

Sourcetype answer = Scalar.t SMap.t SMap.t

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

Sourcetype transcript = Bytes.t

Source

val pippenger : 
  ?start:int ->
  ?len:int ->
  G1.t array ->
  G1.Scalar.t array ->
  G1.t

Sourcemodule Public_parameters : sig ... end

Sourcemodule Commitment : sig ... end

Sourcetype proof = G1.t SMap.t

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

Sourceval expand_with_proof : G1.t SMap.t -> bytes -> bytes

Sourceval expand_with_query : Scalar.t SMap.t list -> bytes -> bytes

Sourceval expand_with_answer : Scalar.t SMap.t SMap.t list -> bytes -> bytes

Source

val compute_Ws : 
  Public_parameters.prover ->
  Poly.t SMap.t ->
  Poly.scalar SMap.t ->
  Scalar.t SMap.t ->
  G1.t SMap.t

Source

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

Sourceval sample_ys : Bytes.t -> 'a SMap.t -> Fr_generation.scalar SMap.t * Bytes.t

Source

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

Sourceval batch_polys : Poly.scalar SMap.t SMap.t -> Poly.t SMap.t -> Poly.t SMap.t

Source

val prove_single : 
  Public_parameters.prover ->
  Bytes.t ->
  Poly.t SMap.t ->
  Scalar.t SMap.t ->
  Scalar.t SMap.t SMap.t ->
  G1.t SMap.t * bytes

Source

val verify_single : 
  Public_parameters.verifier ->
  Bytes.t ->
  G1.t SMap.t ->
  Scalar.t SMap.t ->
  Scalar.t SMap.t SMap.t ->
  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 : Poly.t SMap.t -> query -> answer

Source

val prove : 
  Public_parameters.prover ->
  bytes ->
  secret list ->
  'a ->
  query list ->
  answer list ->
  G1.t SMap.t * bytes

Source

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