Add test of ppt root and renames

[anatgstarkware]

Type

• feature
• bugfix
• dev (no functional changes, no API changes)
• fmt (formatting, renaming)
• build
• docs
• testing

Description

Breaking changes?

• yes
• no

---

Note

Low Risk
Low risk: mainly renames/refactors around cairo preprocessed-circuit construction and adds a deterministic test for the preprocessed commitment root; runtime verification/proving logic is unchanged aside from wiring.

Overview
Adds a new unit test that recomputes the cairo verifier preprocessed trace commitment and asserts it matches the hardcoded PRIVACY_RECURSION_CIRCUIT_PREPROCESSED_ROOT.

Refactors naming and structure around cairo preprocessing: renames the embedded bootloader constant to PRIVACY_BOOTLOADER_JSON, renames get_preprocessed_cairo_circuit to get_cairo_preprocessed_circuit, and factors out get_cairo_novalue_context (used by both preprocessing and constant-hash tests). Updates privacy_prove and dev-dependencies to match, including enabling stwo prover/parallel features for tests.

^{Written by Cursor Bugbot for commit 14dd4a5. This will update automatically on new commits. Configure here.}

---

This change is