Certora recibe una subvención de la Fundación Ethereum para impulsar el desarrollo de zkEVM.

Certora, una plataforma de seguridad en la red Web3, anunció que ha recibido una subvención de investigación de la Fundación Ethereum. Este financiamiento sirve para apoyar la verificación de códigos automáticamente compilados utilizando pruebas de conocimiento cero. Estas optimizaciones son cruciales para la iniciativa zkEVM de la Fundación Ethereum.De acuerdo con el anuncio..

La subvención se utilizará para desarrollar nuevas técnicas de verificación, con el fin de garantizar la corrección del motor de ejecución zkEVM. Los autocompiladores son componentes de circuitos ZK de nivel básico que mejoran el rendimiento y reducen la carga computacional. Certora…Colabore con PowDr Labs.Con esta iniciativa.

El zkEVM se considera un paso importante hacia una red de Ethereum más escalable y segura. Su objetivo es reemplazar el modelo actual de ejecución de contratos inteligentes por una alternativa basada en tecnologías ZK.El director ejecutivo de Certora enfatizó queLa importancia de la corrección en el conjunto de herramientas utilizadas.

¿Por qué ocurrió ese movimiento?

Los componentes auto-compilados son aquellos que se extraen automáticamente para optimizar el rendimiento en las operaciones de criptografía y aritmética realizadas en el zkEVM. Esto permite realizar operaciones más rápidas en el zkEVM. Esta optimización es…Es fundamental para la viabilidad del zkEVM..

El papel de Certora en este proyecto se debe a su experiencia en tecnologías ZK y en la verificación formal de datos. La empresa cuenta con una historia de éxito en la protección de protocolos web3 importantes, como Aave y Uniswap.Esta subvención apoya a…El desarrollo de marcos de verificación más sólidos.

La donación de la Fundación Ethereum está en línea con su misión de promover infraestructuras descentralizadas. La fundación apoya la investigación en código abierto con el objetivo de mejorar la escalabilidad y la eficiencia de Ethereum.Esta financiación es de gran ayuda.Garantizar la corrección de las herramientas fundamentales utilizadas.

Lo que están observando los analistas

Certora abrirá su trabajo en formato de código abierto, incluyendo las especificaciones y los resultados obtenidos durante el desarrollo. Esto permite que los desarrolladores de rollups y los investigadores de ZK puedan reutilizar la infraestructura desarrollada. El enfoque de código abierto…Apoya una adopción más amplia.De las tecnologías ZKEMV.

Alexander Hicks, investigador de la Fundación Ethereum, destacó el potencial de los componentes que se pueden compilar automáticamente. Estos componentes reducen la necesidad de verificaciones manuales y podrían conducir a nuevas técnicas que podrían aplicarse más allá del proyecto actual. El foco está en…Soluciones reutilizables y escalables..