Draft: Doc joss

examples/semi_avid.rs

@@ -24,13 +24,21 @@ where
     let mut rng = test_rng();
 
     // the code parameters and the data to manipulate
+    let element_size = (F::MODULUS_BIT_SIZE as usize) / 8;
     let (k, n) = (3, 6_usize);
     let bytes = include_bytes!("../assets/dragoon_133x133.png").to_vec();
-    eprintln!("loaded {} bytes of data", bytes.len());
-
-    // Semi-AVID needs a _trusted setup_ to prove and verify blocks of encoded data
-    eprint!("creating trusted setup... ");
-    let powers = setup::<F, G>(bytes.len(), &mut rng)?;
+    eprintln!("loaded |F|={} bytes of data", bytes.len());
+
+    // Semi-AVID needs a _trusted setup_ to prove and verify blocks of encoded
+    // data
+    let min_setup_size = bytes.len() / (k * element_size);
+    eprint!(
+        "creating trusted setup for |F|={}, k={}, |E|={} ... ",
+        bytes.len(),
+        k,
+        element_size
+    );
+    let powers = setup::<F, G>(min_setup_size, &mut rng)?;
     eprintln!("done");
 
     // encode and prove the data with a _random_ encoding