zk-SNARK

Um zk-SNARK é um tipo de prova de conhecimento zero que é sucinta e não interativa: a prova é muito pequena e rápida de verificar, e o provador a envia uma única vez, sem troca de mensagens. Essa combinação torna os zk-SNARKs práticos em blockchains, onde cada verificador paga pela computação, e eles sustentam várias moedas de privacidade e ZK rollups. A contrapartida histórica é o trusted setup — uma cerimônia única que gera parâmetros públicos e deixa resíduos secretos, às vezes chamados de lixo tóxico, que precisam ser destruídos, pois quem os retiver poderia forjar provas. Cerimônias multipartidárias reduzem esse risco, bastando um participante honesto. Os zk-SNARKs também dependem de suposições de curvas elípticas que não são consideradas resistentes a computadores quânticos.