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!