tezos-plonk
Plonk.Custom_gates
tezos-plonk.aggregation
tezos-plonk.distribution
module L = Plompiler.LibCircuit
module type Aggregator_sig = sig ... end
module Make (PP : Polynomial_protocol.S with type PC.Scalar.t = Plompiler.S.t) : Aggregator_sig with module PP = PP