fixes&refactors

benches/src/main.rs

@@ -30,7 +30,7 @@ fn main() -> anyhow::Result<()> {
     let sierra_program =
         serde_json::from_str::<VersionedProgram>(&fs::read_to_string(cli.target)?)?.into_v1()?;
 
-    BENCH_FUNCTION_LIST.into_iter().for_each(|f_name| {
+    BENCH_FUNCTION_LIST.iter().for_each(|f_name| {
         let result = bench(sierra_program.program.to_owned(), f_name).unwrap();
 
         println!("Function: {f_name}");

examples/starknet/Cargo.toml

@@ -6,11 +6,9 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-anyhow = "1"
-cairo-felt = "0.9"
-cairo-proof-parser = { git = "https://github.com/Okm165/cairo-proof-parser" }
-itertools = "0.12.0"
-num-bigint = "0.4"
-serde = { version = "1", features = ["derive"] }
-serde_json = "1"
-thiserror = "1.0"
+anyhow.workspace = true
+cairo-args-runner.workspace = true
+clap.workspace = true
+cairo-proof-parser.workspace = true
+serde.workspace = true
+serde_json.workspace = true

examples/starknet/src/main.rs

@@ -1,29 +1,13 @@
-mod vec252;
-use crate::vec252::VecFelt252;
+use cairo_args_runner::VecFelt252;
 use cairo_proof_parser::parse;
-use itertools::{chain, Itertools};
-use std::{
-    io::{stdin, Read},
-};
+use std::io::{stdin, Read};
 
 fn main() -> anyhow::Result<()> {
     let mut input = String::new();
     stdin().read_to_string(&mut input)?;
-    let parsed = parse(input)?;
 
-    let config: VecFelt252 = serde_json::from_str(&parsed.config.to_string())?;
-    let public_input: VecFelt252 = serde_json::from_str(&parsed.public_input.to_string())?;
-    let unsent_commitment: VecFelt252 =
-        serde_json::from_str(&parsed.unsent_commitment.to_string())?;
-    let witness: VecFelt252 = serde_json::from_str(&parsed.witness.to_string())?;
-
-    let proof = chain!(
-        config.to_vec(),
-        public_input.to_vec(),
-        unsent_commitment.to_vec(),
-        witness.to_vec()
-    )
-    .collect_vec();
+    let exprs = parse(input)?.to_string();
+    let proof: VecFelt252 = serde_json::from_str(&exprs).unwrap();
 
     let proof_string = proof
         .iter()

runner/src/main.rs

@@ -1,9 +1,7 @@
-use std::io::{stdin, Read};
-
-use cairo_args_runner::{Arg, Felt252, VecFelt252};
 use clap::Parser;
-
+use std::io::{stdin, Read};
 use cairo_proof_parser::parse;
+use cairo_args_runner::{Arg, Felt252, VecFelt252};
 
 #[derive(Parser)]
 #[command(author, version, about, long_about = None)]
@@ -25,7 +23,6 @@ fn main() -> anyhow::Result<()> {
 }
 
 fn run(parsed: String, target: String) -> anyhow::Result<Vec<Felt252>> {
-    let target = target;
     let function = "main";
     let args: VecFelt252 = serde_json::from_str(&parsed).unwrap();
     Ok(cairo_args_runner::run(