octez-plonk
Plonk.Permutation_gate
octez-plonk.aggregation
octez-plonk.communication
octez-plonk.distribution
octez-plonk.plonk-test
module L = Plompiler.LibCircuit
module Permutation_gate_impl (PP : Polynomial_protocol.S) : sig ... end
module type S = sig ... end
module Permutation_gate (PP : Polynomial_protocol.S) : S with module PP = PP