package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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 f_map_contribution : 
  domain:Kzg.Bls.Domain.t ->
  values:Identities.Evaluations.t Plonk.Identities.SMap.t ->
  Plonk.Identities.SMap.key ->
  (int * int) list ->
  Identities.Evaluations.t Plonk.Identities.SMap.t
  * Identities.Evaluations.polynomial Plonk.Identities.SMap.t

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