Make (kimchi_backend.Kimchi_backend_common.Plonk_dlog

Parameters

module Inputs : Inputs_intf

Signature

val create : 
  Inputs.Verifier_index.t ->
  Inputs.Proof.Challenge_polynomial.t list ->
  Inputs.Field.t list ->
  Inputs.Proof.t ->
  Inputs.Backend.t

val scalar_challenge : 'a -> 'b Scalar_challenge.t

val alpha : Inputs.Backend.t -> Inputs.Field.t Kimchi_types.scalar_challenge

val beta : Inputs.Backend.t -> Inputs.Field.t

val gamma : Inputs.Backend.t -> Inputs.Field.t

val zeta : Inputs.Backend.t -> Inputs.Field.t Kimchi_types.scalar_challenge

val joint_combiner_chal : 
  Inputs.Backend.t ->
  Inputs.Field.t Kimchi_types.scalar_challenge option

val joint_combiner : Inputs.Backend.t -> Inputs.Field.t option

val digest_before_evaluations : Inputs.Backend.t -> Inputs.Field.t

val v : Inputs.Backend.t -> Inputs.Field.t Kimchi_types.scalar_challenge

val u : Inputs.Backend.t -> Inputs.Field.t Kimchi_types.scalar_challenge

val p_eval_1 : Inputs.Backend.t -> Inputs.Field.t

val p_eval_2 : Inputs.Backend.t -> Inputs.Field.t

val opening_prechallenges : 
  Inputs.Backend.t ->
  Inputs.Field.t Scalar_challenge.t Core_kernel.Array.t