From f53fcd17cb6123e2dba3c596d4771f9962d1d615 Mon Sep 17 00:00:00 2001
From: Yonatan Iluz <yonatan@starkware.co>
Date: Sun, 11 Aug 2024 10:25:49 +0300
Subject: [PATCH] chore: temp version for 0.13.2

---
 Cargo.lock                                    | 348 ++++++++++++------
 Cargo.toml                                    |  12 +-
 .../src/transaction/transactions.rs           |   1 +
 3 files changed, 244 insertions(+), 117 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 93b1fdeba37..e5f6a558d13 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -988,10 +988,10 @@ dependencies = [
  "ark-secp256r1",
  "assert_matches",
  "cached",
- "cairo-lang-casm",
+ "cairo-lang-casm 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "cairo-lang-runner",
- "cairo-lang-starknet-classes",
- "cairo-lang-utils",
+ "cairo-lang-starknet-classes 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "cairo-vm",
  "criterion 0.3.6",
  "derive_more",
@@ -1154,7 +1154,20 @@ version = "2.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "4a43421bf72645b3a562d264747166d6f093e960a69dfa38b67bb3209e370366"
 dependencies = [
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "indoc 2.0.5",
+ "num-bigint 0.4.5",
+ "num-traits 0.2.19",
+ "parity-scale-codec",
+ "serde",
+]
+
+[[package]]
+name = "cairo-lang-casm"
+version = "2.7.0"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
+dependencies = [
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "indoc 2.0.5",
  "num-bigint 0.4.5",
  "num-traits 0.2.19",
@@ -1166,8 +1179,7 @@ dependencies = [
 [[package]]
 name = "cairo-lang-compiler"
 version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "24242af537265add372896d9ab0678c86a68d3484281fbeb6d8a9d4d5bacf7c8"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
  "anyhow",
  "cairo-lang-defs",
@@ -1177,10 +1189,10 @@ dependencies = [
  "cairo-lang-parser",
  "cairo-lang-project",
  "cairo-lang-semantic",
- "cairo-lang-sierra",
+ "cairo-lang-sierra 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "cairo-lang-sierra-generator",
  "cairo-lang-syntax",
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "indoc 2.0.5",
  "salsa",
  "smol_str",
@@ -1190,24 +1202,22 @@ dependencies = [
 [[package]]
 name = "cairo-lang-debug"
 version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "2d28f38e1c62fed15a4de9f3c95741d6b24ef2a9e67a2b88a047eb6ea7de992e"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
 ]
 
 [[package]]
 name = "cairo-lang-defs"
 version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "712206b7be3fb1a33e50e1c30aa8502b4a461155fd93ad26213d0d8b242cb08d"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
  "cairo-lang-debug",
  "cairo-lang-diagnostics",
  "cairo-lang-filesystem",
  "cairo-lang-parser",
  "cairo-lang-syntax",
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "itertools 0.12.1",
  "salsa",
  "smol_str",
@@ -1216,12 +1226,11 @@ dependencies = [
 [[package]]
 name = "cairo-lang-diagnostics"
 version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "9a3c8dc2bff2411fbf602d80a83b719e6e3955c1c5d767ec18b295fc92e8616a"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
  "cairo-lang-debug",
  "cairo-lang-filesystem",
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "itertools 0.12.1",
 ]
 
@@ -1231,18 +1240,26 @@ version = "2.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "eaa8ac24c97770739f5a78d630b8515273c8b9f4aff34e1f88b988fac50340de"
 dependencies = [
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "good_lp",
+]
+
+[[package]]
+name = "cairo-lang-eq-solver"
+version = "2.7.0"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
+dependencies = [
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "good_lp",
 ]
 
 [[package]]
 name = "cairo-lang-filesystem"
 version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "4596331565fe61d10a0a6a03ace2b9d0ba93f03ee12a8450fe9252a6fee770f3"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
  "cairo-lang-debug",
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "path-clean",
  "salsa",
  "serde",
@@ -1252,15 +1269,14 @@ dependencies = [
 [[package]]
 name = "cairo-lang-formatter"
 version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "69b8eb08e511d6e6df51370cdc7d85f0de9a38c8b14a15762665c60c2df6d32d"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
  "anyhow",
  "cairo-lang-diagnostics",
  "cairo-lang-filesystem",
  "cairo-lang-parser",
  "cairo-lang-syntax",
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "diffy",
  "ignore",
  "itertools 0.12.1",
@@ -1273,8 +1289,7 @@ dependencies = [
 [[package]]
 name = "cairo-lang-lowering"
 version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "6d535dc591513875b39b799270df21db10540033fd7710917760c22fc063a4ae"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
  "cairo-lang-debug",
  "cairo-lang-defs",
@@ -1284,7 +1299,7 @@ dependencies = [
  "cairo-lang-proc-macros",
  "cairo-lang-semantic",
  "cairo-lang-syntax",
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "id-arena",
  "itertools 0.12.1",
  "log",
@@ -1298,14 +1313,13 @@ dependencies = [
 [[package]]
 name = "cairo-lang-parser"
 version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "73019d5873715964f428ff10467efb607d6dc007ae164a21547bf20d9b5dcc72"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
  "cairo-lang-diagnostics",
  "cairo-lang-filesystem",
  "cairo-lang-syntax",
  "cairo-lang-syntax-codegen",
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "colored",
  "itertools 0.12.1",
  "num-bigint 0.4.5",
@@ -1318,15 +1332,14 @@ dependencies = [
 [[package]]
 name = "cairo-lang-plugins"
 version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "96e52fca18bc696011a47a4ded0dc00e2e0ac7c81a8052eddd4ad546c46b818e"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
  "cairo-lang-defs",
  "cairo-lang-diagnostics",
  "cairo-lang-filesystem",
  "cairo-lang-parser",
  "cairo-lang-syntax",
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "indent",
  "indoc 2.0.5",
  "itertools 0.12.1",
@@ -1337,8 +1350,7 @@ dependencies = [
 [[package]]
 name = "cairo-lang-proc-macros"
 version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3d55dcf98a6e1a03e0b36129fad4253f9e6666a1746ab9c075d212ba68a4e9c1"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
  "cairo-lang-debug",
  "quote",
@@ -1348,11 +1360,10 @@ dependencies = [
 [[package]]
 name = "cairo-lang-project"
 version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e3ddb432e5199a65e37bab97ef6322afabd60e0e638ada31178d9c23d237219d"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
  "cairo-lang-filesystem",
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "serde",
  "smol_str",
  "thiserror",
@@ -1362,21 +1373,20 @@ dependencies = [
 [[package]]
 name = "cairo-lang-runner"
 version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ef5bbbabd509ce88abc67436973d3377e099269dbd14578fa84fce884a74fa23"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
  "ark-ff",
  "ark-secp256k1",
  "ark-secp256r1",
- "cairo-lang-casm",
+ "cairo-lang-casm 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "cairo-lang-lowering",
- "cairo-lang-sierra",
- "cairo-lang-sierra-ap-change",
+ "cairo-lang-sierra 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-sierra-ap-change 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "cairo-lang-sierra-generator",
- "cairo-lang-sierra-to-casm",
- "cairo-lang-sierra-type-size",
+ "cairo-lang-sierra-to-casm 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-sierra-type-size 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "cairo-lang-starknet",
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "cairo-vm",
  "itertools 0.12.1",
  "keccak",
@@ -1393,8 +1403,7 @@ dependencies = [
 [[package]]
 name = "cairo-lang-semantic"
 version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "393325820207491a7475269e98163e0db7e85e4b215f4d801ca537ce1cd6daa7"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
  "cairo-lang-debug",
  "cairo-lang-defs",
@@ -1405,7 +1414,7 @@ dependencies = [
  "cairo-lang-proc-macros",
  "cairo-lang-syntax",
  "cairo-lang-test-utils",
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "id-arena",
  "indoc 2.0.5",
  "itertools 0.12.1",
@@ -1424,7 +1433,34 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "918fb0611203fb8cdd1fcdb434f395a59e0ebb0db64b11a0e15bfbfb03552821"
 dependencies = [
  "anyhow",
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "const-fnv1a-hash",
+ "convert_case 0.6.0",
+ "derivative",
+ "itertools 0.12.1",
+ "lalrpop",
+ "lalrpop-util",
+ "num-bigint 0.4.5",
+ "num-integer",
+ "num-traits 0.2.19",
+ "once_cell",
+ "regex",
+ "salsa",
+ "serde",
+ "serde_json",
+ "sha3",
+ "smol_str",
+ "starknet-types-core",
+ "thiserror",
+]
+
+[[package]]
+name = "cairo-lang-sierra"
+version = "2.7.0"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
+dependencies = [
+ "anyhow",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "const-fnv1a-hash",
  "convert_case 0.6.0",
  "derivative",
@@ -1451,10 +1487,25 @@ version = "2.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "7fa1834ec729e89fcbd00df03f2a64a18515fcf07eb18dfef39afe020a10955d"
 dependencies = [
- "cairo-lang-eq-solver",
- "cairo-lang-sierra",
- "cairo-lang-sierra-type-size",
- "cairo-lang-utils",
+ "cairo-lang-eq-solver 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "cairo-lang-sierra 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "cairo-lang-sierra-type-size 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "cairo-lang-utils 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "itertools 0.12.1",
+ "num-bigint 0.4.5",
+ "num-traits 0.2.19",
+ "thiserror",
+]
+
+[[package]]
+name = "cairo-lang-sierra-ap-change"
+version = "2.7.0"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
+dependencies = [
+ "cairo-lang-eq-solver 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-sierra 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-sierra-type-size 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "itertools 0.12.1",
  "num-bigint 0.4.5",
  "num-traits 0.2.19",
@@ -1467,10 +1518,25 @@ version = "2.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "6b00927d39f910dd5ae1047cef9b46b2ee11617d33d290f875bc00dfc7e3d992"
 dependencies = [
- "cairo-lang-eq-solver",
- "cairo-lang-sierra",
- "cairo-lang-sierra-type-size",
- "cairo-lang-utils",
+ "cairo-lang-eq-solver 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "cairo-lang-sierra 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "cairo-lang-sierra-type-size 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "cairo-lang-utils 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "itertools 0.12.1",
+ "num-bigint 0.4.5",
+ "num-traits 0.2.19",
+ "thiserror",
+]
+
+[[package]]
+name = "cairo-lang-sierra-gas"
+version = "2.7.0"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
+dependencies = [
+ "cairo-lang-eq-solver 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-sierra 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-sierra-type-size 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "itertools 0.12.1",
  "num-bigint 0.4.5",
  "num-traits 0.2.19",
@@ -1480,8 +1546,7 @@ dependencies = [
 [[package]]
 name = "cairo-lang-sierra-generator"
 version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7620a6a7becf5997093a83d289a5e3b3162bc8fd031ad75df82a5bc04f8cc954"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
  "cairo-lang-debug",
  "cairo-lang-defs",
@@ -1490,9 +1555,9 @@ dependencies = [
  "cairo-lang-lowering",
  "cairo-lang-parser",
  "cairo-lang-semantic",
- "cairo-lang-sierra",
+ "cairo-lang-sierra 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "cairo-lang-syntax",
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "itertools 0.12.1",
  "num-traits 0.2.19",
  "once_cell",
@@ -1509,12 +1574,32 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "67bd155770abf91d4290a31b0c0a1fb393ecee85eb0af40c16893b4601eff4d6"
 dependencies = [
  "assert_matches",
- "cairo-lang-casm",
- "cairo-lang-sierra",
- "cairo-lang-sierra-ap-change",
- "cairo-lang-sierra-gas",
- "cairo-lang-sierra-type-size",
- "cairo-lang-utils",
+ "cairo-lang-casm 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "cairo-lang-sierra 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "cairo-lang-sierra-ap-change 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "cairo-lang-sierra-gas 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "cairo-lang-sierra-type-size 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "cairo-lang-utils 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "indoc 2.0.5",
+ "itertools 0.12.1",
+ "num-bigint 0.4.5",
+ "num-traits 0.2.19",
+ "starknet-types-core",
+ "thiserror",
+]
+
+[[package]]
+name = "cairo-lang-sierra-to-casm"
+version = "2.7.0"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
+dependencies = [
+ "assert_matches",
+ "cairo-lang-casm 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-sierra 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-sierra-ap-change 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-sierra-gas 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-sierra-type-size 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "indoc 2.0.5",
  "itertools 0.12.1",
  "num-bigint 0.4.5",
@@ -1529,15 +1614,23 @@ version = "2.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "fbae9458999da692c272501678b6cfec358a6bcadb54921bf35d21afdcd91251"
 dependencies = [
- "cairo-lang-sierra",
- "cairo-lang-utils",
+ "cairo-lang-sierra 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "cairo-lang-utils 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+]
+
+[[package]]
+name = "cairo-lang-sierra-type-size"
+version = "2.7.0"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
+dependencies = [
+ "cairo-lang-sierra 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
 ]
 
 [[package]]
 name = "cairo-lang-starknet"
 version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f242d889180386d35935597f9d1cac07d4f3d60bd0f10558660ae4a77da701b6"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
  "anyhow",
  "cairo-lang-compiler",
@@ -1547,11 +1640,11 @@ dependencies = [
  "cairo-lang-lowering",
  "cairo-lang-plugins",
  "cairo-lang-semantic",
- "cairo-lang-sierra",
+ "cairo-lang-sierra 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "cairo-lang-sierra-generator",
- "cairo-lang-starknet-classes",
+ "cairo-lang-starknet-classes 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "cairo-lang-syntax",
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "const_format",
  "indent",
  "indoc 2.0.5",
@@ -1570,10 +1663,33 @@ version = "2.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "aa17b313f46fcf7ff4de32b86c250eaf584d1e2c8e37ed16db155b221721e735"
 dependencies = [
- "cairo-lang-casm",
- "cairo-lang-sierra",
- "cairo-lang-sierra-to-casm",
- "cairo-lang-utils",
+ "cairo-lang-casm 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "cairo-lang-sierra 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "cairo-lang-sierra-to-casm 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "cairo-lang-utils 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "convert_case 0.6.0",
+ "itertools 0.12.1",
+ "num-bigint 0.4.5",
+ "num-integer",
+ "num-traits 0.2.19",
+ "once_cell",
+ "serde",
+ "serde_json",
+ "sha3",
+ "smol_str",
+ "starknet-types-core",
+ "thiserror",
+]
+
+[[package]]
+name = "cairo-lang-starknet-classes"
+version = "2.7.0"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
+dependencies = [
+ "cairo-lang-casm 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-sierra 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-sierra-to-casm 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "convert_case 0.6.0",
  "itertools 0.12.1",
  "num-bigint 0.4.5",
@@ -1591,12 +1707,11 @@ dependencies = [
 [[package]]
 name = "cairo-lang-syntax"
 version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "0d0ca518ed7c3674d9b62470f7482f4b07553eb3a02d83e0ae61bd6b5ecb4ec8"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
  "cairo-lang-debug",
  "cairo-lang-filesystem",
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "num-bigint 0.4.5",
  "num-traits 0.2.19",
  "salsa",
@@ -1607,8 +1722,7 @@ dependencies = [
 [[package]]
 name = "cairo-lang-syntax-codegen"
 version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "7f12bdff5c265edb5a76084bfde2bc8270a7fdaf16ac58aa0d54ea6a20c29023"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
  "genco",
  "xshell",
@@ -1617,11 +1731,10 @@ dependencies = [
 [[package]]
 name = "cairo-lang-test-utils"
 version = "2.7.0"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "e6a2365bd502a657437f9d0d665e32e017054d0effdbecb1dda776bfcc11235d"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
  "cairo-lang-formatter",
- "cairo-lang-utils",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "colored",
  "log",
  "pretty_assertions",
@@ -1632,6 +1745,20 @@ name = "cairo-lang-utils"
 version = "2.7.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "8bd5c8c127b9362a12ffb9dede38e792c81b4ded5a98b448baec157b745f47d1"
+dependencies = [
+ "hashbrown 0.14.5",
+ "indexmap 2.2.6",
+ "itertools 0.12.1",
+ "num-bigint 0.4.5",
+ "num-traits 0.2.19",
+ "schemars",
+ "serde",
+]
+
+[[package]]
+name = "cairo-lang-utils"
+version = "2.7.0"
+source = "git+https://github.com/starkware-libs/cairo.git?rev=1f24813#1f2481301ba278bd50c33835341546759b138b21"
 dependencies = [
  "hashbrown 0.14.5",
  "indexmap 2.2.6",
@@ -1645,9 +1772,8 @@ dependencies = [
 
 [[package]]
 name = "cairo-vm"
-version = "1.0.0-rc6"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "f905a936b3287d085706d3d68e405be4844ec7bc1c95eaa3d53220dd33efd4ff"
+version = "1.0.0"
+source = "git+https://github.com/lambdaclass/cairo-vm.git?rev=0c31d762ae5da0befec930147266b77f3661c85d#0c31d762ae5da0befec930147266b77f3661c85d"
 dependencies = [
  "anyhow",
  "bincode 2.0.0-rc.3",
@@ -5697,7 +5823,7 @@ version = "0.8.0-rc.0"
 dependencies = [
  "blockifier",
  "cached",
- "cairo-lang-starknet-classes",
+ "cairo-lang-starknet-classes 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "cairo-vm",
  "indexmap 2.2.6",
  "log",
@@ -6248,7 +6374,7 @@ name = "papyrus_common"
 version = "0.4.0-rc.0"
 dependencies = [
  "assert_matches",
- "cairo-lang-starknet-classes",
+ "cairo-lang-starknet-classes 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "hex",
  "indexmap 2.2.6",
  "itertools 0.10.5",
@@ -6311,9 +6437,9 @@ dependencies = [
  "anyhow",
  "assert_matches",
  "blockifier",
- "cairo-lang-casm",
- "cairo-lang-starknet-classes",
- "cairo-lang-utils",
+ "cairo-lang-casm 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-starknet-classes 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "cairo-vm",
  "indexmap 2.2.6",
  "itertools 0.10.5",
@@ -6518,8 +6644,8 @@ dependencies = [
  "assert_matches",
  "async-trait",
  "base64 0.13.1",
- "cairo-lang-casm",
- "cairo-lang-starknet-classes",
+ "cairo-lang-casm 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-starknet-classes 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "camelpaste",
  "derive_more",
  "enum-iterator",
@@ -6569,9 +6695,9 @@ version = "0.4.0-rc.0"
 dependencies = [
  "assert_matches",
  "byteorder",
- "cairo-lang-casm",
- "cairo-lang-starknet-classes",
- "cairo-lang-utils",
+ "cairo-lang-casm 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-starknet-classes 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "camelpaste",
  "clap 4.5.4",
  "human_bytes",
@@ -6621,7 +6747,7 @@ dependencies = [
  "assert_matches",
  "async-stream",
  "async-trait",
- "cairo-lang-starknet-classes",
+ "cairo-lang-starknet-classes 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "chrono",
  "futures",
  "futures-util",
@@ -6653,9 +6779,9 @@ dependencies = [
 name = "papyrus_test_utils"
 version = "0.4.0-rc.0"
 dependencies = [
- "cairo-lang-casm",
- "cairo-lang-starknet-classes",
- "cairo-lang-utils",
+ "cairo-lang-casm 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-starknet-classes 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "indexmap 2.2.6",
  "num-bigint 0.4.5",
  "pretty_assertions",
@@ -8879,7 +9005,7 @@ version = "0.13.0-rc.0"
 dependencies = [
  "assert_matches",
  "bitvec",
- "cairo-lang-starknet-classes",
+ "cairo-lang-starknet-classes 2.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
  "derive_more",
  "hex",
  "indexmap 2.2.6",
@@ -8903,7 +9029,7 @@ version = "0.4.0-rc.0"
 dependencies = [
  "assert_matches",
  "async-trait",
- "cairo-lang-starknet-classes",
+ "cairo-lang-starknet-classes 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "enum-iterator",
  "http",
  "indexmap 2.2.6",
@@ -8955,7 +9081,7 @@ dependencies = [
  "async-trait",
  "axum",
  "blockifier",
- "cairo-lang-starknet-classes",
+ "cairo-lang-starknet-classes 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "cairo-vm",
  "hyper",
  "mempool_test_utils",
@@ -9022,7 +9148,7 @@ version = "0.0.0"
 dependencies = [
  "axum",
  "blockifier",
- "cairo-lang-starknet-classes",
+ "cairo-lang-starknet-classes 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "indexmap 2.2.6",
  "itertools 0.10.5",
  "mempool_test_utils",
@@ -9087,9 +9213,9 @@ name = "starknet_sierra_compile"
 version = "0.0.0"
 dependencies = [
  "assert_matches",
- "cairo-lang-sierra",
- "cairo-lang-starknet-classes",
- "cairo-lang-utils",
+ "cairo-lang-sierra 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-starknet-classes 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
+ "cairo-lang-utils 2.7.0 (git+https://github.com/starkware-libs/cairo.git?rev=1f24813)",
  "mempool_test_utils",
  "serde",
  "serde_json",
diff --git a/Cargo.toml b/Cargo.toml
index 8cf8577ed7c..c7d25ef0ce4 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -69,12 +69,12 @@ byteorder = "1.4.3"
 bytes = "1"
 cached = "0.44.0"
 cairo-felt = "0.9.1"
-cairo-lang-casm = "2.7.0"
-cairo-lang-runner = "2.7.0"
-cairo-lang-sierra = "=2.7.0"
-cairo-lang-starknet-classes = "2.7.0"
-cairo-lang-utils = "2.7.0"
-cairo-vm = "=1.0.0-rc6"
+cairo-lang-casm = {git = "https://github.com/starkware-libs/cairo.git", rev = "1f24813"}
+cairo-lang-runner = {git = "https://github.com/starkware-libs/cairo.git", rev = "1f24813"}
+cairo-lang-sierra = {git = "https://github.com/starkware-libs/cairo.git", rev = "1f24813"}
+cairo-lang-starknet-classes = {git = "https://github.com/starkware-libs/cairo.git", rev = "1f24813"}
+cairo-lang-utils = {git = "https://github.com/starkware-libs/cairo.git", rev = "1f24813"}
+cairo-vm = {git = "https://github.com/lambdaclass/cairo-vm.git", rev = "0c31d762ae5da0befec930147266b77f3661c85d", features = ["mod_builtin"]}
 camelpaste = "0.1.0"
 chrono = "0.4.26"
 clap = "4.3.10"
diff --git a/crates/blockifier/src/transaction/transactions.rs b/crates/blockifier/src/transaction/transactions.rs
index 830efbd7b3e..48076a256ce 100644
--- a/crates/blockifier/src/transaction/transactions.rs
+++ b/crates/blockifier/src/transaction/transactions.rs
@@ -67,6 +67,7 @@ pub struct ExecutionFlags {
 pub trait ExecutableTransaction<U: UpdatableState>: Sized {
     /// Executes the transaction in a transactional manner
     /// (if it fails, given state does not modify).
+    /// Dummy comment for the push artifact stage.
     fn execute(
         &self,
         state: &mut U,