Zero-knowledge proofs represent one of the most powerful primitives in modern cryptography, enabling a prover to convince a verifier that a statement is true without revealing any information beyond the validity of that statement itself. This capability has shifted from theoretical interest to production infrastructure, particularly in blockchain...