package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

A package that contains multiple base libraries used by the Octez suite

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-18.1.tar.gz

sha256=aa2f5bc99cc4ca2217c52a1af2a2cdfd3b383208cb859ca2e79ca0903396ca1d

sha512=d68bb3eb615e3dcccc845fddfc9901c95b3c6dc8e105e39522ce97637b1308a7fa7aa1d271351d5933febd7476b2819e1694f31198f1f0919681f1f9cc97cb3a

doc/octez-libs.plonk/Plonk/Cq/Make/index.html

Module `Cq.Make`Source

Parameters

module PC : Polynomial_commitment.S

Signature

Sourcemodule ISet : sig ... end

Sourcemodule IMap : sig ... end

Sourceexception Entry_not_in_table

Sourcetype transcript = bytes

Sourcetype prover_public_parameters = {

n : int;
domain_k : Plonk.Bls.Domain.t;
domain_2k : Plonk.Bls.Domain.t;
table : ISet.t Bls.Scalar_map.t list;
cms_lagrange : Bls.G1.t array;
cms_lagrange_0 : Bls.G1.t array;
q : Bls.G1.t array list;
pc : PC.Public_parameters.prover;

}

Sourcetype verifier_public_parameters = {

n : int;
k : int;
srs2_0 : Bls.G2.t;
srs2_1 : Bls.G2.t;
srs2_N_1_k_2 : Bls.G2.t;
cm_table : Bls.G2.t list;
cm_zv : Bls.G2.t;
pc : PC.Public_parameters.verifier;

}

Sourcetype proof = {

cm_f : PC.Commitment.t;
cm_f_agg : PC.Commitment.t;
cm_a : PC.Commitment.t;
cm_b0 : PC.Commitment.t;
cm_qa : PC.Commitment.t;
cm_m : PC.Commitment.t;
cm_p : PC.Commitment.t;
cm_b0_qb_f : PC.Commitment.t;
a0 : Plonk.Bls.Scalar.t list;
b0y : Plonk.Bls.Scalar.t SMap.t;
fy : Plonk.Bls.Scalar.t SMap.t;
fy_agg : Plonk.Bls.Scalar.t SMap.t;
pc : PC.proof;
cm_a0 : Bls.G1.t;

}

Sourceval f_name : string

Sourceval m_name : string

Sourceval a_name : string

Sourceval qa_name : string

Sourceval b0_name : string

Sourceval qb_name : string

Sourceval p_name : string

Sourceval f_agg_name : string

Sourceval aggregate_cm : PC.Commitment.t -> Plonk.Bls.G1.Scalar.t array -> Bls.G1.t

Sourceval get_pc_query : Plonk.Bls.Scalar.t -> Plonk.Bls.Scalar.t SMap.t list

Source

val commit1 : 
  PC.Commitment.prover_public_parameters ->
  Plonk.Bls.Poly.t ->
  Bls.G1.t

Sourceval kzg_0 : Plonk.Bls.Poly.t -> Plonk.Bls.Poly.t

Source

val compute_and_commit : 
  ('a -> Plonk.Bls.G1.Scalar.t * Bls.G1.t) ->
  'a list ->
  Plonk.Bls.G1.Scalar.t array * Bls.G1.t

Source

val setup_prover : 
  (int * Bls.Evaluations.domain) ->
  int ->
  (Plonk.Bls.Poly.scalar array list * Plonk.Bls.Poly.t list) ->
  PC.Public_parameters.prover ->
  prover_public_parameters

Source

val setup_verifier : 
  ('a * Plonk.Bls.Srs_g2.t) ->
  int ->
  int ->
  Plonk.Bls.Poly.t list ->
  PC.Public_parameters.verifier ->
  verifier_public_parameters

Source

val setup : 
  srs:Octez_bls12_381_polynomial.Srs.t ->
  wire_size:int ->
  table:Plonk.Bls.Poly.scalar array list ->
  prover_public_parameters * verifier_public_parameters

Source

val compute_m_and_t_sparse : 
  prover_public_parameters ->
  Bls.Scalar_map.key array SMap.t ->
  'a array ->
  (IMap.key * Plonk.Bls.Scalar.t * 'a) list * Bls.G1.t

Source

val compute_a : 
  prover_public_parameters ->
  Plonk.Bls.Scalar.t ->
  (int * Plonk.Bls.Scalar.t * Plonk.Bls.Scalar.t) list ->
  (int * Plonk.Bls.G1.Scalar.t) list * Bls.G1.t

Source

val compute_cm_qa : 
  Plonk.Bls.G1.Scalar.t array ->
  prover_public_parameters ->
  (int * Plonk.Bls.G1.Scalar.t) list ->
  Bls.G1.t

Source

val compute_b : 
  Plonk.Bls.Scalar.t ->
  int ->
  Bls.Evaluations.domain ->
  Plonk.Bls.Scalar.t array ->
  Bls.Evaluations.polynomial

Source

val compute_qb : 
  prover_public_parameters ->
  Bls.Evaluations.scalar ->
  int ->
  Bls.Evaluations.polynomial ->
  Bls.Evaluations.polynomial ->
  Plonk.Bls.Poly.t

Sourceval compute_p : prover_public_parameters -> int -> Plonk.Bls.Poly.t -> Bls.G1.t

Sourceval compute_a0 : int -> ('a * Plonk.Bls.Scalar.t) list -> Plonk.Bls.Scalar.t

Source

val compute_cm_a0 : 
  prover_public_parameters ->
  Plonk.Bls.Scalar.t array ->
  (IMap.key * Plonk.Bls.Scalar.t) list list ->
  Bls.G1.t

Source

val kzg_prove : 
  prover_public_parameters ->
  bytes ->
  int ->
  ((PC.Commitment.t * PC.Commitment.prover_aux)
   * (PC.Commitment.t * PC.Commitment.prover_aux)) ->
  (Plonk.Bls.Poly.t SMap.t
   * Plonk.Bls.Poly.t SMap.t
   * Plonk.Bls.Poly.t SMap.t
   * Plonk.Bls.Poly.t list) ->
  Plonk.Bls.Poly.scalar SMap.t
  * Plonk.Bls.Poly.scalar SMap.t
  * Plonk.Bls.Poly.scalar SMap.t
  * PC.Commitment.t
  * PC.Commitment.t
  * PC.proof
  * PC.transcript

Source

val kzg_verify : 
  verifier_public_parameters ->
  bytes ->
  proof ->
  int ->
  Plonk.Bls.Scalar.t ->
  bool * PC.transcript

Sourceval verify_f_agg : Plonk.Bls.Scalar.t array -> proof -> bool

Source

val prove : 
  prover_public_parameters ->
  bytes ->
  Bls.Evaluations.scalar array SMap.t List.t ->
  proof * Bytes.t

Sourceval verify : verifier_public_parameters -> bytes -> proof -> bool * Bytes.t

On This Page

Parameters
Signature

package octez-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-libs.plonk/Plonk/Cq/Make/index.html

Module Cq.MakeSource

Parameters

Signature

Module `Cq.Make`Source