zk-SNARK Execution: Validators verify succinct proofs instead of raw transactions—“verify, don’t see”—dramatically reducing on-chain personal data exposure.