Cq (mavkit-libs.Plonk.Cq)

module Degree_check = Kzg.Degree_check.G1_proof

module type Cq_sig = sig ... end

module Internal : sig ... end

include Cq_sig

exception Entry_not_in_table

type prover_public_parameters

type verifier_public_parameters

type proof

val setup : 
  srs:(Kzg.Bls.Srs_g1.t * Kzg.Bls.Srs_g2.t) ->
  wire_size:int ->
  table:Plompiler.S.t array list ->
  prover_public_parameters * verifier_public_parameters

val prove : 
  prover_public_parameters ->
  Kzg.Utils.Transcript.t ->
  Plompiler.S.t array Plonk.Identities.SMap.t list ->
  proof * Kzg.Utils.Transcript.t

val verify : 
  verifier_public_parameters ->
  Kzg.Utils.Transcript.t ->
  proof ->
  bool * Kzg.Utils.Transcript.t