updated starknet types core

.github/workflows/bench-hyperfine.yml

@@ -24,6 +24,8 @@ jobs:
       LLVM_SYS_191_PREFIX: /usr/lib/llvm-19/
     steps:
       - uses: actions/checkout@v4
+        with:
+          submodules: true
       - name: check and free hdd space left
         run: |
           echo "Listing 20 largest packages"
@@ -129,6 +131,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           ref: ${{ github.event.pull_request[matrix.branch].sha }}
+          submodules: true
 
       - name: Fetch Rust cache
         uses: Swatinem/rust-cache@v2
@@ -162,6 +165,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           ref: ${{ github.event.pull_request[matrix.branch].sha }}
+          submodules: true
 
       - name: Install Hyperfine
         uses: taiki-e/install-action@v2

.github/workflows/ci.yml

@@ -21,6 +21,8 @@ jobs:
       TABLEGEN_190_PREFIX: /usr/lib/llvm-19/
     steps:
       - uses: actions/checkout@v4
+        with:
+          submodules: true
       - uses: dtolnay/rust-toolchain@1.84.1
         with:
           components: clippy, rustfmt
@@ -116,6 +118,8 @@ jobs:
       RUST_LOG: cairo_native=debug,cairo_native_test=debug
     steps:
       - uses: actions/checkout@v4
+        with:
+          submodules: true
       - name: Install testing tools
         uses: taiki-e/install-action@v2
         with:
@@ -171,6 +175,8 @@ jobs:
       RUST_LOG: cairo_native=debug,cairo_native_test=debug
     steps:
       - uses: actions/checkout@v4
+        with:
+          submodules: true
       - name: Install testing tools
         uses: taiki-e/install-action@v2
         with:
@@ -194,6 +200,8 @@ jobs:
     runs-on: ubuntu-24.04
     steps:
       - uses: actions/checkout@v4
+        with:
+          submodules: true
       - name: check and free hdd space left
         run: |
           echo "Listing 20 largest packages"
@@ -222,6 +230,8 @@ jobs:
 
     steps:
     - uses: actions/checkout@v4
+      with:
+        submodules: true
     - name: Retreive cached dependecies
       uses: Swatinem/rust-cache@v2
     - name: Install dependencies

.github/workflows/release.yml

@@ -33,6 +33,8 @@ jobs:
     runs-on: ${{ matrix.os }}
     steps:
       - uses: actions/checkout@v4
+        with:
+          submodules: true
       - name: Set env
         run: |
           echo "MLIR_SYS_190_PREFIX=${{ matrix.dep_base_dir }}" >> $GITHUB_ENV

.github/workflows/starknet-blocks.yml

@@ -8,7 +8,6 @@ on:
 
 jobs:
   run-blocks:
-    if: false
     name: Run Blocks
     runs-on: ubuntu-latest
     env:
@@ -33,7 +32,7 @@ jobs:
         with:
           repository: starkware-libs/starknet-replay
           path: starknet-replay
-          ref: 5e75e33d67de77fe68aba06e05571175c0976733
+          ref: 4b896e523bd33da66b95c8b2afdb7423785e99d4
 
       # We need native to use the linux deps ci action
       - name: Checkout Native
@@ -46,8 +45,8 @@ jobs:
           repository: starkware-libs/sequencer
           path: sequencer
           # branch main-v0.14.2
-          ref: 77a1a32b7b2c52edd9b634276e3bb28f5fbd750c
-      
+          ref: efa9bd7d9e33e44d0cea08bf67c7b413fb20c7cb
+
       - name: Restore RPC Calls
         id: restore-rpc-calls
         uses: actions/cache/restore@v4.2.0
@@ -108,14 +107,14 @@ jobs:
         with:
           name: dump-${{matrix.block}}-${{matrix.runner}}
           path: starknet-replay/state_dumps/${{matrix.runner}}
-        
+
       - name: Save RPC Calls
         uses: actions/cache/save@v4.2.0
         if: ${{ always() && matrix.runner == 'vm' }}
         with:
           path: starknet-replay/cache
           key: ${{ steps.restore-rpc-calls.outputs.cache-primary-key }}
-          
+
   compare-dumps:
     name: Compare Dumps
     needs: [run-blocks]

.gitignore

@@ -34,10 +34,9 @@ cairo-*.tar
 
 *.ipynb
 cairo-native-stress-logs.jsonl
- 
+
 .DS_Store
 bench_starknet_compilation_data
-cairo
 
 test_data_artifacts/programs
 test_data_artifacts/contracts

.gitmodules

@@ -0,0 +1,4 @@
+[submodule "vendor/cairo"]
+	path = vendor/cairo
+	url = https://github.com/starkware-libs/cairo.git
+	branch = v2.16.0

Cargo.toml

@@ -85,7 +85,7 @@ sierra-emu = { path = "debug_utils/sierra-emu", version = "0.9.0-rc.2" }
 smallvec = "1.13.2"
 starknet-crypto = "0.8.1"
 starknet-curve = "0.6.0"
-starknet-types-core = { version = "0.2.3", features = ["hash"]}
+starknet-types-core = { version = "1.0.0", features = ["hash"]}
 stats_alloc = "0.1.10"
 tempfile = "3.15.0"
 test-case = "3.3"
@@ -106,6 +106,7 @@ description = "A compiler to convert Cairo's IR Sierra code to MLIR and execute
 readme = "README.md"
 keywords = ["starknet", "cairo", "compiler", "mlir"]
 categories = ["compilers"]
+exclude = ["vendor/"]
 version.workspace = true
 edition.workspace = true
 license.workspace = true

Makefile

@@ -188,10 +188,11 @@ install-scarb-macos:
 	sed 's/zsh_completion_block/zsh_completions_block/g' | \
 	sh -s -- --version $(SCARB_VERSION)
 
-.PHONY: pull-external-projects
-pull-external-projects:
-	python3 ./scripts/pull_external_projects.py v${CAIRO_2_VERSION}
+
+test_data/e2e_sierra: vendor/cairo
+	python3 ./scripts/extract_e2e_sierra.py
+
 
 .PHONY: compile-test-data
-compile-test-data:
+compile-test-data: test_data/e2e_sierra
 	python3 ./scripts/compile_test_data.py

corelib

@@ -0,0 +1 @@
+vendor/cairo/corelib