Up – Package index » octez-plonk » Library octez-plonk.distribution » Plonk_for_distribution » Polynomial_protocol

Module `Plonk_for_distribution.Polynomial_protocol`Source

Sourcemodule type S = sig ... end

Sourcemodule type Super = sig ... end

Sourcemodule Make (PC : Kzg.PC_for_distribution_sig) : S with module PC = PC

module MakeSuper
  (PC : Kzg_pack.Super_PC_sig)
  (Answers_commitment : Plonk.Input_commitment.S) : 
  Super with module PC = PC with module Answers_commitment = Answers_commitment