Dynamic layout stone6

Cargo.toml

@@ -13,12 +13,12 @@ cairo-lang-casm = { git = "https://github.com/starkware-libs/cairo/", rev = "447
 cairo-lang-runner = { git = "https://github.com/starkware-libs/cairo/", rev = "4471a55923663eb8150ea6cd636d5c1038b137d1"}
 cairo-lang-sierra = { git = "https://github.com/starkware-libs/cairo/", rev = "4471a55923663eb8150ea6cd636d5c1038b137d1"}
 cairo-lang-utils = { git = "https://github.com/starkware-libs/cairo/", rev = "4471a55923663eb8150ea6cd636d5c1038b137d1"}
-cairo-proof-parser = { git = "https://github.com/Okm165/cairo-proof-parser", rev = "97a04bbee07330311b38d6f4cecfed3acb237626"}
-cairo-vm = "0.9.2"
+cairo-vm = "1.0.1"
 clap = { version = "4.5.2", features = ["derive"] }
 itertools = "0.13.0"
 num-bigint = "0.4.4"
 runner = { path = "runner" }
 serde = { version = "1", features = ["derive"] }
 serde_json = "1"
+swiftness_proof_parser = { git = "https://github.com/iosis-tech/swiftness", rev = "a53d65ecbd7acf4611b0d587d815f4e9d4d493ed"}
 thiserror = "1.0"

examples/starknet/Cargo.toml

@@ -7,9 +7,9 @@ edition = "2021"
 
 [dependencies]
 anyhow.workspace = true
-cairo-proof-parser.workspace = true
 clap.workspace = true
 itertools.workspace = true
 runner.workspace = true
 serde_json.workspace = true
-serde.workspace = true
+serde.workspace = true
+swiftness_proof_parser.workspace = true

examples/starknet/src/main.rs

@@ -1,8 +1,8 @@
-use cairo_proof_parser::parse;
 use clap::Parser;
 use itertools::chain;
-use runner::{CairoVersion, VecFelt252};
+use runner::{transform::ParsedStarkProof, CairoVersion, VecFelt252};
 use std::io::{stdin, Read};
+use swiftness_proof_parser::parse;
 
 #[derive(Parser)]
 #[command(author, version, about)]
@@ -17,7 +17,7 @@ fn main() -> anyhow::Result<()> {
     let mut input = String::new();
     stdin().read_to_string(&mut input)?;
 
-    let parsed = parse(input)?;
+    let parsed: ParsedStarkProof = parse(input)?.into();
 
     let config: VecFelt252 = serde_json::from_str(&parsed.config.to_string()).unwrap();
     let public_input: VecFelt252 = serde_json::from_str(&parsed.public_input.to_string()).unwrap();

runner/Cargo.toml

@@ -12,11 +12,11 @@ cairo-lang-casm.workspace = true
 cairo-lang-runner.workspace = true
 cairo-lang-sierra.workspace = true
 cairo-lang-utils.workspace = true
-cairo-proof-parser.workspace = true
 cairo-vm.workspace = true
 clap.workspace = true
 itertools.workspace = true
 num-bigint.workspace = true
 serde_json.workspace = true
 serde.workspace = true
+swiftness_proof_parser.workspace = true
 thiserror.workspace = true

runner/src/lib.rs

@@ -1,4 +1,6 @@
+pub mod transform;
 pub mod vec252;
+
 use cairo_felt::Felt252;
 use clap::ValueEnum;
 pub use vec252::VecFelt252;

runner/src/main.rs

@@ -1,17 +1,19 @@
+mod transform;
 mod vec252;
-use crate::vec252::VecFelt252;
 
+use crate::vec252::VecFelt252;
 use cairo_lang_runner::{Arg, ProfilingInfoCollectionConfig, RunResultValue, SierraCasmRunner};
 use cairo_lang_sierra::program::VersionedProgram;
 use cairo_lang_utils::ordered_hash_map::OrderedHashMap;
-use cairo_proof_parser::parse;
 use clap::Parser;
 use itertools::{chain, Itertools};
 use runner::CairoVersion;
 use std::{
     fs,
     io::{stdin, Read},
 };
+use swiftness_proof_parser::parse;
+use transform::ParsedStarkProof;
 
 #[derive(Parser)]
 #[command(author, version, about)]
@@ -28,7 +30,7 @@ fn main() -> anyhow::Result<()> {
     let cli = Cli::parse();
     let mut input = String::new();
     stdin().read_to_string(&mut input)?;
-    let parsed = parse(input)?;
+    let parsed: ParsedStarkProof = parse(input)?.into();
 
     let function = "main";