feat: add CASM serialization of Cairo programs

Cargo.toml

@@ -61,6 +61,7 @@ members = [
     "crates/bin/cairo-test",
     "crates/bin/generate-syntax",
     "crates/bin/sierra-compile",
+    "crates/bin/sierra-compile-json",
     "crates/bin/starknet-compile",
     "crates/bin/starknet-sierra-compile",
     "crates/bin/starknet-sierra-extract-code",

crates/bin/sierra-compile-json/Cargo.toml

@@ -0,0 +1,15 @@
+[package]
+name = "sierra-compile-json"
+version.workspace = true
+edition.workspace = true
+repository.workspace = true
+license-file.workspace = true
+description = "Compiler executable for the Sierra intemediate representation - Outputs a serialized JSON"
+
+[dependencies]
+anyhow.workspace = true
+clap.workspace = true
+serde_json.workspace = true
+
+cairo-lang-sierra = { path = "../../cairo-lang-sierra", version = "~2.8.4" }
+cairo-lang-sierra-to-casm = { path = "../../cairo-lang-sierra-to-casm", version = "~2.8.4" }

crates/bin/sierra-compile-json/src/main.rs

@@ -0,0 +1,53 @@
+use std::fs;
+
+use anyhow::Context;
+use cairo_lang_sierra::ProgramParser;
+use cairo_lang_sierra_to_casm::compiler::{CasmCairoProgram, SierraToCasmConfig, compile};
+use cairo_lang_sierra_to_casm::metadata::calc_metadata;
+use clap::Parser;
+
+/// Compiles a Sierra file (Cairo Program) into serialized CASM.
+/// Exits with 0/1 if the compilation succeeds/fails.
+#[derive(Parser, Debug)]
+#[clap(version, verbatim_doc_comment)]
+struct Args {
+    /// The path of the file to compile.
+    file: String,
+    /// The output file name (default: stdout).
+    output: Option<String>,
+    /// Add gas usage check
+    #[arg(long, default_value_t = false)]
+    gas_usage_check: bool,
+}
+
+fn main() -> anyhow::Result<()> {
+    let args = Args::parse();
+
+    let sierra_code = fs::read_to_string(args.file).with_context(|| "Could not read file!")?;
+    let Ok(sierra_program) = ProgramParser::new().parse(&sierra_code) else {
+        anyhow::bail!("Failed to parse Sierra program.")
+    };
+
+    let sierra_to_casm_config =
+        SierraToCasmConfig { gas_usage_check: args.gas_usage_check, max_bytecode_size: usize::MAX };
+
+    let cairo_program = compile(
+        &sierra_program,
+        &calc_metadata(&sierra_program, Default::default())
+            .with_context(|| "Failed calculating Sierra variables.")?,
+        sierra_to_casm_config,
+    )
+    .with_context(|| "Compilation failed.")?;
+
+    let casm_cairo_program = CasmCairoProgram::new(&sierra_program, &cairo_program)
+        .with_context(|| "Sierra to Casm compilation failed.")?;
+
+    let res = serde_json::to_string(&casm_cairo_program)
+        .with_context(|| "Casm contract Serialization failed.")?;
+
+    match args.output {
+        Some(path) => fs::write(path, res).with_context(|| "Failed to write casm contract.")?,
+        None => println!("{res}"),
+    }
+    Ok(())
+}

crates/bin/starknet-sierra-upgrade-validate/Cargo.toml

@@ -15,12 +15,11 @@ reqwest = { version = "0.12", features = ["json"] }
 serde = { workspace = true, default-features = true }
 serde_json.workspace = true
 tokio.workspace = true
+cairo-lang-sierra-to-casm = { path = "../../cairo-lang-sierra-to-casm", version = "~2.8.4" }
 cairo-lang-starknet-classes = { path = "../../cairo-lang-starknet-classes", version = "~2.8.4" }
-cairo-lang-utils = { path = "../../cairo-lang-utils", version = "~2.8.4", features = [
-    "serde",
-] }
+cairo-lang-utils = { path = "../../cairo-lang-utils", version = "~2.8.4", features = ["serde"] }
 
-# This is not a direct dependency of this package, but it is included here to make sure that the 
+# This is not a direct dependency of this package, but it is included here to make sure that the
 # `vendored` feature is enabled (needed for the compilation to succeed on remote machines).
 openssl = { workspace = true, features = ["vendored"] }
 

crates/bin/starknet-sierra-upgrade-validate/src/main.rs

@@ -4,11 +4,11 @@ use std::sync::Arc;
 use std::sync::atomic::{AtomicU64, Ordering};
 
 use anyhow::Context;
+use cairo_lang_sierra_to_casm::compiler_version::VersionId;
 use cairo_lang_starknet_classes::allowed_libfuncs::{AllowedLibfuncsError, ListSelector};
 use cairo_lang_starknet_classes::casm_contract_class::{
     CasmContractClass, StarknetSierraCompilationError,
 };
-use cairo_lang_starknet_classes::compiler_version::VersionId;
 use cairo_lang_starknet_classes::contract_class::{ContractClass, ContractEntryPoints};
 use cairo_lang_utils::bigint::BigUintAsHex;
 use clap::{Parser, arg};
@@ -52,8 +52,8 @@ struct Cli {
     /// files should be provided.
     #[arg(
         long,
-        requires_all = &["FullnodeArgs"], 
-        required_unless_present = "input_files", 
+        requires_all = &["FullnodeArgs"],
+        required_unless_present = "input_files",
         conflicts_with = "input_files"
     )]
     fullnode_url: Option<String>,

crates/cairo-lang-sierra-to-casm/Cargo.toml

@@ -8,17 +8,21 @@ description = "Emitting of CASM instructions from Sierra code."
 
 [dependencies]
 assert_matches.workspace = true
-cairo-lang-casm = { path = "../cairo-lang-casm", version = "~2.8.4" }
+cairo-lang-casm = { path = "../cairo-lang-casm", version = "~2.8.4", features = ["serde"] }
 cairo-lang-sierra = { path = "../cairo-lang-sierra", version = "~2.8.4" }
 cairo-lang-sierra-ap-change = { path = "../cairo-lang-sierra-ap-change", version = "~2.8.4" }
 cairo-lang-sierra-gas = { path = "../cairo-lang-sierra-gas", version = "~2.8.4" }
+cairo-lang-sierra-generator = { path = "../cairo-lang-sierra-generator", version = "~2.8.4" }
 cairo-lang-sierra-type-size = { path = "../cairo-lang-sierra-type-size", version = "~2.8.4" }
 cairo-lang-utils = { path = "../cairo-lang-utils", version = "~2.8.4", features = ["serde"] }
 indoc.workspace = true
 itertools = { workspace = true, default-features = true }
+convert_case.workspace = true
 starknet-types-core.workspace = true
 num-bigint = { workspace = true, default-features = true }
 num-traits = { workspace = true, default-features = true }
+num-integer.workspace = true
+serde = { workspace = true, default-features = true }
 thiserror.workspace = true
 
 [dev-dependencies]
@@ -27,7 +31,9 @@ indoc.workspace = true
 pretty_assertions.workspace = true
 test-case.workspace = true
 test-log.workspace = true
-cairo-lang-test-utils = { path = "../cairo-lang-test-utils", features = ["testing"] }
+cairo-lang-test-utils = { path = "../cairo-lang-test-utils", features = [
+  "testing",
+] }
 
 [features]
 testing = []