starknet_os: add proof virtual os output header

[meship-starkware]

No description provided.

[github-actions]

Artifacts upload workflows:

• Started at 2026-01-14T07:48:34Z
• Started at 2026-01-14T08:02:44Z
• Started at 2026-01-14T09:39:30Z
• Started at 2026-01-14T09:39:30Z
• Started at 2026-01-14T13:11:51Z
• Started at 2026-01-14T13:11:51Z
• Started at 2026-01-15T09:12:23Z
• Started at 2026-01-15T10:44:18Z
• Started at 2026-01-15T10:48:18Z
• Started at 2026-01-15T12:43:01Z
• Started at 2026-01-15T12:43:15Z
• Started at 2026-01-15T14:21:20Z
• Started at 2026-01-15T16:36:38Z
• Started at 2026-01-15T16:36:42Z
• Started at 2026-01-18T07:59:07Z
• Started at 2026-01-18T07:59:08Z
• Started at 2026-01-18T09:17:30Z

[reviewable-StarkWare]

This change is 

[meship-starkware]

• starknet_os: add proof fact block number to block hash validations #11506
• starknet_os: add proof virtual os output header #11704 👈 (View in Graphite)
• blockifier: verify that the proof facts block number matches the block hash #11345 : 2 other dependent PRs (#11476 , #11485 )
• main

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

[Yoni-Starkware]

@Yoni-Starkware made 4 comments.
Reviewable status: 0 of 10 files reviewed, 4 unresolved discussions (waiting on @meship-starkware and @noaov1).

---

crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/virtual_os_output.cairo line 1 at r1 (raw file):

struct VirtualOsOutputHeader {

Document this struct (use cursor)

---

crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/virtual_os_output.cairo line 4 at r1 (raw file):

    version: felt,
    prev_block_number: felt,
    prev_block_hash: felt,

Suggestion:

    base_block_number: felt,
    base_block_hash: felt,

---

crates/starknet_api/src/test_utils.rs line 378 at r1 (raw file):

    pub fn snos_proof_facts_for_testing() -> Self {
        let program_hash = felt!("0x4");
        let version = felt!("0x0");

Suggestion:

Felt::ZERO;

---

crates/starknet_api/src/test_utils.rs line 390 at r1 (raw file):

        let config_hash = felt!("0x1");
        // This fields are verified only by the contract but assumed as part of the proof facts in
        // the OS.

Suggestion:

        // These fields are not verified by the OS (they are application-related).

[Yoni-Starkware]

@Yoni-Starkware reviewed 8 files and all commit messages, made 3 comments, and resolved 4 discussions.
Reviewable status: 8 of 10 files reviewed, 3 unresolved discussions (waiting on @meship-starkware and @noaov1).

---

crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/virtual_os_output.cairo line 1 at r3 (raw file):

// The header of a proof created by the virtual OS.

Suggestion:

// The header of the virtual OS output.

---

crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/virtual_os_output.cairo line 4 at r3 (raw file):

struct VirtualOsOutputHeader {
    version: felt,
    // The block number and hash that this proof is referencing.

Suggestion:

   // The block number and hash that this run is based on.

---

crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/virtual_os_output.cairo line 8 at r3 (raw file):

    base_block_hash: felt,
    starknet_os_config_hash: felt,
    // The account address that is authorized to use this proof.

Suggestion:

    // The account address that is authorized to run transactions.

[meship-starkware]

@meship-starkware made 4 comments.
Reviewable status: 3 of 10 files reviewed, 3 unresolved discussions (waiting on @noaov1 and @Yoni-Starkware).

---

crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/virtual_os_output.cairo line 1 at r1 (raw file):

Previously, Yoni-Starkware (Yoni) wrote…

Document this struct (use cursor)

Done.

---

crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/virtual_os_output.cairo line 1 at r3 (raw file):

// The header of a proof created by the virtual OS.

Done.

---

crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/virtual_os_output.cairo line 4 at r3 (raw file):

struct VirtualOsOutputHeader {
    version: felt,
    // The block number and hash that this proof is referencing.

Done.

---

crates/apollo_starknet_os_program/src/cairo/starkware/starknet/core/os/virtual_os_output.cairo line 8 at r3 (raw file):

    base_block_hash: felt,
    starknet_os_config_hash: felt,
    // The account address that is authorized to use this proof.

Done.

[Yoni-Starkware]

@Yoni-Starkware reviewed 7 files and all commit messages, made 1 comment, and resolved 3 discussions.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @noaov1).

[Yoni-Starkware]

@Yoni-Starkware reviewed 1 file and all commit messages, and made 1 comment.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @noaov1).