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údo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
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)