Module Pack.Pack_implSource

include module type of struct include Plonk.Bls end
Sourcemodule type Scalar_sig = Plonk.Bls.Scalar_sig
Sourcemodule Scalar = Plonk.Bls.Scalar
Sourcemodule G1 = Plonk.Bls.G1
Sourcemodule G2 = Plonk.Bls.G2
Sourcemodule GT = Plonk.Bls.GT
module Pairing = Plonk.Bls.Pairing
Sourcemodule Fr_generation : sig ... end
module Polynomial = Bls12_381_polynomial.Polynomial
module Poly = Bls12_381_polynomial.Polynomial
module Srs_g1 = Bls12_381_polynomial.Srs.Srs_g1
module Srs_g2 = Bls12_381_polynomial.Srs.Srs_g2
Sourcetype scalar = Scalar.t
Sourcetype g1 = G1.t
Sourcetype g2 = G2.t
Sourcetype gt = GT.t
Sourcetype prover_public_parameters = {
  1. length : int;
  2. srs2_t : G2.t array;
  3. g1_t : G1.t;
}
Sourceval prover_public_parameters_t : prover_public_parameters Repr.t
Sourcetype verifier_public_parameters = G1.t
Sourceval verifier_public_parameters_t : G1.t Repr.t
Sourcetype data = G1.t
Sourcetype commitment = {
  1. cmt_t : GT.t;
  2. cmt_len : int;
}
Sourceval commitment_t : commitment Repr.t
Sourcetype randomness = Scalar.t
Sourcetype packed = G1.t
Sourceval packed_t : G1.t Repr.t
Sourcetype ipa_proof = {
  1. t_Ls : GT.t array;
  2. t_Rs : GT.t array;
  3. r_Ls : G1.t array;
  4. r_Rs : G1.t array;
  5. a0 : G1.t;
  6. t0 : G2.t;
}
Sourceval ipa_proof_t : ipa_proof Repr.t
Sourceval empty_ipa_proof : int -> ipa_proof
Sourcetype kzg_proof = G2.t
Sourceval kzg_proof_t : G2.t Repr.t
Sourcetype proof = ipa_proof * kzg_proof
Sourceval proof_t : (ipa_proof * G2.t) Repr.t
Sourcetype transcript = Bytes.t
Sourcetype setup_params = int
Sourceval powers : one:'a -> mul:('a -> 'b -> 'a) -> int -> 'b -> 'a array
Sourceval hash : transcript:bytes -> random:(?state:Random.State.t -> unit -> 'a) -> ?g1s:G1.t array list -> ?g2s:G2.t array list -> ?gts:GT.t array list -> ?scalars:Scalar.t array list -> unit -> 'a * bytes
Sourceval ip_pairing : Bls12_381.G1.t array -> Bls12_381.G2.t array -> GT.t
Sourceval setup_verifier : Srs_g1.t -> Srs_g1.elt
Sourceval setup_prover : int -> (Srs_g1.t * Srs_g2.t) -> prover_public_parameters
Sourceval setup : int -> (Srs_g1.t * Srs_g2.t) -> prover_public_parameters * Srs_g1.elt
Sourceval get_setup_params : prover_public_parameters -> int
Sourceval public_parameters_to_bytes : prover_public_parameters -> Bytes.t
Sourceval commit : prover_public_parameters -> Bls12_381.G1.t array -> commitment
Sourceval commitment_cardinal : commitment -> int
Sourceval partial_commit : relevant_positions:Int.t list -> prover_public_parameters -> Bls12_381.G1.t array -> commitment
Sourceval bytes_of_commitment : commitment -> bytes
Sourceval empty_commitment : commitment
Sourceval pack : G1.Scalar.t array -> G1.t array -> G1.t
Sourceval array_split_in_half : 'a array -> 'a array * 'a array
Sourceval array_padded_with_zero : 'a array -> int -> 'a -> 'a array
Sourceval prove_but_not_pack : prover_public_parameters -> bytes -> Scalar.t -> G1.t array -> G1.t -> (ipa_proof * G2.t) * bytes
Sourceval prove_single : prover_public_parameters -> bytes -> Scalar.t -> G1.t array -> (G1.t * (ipa_proof * G2.t)) * bytes
Sourceval prove : prover_public_parameters -> bytes -> Scalar.t -> G1.t array list -> (G1.t list * (ipa_proof * G2.t)) * bytes
Sourceval verify_single : G1.t -> bytes -> commitment -> Scalar.t -> (G1.t * (ipa_proof * G2.t)) -> bool * bytes
Sourceval verify : G1.t -> bytes -> commitment list -> Scalar.t -> (G1.t list * (ipa_proof * G2.t)) -> bool * bytes