Cairo v0.13.1.

Author: liorgold2

Dockerfile

@@ -14,7 +14,7 @@ RUN ./docker_common_deps.sh
 RUN curl https://binaries.soliditylang.org/linux-amd64/solc-linux-amd64-v0.6.12+commit.27d51765 -o /usr/local/bin/solc-0.6.12
 RUN echo 'f6cb519b01dabc61cab4c184a3db11aa591d18151e362fcae850e42cffdfb09a /usr/local/bin/solc-0.6.12' | sha256sum --check
 RUN chmod +x /usr/local/bin/solc-0.6.12
-RUN npm install -g --unsafe-perm ganache@7.4.3 [email protected]
+RUN npm install -g --unsafe-perm ganache@7.9.0 [email protected]
 
 COPY . /app
 RUN chown -R starkware:starkware /app

WORKSPACE

@@ -33,6 +33,14 @@ http_file(
     ],
 )
 
+http_file(
+    name = "solc-0.8.24",
+    downloaded_file_path = "solc-0.8.24",
+    executable = True,
+    sha256 = "fb03a29a517452b9f12bcf459ef37d0a543765bb3bbc911e70a87d6a37c30d5f",
+    urls = ["https://binaries.soliditylang.org/linux-amd64/solc-linux-amd64-v0.8.24+commit.e11b9ed9"],
+)
+
 http_archive(
     name = "rules_python",
     patch_args = ["-p1"],
@@ -52,7 +60,7 @@ http_archive(
         "//src/starkware/starknet/compiler/v1:BUILD." + CAIRO_COMPILER_ARCHIVE,
     ),
     strip_prefix = "cairo",
-    url = "https://github.com/starkware-libs/cairo/releases/download/v2.6.0-rc.0/release-x86_64-unknown-linux-musl.tar.gz",
+    url = "https://github.com/starkware-libs/cairo/releases/download/v2.6.0/release-x86_64-unknown-linux-musl.tar.gz",
 )
 
 http_archive(

bazel_utils/BUILD

@@ -20,6 +20,11 @@ sh_binary(
     srcs = ["@solc-0.6.12//file"],
 )
 
+sh_binary(
+    name = "solc-0.8.24",
+    srcs = ["@solc-0.8.24//file"],
+)
+
 py_library(
     name = "default_extract_artifacts_lib",
     srcs = [

package.json

@@ -4,7 +4,7 @@
     "private": true,
     "description": "",
     "dependencies": {
-        "ganache": "7.4.4"
+        "ganache": "7.9.0"
     },
     "devDependencies": {},
     "author": "",

src/starkware/cairo/common/find_element.cairo

@@ -1,4 +1,4 @@
-from starkware.cairo.common.math import assert_le, assert_le_felt, assert_nn_le
+from starkware.cairo.common.math import assert_le, assert_le_felt, assert_lt_felt, assert_nn_le
 
 const FIND_ELEMENT_RANGE_CHECK_USAGE = 2;
 
@@ -67,7 +67,7 @@ func find_element{range_check_ptr}(array_ptr: felt*, elm_size, n_elms, key) -> (
 // Given an array sorted by its first field, returns the pointer to the first element in the array
 // whose first field is at least key. If no such item exists, returns a pointer to the end of the
 // array.
-// Prover assumption: all the keys (the first field in each item) are in [0, RANGE_CHECK_BOUND).
+// Assumption: the array is sorted as unsigned numbers.
 func search_sorted_lower{range_check_ptr}(array_ptr: felt*, elm_size, n_elms, key) -> (
     elm_ptr: felt*
 ) {
@@ -105,7 +105,7 @@ func search_sorted_lower{range_check_ptr}(array_ptr: felt*, elm_size, n_elms, ke
     }
 
     if (index != 0) {
-        assert_le_felt(a=[elm_ptr - elm_size] + 1, b=key);
+        assert_lt_felt(a=[elm_ptr - elm_size], b=key);
     }
 
     return (elm_ptr=elm_ptr);
@@ -114,7 +114,7 @@ func search_sorted_lower{range_check_ptr}(array_ptr: felt*, elm_size, n_elms, ke
 // Given an array sorted by its first field, returns the pointer to the first element in the array
 // whose first field is exactly key. If no such item exists, returns an undefined pointer,
 // and success=0.
-// Prover assumption: all the keys (the first field in each item) are in [0, RANGE_CHECK_BOUND).
+// Assumption: the array is sorted as unsigned numbers.
 func search_sorted{range_check_ptr}(array_ptr: felt*, elm_size, n_elms, key) -> (
     elm_ptr: felt*, success: felt
 ) {

src/starkware/cairo/lang/VERSION

@@ -1 +1 @@
-0.13.1a0
+0.13.1

src/starkware/cairo/lang/vm/cairo_pie.py

@@ -420,22 +420,15 @@ def verify_zip_format(cls, zf: zipfile.ZipFile):
         ), "Invalid list of inner files in the CairoPIE zip."
 
         # Make sure the file sizes are reasonable.
-        file_size = lambda name: inner_files[name].file_size if name in inner_files else 0
-        assert (
-            file_size(cls.METADATA_FILENAME) < cls.MAX_SIZE
-        ), f"Invalid file size for {cls.METADATA_FILENAME}."
-        assert (
-            file_size(cls.MEMORY_FILENAME) < cls.MAX_SIZE
-        ), f"Invalid file size for {cls.MEMORY_FILENAME}."
-        assert (
-            file_size(cls.ADDITIONAL_DATA_FILENAME) < cls.MAX_SIZE
-        ), f"Invalid file size for {cls.ADDITIONAL_DATA_FILENAME}."
-        assert (
-            file_size(cls.EXECUTION_RESOURCES_FILENAME) < 10000
-        ), f"Invalid file size for {cls.EXECUTION_RESOURCES_FILENAME}."
-        assert (
-            file_size(cls.VERSION_FILENAME) < 10000
-        ), f"Invalid file size for {cls.VERSION_FILENAME}."
+        for name, limit in (
+            (cls.METADATA_FILENAME, cls.MAX_SIZE),
+            (cls.MEMORY_FILENAME, cls.MAX_SIZE),
+            (cls.ADDITIONAL_DATA_FILENAME, cls.MAX_SIZE),
+            (cls.EXECUTION_RESOURCES_FILENAME, 10000),
+            (cls.VERSION_FILENAME, 10000),
+        ):
+            size = inner_files[name].file_size if name in inner_files else 0
+            assert size < limit, f"Invalid file size {size} for {name}; limit is {limit}."
 
     def get_segment(self, segment_info: SegmentInfo):
         return self.memory.get_range(

src/starkware/cairo/sharp/client_lib.py

@@ -12,11 +12,11 @@ class ClientLib:
     This is a slim wrapper around the SHARP API.
     """
 
-    def __init__(self, service_url: str):
+    def __init__(self, url: str):
         """
         service_url is the SHARP url.
         """
-        self.service_url = service_url
+        self.url = url
 
     def add_job(self, cairo_pie: CairoPie) -> str:
         """
@@ -48,13 +48,12 @@ def _send(self, action: str, payload: dict) -> dict:
         action: the action to be sent to the SHARP.
         payload: action specific parameters.
         """
-
         data = {
             "action": action,
             "request": payload,
         }
         http = urllib3.PoolManager()
         res = http.request(
-            method="POST", url=self.service_url, body=json.dumps(data).encode("utf-8")
+            method="POST", url=f"{self.url}{action}", body=json.dumps(data).encode("utf-8")
         )
         return json.loads(res.data.decode("utf-8"))

src/starkware/cairo/sharp/client_lib_test.py

@@ -23,8 +23,10 @@ class Response:
     data: bytes
 
 
+EXPECTED_URL = "https://some_url/"
+
+
 def test_add_job(monkeypatch: MonkeyPatch):
-    expected_url = "some url"
     expected_data = {
         "action": "add_job",
         "request": {"cairo_pie": base64.b64encode(MockCairoPie().serialize()).decode("ascii")},
@@ -34,35 +36,34 @@ def test_add_job(monkeypatch: MonkeyPatch):
     # A mock function enforcing expected scenario.
     def check_expected(_, method: str, url: str, body: str):
         assert method == "POST"
-        assert url == expected_url
+        assert url == EXPECTED_URL + expected_data["action"]
         assert json.loads(body) == expected_data
         return Response(json.dumps({"cairo_job_key": expected_res}).encode("utf-8"))
 
     monkeypatch.setattr(PoolManager, "request", check_expected)
 
     # Test the scenario.
-    client = ClientLib(expected_url)
+    client = ClientLib(url=EXPECTED_URL)
     res = client.add_job(MockCairoPie())
     assert res == expected_res
 
 
 def test_get_status(monkeypatch: MonkeyPatch):
-    expected_url = "some url"
     expected_id = "some id"
     expected_data = {"action": "get_status", "request": {"cairo_job_key": expected_id}}
     expected_res = "the status"
 
     # A mock function enforcing expected scenario.
     def check_expected(_, method: str, url: str, body: str):
         assert method == "POST"
-        assert url == expected_url
+        assert url == EXPECTED_URL + expected_data["action"]
         assert json.loads(body) == expected_data
         return Response(json.dumps({"status": expected_res}).encode("utf-8"))
 
     monkeypatch.setattr(PoolManager, "request", check_expected)
 
     # Test the scenario.
-    client = ClientLib(expected_url)
+    client = ClientLib(url=EXPECTED_URL)
     res = client.get_status(expected_id)
     assert res == expected_res
 
@@ -76,7 +77,7 @@ def check_expected(_, method: str, url: str, body: str):
     monkeypatch.setattr(PoolManager, "request", check_expected)
 
     # Test the scenario.
-    client = ClientLib("")
+    client = ClientLib(url=EXPECTED_URL)
 
     with pytest.raises(AssertionError, match="Error when sending job to SHARP:"):
         client.add_job(MockCairoPie())

src/starkware/cairo/sharp/config.json

@@ -1,5 +1,5 @@
 {
-    "prover_url": "https://testnet.provingservice.io",
+    "url": "https://testnet.provingservice.io/",
     "verifier_address": "0x07ec0D28e50322Eb0C159B9090ecF3aeA8346DFe",
     "steps_limit": 1000000
 }