De acordo com o relatório mais recente, no primeiro trimestre de 2025, a Organização Ethereum concedeu duas bolsas de pesquisa à CertiK, uma entidade renomada na área de segurança blockchain. Estes projetos concentram-se em ferramentas de desenvolvimento e métodos formais para verificação de zkVM.
Avaliação da Ferramenta Verus: A CertiK irá avaliar o Verus, uma ferramenta de verificação em Rust, com o objetivo de analisar circuitos escritos em Rust e módulos de pré-compilação do EVM.
Simplificação da Verificação zkVM: Este projeto desenvolve uma estratégia para simplificar a verificação da zkVM, com foco na aritmética modular e nos casos de múltiplos valores empacotados em um único elemento de domínio.
A tecnologia de verificação oficial da CertiK foi amplamente aplicada em vários projetos Web3 de destaque, como zkWasm, o contrato principal TON, Cosmos SDK e HyperEnclave TEE do Ant Group. O conteúdo é apenas informativo sobre o mercado e não deve ser considerado como uma recomendação de investimento.
Obrigado por ler este artigo!
Por favor, curta, comente e siga TinTucBitcoin para se manter atualizado com as últimas notícias do mercado de criptomoedas e não perder nenhuma informação importante!
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
CertiK ganhou 2 subsídios da Ethereum Foundation
De acordo com o relatório mais recente, no primeiro trimestre de 2025, a Organização Ethereum concedeu duas bolsas de pesquisa à CertiK, uma entidade renomada na área de segurança blockchain. Estes projetos concentram-se em ferramentas de desenvolvimento e métodos formais para verificação de zkVM.
Avaliação da Ferramenta Verus: A CertiK irá avaliar o Verus, uma ferramenta de verificação em Rust, com o objetivo de analisar circuitos escritos em Rust e módulos de pré-compilação do EVM.
Simplificação da Verificação zkVM: Este projeto desenvolve uma estratégia para simplificar a verificação da zkVM, com foco na aritmética modular e nos casos de múltiplos valores empacotados em um único elemento de domínio.
A tecnologia de verificação oficial da CertiK foi amplamente aplicada em vários projetos Web3 de destaque, como zkWasm, o contrato principal TON, Cosmos SDK e HyperEnclave TEE do Ant Group. O conteúdo é apenas informativo sobre o mercado e não deve ser considerado como uma recomendação de investimento.
Obrigado por ler este artigo!
Por favor, curta, comente e siga TinTucBitcoin para se manter atualizado com as últimas notícias do mercado de criptomoedas e não perder nenhuma informação importante!