package octez-libs

  1. Overview
  2. Docs
val preprocessing : domain:Kzg.Bls.Domain.t -> string -> ('a * int) list -> Identities.Evaluations.polynomial Plonk.Identities.SMap.t
val partial_z : (Kzg.Bls.Scalar.t * int) -> Kzg.Bls.Scalar.t list
val prover_identities : ?circuit_prefix:(string -> string) -> proof_prefix:(string -> string) -> domain_size:int -> string -> 'a -> Identities.Evaluations.t Kzg.SMap.t -> Identities.Evaluations.t Plonk.Identities.SMap.t
val verifier_identities : ?circuit_prefix:(string -> string) -> proof_prefix:(string -> string) -> string -> bool -> 'a -> Kzg.Bls.Scalar.t Plonk.Identities.SMap.t Plonk.Identities.SMap.t -> Kzg.Bls.Scalar.t Plonk.Identities.SMap.t
val cs_unitary : prefix:(string -> string) -> lnin1:L.Num.scalar L.repr -> pnin1:L.Num.scalar L.repr -> z:L.Num.scalar L.Num.repr -> zg:L.Num.scalar L.Num.repr -> int -> (string * L.Num.scalar L.Num.repr) list L.t
val cs_for_all_wires : prefix:(string -> string) -> lnin1:L.Num.scalar L.repr list -> pnin1:L.Num.scalar L.repr list -> z_list:L.Num.scalar L.Num.repr list -> zg_list:L.Num.scalar L.Num.repr list -> int list -> (string * L.Num.scalar L.Num.repr) list L.t
OCaml

Innovation. Community. Security.