Odaily星球日报讯 A empresa de segurança Web3 Certora anunciou que recebeu financiamento da Fundação Ethereum, cujo valor específico ainda não foi divulgado. Os fundos serão utilizados para apoiar a verificação da correção da pré-compilação automática, uma tecnologia de otimização fundamental na computação de conhecimento zero, desenvolvida pela Powdr Labs para o projeto zkEVM da Fundação Ethereum. Segundo informações, a Certora planeja tornar open source seu framework de especificação, prova e verificação. (Chainwire)
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.
Empresa de segurança Web3 Certora recebe financiamento da Fundação Ethereum
Odaily星球日报讯 A empresa de segurança Web3 Certora anunciou que recebeu financiamento da Fundação Ethereum, cujo valor específico ainda não foi divulgado. Os fundos serão utilizados para apoiar a verificação da correção da pré-compilação automática, uma tecnologia de otimização fundamental na computação de conhecimento zero, desenvolvida pela Powdr Labs para o projeto zkEVM da Fundação Ethereum. Segundo informações, a Certora planeja tornar open source seu framework de especificação, prova e verificação. (Chainwire)