Reverie: Sistema de Prova de Conhecimento Zero Otimizado

As Provas de Conhecimento Zero (ZK Proofs) eram anteriormente apenas uma curiosidade teórica, mas recentemente encontraram ampla aplicação em sistemas de blockchain, como Zcash e Monero. No entanto, as ZK Proofs utilizadas na maioria das aplicações de blockchain fizeram compensações no tamanho da prova e desempenho que não são adequadas para outros casos de uso. Em particular, esses protocolos frequentemente requerem uma fase de configuração confiável complexa e são otimizados para as próprias provas.