Qual é a diferença entre Optimistic Rollups e ZK-Rollups?

Optimistic Rollups e ZK-Rollups são ambos [Camada 2](https://blog.coinbase.com/scaling-ethereum-crypto-for-a-billion-users-715ce15afc0b
O que são Rollups?
#:~:text=As camadas 2 são comumente chamadas de soluções de escalabilidade para Ethereum, com a intenção de aumentar a capacidade de transações e reduzir custos.
Os Optimistic Rollups operam sob a suposição de que todas as transações são válidas, a menos que se prove o contrário, enquanto os ZK-Rollups assumem que todas as transações são falsas até que se prove a validade.
Ambos têm suas próprias vantagens e desvantagens, com os Optimistic Rollups tendo o potencial para um processamento de transações mais rápido e os ZK-Rollups tendo o potencial para maior privacidade e segurança.
Rollups são soluções de escalonamento da Camada 2 que processam transações off-chain e, em seguida, agrupam os dados da transação em lotes para submetê-los na correspondente Camada 1 blockchain. Isso reduz a congestão e a carga de computação na blockchain principal, aumentando assim a taxa de transações. Os dois principais tipos de rollups são Rollups Otimistas e Rollups de Conhecimento Zero.
O que são Optimistic Rollups?
Os Optimistic Rollups operam com uma abordagem 'otimista' para a execução de transações fora da cadeia. Isso significa que eles presumem que todas as transações da Camada 2 são válidas, a menos que sejam contestadas e comprovadamente erradas por um validador honesto da rede. Eles usam um mecanismo 'à prova de fraude' para detectar transações inválidas. Se uma prova de fraude for válida, ela anula a transação defeituosa e a reexecuta para atualizar o estado do rollup. No entanto, se o lote de rollup otimista não for contestado durante o período de disputa, os dados da transação são adicionados com sucesso à cadeia principal do Ethereum.
O que são Zero-Knowledge Rollups?
Zero-Knowledge Rollups, ou ZK-Rollups, são rollups onde os validadores comprovam a autenticidade de uma transação sem revelar quaisquer detalhes da transação. Diferentemente dos rollups otimistas, os ZK-Rollups presumem que todas as transações são falsas até que sejam comprovadas como válidas através de Provas de Conhecimento Zero (ZKPs). Eles se baseiam em 'provas de validade' para determinar se uma transação é verdadeira ou não. Os nós de ZK rollup têm que fornecer provas de validade para todas as transações para garantir que os dados da transação na cadeia Ethereum são válidos.
Comparando Optimistic Rollups e ZK-Rollups
Tanto os Optimistic Rollups quanto os ZK-Rollups têm seus próprios benefícios e desvantagens. Os Optimistic Rollups têm o potencial para um processamento de transações mais rápido devido à sua suposição otimista da validade da transação. No entanto, eles têm um período de disputa que pode atrasar a finalidade da transação. Por outro lado, os ZK-Rollups têm o potencial para maior privacidade e segurança através do uso de Provas de Conhecimento Zero, mas são mais complexos e potencialmente podem não ser adequados para todos os casos de uso.
Casos de uso para Optimistic Rollups e ZK-Rollups
A escolha entre Optimistic Rollups e ZK-Rollups depende do caso de uso específico. Os Optimistic Rollups podem ser uma opção melhor para aplicações que necessitam de processamento rápido de transações e podem tolerar um atraso na finalidade da transação. Por outro lado, os ZK-Rollups podem ser uma opção melhor para aplicações que priorizam privacidade e segurança, e são capazes de gerenciar as complexidades das Provas de Conhecimento Zero.