Odaily星球日报讯 La empresa de seguridad Web3 Certora anunció que ha recibido financiamiento de la Fundación Ethereum, cuyo monto específico no ha sido divulgado. Los fondos se utilizarán para apoyar la verificación de la corrección de la precompilación automática, una tecnología clave de optimización en cálculos de conocimiento cero, desarrollada por Powdr Labs para el proyecto zkEVM de la Fundación Ethereum. Se informa que Certora planea hacer de código abierto su marco de especificaciones, pruebas y verificación. (Chainwire)
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
La empresa de seguridad Web3 Certora recibe financiación de la Fundación Ethereum
Odaily星球日报讯 La empresa de seguridad Web3 Certora anunció que ha recibido financiamiento de la Fundación Ethereum, cuyo monto específico no ha sido divulgado. Los fondos se utilizarán para apoyar la verificación de la corrección de la precompilación automática, una tecnología clave de optimización en cálculos de conocimiento cero, desarrollada por Powdr Labs para el proyecto zkEVM de la Fundación Ethereum. Se informa que Certora planea hacer de código abierto su marco de especificaciones, pruebas y verificación. (Chainwire)