Empresa de tecnologia de conhecimento zero = zero; A Foundation desenvolveu um novo compilador Ethereum Virtual Machine (zkEVM) de conhecimento zero tipo 1 para abordar questões de segurança identificadas em soluções de escalonamento Ethereum semelhantes com tecnologia ZK.
Falando exclusivamente ao Cointelegraph, =nil; O CEO e cofundador da fundação, Misha Komarov, diz que a tecnologia prioriza a segurança e permite que o código de programação de alto nível seja compilado automaticamente em circuitos de Argumento de Conhecimento Não-Interativo Sucinto de Conhecimento Zero (zk-SNARKS).
O zkEVM da empresa foi projetado para ser compatível com o evmone, que é uma versão C++ do ambiente de execução básico do Ethereum. A principal conclusão é que o código dos aplicativos é processado e acumulado como provas enviadas ao Ethereum no mesmo formato de seu EVM.
Relacionado: Ethereum L2 Starknet visa descentralizar os principais componentes de sua rede escalonável
A compatibilidade é promovida para garantir melhor segurança e implementação mais rápida, visto que o bytecode é o mesmo e elimina a necessidade de auditorias de código demoradas e caras. A abordagem também fornece transações e contratos inteligentes diretamente compatíveis com a Máquina Virtual Ethereum.
Vários zkEVMs de alto perfil chegaram ao mercado em 2023. Esses protocolos de camada 2 visam ajudar o Ethereum a processar grandes cargas de transações e funções de contratos inteligentes. A Cointelegraph cobriu isso detalhadamente, com empresas como Consensys, Polygon, StarkWare e Matter Labs lançando soluções ZK-rollup para fornecer recursos de alto rendimento e taxas baixas para aplicativos, serviços e usuários de rede descentralizados.
Relacionado: Matter Labs recua quando zkSync lança portal de ecossistema gerenciado por DappRadar
Como explica Komarov, =nil; A solução da Foundation depende de um compilador automatizado que contrasta com o design de outros zkEVMs, que definem circuitos manualmente. Ele descreve as abordagens existentes como “demoradas” e “excessivamente complexas”, o que também corre o risco de introduzir erro humano.
Essas preocupações ficaram evidentes na descoberta de um bug de integridade nos circuitos ZK usados na rede principal zkSync Era do Matter Labs. A empresa de segurança ChainLight recebeu uma recompensa de 50.000 USD Coin (USDC) da empresa por identificar a vulnerabilidade em setembro de 2023.
Relacionado: Cofundador da Polygon: aposta de US$ 1 bilhão em rollups ZK valendo a pena
O bug teria permitido que um invasor produzisse provas para blocos executados de forma inválida, que o verificador de contrato inteligente na rede principal do Ethereum teria aceitado. A Matter Labs implantou uma correção e concedeu à ChainLight uma recompensa por bug, a primeira reivindicada para um bug do circuito ZK na Era zkSync.
“Vitalik Buterin começou a falar sobre questões de segurança, como o que aconteceria se um circuito fosse quebrado”, explica Komarov.
“Começamos a investigar isso. O problema tornou-se óbvio: esses circuitos são escritos manualmente. As pessoas passaram anos construindo-o, mas basicamente recria a mesma lógica que o EVM faz, manualmente na representação do circuito.”
Komarov acrescenta que esse método torna a auditoria de código extremamente difícil. O bug zkSync é um exemplo do potencial de erro envolvido em circuitos definidos manualmente. =Nada; A abordagem da Foundation é automatizar o compilador do EVM da Ethereum usando seu compilador de circuito desenvolvido nos últimos dois anos.
“Isso é o mais próximo que podemos chegar do circuito ter a mesma segurança da implementação original do Ethereum. Se isso estiver quebrado, então o circuito está quebrado.”
A solução também foi projetada para ser adaptável às mudanças de EVM à medida que o roteiro da Ethereum continua, fornecendo um compilador zkEVM “à prova de futuro” que não requer recursos e tempo significativos para atualização, devido ao seu design automatizado. Isso permite que o zkEVM integre as mais recentes propostas de melhoria do Ethereum à medida que entram em vigor.
A fundação publicou seu repositório de código protótipo e especificações em 12 de dezembro.
Revista: Veja como os ZK-rollups da Ethereum podem se tornar interoperáveis
source – cointelegraph.com
