Merge main into dev v2.12.0 (#7945)

Author: orizi

.github/workflows/ci.yml

@@ -14,7 +14,7 @@ jobs:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@master
         with:
-          toolchain: nightly-2025-05-20
+          toolchain: nightly-2025-07-08
           targets: wasm32-unknown-unknown
       - uses: Swatinem/rust-cache@v2
       - run: |
@@ -67,7 +67,7 @@ jobs:
       - uses: dtolnay/rust-toolchain@master
         with:
           components: rustfmt
-          toolchain: nightly-2025-05-20
+          toolchain: nightly-2025-07-08
       - uses: dtolnay/rust-toolchain@stable
       - uses: Swatinem/rust-cache@v2
       - name: Install nextest
@@ -101,7 +101,7 @@ jobs:
       - uses: dtolnay/rust-toolchain@master
         with:
           components: rustfmt
-          toolchain: nightly-2025-05-20
+          toolchain: nightly-2025-07-08
       - uses: Swatinem/rust-cache@v2
       - run: scripts/rust_fmt.sh --check
 
@@ -140,7 +140,7 @@ jobs:
       - uses: dtolnay/rust-toolchain@master
         with:
           components: clippy
-          toolchain: nightly-2025-05-20
+          toolchain: nightly-2025-07-08
       - uses: Swatinem/rust-cache@v2
       - run: >
           scripts/clippy.sh
@@ -157,7 +157,7 @@ jobs:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@master
         with:
-          toolchain: nightly-2025-05-20
+          toolchain: nightly-2025-07-08
       - uses: Swatinem/rust-cache@v2
       - run: >
           scripts/docs.sh

Cargo.lock

@@ -89,7 +89,7 @@ ark-secp256r1 = "0.5.0"
 ark-std = "0.5.0"
 assert_matches = "1.5"
 bimap = "0.6.3"
-bincode = "1.3.3"
+bincode = { version = "2", features = ["serde"] }
 cairo-lang-primitive-token = "1"
 cairo-vm = { version = "2.0.1", features = ["mod_builtin"] }
 clap = { version = "4.5.29", features = ["derive"] }
@@ -153,5 +153,6 @@ tokio = { version = "1.43.0", features = ["full", "sync"] }
 toml = "0.8.20"
 unescaper = "0.1.5"
 xshell = "0.2.7"
+xxhash-rust = { version = "0.8", features = ["xxh3"] }
 
 openssl = { version = "0.10.71" }

Cargo.toml

@@ -19,7 +19,7 @@ This is opposed to "let"/"var" in other languages, that are effectively, shadowi
 - May change type.
 - Do not affect outer scopes.
 
-The rebinding in Cairo0 acts more like assignment in other languages.
+The rebinding in Cairo0 acts more like an assignment in other languages.
 
 ### Proposal
 
@@ -30,7 +30,7 @@ Two syntaxes: "let", and "assign".
 - _Assign_ - `<ident> = <expr>`. Does not change the definition of `<ident>`. Inner and outer scopes
   still see the previous definition, but with a new value.
 
-This behavior is in line with Rust.
+This behavior aligns with Rust.
 
 _Shadowing_ - although the language will permit this, a specific warning will be emitted in such
 cases. Whether the compilation will pass is up to configuration.

adrs/002_let_and_assign.md

@@ -475,7 +475,7 @@ pub impl SpanImpl<T> of SpanTrait<T> {
     /// assert!(span.pop_front() == Some(@1));
     /// ```
     #[inline]
-    fn pop_front(ref self: Span<T>) -> Option<@T> {
+    fn pop_front(ref self: Span<T>) -> Option<@T> nopanic {
         let mut snapshot = self.snapshot;
         let item = array_snapshot_pop_front(ref snapshot);
         self = Span { snapshot };

corelib/src/array.cairo

@@ -15,7 +15,7 @@ extern fn trace<const FLAG: felt252>() nopanic;
     feature: "bounded-int-utils",
     note: "Improper usage of the functionalities in this module is likely to cause compiler crashes, use with caution.",
 )]
-pub(crate) mod bounded_int;
+pub mod bounded_int;
 
 mod num;
 

corelib/src/internal.cairo

@@ -147,4 +147,6 @@ impl SyscallResultTraitImpl<T> of SyscallResultTrait<T> {
 /// signal that the transaction should proceed.
 pub const VALIDATED: felt252 = 'VALID';
 
+pub mod deployment;
+
 pub mod testing;

corelib/src/starknet.cairo

@@ -0,0 +1,13 @@
+/// Configuration for contract deployment
+///
+/// This structure contains parameters needed to deploy a new contract instance
+/// It is used by typed deployment function generated by starknet cairo plugin
+#[cfg(target: 'test')]
+#[derive(Drop, Copy, Debug, PartialEq, Serde, Default)]
+pub struct DeploymentParams {
+    /// The salt, an arbitrary value provided by the deployer, used in the computation of the
+    /// contract's address.
+    pub salt: felt252,
+    /// Deploy the contract from the zero address.
+    pub deploy_from_zero: bool,
+}

corelib/src/starknet/deployment.cairo

@@ -17,6 +17,7 @@ mod hash_test;
 mod integer_test;
 mod iter_test;
 mod keccak_test;
+mod let_else_test;
 mod math_test;
 mod nullable_test;
 mod num_test;

corelib/src/test.cairo

@@ -1,3 +1,5 @@
+#[feature("bounded-int-utils")]
+use core::internal::bounded_int::{BoundedInt, constrain};
 use crate::integer::i8_diff;
 use crate::num::traits::{WrappingAdd, WrappingMul, WrappingSub};
 
@@ -49,3 +51,9 @@ fn test_mul() {
         WrappingMul::wrapping_mul(100_u8, 200) == WrappingMul::wrapping_mul(noop(100), noop(200)),
     );
 }
+
+#[test]
+fn test_implied_non_zero() -> Result<NonZero<BoundedInt<-0x80, -1>>, NonZero<BoundedInt<0, 0x7f>>> {
+    let x: NonZero<i8> = 5;
+    constrain::<_, 0>(x)
+}