Prova de Conhecimento Zero

Uma prova de conhecimento zero permite que uma parte demonstre que uma afirmação é verdadeira sem revelar a informação por trás dela. Uma carteira pode mostrar que tem fundos suficientes sem expor o saldo, e um rollup pode provar que milhares de transações foram executadas corretamente sem republicá-las. Uma prova útil precisa convencer um verificador honesto, ser inviável de falsificar para uma afirmação falsa e não vazar nada além do próprio fato. Em cripto, as provas de conhecimento zero — abreviadas como provas ZK — sustentam ferramentas de privacidade, atestações de identidade e sistemas de escalabilidade em que verificar é muito mais barato do que reexecutar. É matemática, não anonimato automático: a privacidade obtida depende do circuito, da configuração e de como o aplicativo trata os dados.