message: [circuit-writer][bench] clean up
diff: @@ -2,10 +2,7 @@ use ark_ec::{AffineCurve, ProjectiveCurve};
  use ark_ff::{FftField, PrimeField, UniformRand};
  use ark_poly::{EvaluationDomain, Radix2EvaluationDomain as D};
  use circuit_construction::*;
  -use commitment_dlog::{
  - commitment::{CommitmentCurve, PolyComm},
  - srs::{endos, SRS},
  -};
  +use commitment_dlog::{commitment::CommitmentCurve, srs::SRS};
  use groupmap::GroupMap;
  use kimchi::verifier::verify;
  use mina_curves::pasta::{
  @@ -25,9 +22,6 @@ use std::sync::Arc;
  type SpongeQ = DefaultFqSponge<VestaParameters, PlonkSpongeConstantsKimchi>;
  type SpongeR = DefaultFrSponge<Fp, PlonkSpongeConstantsKimchi>;
  -type PSpongeQ = DefaultFqSponge<PallasParameters, PlonkSpongeConstantsKimchi>;
  -type PSpongeR = DefaultFrSponge<Fq, PlonkSpongeConstantsKimchi>;
  -
  pub struct Witness<G: AffineCurve> {
  pub s: ScalarField<G>,
  pub preimage: G::BaseField,
  @@ -72,9 +66,9 @@ pub fn circuit<
  const PUBLIC_INPUT_LENGTH: usize = 3;
  fn main() {
  - // 2^8 = 256
  + // create SRS
  let srs = {
  - let mut srs = SRS::<Affine>::create(1 << 8);
  + let mut srs = SRS::<Affine>::create(1 << 8); // 2^8 = 256
  srs.add_lagrange_basis(D::new(srs.g.len()).unwrap());
  Arc::new(srs)
  };
  @@ -82,6 +76,7 @@ fn main() {
  let proof_system_constants = fp_constants();
  let fq_poseidon = oracle::pasta::fq_kimchi::params();
  + // generate circuit and index
  let prover_index = generate_prover_index::<FpInner, _>(
  srs,
  &proof_system_constants,
  @@ -94,12 +89,8 @@ fn main() {
  let mut rng = rand::thread_rng();
  - // Example
  + // create witness
  let private_key = ScalarField::<Other>::rand(&mut rng);
  - let public_key = Other::prime_subgroup_generator()
  - .mul(private_key)
  - .into_affine();
  -
  let preimage = BaseField::<Other>::rand(&mut rng);
  let witness = Witness {
  @@ -107,6 +98,10 @@ fn main() {
  preimage,
  };
  + // create public input
  + let public_key = Other::prime_subgroup_generator()
  + .mul(private_key)
  + .into_affine();
  let hash = {
  let mut s: ArithmeticSponge<_, PlonkSpongeConstantsKimchi> =
  ArithmeticSponge::new(proof_system_constants.poseidon.clone());
  @@ -114,6 +109,7 @@ fn main() {
  s.squeeze()
  };
  + // generate proof
  let proof = prove::<Affine, _, SpongeQ, SpongeR>(
  &prover_index,
  &group_map,
  @@ -122,6 +118,7 @@ fn main() {
  |sys, p| circuit::<Fp, Other, _>(&proof_system_constants, Some(&witness), sys, p),
  );
  + // verify proof
  let verifier_index = prover_index.verifier_index();
  verify::<_, SpongeQ, SpongeR>(&group_map, &verifier_index, &proof).unwrap();
  