Merge main-v0.14.3 into main

[Yoni-Starkware]

No description provided.

[Yoni-Starkware]

Src Dst Cargo.lock
Src Dst Cargo.toml
Src Dst crates/apollo_integration_tests/resources/proof_flow/proof.bin
Src Dst crates/apollo_integration_tests/resources/proof_flow/proof_facts.json
Src Dst crates/apollo_integration_tests/src/state_reader.rs
Src Dst crates/apollo_starknet_os_program/src/program_hash.json
Src Dst crates/apollo_starknet_os_program/src/virtual_os_test.rs
Src Dst crates/blockifier_test_utils/src/fee_token_addresses.rs
Src Dst crates/central_systest_blobs/resources/blob_file_generation
Src Dst crates/central_systest_blobs/resources/preconfirmed_block.json
Src Dst crates/starknet_os_flow_tests/src/fuzz_tests.rs

[cursor]

PR Summary

High Risk
Large merge touching consensus blobs, OS/program hashes, and the proving dependency graph, with unresolved merge conflict markers still present in lockfiles and fixtures.

Overview
This PR merges main-v0.14.3 into the development line and carries a large 0.14.3 / v0.14.3 release payload: workspace versions toward 0.19.0-rc.1, Cairo 2.19.0-rc.2, updated proving-utils / stwo-circuits git pins, and refreshed OS / virtual-OS program hashes and proof-flow fixtures.

Protocol & validation: Gateway and config raise max Sierra to 1.9.0 (including SHA-512 libfunc gating). Blockifier 0.14.3 constants add the new allowed virtual OS hash and SHA-512 syscall costs.

Consensus & blobs: A new test asserts parent proposal commitment binds the parent block’s fee proposal from fee_proposals_window (V0_14_3 Poseidon binding).

Client-side proving & OS: The transaction prover keeps the RPC starknet version string via starknet_version_override so block-hash recomputation matches on-chain versions newer than the binary’s StarknetVersion enum; OS hints use ASCII version felts for header commitments. Alias-contract state squashing drops the explicit search_sorted guard (Patricia enforces the assumption). Flow tests cover get_class_hash_at on the alias address.

RPC / re-execution: deserialize_transaction_json_to_starknet_api_tx moves to starknet_api::serde_utils (shared by HTTP server and blockifier reexecution). Blockifier reexecution compiles Sierra in-process with cairo-lang-starknet-classes instead of apollo_compile_to_casm, with a compiled-class-hash regression test.

Ops: Local monitoring supports N_NODES (1–5) consensus containers, optional Pragma oracle, multi-node Prometheus scrape targets, and SNIP-35 fee target shown as a stat panel. Transaction prover adds HTTP body size boundary tests.

Important: The diff still contains unresolved <<<<<<< merge conflicts in Cargo.lock, Cargo.toml, and several JSON/expect fixtures—these must be resolved before merge.

^{Reviewed by Cursor Bugbot for commit 7b5dfef. Bugbot is set up for automated code reviews on this repo. Configure here.}

[github-actions]

Artifacts upload workflows:

• Started at 2026-06-09T17:26:10Z

[reviewable-StarkWare]

This change is 

[cursor]

Cursor Bugbot has reviewed your changes and found 1 potential issue.

^{❌ Bugbot Autofix is OFF. To automatically fix reported issues with cloud agents, have a team admin enable autofix in the Cursor dashboard.}

^{Reviewed by Cursor Bugbot for commit 7b5dfef. Configure here.}

[cursor]

Unresolved merge conflict markers

High Severity

The merge of main-v0.14.3 into main left Git conflict markers (<<<<<<<, |||||||, =======, >>>>>>>) in Cargo.toml, Cargo.lock, Rust sources, and JSON fixtures. Those files are syntactically invalid, so cargo and tests cannot run until each hunk is resolved consistently (e.g. workspace version and proof-flow hashes).

Additional Locations (2)

• crates/apollo_integration_tests/src/state_reader.rs#L384-L391
• crates/apollo_integration_tests/resources/proof_flow/proof_facts.json#L6-L16

 

^{Reviewed by Cursor Bugbot for commit 7b5dfef. Configure here.}

[Yoni-Starkware]

@Yoni-Starkware reviewed 67 files and all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on Yoni-Starkware).