diff --git a/snark/src/lib.rs b/snark/src/lib.rs index 378a4f77d..502f00d4b 100644 --- a/snark/src/lib.rs +++ b/snark/src/lib.rs @@ -97,6 +97,10 @@ pub trait UniversalSetupSNARK: SNARK { /// Specifies how to bound the size of public parameters required to /// generate the index proving and verification keys for a given /// circuit. + /// + /// For example, for SNARKs that rely on polynomial commitments, this would + /// be the maximum degree of polynomials required to prove a given + /// instance. type IndexBound: Clone + Default + Debug; /// Specifies the type of universal public parameters. type PublicParameters: Clone + Debug;