diff --git a/halo2_proofs/Cargo.toml b/halo2_proofs/Cargo.toml
index 05fb52b3b3..dd123a329f 100644
--- a/halo2_proofs/Cargo.toml
+++ b/halo2_proofs/Cargo.toml
@@ -32,10 +32,6 @@ autoexamples = false
 all-features = true
 rustdoc-args = ["--cfg", "docsrs", "--html-in-header", "katex-header.html"]
 
-[[bench]]
-name = "arithmetic"
-harness = false
-
 [[bench]]
 name = "commit_zk"
 harness = false
diff --git a/halo2_proofs/benches/arithmetic.rs b/halo2_proofs/benches/arithmetic.rs
deleted file mode 100644
index 26d12b8ca0..0000000000
--- a/halo2_proofs/benches/arithmetic.rs
+++ /dev/null
@@ -1,39 +0,0 @@
-#[macro_use]
-extern crate criterion;
-
-use crate::arithmetic::small_multiexp;
-use crate::halo2curves::pasta::{EqAffine, Fp};
-use group::ff::Field;
-use halo2_axiom as halo2_proofs;
-use halo2_proofs::*;
-
-use halo2_proofs::poly::{commitment::ParamsProver, ipa::commitment::ParamsIPA};
-
-use criterion::{black_box, Criterion};
-use rand_core::OsRng;
-
-fn criterion_benchmark(c: &mut Criterion) {
-    let rng = OsRng;
-
-    // small multiexp
-    {
-        let params: ParamsIPA<EqAffine> = ParamsIPA::new(5);
-        let g = &mut params.get_g().to_vec();
-        let len = g.len() / 2;
-        let (g_lo, g_hi) = g.split_at_mut(len);
-
-        let coeff_1 = Fp::random(rng);
-        let coeff_2 = Fp::random(rng);
-
-        c.bench_function("double-and-add", |b| {
-            b.iter(|| {
-                for (g_lo, g_hi) in g_lo.iter().zip(g_hi.iter()) {
-                    small_multiexp(&[black_box(coeff_1), black_box(coeff_2)], &[*g_lo, *g_hi]);
-                }
-            })
-        });
-    }
-}
-
-criterion_group!(benches, criterion_benchmark);
-criterion_main!(benches);