add KZG+

this adds the KZG+ cryptographic method alongside Semi-AVID.

changelog

• the Makefile now uses --all-features to compile everything
• a new module algebra has been added, with tests for all functions
  • algebra::scalar_product_polynomial computes a linear combination of polynomials (P_i)
  • algebra::powers_of computes n successive powers of a number r
• a new function zk::trim has been added from gitlab.isae-supaero.fr:a.stevan/poly-commit@19fc0d4/src/kzg10/mod.rs#L513-L538
• a new feature kzg has been added, with an optional dependency on gitlab.isae-supaero.fr:a.stevan/poly-commit@19fc0d4
• a new module kzg has been added and exposes the following publicly
  • structures
    • Block
  • functions
    • commit
    • prove
    • verify
    • batch_verify
  • tests when block are left as-is and when one of them is corrupted

src/kzg.rs

@@ -410,7 +410,7 @@ mod tests {
 
         assert!(!super::verify::<E, P>(
             &corrupted_block,
-            E::ScalarField::from_le_bytes_mod_order(&u32_to_u8_vec(0 as u32)),
+            E::ScalarField::from_le_bytes_mod_order(&u32_to_u8_vec(0u32)),
             &verifier_key,
         ));