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/algebra.rs

@@ -88,8 +88,10 @@ mod tests {
             let polynomials = vec![
                 P::from_coefficients_vec(vec_to_elements::<E>(vec![1])),
                 P::from_coefficients_vec(vec_to_elements::<E>(vec![0, 1])),
+                P::from_coefficients_vec(vec_to_elements::<E>(vec![0, 0, 1])),
+                P::from_coefficients_vec(vec_to_elements::<E>(vec![0, 0, 0, 1])),
             ];
-            let coeffs = vec_to_elements::<E>(vec![2, 3]);
+            let coeffs = vec_to_elements::<E>(vec![2, 3, 4, 5]);
 
             assert_eq!(
                 super::super::scalar_product_polynomial::<E, P>(&coeffs, &polynomials),