package octez-plonk

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val compute_l1 : Plonk.Bls.Domain.t -> Bls.Evaluations.polynomial

val sid_list_non_quadratic_residues : int -> Plonk.Bls.Poly.t list

val sid_map_non_quadratic_residues_prover : int -> Plonk.Bls.Poly.t SMap.t

val evaluations_sid : 
  int ->
  Bls.Evaluations.t SMap.t ->
  Bls.Evaluations.t SMap.t

val ssigma_map_non_quadratic_residues : 
  string ->
  int array ->
  Plonk.Bls.Domain.t ->
  int ->
  Bls.Evaluations.polynomial SMap.t