workspace,starknet_proof_verifier: bump privacy-{prove,circuit-verify} to 69ed219, add legacy alias

[Yoni-Starkware]

No description provided.

[cursor]

PR Summary

Medium Risk
Updates upstream privacy-{prove,circuit-verify}/stwo* dependency revisions and changes proof verification dispatch, which could affect correctness/compatibility of proof validation across versions.

Overview
Bumps the workspace privacy-circuit-verify and privacy-prove dependencies to a newer proving-utils revision, updating the resolved stwo*/circuit crate versions in Cargo.lock.

Adds a pinned legacy dependency alias privacy-circuit-verify-v0 and updates starknet_proof_verifier::verify_proof to dispatch by ProofVersion, verifying V0 proofs with the legacy verifier and V1 proofs with the updated verifier.

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

[Yoni-Starkware]

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

• workspace,starknet_proof_verifier: bump privacy-{prove,circuit-verify} to 69ed219, add legacy alias #14017 👈 (View in Graphite)
• starknet_proof_verifier: add v0.14.3 regression case for PROOF_VERSION_V1 fixture #14016
• starknet_api,starknet_proof_verifier: write PROOF_VERSION_V1 in try_into_proof_facts #14015
• apollo_starknet_os_program,starknet_os: support PROOF_VERSION_V1 in check_proof_facts #14014
• starknet_proof_verifier: accept either PROOF_VERSION_V0 or PROOF_VERSION_V1 in verify_proof #14013
• starknet_api: add PROOF_VERSION_V1 and accept either marker in ProofFactsVariant #14012
• starknet_api,starknet_proof_verifier: rename PROOF_VERSION to PROOF_VERSION_V0 #14011
• main

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

[reviewable-StarkWare]

This change is 

[github-actions]

Artifacts upload workflows:

• Started at 2026-05-10T17:01:25Z
• Started at 2026-05-11T06:34:20Z
• Started at 2026-05-11T07:23:59Z
• Started at 2026-05-11T07:30:03Z
• Started at 2026-05-11T07:32:06Z
• Started at 2026-05-11T07:33:53Z
• Started at 2026-05-11T07:55:56Z
• Started at 2026-05-11T11:49:06Z
• Started at 2026-05-11T12:03:29Z
• Started at 2026-05-17T09:58:50Z
• Started at 2026-05-17T12:14:32Z
• Started at 2026-05-17T12:15:52Z
• Started at 2026-05-17T15:45:32Z
• Started at 2026-05-18T09:57:08Z

[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 85967fb. Configure here.}

[AvivYossef-starkware]

Can be in a different PR, but I think we need to add cases for virtual snos prover test (round-trip proving and verifying in the CI) .
and maybe change/add cases to the os tests for tx with proof facts

@AvivYossef-starkware reviewed 4 files and all commit messages, and made 1 comment.
Reviewable status: 4 of 6 files reviewed, 1 unresolved discussion (waiting on Yoni-Starkware).

[Yoni-Starkware]

• Re proof verification - we have a regression test per version in the previous PR
• Re proof facts - added to the OS flow test here: https://github.com/starkware-libs/sequencer/pull/14042/changes

@Yoni-Starkware made 1 comment.
Reviewable status: 1 of 6 files reviewed, all discussions resolved (waiting on AvivYossef-starkware).