package octez-libs

  1. Overview
  2. Docs
val build_permutation_wire : size_domain:int -> (int * int) list -> int array
module Perm : sig ... end
val external_prefix : string -> string
val prefix_for_perm : string -> string
val preprocessing : domain:Kzg.Bls.Domain.t -> string -> int array -> Kzg.Bls.Poly.t Plonk.Identities.SMap.t
val f_map_contribution : beta:Kzg.Bls.Scalar.t -> gamma:Kzg.Bls.Scalar.t -> domain:Kzg.Bls.Domain.t -> values:Identities.Evaluations.t Plonk.Identities.SMap.t -> string -> int array -> Kzg.Bls.Poly.t Plonk.Identities.SMap.t
val prover_identities : ?circuit_prefix:(string -> string) -> beta:Kzg.Bls.Scalar.t -> gamma:Kzg.Bls.Scalar.t -> domain_size:int -> string -> 'a -> Identities.Evaluations.t Plonk.Identities.SMap.t -> Identities.Evaluations.t Plonk.Identities.SMap.t
val verifier_identities : ?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 -> string -> bool -> Kzg.Bls.Scalar.t -> Kzg.Bls.Scalar.t Plonk.Identities.SMap.t Plonk.Identities.SMap.t -> Kzg.Bls.Scalar.t Plonk.Identities.SMap.t
OCaml

Innovation. Community. Security.