diff --git a/kzg_prover/bin/gen_commitment.rs b/kzg_prover/bin/gen_commitment.rs
deleted file mode 100644
index a0e81c14..00000000
--- a/kzg_prover/bin/gen_commitment.rs
+++ /dev/null
@@ -1,108 +0,0 @@
-#![feature(generic_const_exprs)]
-
-use halo2_proofs::{
-    arithmetic::Field,
-    halo2curves::{
-        bn256::{Bn256, Fr as Fp},
-        serde::SerdeObject,
-    },
-    poly::kzg::commitment::KZGCommitmentScheme,
-};
-use num_bigint::BigUint;
-use serde::{Deserialize, Serialize};
-use serde_json::to_string_pretty;
-use std::{fs::File, io::Write};
-use summa_solvency::{
-    circuits::{
-        univariate_grand_sum::{UnivariateGrandSum, UnivariateGrandSumConfig},
-        utils::{full_prover, full_verifier, generate_setup_artifacts},
-    },
-    cryptocurrency::Cryptocurrency,
-    entry::Entry,
-    utils::{amortized_kzg::create_naive_kzg_proof, big_uint_to_fp, parse_csv_to_entries},
-};
-
-const K: u32 = 17;
-const N_CURRENCIES: usize = 2;
-const N_USERS: usize = 16;
-
-#[derive(Serialize, Deserialize)]
-struct CommitmentSolidityCallData {
-    range_check_snark_proof: String,
-    grand_sums_batch_proof: String,
-}
-
-fn main() {
-    // Initialize with entries
-    let mut entries: Vec<Entry<N_CURRENCIES>> = vec![Entry::init_empty(); N_USERS];
-    let mut cryptos = vec![Cryptocurrency::init_empty(); N_CURRENCIES];
-
-    parse_csv_to_entries::<&str, N_CURRENCIES>("../csv/entry_16.csv", &mut entries, &mut cryptos)
-        .unwrap();
-
-    let univariate_grand_sum_circuit = UnivariateGrandSum::<
-        N_USERS,
-        N_CURRENCIES,
-        UnivariateGrandSumConfig<N_CURRENCIES, N_USERS>,
-    >::init(entries.to_vec());
-
-    let (params, pk, _) = generate_setup_artifacts(
-        K,
-        Some("../backend/ptau/hermez-raw-17"),
-        &univariate_grand_sum_circuit,
-    )
-    .unwrap();
-
-    // Create a proof
-    let instances = vec![Fp::one(); 1]; // This instance is necessary to verify proof on solidity verifier.
-    let (zk_snark_proof, advice_polys, _omega) = full_prover(
-        &params,
-        &pk,
-        univariate_grand_sum_circuit.clone(),
-        &[instances.clone()],
-    );
-
-    assert!(full_verifier(
-        &params,
-        pk.get_vk(),
-        &zk_snark_proof,
-        &[instances]
-    ));
-
-    let challenge = Fp::zero();
-    let csv_total: Vec<BigUint> = vec![BigUint::from(0u32); N_CURRENCIES];
-
-    let poly_length = 1 << u64::from(K);
-    let total_balances = csv_total
-        .iter()
-        .map(|x| big_uint_to_fp(&(x)) * Fp::from(poly_length).invert().unwrap())
-        .collect::<Vec<Fp>>();
-
-    let mut grand_sums_kzg_proof = Vec::new();
-    for balance_column in 1..(N_CURRENCIES + 1) {
-        let f_poly = advice_polys.advice_polys.get(balance_column).unwrap();
-
-        let kzg_proof = create_naive_kzg_proof::<KZGCommitmentScheme<Bn256>>(
-            &params,
-            pk.get_vk().get_domain(),
-            f_poly,
-            challenge,
-            total_balances[balance_column - 1],
-        );
-        grand_sums_kzg_proof.push(kzg_proof.to_raw_bytes());
-    }
-
-    let commitment = CommitmentSolidityCallData {
-        range_check_snark_proof: format!("0x{}", hex::encode(zk_snark_proof)),
-        grand_sums_batch_proof: format!("0x{}", hex::encode(grand_sums_kzg_proof.concat())),
-    };
-
-    // Serialize to a JSON string
-    let serialized_data = to_string_pretty(&commitment).expect("Failed to serialize data");
-
-    // Save the serialized data to a JSON file
-    let mut file =
-        File::create("./bin/commitment_solidity_calldata.json").expect("Unable to create file");
-    file.write_all(serialized_data.as_bytes())
-        .expect("Unable to write data to file");
-}