Fundação Ethereum investe ‘dezenas de milhões’ nesta nova tecnologia

Por

Oi pessoal! Você já cansou de viver na pobreza enquanto as criptomoedas estão curtindo uma vida de luxo? Então junte-se ao nosso canal @Crypnoticias no Telegram, onde compartilhamos notícias sobre criptomoedas em português - porque quem precisa de dinheiro de verdade quando você pode nadar em Dogecoins? Venha para o lado selvagem da especulação financeira, onde o único risco é perder tudo... ou ganhar um foguete para a lua! 😂💰🚀

☞ Junte-se ao Telegram

Como um investidor experiente em criptografia com uma tendência para se manter atualizado sobre os avanços tecnológicos no espaço blockchain, considero o recente investimento de dezenas de milhões da Fundação Ethereum (EF) em Máquinas Virtuais de Conhecimento Zero (zkVMs) um desenvolvimento emocionante. Com anos de experiência, posso atestar a importância da escalabilidade e da segurança em qualquer ecossistema de criptomoeda.

A Fundação Ethereum (EF) revelou recentemente uma promessa monetária significativa, destinando “muitos milhões” de dólares para o progresso em Máquinas Virtuais de Conhecimento Zero (zkVMs), uma tecnologia inovadora que deverá aumentar a escalabilidade e a segurança dentro da rede Ethereum.

Justin Drake, pesquisador da Fundação Ethereum, divulgou seu investimento postando no X: “A Fundação Ethereum está investindo dezenas de milhões em zkVMs: verify-zkevm.org — a verificação formal do zkRISC-V pode ser encontrada em poseidon-initiative. informações — a criptoanálise do Poseidon está disponível em ethproofs.org — L2beat para zkVMs estará pronto em breve. Se você estiver interessado em contribuir com os bens públicos relacionados aos zkVMs, sinta-se à vontade para enviar uma mensagem. meu!

Fundação Ethereum investe milhões em pesquisa zkEVM

No centro deste investimento está o Projeto de Verificação Formal zkEVM, que é totalmente explicado em verify-zkevm.org. Este projeto visa incorporar técnicas formais de verificação em zkEVMs, aumentando assim a sua confiabilidade e segurança. De acordo com o resumo do projeto, a Fundação Ethereum (EF) se esforça para criar zkEVMs “livres de defeitos”, concedendo fundos e recompensas ao longo de 18 a 24 meses, abrangendo vários estágios.

O projeto se concentra em educar as pessoas sobre a implementação de técnicas de verificação em zkEVMs, registrando seu uso e incentivando maior adoção. Além disso, procura melhorar a colaboração entre várias equipas dentro da rede, criar ferramentas e padrões para gestão e expansão, e explorar formas de incorporar métodos de verificação formal de forma integrada nos fluxos de trabalho de desenvolvimento e manutenção de software.

Projeto RISC-V zkVM: Concentra-se na validação da implementação autêntica de uma CPU RISC-V, operações aritméticas e projetos de circuitos. Ele prioriza a manutenção de que os circuitos não sejam muito frouxos nem muito rígidos em suas restrições e que os cálculos sejam precisos. A verificação formal do código pré-compilado também é incorporada.

EVM Verification Track: Pretende mostrar que uma Máquina Virtual Ethereum (EVM) funcionando na arquitetura RISC-V segue as especificações EVM. Os candidatos à verificação devem fornecer implementações EVM eficientes e compiláveis, compatíveis com zkVMs RISC-V, como revm/Reth.

Campo de Criptografia: Visa validar as particularidades, provas matemáticas e aplicações práticas de componentes e procedimentos criptográficos fundamentais, como FRI e Circle STARKs, que são aplicados em zkVMs, enfatizando seus processos de integração.

O projecto sublinha a adaptabilidade nas estratégias para capitalizar o conhecimento da comunidade e tornar mais simples a avaliação de diversas técnicas. Por outras palavras, encorajaremos e acomodaremos vários métodos quando viável, de modo a maximizar a riqueza de conhecimento dentro da nossa comunidade. Além disso, metodologias eficazes poderiam potencialmente receber preferência em fases futuras.

No momento, estamos aceitando inscrições para o Estágio 1, que envolve a criação de estruturas robustas e escaláveis. Seus envios devem conter esboços abrangentes, estratégias técnicas, detalhes da organização do projeto e composições da equipe.

Um aspecto importante do investimento da EF envolve a Iniciativa Poseidon, detalhada em poseidon-initiative.info. O Poseidon e o Poseidon2 são funções hash otimizadas, desenvolvidas especialmente para procedimentos de computação verificáveis. Eles são projetados para reduzir o tamanho do circuito em campos principais. Essas funções hash especializadas desempenham um papel crucial em vários aplicativos Ethereum que dependem de provas de conhecimento zero.

Este projeto se concentra em melhorar a avaliação de segurança das instâncias Poseidon, avaliando sua compatibilidade para aplicações críticas dentro do Ethereum. A primeira fase deste empreendimento continua até dezembro de 2025, enquanto a segunda fase está prevista para começar em meados de 2025 e terminar em dezembro de 2026. O Ethereum Foundation Poseidon Group (EFPG), liderado por profissionais como George Kadianakis, Dmitry Khovratovich e Antonio Sanso , supervisiona o projeto. Um conselho consultivo composto por figuras proeminentes como Eli Ben-Sasson da StarkNet e Daira-Emma Hopwood da ZCash fornece orientação para esta iniciativa.

Um aspecto significativo da Iniciativa Poseidon é seu extenso programa de recompensas, que oferece uma soma combinada de US$ 130.000 para conquistas inovadoras em criptoanálise. Essas recompensas são distribuídas em diferentes níveis de segurança em múltiplas plataformas Poseidon, motivando os pesquisadores a descobrir pontos fracos ou confirmar hipóteses de segurança. Por exemplo, lidar com sucesso com um ataque de pré-imagem de 32 bits no Poseidon-256 poderia render a um pesquisador US$ 10.000, enquanto níveis de segurança mais altos oferecem recompensas potenciais de até US$ 15.000.

Além disso, esta iniciativa incentiva eventos como workshops, conferências e instituições educacionais centradas no estudo da criptografia Poseidon. Esses encontros promovem o trabalho em equipe e a troca de informações na área de criptografia. Além disso, são oferecidas bolsas de pesquisa de curto prazo no valor entre US$ 20.000 e US$ 40.000 para resolver questões urgentes de segurança relacionadas a variações do Poseidon, ataques à base de Groebner e novos métodos de ataque.

Até que ethproofs.org conclua sua fase de desenvolvimento, prevê-se que funcionará como um hub para integração perfeita de L2beat com Máquinas Virtuais de Conhecimento Zero (zkVMs). Espera-se que esta integração aumente a transparência e a responsabilidade nos aspectos de desempenho e segurança das operações zkVM.

Até o momento, a ETH era negociada a US$ 3.590.

2024-11-30 03:12