=nulo; Fundação revela compilador zkEVM automatizado para reforçar a segurança de escalabilidade do Ethereum
Summary:
=nulo; A Foundation criou um compilador de conhecimento zero tipo 1 para a Ethereum Virtual Machine (zkEVM) para resolver problemas de segurança identificados em soluções de escalabilidade Ethereum semelhantes. Em uma entrevista, o CEO Misha Komarov destacou que a tecnologia permite a compilação automática de código de programação de alto nível em circuitos zk-SNARKS. Este método oferece compatibilidade direta com a Máquina Virtual Ethereum para transações e contratos inteligentes. A abordagem da Fundação automatiza o compilador zkEVM do EVM da Ethereum usando seu compilador de circuito de dois anos. Isso garante melhor segurança, implementação eficiente e adaptabilidade às atualizações do EVM. A Fundação compartilhou seu repositório de código protótipo e especificações em 12 de dezembro.
=nulo; A Foundation, uma empresa especializada em tecnologia de conhecimento zero, revelou um novo compilador de conhecimento zero tipo 1 para a Ethereum Virtual Machine (zkEVM). Este desenvolvimento vem em resposta aos desafios de segurança identificados em soluções semelhantes de escalonamento Ethereum orientadas por conhecimento zero. Em entrevista exclusiva ao Cointelegraph, Misha Komarov, CEO e cofundador da =nil; Foundation, destacou que esta tecnologia recém-desenvolvida enfatiza a segurança e facilita a compilação automática de códigos de programação de alto nível em circuitos Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (zk-SNARKS). O zkEVM da organização destina-se a sincronizar com evmone, uma versão em C++ do ambiente de execução raiz do Ethereum.
A característica notável é que a codificação do aplicativo é processada e empacotada em provas que são apresentadas ao Ethereum em um formato semelhante ao seu EVM. Essa compatibilidade garante segurança aprimorada e execução mais rápida, pois usa bytecode idêntico, eliminando assim a necessidade de verificações de código demoradas e de alto custo. Além disso, esse método oferece compatibilidade direta com a Máquina Virtual Ethereum para transações e contratos inteligentes.
Em 2023, vários zkEVMs proeminentes foram lançados no setor. Esses protocolos de camada 2 visam acomodar grandes volumes de transações e ajudar nas operações de contratos inteligentes do Ethereum. Grandes empresas como Consensys, Polygon, StarkWare e Matter Labs trouxeram soluções de rollup ZK para facilitar alta taxa de transferência e taxas acessíveis para aplicativos, serviços e usuários de rede descentralizados.
Komarov explicou que =zero; A abordagem da Foundation gira em um compilador automático, distinguindo-o de outros zkEVMs que delineiam circuitos manualmente. Ele criticou as estratégias existentes como sendo trabalhosas, excessivamente intrincadas e suscetíveis a erros humanos. Esse problema se manifestou enquanto um bug de solidez foi descoberto nos circuitos ZK usados na mainnet zkSync Era da Matter Labs. A ChainLight, uma empresa de segurança, identificou o bug e recebeu uma recompensa de US$ 50.000 da Matter Labs em setembro de 2023. A falha poderia ter permitido que um invasor inventasse provas para blocos executados indevidamente, o que teria sido aceito pelo verificador de contratos inteligentes da mainnet Ethereum.
Refletindo sobre a recente descoberta, Komarov revelou: "Vitalik Buterin começou a discutir preocupações sobre a segurança do circuito, como o potencial de um circuito quebrado". Ele continuou: "Após uma investigação mais aprofundada, ficou claro que esses circuitos são escritos manualmente. As pessoas passam anos desenvolvendo-os, mas, essencialmente, replicam manualmente o que o EVM faz em suas representações de circuito."
Na visão de Komarov, essa abordagem manual complica as auditorias de código. O bug detectado no zkSync serve como um exemplo de tais erros potenciais. A solução idealizada por =nil; A Foundation automatiza o compilador do EVM do Ethereum usando seu compilador de circuito de dois anos. Komarov sustentou que este método garante que "a segurança do circuito coincide com a da implementação original do Ethereum".
A solução desenvolvida também pretende ser flexível para atualizações EVM alinhadas com os desenvolvimentos futuros do Ethereum, fornecendo um compilador resiliente para o zkEVM que, devido ao seu design automatizado, não requer grandes investimentos de tempo e recursos para atualizações. Consequentemente, permite que o zkEVM adote as mais recentes Propostas de Melhoria Ethereum à medida que são implementadas. A fundação compartilhou seu repositório de código de protótipo e especificações em 12 de dezembro.
Published At
12/12/2023 6:00:00 PM
Disclaimer: Algoine does not endorse any content or product on this page. Readers should conduct their own research before taking any actions related to the asset, company, or any information in this article and assume full responsibility for their decisions. This article should not be considered as investment advice. Our news is prepared with AI support.
Do you suspect this content may be misleading, incomplete, or inappropriate in any way, requiring modification or removal?
We appreciate your report.