remove the program from PublicMemory when program_in_ppt=true

[ohad-nir-starkware]

Note

Medium Risk
Changes the proof/claim encoding and transcript mixing by conditionally omitting program memory and filtering public-memory lookups when program_in_ppt is enabled, which could break prover/verifier compatibility if any path still assumes the program is always present.

Overview
When program_in_ppt=true, the prover now omits the program from PublicMemory (making program an Option) and excludes program addresses from the public-memory lookup inputs to keep the lookup argument balanced.

Both the Rust and Cairo verifiers are updated to treat program memory as optional: program-length mixing uses 0 when absent, verify_program is skipped when None, and get_verification_output returns a default program_hash when no program section is provided. Golden proof JSON fixtures and tests are updated accordingly.

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

---

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 eea3391. Configure here.}