Draft: Doc joss

src/semi_avid.rs

@@ -301,7 +301,8 @@ pub fn recode<F: PrimeField, G: CurveGroup<ScalarField = F>>(
 /// ```
 ///
 /// # Errors
-/// - TODO: document errors
+/// - if the setup size is too small for the data: [`KomodoError::TooFewPowersInTrustedSetup`]
+/// - TODO: document other errors
 pub fn prove<F, G, P>(
     bytes: &[u8],
     powers: &Powers<F, G>,
@@ -421,7 +422,8 @@ where
 /// ```
 ///
 /// # Errors
-/// - TODO: document errors
+/// - if the setup size is too small for the data: [`KomodoError::TooFewPowersInTrustedSetup`]
+/// - TODO: document other errors
 pub fn verify<F, G, P>(
     block: &Block<F, G>,
     verifier_key: &Powers<F, G>,