O co-fundador da Ethereum, Vitalik Buterin, propôs uma nova estrutura para a segurança do Rollup Layer-2 (L2), que poderia trazer finalidade mais rápida e garantias de confiança mais fortes ao ecossistema de escala do Ethereum.
Em uma proposta recente, Buterin descreveu um roteiro construído em torno de uma arquitetura à prova de híbridos que combina provas de zero conhecimento, rollups otimistas e ambientes de execução confiáveis (TEES), evitando dependência excessiva em qualquer sistema único.
A proposta chega à medida que a paisagem L2 do Ethereum amadurece. Vários rollups atingiram o estágio 1 no roteiro de escala do Ethereum e as atualizações futuras – como Pectra e Fusaka – devem expandir significativamente a disponibilidade de blobs de dados para uso de rollup.
Buterin disse que o foco está agora em empurrar esses rollups para o estágio 2, o que requer um maior grau de falta de confiança e finalidade mais rápida da transação. No curto prazo, ele acredita que a abordagem mais robusta é um sistema de três proveres, onde dois em cada três mecanismos devem validar a raiz de estado de um rollup para alcançar a finalidade.
Sob esse modelo, se um provérbio ZK e um prover aprovar uma raiz de estado, o resultado será finalizado imediatamente. Se apenas um aprovar, o sistema voltar a um modelo otimista que requer um período de desafio de sete dias.
A camada otimista atua como um árbitro final, impedindo que os sistemas semi-desconfiados substituam as decisões quando sistemas mais confiáveis discordam.
Finalidade sem confiança
Buterin enfatizou que essa arquitetura foi cuidadosamente projetada para atender às metas específicas de segurança e descentralização descritas para os rollups do estágio 2.
Ele fornece uma finalidade rápida nas operações normais, garante que os sistemas de prova minimizados a confiança não possam ser substituídos por componentes semi-iluminados e reduz a dependência da geração atual de sistemas ZK, que permanecem vulneráveis a bugs e explorações de código compartilhado.
Ele também introduziu um mecanismo para um Conselho de Segurança servir como uma salvaguarda. Este conselho seria capaz de atualizar imediatamente a lógica do TEE em caso de falha e fazer alterações atrasadas no ZK ou em sistemas otimistas.
Em cenários raros – como provadores que produzem resultados contraditórios – o conselho teria autoridade para intervir instantaneamente, preservando a integridade do sistema.
Segundo Buterin, essa combinação – um provador ZK, um provador otimista e um tee – representa a única maneira viável de alcançar os objetivos do estágio 2 do Ethereum sem sacrificar a velocidade ou a segurança.
Os sistemas ZK e OP são baseados em suposições matemáticas fundamentalmente diferentes, tornando extremamente baixa a probabilidade de vulnerabilidades compartilhadas. Como tal, combiná -los com uma camiseta atinge um equilíbrio prático que é improvável que falhe em conjunto.
Escalando com bolhas e provas agregadas
Olhando além da arquitetura de prova, Buterin também abordou a camada de dados em evolução da Ethereum. Ele apontou para a atualização do Pectra, esperada dentro de algumas semanas, o que aumentará o espaço do blob para seis unidades por bloco.
Uma atualização subsequente, Fusaka, poderia aumentar esse número para 72, expandindo drasticamente a largura de banda de dados disponível para rollups. Mais espaço do blob reduz o congestionamento e torna as transações L2 mais baratas e escaláveis.
O roteiro também chamou a atenção para uma peça que faltava na infraestrutura do Ethereum: uma camada padronizada de agregação de prova em todo o ecossistema. Buterin argumentou que as aplicações em toda a pilha Ethereum-desde rollups e protocolos de privacidade até ferramentas de recuperação de carteira-não deveriam enviar provas individuais de conhecimento zero.
Em vez disso, um mecanismo de agregação compartilhado permitiria que todos esses aplicativos combinassem suas saídas em uma única prova unificada. Isso reduziria drasticamente os custos de gás, espalhando a carga de cerca de 500.000 gases de submissão de provas em todos os participantes.
Buterin observou que a comunidade Ethereum já está a caminho de produzir ZK-EVMs capazes de gerar provas em um único slot, mesmo sob as piores condições.
À medida que esses sistemas amadurecem e eliminam bugs críticos, as camisetas poderiam eventualmente ser totalmente eliminadas. Nesse cenário, os rolhs do Ethereum alcançariam total falta de confiança, com finalidade instantânea e dependência zero de componentes semi-iluminados.
Mencionado neste artigo
source – cryptoslate.com
