package octez-libs

  1. Overview
  2. Docs
module PP : sig ... end
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
OCaml

Innovation. Community. Security.