Tweak

Author: Pratyush

snark/src/lib.rs

@@ -97,6 +97,10 @@ pub trait UniversalSetupSNARK<R: NPRelation>: SNARK<R> {
     /// 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;