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!
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
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!