Plonk_checks (pickles.Plonk

type 'field vanishing_polynomial_domain =
  < vanishing_polynomial : 'field -> 'field >

type 'field plonk_domain =
  < vanishing_polynomial : 'field -> 'field
  ; shifts : 'field Pickles_types.Plonk_types.Shifts.t
  ; generator : 'field >

type 'field domain =
  < size : 'field
  ; vanishing_polynomial : 'field -> 'field >

module type Field_intf = sig ... end

type 'f field = (module Field_intf with type t = 'f)

val tick_lookup_constant_term_part : 'a Scalars.Env.t -> 'a

val domain : 
  't field ->
  shifts:( log2_size:int -> 't array ) ->
  domain_generator:( log2_size:int -> 't ) ->
  Pickles_base.Domain.t ->
  't plonk_domain

val evals_of_split_evals : 
  'a field ->
  zeta:'a ->
  zetaw:'a ->
  ('a array * 'a array) Pickles_types.Plonk_types.Evals.t ->
  rounds:int ->
  ('a * 'a) Pickles_types.Plonk_types.Evals.t

val scalars_env : 
  't field ->
  endo:'t ->
  mds:'t array array ->
  field_of_hex:( string -> 't ) ->
  domain:< generator : 't ; vanishing_polynomial : 't -> 't.. > ->
  srs_length_log2:int ->
  ( 't, 't ) Composition_types.Wrap.Proof_state.Deferred_values.Plonk.Minimal.t ->
  ( 't * 't, 'a ) Pickles_types.Plonk_types.Evals.In_circuit.t ->
  't Scalars.Env.t

module Make
  (Shifted_value : Pickles_types.Shifted_value.S)
  (Sc : Scalars.S) : 
  sig ... end

module Domain = Pickles_base.Domain

Domain is re-exported from library Pickles_base

module Scalars : sig ... end