Make (pickles.Plonk_checks.Make)

Parameters

module Shifted_value : Pickles_types.Shifted_value.S

module Sc : Scalars.S

Signature

val ft_eval0 : 
  't field ->
  domain:< shifts : 't array.. > ->
  env:'t Scalars.Env.t ->
  ( 't, 't ) Composition_types.Wrap.Proof_state.Deferred_values.Plonk.Minimal.t ->
  ( 't * 't, 'a ) Pickles_types.Plonk_types.Evals.In_circuit.t ->
  't ->
  lookup_constant_term_part:( 't Scalars.Env.t -> 't ) option ->
  't

val derive_plonk : 
  ?with_label:( string -> ( unit -> 't ) -> 't ) ->
  't field ->
  env:'t Scalars.Env.t ->
  shift:'t Shifted_value.Shift.t ->
  ( 't, 't ) Composition_types.Wrap.Proof_state.Deferred_values.Plonk.Minimal.t ->
  ( 't * 't, 'a ) Pickles_types.Plonk_types.Evals.In_circuit.t ->
  ( 't,
    't,
    't Shifted_value.t,
    ( ( 't, 't Shifted_value.t )
        Composition_types.Wrap.Proof_state.Deferred_values.Plonk.In_circuit.Lookup.t,
      'b )
      Pickles_types.Plonk_types.Opt.t )
    Composition_types.Wrap.Proof_state.Deferred_values.Plonk.In_circuit.t

val checked : 
  (module Snarky_backendless.Snark_intf.Run with type field = 't) ->
  shift:'t Snarky_backendless.Cvar.t Shifted_value.Shift.t ->
  env:'t Snarky_backendless.Cvar.t Scalars.Env.t ->
  ( 't Snarky_backendless.Cvar.t,
    't Snarky_backendless.Cvar.t,
    't Snarky_backendless.Cvar.t Shifted_value.t,
    ( ( 't Snarky_backendless.Cvar.t,
        't Snarky_backendless.Cvar.t Shifted_value.t )
        Composition_types.Wrap.Proof_state.Deferred_values.Plonk.In_circuit.Lookup.t,
      't Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t )
      Pickles_types.Plonk_types.Opt.t )
    Composition_types.Wrap.Proof_state.Deferred_values.Plonk.In_circuit.t ->
  ( 't Snarky_backendless.Cvar.t * 't Snarky_backendless.Cvar.t, 'a )
    Pickles_types.Plonk_types.Evals.In_circuit.t ->
  't Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t