fix: add better error messages/docs for catching empty inputs

snark-verifier-sdk/src/halo2/aggregation.rs

@@ -57,6 +57,9 @@ pub type Halo2Loader<'chip> = loader::halo2::Halo2Loader<G1Affine, BaseFieldEccC
 /// Returns the assigned instances of previous snarks and the new final pair that needs to be verified in a pairing check.
 /// For each previous snark, we concatenate all instances into a single vector. We return a vector of vectors,
 /// one vector per snark, for convenience.
+///
+/// # Assumptions
+/// * `snarks` is not empty
 pub fn aggregate<'a, AS>(
     svk: &Svk,
     loader: &Rc<Halo2Loader<'a>>,
@@ -76,6 +79,7 @@ where
             VerifyingKey = KzgAsVerifyingKey,
         >,
 {
+    assert!(!snarks.is_empty(), "trying to aggregate 0 snarks");
     let assign_instances = |instances: &[Vec<Fr>]| {
         instances
             .iter()

snark-verifier/src/loader/evm/loader.rs

@@ -663,7 +663,7 @@ where
                 _ => ec_point.loader.ec_point_scalar_mul(ec_point, scalar),
             })
             .reduce(|acc, ec_point| acc.loader.ec_point_add(&acc, &ec_point))
-            .unwrap()
+            .expect("pairs should not be empty")
     }
 }
 

snark-verifier/src/loader/halo2/loader.rs

@@ -536,6 +536,7 @@ impl<C: CurveAffine, EccChip: EccInstructions<C>> EcPointLoader<C> for Rc<Halo2L
     fn multi_scalar_multiplication(
         pairs: &[(&<Self as ScalarLoader<C::Scalar>>::LoadedScalar, &EcPoint<C, EccChip>)],
     ) -> EcPoint<C, EccChip> {
+        assert!(!pairs.is_empty(), "multi_scalar_multiplication: pairs is empty");
         let loader = &pairs[0].0.loader;
 
         let (constant, fixed_base, variable_base_non_scaled, variable_base_scaled) =

snark-verifier/src/loader/native.rs

@@ -66,7 +66,7 @@ impl<C: CurveAffine> EcPointLoader<C> for NativeLoader {
             .cloned()
             .map(|(scalar, base)| *base * scalar)
             .reduce(|acc, value| acc + value)
-            .unwrap()
+            .expect("pairs should not be empty")
             .to_affine()
     }
 }