[É a prova de fraude ZK perfeita?] Uma boa pesquisa de @GCdePaula_ - vamos mergulhar na segurança dos atuais protocolos de prova de fraude ZK.

Em primeiro lugar, mesmo que as provas de fraude ZK sejam utilizadas, o período de contestação não pode ser encurtado. Isso porque as provas de fraude ZK não resolvem ataques de censura fortes. Em outras palavras, a lógica é que simplesmente enviar uma transação uma vez não é suficiente para reduzir o período de contestação.

Além disso, os mecanismos atuais, como o simples jogo de disputa baseado em prova de fraude ZK do OP Kailua, não conseguem impedir ataques de exaustão. Um cenário de ataque no OP Kailua poderia ser assim:

1. O atacante publica continuamente raízes de estado inválidas para OP Kailua. Antes de publicar, o atacante pré-computa provas ZK que refutariam suas próprias raízes de estado inválidas. 2. Um defensor honesto responde gerando uma prova ZK para desafiar a raiz de estado inválida.

3. Enquanto o defensor ainda está gerando a prova ZK, o atacante submete a prova ZK pré-computada para refutar sua própria raiz de estado e encerra o jogo de disputa. O defensor perde os recursos gastos na geração de sua prova ZK.

4. No OP Kailua, o depósito da parte perdedora é pago ao vencedor. Como o atacante se refutou, não perde nenhum depósito.

Aqui, o atacante gasta os custos de geração de prova ZK + custos de verificação, enquanto o defensor suporta o custo de geração da prova ZK.

Se o atacante tiver mais capital do que o defensor por pelo menos N vezes o custo de verificação da prova, o atacante pode repetir este ciclo até que o defensor fique sem fundos. Nesse ponto, o atacante pode publicar uma raiz de estado maliciosa e drenar todos os ativos do rollup.

Isto ilustra efetivamente que os protocolos de prova de fraude ZK requerem considerações de segurança mais sutis do que se poderia assumir. Alcançar uma segurança mais robusta exigirá medidas de design adicionais.

As provas de fraude ZK já estão a ser adotadas por rollups em funcionamento como o BOB, e são um mecanismo central que L2s de próxima geração como o MegaETH estão a planear integrar. Ao perseguir padrões de segurança mais elevados, podemos oferecer um produto muito mais robusto e pronto para produção.