ZK proofs have become critical to blockchain privacy and scaling.