diff --git a/src/poly/commitment/msm.rs b/src/poly/commitment/msm.rs
index 42e6b87..08c0914 100644
--- a/src/poly/commitment/msm.rs
+++ b/src/poly/commitment/msm.rs
@@ -106,6 +106,7 @@ impl<'a, C: CurveAffine> MSM<'a, C> {
 
         assert_eq!(scalars.len(), len);
 
+        metrics::increment!("multiexp", "size" => format!("{}", len), "fn" => "MSM::eval");
         bool::from(best_multiexp(&scalars, &bases).is_zero())
     }
 }
diff --git a/src/poly/commitment/verifier.rs b/src/poly/commitment/verifier.rs
index 649c2c3..97e7d85 100644
--- a/src/poly/commitment/verifier.rs
+++ b/src/poly/commitment/verifier.rs
@@ -55,6 +55,7 @@ impl<'a, C: CurveAffine> Guard<'a, C> {
     pub fn compute_g(&self) -> C {
         let s = compute_s(&self.challenges_sq, self.allinv);
 
+        metrics::increment!("multiexp", "size" => format!("{}", s.len()), "fn" => "compute_g");
         let mut tmp = best_multiexp(&s, &self.msm.params.g);
         tmp += self.msm.params.h;
         tmp.to_affine()