package octez-plonk

  1. Overview
  2. Docs
val assert_not_too_many_checks : int -> int -> unit
val compute_pnin1 : int -> Plonk.Bls.Domain.t -> int -> Plonk.Bls.Poly.t
val preprocessing : range_checks:('a list * int) -> domain:Plonk.Bls.Domain.t -> Bls.Evaluations.polynomial SMap.t
val get_checks_from_wire : int -> int list -> Bls.Evaluations.t -> Bls.Evaluations.scalar list
val partial_z : int -> Plonk.Bls.Scalar.t -> Plonk.Bls.Scalar.t list
val build_z_evals : Plonk.Bls.Domain.t -> int -> int -> int list -> Bls.Evaluations.t -> Bls.Evaluations.t
val compute_Z : Plonk.Bls.Domain.t -> int -> int -> int list -> Bls.Evaluations.t -> Bls.Evaluations.t * Bls.Evaluations.polynomial
val f_map_contribution : range_checks:(int list * int) -> domain:Plonk.Bls.Domain.t -> values:Bls.Evaluations.t SMap.t -> Bls.Evaluations.t * Bls.Evaluations.polynomial SMap.t
val prover_identities : ?circuit_prefix:(string -> string) -> proof_prefix:(string -> string) -> domain_size:int -> unit -> Bls.Evaluations.t SMap.t -> Bls.Evaluations.t SMap.t
val verifier_identities : ?circuit_prefix:(string -> string) -> proof_prefix:(string -> string) -> unit -> 'a -> Plonk.Bls.Scalar.t SMap.t SMap.t -> Plonk.Bls.Scalar.t SMap.t
OCaml

Innovation. Community. Security.