🔒 Aleo Privacy Capability Used
Each ZK verification calls leo run to generate a real zero-knowledge proof via snarkVM.
The symbolic execution result is compared against the real ZK execution.
Mismatches between the two indicate genuine privacy-semantic bugs —
cases where the contract's privacy invariants are violated.
✅ 0 ZK verifications performed |
❌ 0 mismatches detected