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!
O conteúdo serve apenas de referência e não constitui uma solicitação ou oferta. Não é prestado qualquer aconselhamento em matéria de investimento, fiscal ou jurídica. Consulte a Declaração de exoneração de responsabilidade para obter mais informações sobre os riscos.
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!