fix: use patched devnet and mocked proof facts

[m-kus]

Update starknet-devnet to custom fork with proof support

This PR updates the starknet-devnet dependency to use a custom fork that supports transaction proofs. The changes include:

1. Replace asdf-based starknet-devnet installation with direct binary downloads from the custom fork's APOLLO-PRE-PROOF-DEMO-11 release
2. Update GitHub workflows to use the custom devnet binary for CI tests
3. Add detailed installation instructions in the README for developers
4. Update the SDK to use the custom starknet.js fork that supports proof validation
5. Add proof facts generation for on-chain transaction validation
6. Update test fixtures to match the new devnet implementation
7. Remove the continue-on-error flag from the TypeScript CI workflow now that devnet supports the required syscalls

The custom devnet fork includes a blockifier version that supports the new transaction version with proofs, enabling end-to-end testing of the proof validation flow.

---

This change is

[m-kus]

• feat(discovery-service): add docker image and ci workflow #487
• feat(e2e): starknet integration demo explorer #467
• feat(discovery-service): add fallback for chain state, e2e test in the starknet integration environment #466
• feat(e2e): add indexer e2e test suite with sdk devnet helpers #486
• feat(sdk): add indexer discovery provider #485
• feat(discovery-service): add preflight check endpoint #484
• feat(discovery-service): add outgoing state sync endpoint #483
• feat(discovery-service): add incoming sync endpoint with validation and error handling #482
• feat(discovery-service): centralize configuration into config module #481
• feat(discovery-core): add transfer preflight check #474
• feat(discovery-core): add outgoing state sync orchestrator #473
• feat(discovery-core): add incoming state sync orchestrator #472
• feat(discovery-core): add paginated last-note-index search with bisection #471
• feat(discovery-core): add paginated outgoing channel discovery #470
• feat(discovery-core): paginated notes discovery with nullifier filtering #462
• feat(discovery-core): paginated subchannel discovery with cursor support #461
• feat(discovery-core): paginated incoming channel discovery with cursor support #460
• feat(discovery-core): add iobudget batching, cursor types, and new cost constants #459
• fix: use patched devnet and mocked proof facts #479 👈 (View in Graphite)
• main

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

[Yoni-Starkware]

@Yoni-Starkware reviewed 25 files and all commit messages, and made 2 comments.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @ittaysw, @m-kus, and @noa-starkware).

---

sdk/src/internal/private-transfers.ts line 76 at r1 (raw file):

      // Blockifier requires base_block_number to be at least STORED_BLOCK_HASH_BUFFER (10)
      // blocks behind the current block, and the block must have a non-zero stored hash.
      const baseBlockNumber = currentBlockNumber > 10n ? currentBlockNumber - 10n : 1n;

Add a TODO to consider lowering this buffer to account for proving time.
Or add to some config? Do we have config for the SDK?

Code quote:

      // Blockifier requires base_block_number to be at least STORED_BLOCK_HASH_BUFFER (10)
      // blocks behind the current block, and the block must have a non-zero stored hash.
      const baseBlockNumber = currentBlockNumber > 10n ? currentBlockNumber - 10n : 1n;

[m-kus]

@m-kus resolved 1 discussion.
Reviewable status: 24 of 25 files reviewed, all discussions resolved (waiting on @ittaysw, @noa-starkware, and @Yoni-Starkware).