O que são provas de conhecimento zero e como a auditoria de ZK difere de contratos inteligentes? @AlpAtVeridise explica tudo.