Dave: Não é o herói que queremos, mas o herói que precisamos

A segurança tem sido uma palavra de ordem de criptografia. Sem sistemas sofisticados, algoritmos e processos que são ferozmente resistentes ao ataque, a indústria não teria crescido para um valor de mercado de US $ 3 trilhões em menos de vinte anos. Passeie pela primeira linha de defesa e você encontrará inevitavelmente sistemas à prova de fraudes, mecanismos que protegem as transições inválidas do estado, permitindo que alguém desafie e prove a desonestidade. No caso de Rollups da camada 2que agrupam milhares de transações fora da cadeia em um único post na cadeia, as provas de fraude são essencialmente a guarda pretoriana.

Com Rollups cometer-se periodicamente aos estados na rede principal que são estampados em borracha com provas de fraude ou legítimo de otimista (onde os desafios podem ser feitos e provas de fraude empregadas), esses algoritmos precisar ser robusto. Particularmente porque agora há mais de US $ 30 bilhões em valor trancado neles. E, no entanto, as vulnerabilidades das provas de fraude são multitudinosas, tornando-as uma verdadeira bomba de tempo na paisagem L2.

Portanto, por que a Cartesi projetou um novo sistema interativo à prova de fraudes chamado Dave. Embora seu nome faça parecer um indescrito regular, sustentando a barra, Dave pode ser a resposta para manter a TVL de US $ 30 bilhões em segurança.

Rollops otimistas: escalar o Ethereum, mas a que custo?

Vamos mergulhar em rollups otimistas (ORS), os queridos do ecossistema de escala do Ethereum. Nomeados porque eles pré-supostos transações fora da cadeia são válidas (sem provas de fraude necessárias antecipadamente), esses protocolos L2 se orgulham de estender a taxa de transferência do Ethereum por UP UP

a 100x.

Com a segurança amarrada à camada base do Ethereum, o ORS após os resultados da transação na cadeia durante o processamento de lotes fora da cadeia. Obviamente, é preciso haver um backstop para manter todos honestos, e ele existe na forma de um sistema de desafio-pelo qual os lotes podem ser contestados dentro de um período estipulado por meio de uma prova de fraude. Dessa forma, a segurança é mantida sem a necessidade de verificação contínua na cadeia.

Mas aqui está a massagem: os algoritmos tradicionais à prova de fraudes têm falhas. Muitos, de fato. A participação não é apenas cara de resolução de disputa, mas Sybil ataques – onde os atacantes inundam o sistema com identidades falsas – podem sobrecarregá -las. Além disso, todo o processo é onerosamente demorado, o que significa que um adversário bem financiado, após uma campanha prolongada de recursos-exha, pode reivindicar a vitória. Sybils bem -sucedidos são análogos às forças do mal, triturando o nobre, mas superou o herói no campo de batalha.

Changer à prova de fraude de Cartesi

A confiança cerebral no protocolo de blockchain modular Cartesi Não aguentou ociosamente e ignorou as falhas potencialmente fatais do OPFP do otimismo e do arbitro. Em vez disso, suas mentes brilhantes se desenvolveram Davepretendendo -o como um “bem público” para o ecossistema Ethereum. Projetado para equilibrar a descentralização, segurança e rendimento e, com base nos torneios de arbitragem sem permissão da Cartesi (PRT), Dave é um baluarte contra maus atores, um praticamente impermeável aos ataques de Sybil devido ao fato de que mesmo um validador honesto pode manter o estado correto em relação a muitos adversários.

Molho secreto de Dave? Uma estratégia de divisão e conquista que coloca Sybils um contra o outro, forçando-os a implodir enquanto o validador honesto encontra oposição mínima. O algoritmo foi criado de tal maneira que o lançamento de um ataque de Sybil contra ele é exponencialmente caro para os atacantes, tanto em atraso quanto em recursos, em comparação com o que o ator honesto deve gastar. Um recente EthResear.ch Post Mostrou como Dave poderia impedir um ataque de 1 milhão de Sybil com apenas 7 ETH de um validador honesto.

Outra característica bacana do sistema é a velocidade de sua resolução de disputas; As disputas resolvem dentro de 2 a 5 períodos de desafio para qualquer contagem realista de Sybil, mantendo a rede cantarolando bem.

Ao contrário do OPFP ou BOLD, Dave deixa (mas não force) os validadores honestos a cooperar sem confiança, agindo como um coletivo sem confiança centralizada. Como você não precisa ser uma baleia criptográfica para combater a fraude, isso capacita até os pequenos jogadores para defender a integridade de rollups contra quem eles enfrentam. Em suma, as tentativas dos fraudadores de jogo ORS estão fadados ao fracasso: a matemática de Dave faz da manipulação uma aposta perdida.

Vira a hora, vira o… Dave

Rollups não são uma ramificação inconseqüente do mundo criptográfico, agora eles são um pilar. À medida que mais valores se acumulam em L2s e ORs, as provas de fraude herdada precisam de uma reflexão, análoga à maneira como um exército forte deve adotar novas tecnologias e à prova de futuro seu poder atraindo sangue fresco.

Dave pode ser a melhor solução, oferecendo resistência à Sybil, resolução rápida de disputas e demandas mínimas de recursos para validadores honestos. O foco da Cartesi em rollups específicos para aplicativos faz de Dave um ajuste natural, estendendo a segurança do Ethereum, mantendo os L2s magros e mesquinhos.

** Ele pode não ser o herói que queremos, mas agora que ele chegou, devemos lançar o tapete vermelho para Dave. \ Não se esqueça de gostar e compartilhar a história!