What are zero-knowledge proofs, and how does auditing ZK differ from smart contracts? @AlpAtVeridise explains it all.