La firma de seguridad Web3 Certora ha anunciado que ha recibido una subvención de la Fundación Ethereum según Odaily. El monto exacto de la financiación no ha sido revelado. La subvención se utilizará para apoyar el trabajo de Certora en la verificación de la corrección de la precompilación automatizada, que es un método de optimización importante en la computación de conocimiento cero. Esta tecnología fue desarrollada por Powdr Labs para el proyecto zkEVM de la Fundación Ethereum. Certora también planea hacer que sus especificaciones, pruebas y marco de verificación sean completamente de código abierto para el ecosistema más amplio de Web3. $ETH

ETH

2,077.04

-0.31%

#Certora #EthereumFoundation #zkEVM #ZeroKnowledge $BTC

#Web3Security #BlockchainSecurity #ZKTechnology #CryptoResearch $BNB #OpenSourceWeb3