package octez-libs

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

Signature

module PP = PP
val z_names : string -> string list
val shared_z_names : string -> string list
val build_permutations : size_domain:int -> range_checks:(int * int) list Plonk.Identities.SMap.t -> int array Plonk.Identities.SMap.t
val preprocessing : range_checks:(int * int) list Plonk.Identities.SMap.t -> permutations:int array Plonk.Identities.SMap.t -> domain:Kzg.Bls.Domain.t -> Kzg.Bls.Poly.t Plonk.Identities.SMap.t
val prover_identities_1 : ?circuit_prefix:(string -> string) -> proof_prefix:(string -> string) -> domain_size:int -> range_checks:'a Plonk.Identities.SMap.t -> unit -> Identities.prover_identities
val prover_identities_2 : ?circuit_prefix:(string -> string) -> beta:Kzg.Bls.Scalar.t -> gamma:Kzg.Bls.Scalar.t -> domain_size:int -> range_checks:'a Plonk.Identities.SMap.t -> unit -> Identities.prover_identities
val verifier_identities_1 : ?circuit_prefix:(string -> string) -> proof_prefix:(string -> string) -> range_checks:bool Plonk.Identities.SMap.t -> unit -> Kzg.Bls.Scalar.t -> Kzg.Bls.Scalar.t Plonk.Identities.SMap.t Plonk.Identities.SMap.t -> Kzg.Bls.Scalar.t Plonk.Identities.SMap.t
val verifier_identities_2 : ?circuit_prefix:(string -> string) -> nb_proofs:int -> beta:Kzg.Bls.Scalar.t -> gamma:Kzg.Bls.Scalar.t -> delta:Kzg.Bls.Scalar.t -> domain_size:int -> generator:Kzg.Bls.Scalar.t -> range_checks:bool Plonk.Identities.SMap.t -> unit -> Identities.verifier_identities
val cs : rc_index:int list -> nb_proofs:int -> lnin1:s_repr list -> pnin1:s_repr list -> z_rc:s_repr list list -> zg_rc:s_repr list list -> z_perm:s_repr list -> zg_perm:s_repr list -> aggregated_wires:s_repr list -> sum_alpha_i:(s_repr list -> s_repr -> s_repr L.t) -> l1:s_repr -> ss_list:s_repr list list -> beta:s_repr -> gamma:s_repr -> delta:s_repr -> x:s_repr -> (string * s_repr) list L.t
OCaml

Innovation. Community. Security.