fix check

brech1 · Oct 16, 2024 · aea9656 · aea9656
1 parent a52f04e
commit aea9656
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/kzg.rs b/src/kzg.rs
@@ -45,6 +45,10 @@ impl<E: Pairing> KZG<E> {
 
     /// Commits to a polynomial.
     pub fn commit(&self, p: &[E::ScalarField]) -> Result<E::G1, KZGError> {
+        if p.len() > self.g1_pow.len() {
+            return Err(KZGError::PolynomialTooLarge(p.len(), self.g1_pow.len()));
+        }
+
         let mut commitment = E::G1::zero();
 
         // commitment = sum(p[i] * g1_powers[i])