PC (p.tezos-plonk.1.0.1.doc.tezos-plonk.distribution.Distribution.Main

module Scalar : sig ... end

module Polynomial : sig ... end

module Scalar_map : sig ... end

module Fr_generation : sig ... end

type secret = Polynomial.Polynomial.t Plonk.SMap.t

type query = Scalar.t Plonk.SMap.t

val query_t : query Repr.t

type answer = Scalar.t Plonk.SMap.t Plonk.SMap.t

val answer_t : answer Repr.t

type proof = PP.PC.proof

val proof_t : proof Repr.t

type transcript = Bytes.t

module Public_parameters : sig ... end

module Commitment : sig ... end

val evaluate : secret -> query -> answer

val prove : 
  Public_parameters.prover ->
  transcript ->
  secret list ->
  Commitment.prover_aux list ->
  query list ->
  answer list ->
  proof * transcript

val verify : 
  Public_parameters.verifier ->
  transcript ->
  Commitment.t list ->
  query list ->
  answer list ->
  proof ->
  bool * transcript