Draft: Doc joss

src/error.rs

@@ -41,9 +41,10 @@ pub enum KomodoError {
     IncompatibleBlocks(String),
     #[error("Degree is zero")]
     DegreeIsZero,
-    /// `{0}` is the supported degree of the trusted setup and `{1}` is the actual requested
-    /// polynomnial degree
-    #[error("too many coefficients: max is {0}, found {0}")]
+    /// the trusted setup can support polynomials with `{0}` coefficients, i.e.
+    /// with degree <= (`{0}` - 1), but the actual requested polynomial has `{1}`
+    /// coefficients
+    #[error("too many coefficients: max is {0} (degree + 1), found {1}")]
     TooFewPowersInTrustedSetup(usize, usize),
     /// `{0}` is a custom error message.
     #[error("Another error: {0}")]