package octez-libs

  1. Overview
  2. Docs
package octez-libs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Cq.MakeSource

Parameters

Signature

Sourcemodule ISet : sig ... end
Sourcemodule IMap : sig ... end
Sourceexception Entry_not_in_table
Sourcetype transcript = bytes
Sourcetype prover_public_parameters = {
  1. n : int;
  2. domain_k : Plonk.Bls.Domain.t;
  3. domain_2k : Plonk.Bls.Domain.t;
  4. table : ISet.t Bls.Scalar_map.t list;
  5. cms_lagrange : Bls.G1.t array;
  6. cms_lagrange_0 : Bls.G1.t array;
  7. q : Bls.G1.t array list;
  8. pc : PC.Public_parameters.prover;
}
Sourcetype verifier_public_parameters = {
  1. n : int;
  2. k : int;
  3. srs2_0 : Bls.G2.t;
  4. srs2_1 : Bls.G2.t;
  5. srs2_N_1_k_2 : Bls.G2.t;
  6. cm_table : Bls.G2.t list;
  7. cm_zv : Bls.G2.t;
  8. pc : PC.Public_parameters.verifier;
}
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 compute_and_commit : ('a -> Plonk.Bls.G1.Scalar.t * Bls.G1.t) -> 'a list -> Plonk.Bls.G1.Scalar.t array * Bls.G1.t
Sourceval 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
Sourceval 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
Sourceval compute_cm_qa : Plonk.Bls.G1.Scalar.t array -> prover_public_parameters -> (int * Plonk.Bls.G1.Scalar.t) list -> Bls.G1.t
Sourceval compute_a0 : int -> ('a * Plonk.Bls.Scalar.t) list -> Plonk.Bls.Scalar.t
Sourceval 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
Sourceval verify : verifier_public_parameters -> bytes -> proof -> bool * Bytes.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct