blockifier: add l3 compatibility for addresses

[einat-starkware]

No description provided.

[reviewable-StarkWare]

This change is 

[einat-starkware]

• blockifier: test L3 compatability in syscalls #7816
• blockifier: add l3 compatibility for addresses #7763 👈 (View in Graphite)
• blockifier: add l3 field to ChainInfo #7729
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

[github-actions]

Artifacts upload workflows:

• Started at 2025-07-03T12:31:24Z
• Started at 2025-07-03T12:47:14Z
• Started at 2025-07-03T13:11:05Z
• Started at 2025-07-03T13:11:10Z
• Started at 2025-07-03T14:04:34Z
• Started at 2025-07-03T14:15:47Z
• Started at 2025-07-06T06:40:20Z
• Started at 2025-07-06T10:42:06Z
• Started at 2025-07-06T12:10:42Z
• Started at 2025-07-06T12:10:46Z
• Started at 2025-07-06T13:39:11Z
• Started at 2025-07-08T14:04:04Z
• Started at 2025-07-09T07:07:51Z
• Started at 2025-07-09T07:34:05Z

[github-actions]

Benchmark movements: No major performance changes detected.

[Yoni-Starkware]

Reviewed 5 of 11 files at r1.
Reviewable status: 5 of 11 files reviewed, 6 unresolved discussions

---

crates/apollo_batcher/src/cende_client_types.rs line 258 at r1 (raw file):

            call.execution.l2_to_l1_messages.iter().map(|l2_to_l1_message| L2ToL1Message {
                from_address: call.call.caller_address,
                to_address: EthAddress::try_from(l2_to_l1_message.message.to_address).unwrap(),

Add informative message (we don't use plain unwrap in production code)

Suggestion:

.except("..."),

---

crates/blockifier/src/execution/deprecated_syscalls/mod.rs line 423 at r1 (raw file):

impl SyscallRequest for SendMessageToL1Request {
    // The Cairo struct contains: `to_address`, `payload_size`, `payload`.
    fn read(

What about the deprecated syscall?

---

crates/blockifier/src/execution/deprecated_syscalls/mod.rs line 427 at r1 (raw file):

        ptr: &mut Relocatable,
    ) -> DeprecatedSyscallExecutorBaseResult<SendMessageToL1Request> {
        let felt_to_address = felt_from_ptr(vm, ptr)?;

"felt_to_address" sounds like a conversion from felt to address

Suggestion:

to_address_felt

---

crates/blockifier/src/execution/syscalls/vm_syscall_utils.rs line 407 at r1 (raw file):

        ptr: &mut Relocatable,
    ) -> SyscallBaseResult<SendMessageToL1Request> {
        let felt_to_address = felt_from_ptr(vm, ptr)?;

Suggestion:

 to_address_felt

---

crates/apollo_rpc_execution/src/objects.rs line 467 at r1 (raw file):

            message: MessageToL1 {
                from_address,
                to_address: EthAddress::try_from(blockifier_message.message.to_address).unwrap(),

Same

---

crates/blockifier/src/execution/native/syscall_handler.rs line 571 at r1 (raw file):

        )?;

        if !self.base.context.tx_context.block_context.chain_info.is_layer_3 {

To share this code between the VM and Native, please move this to self.base.send_message_to_l1

Code quote:

if !self.base.context.tx_context.block_context.chain_info.is_layer_3 {

[Yoni-Starkware]

Reviewed 1 of 11 files at r1.
Reviewable status: 6 of 11 files reviewed, 6 unresolved discussions (waiting on @einat-starkware)

[einat-starkware]

Reviewable status: 5 of 12 files reviewed, 4 unresolved discussions (waiting on @Yoni-Starkware)

---

crates/apollo_batcher/src/cende_client_types.rs line 258 at r1 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

Add informative message (we don't use plain unwrap in production code)

Done.

---

crates/apollo_rpc_execution/src/objects.rs line 467 at r1 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

Same

Done.

---

crates/blockifier/src/execution/deprecated_syscalls/mod.rs line 423 at r1 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

What about the deprecated syscall?

How exactly do I handle the deprecated syscall? I'm not sure how to access the ChainInfo here

---

crates/blockifier/src/execution/native/syscall_handler.rs line 571 at r1 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

To share this code between the VM and Native, please move this to self.base.send_message_to_l1

Done.

[Yoni-Starkware]

Reviewed 5 of 7 files at r2, all commit messages.
Reviewable status: 10 of 12 files reviewed, 1 unresolved discussion (waiting on @einat-starkware)

---

crates/blockifier/src/execution/deprecated_syscalls/mod.rs line 423 at r1 (raw file):

Previously, einat-starkware wrote…

How exactly do I handle the deprecated syscall? I'm not sure how to access the ChainInfo here

Here, using the syscall_hanlder

[Yoni-Starkware]

Reviewable status: 10 of 12 files reviewed, 1 unresolved discussion (waiting on @einat-starkware)

---

crates/blockifier/src/execution/deprecated_syscalls/mod.rs line 423 at r1 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

Here, using the syscall_hanlder

(Similar to what you did in the non-deprecated handler)

[Yoni-Starkware]

Reviewed 1 of 7 files at r2.
Reviewable status: 11 of 12 files reviewed, 1 unresolved discussion (waiting on @einat-starkware)

[einat-starkware]

Reviewable status: 10 of 13 files reviewed, 1 unresolved discussion (waiting on @Yoni-Starkware)

---

crates/blockifier/src/execution/deprecated_syscalls/mod.rs line 423 at r1 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

(Similar to what you did in the non-deprecated handler)

Done.

[Yoni-Starkware]

Reviewed 1 of 7 files at r2, 2 of 2 files at r3, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @einat-starkware)

[einat-starkware]

Reviewed all commit messages.
Reviewable status: 6 of 13 files reviewed, all discussions resolved (waiting on @Yoni-Starkware)

[einat-starkware]

Reviewed 4 of 7 files at r2, 2 of 2 files at r3, 7 of 7 files at r4.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @einat-starkware)