Según el informe más reciente, en el primer trimestre de 2025, la Organización Ethereum otorgó dos subvenciones de investigación a CertiK, una entidad reconocida en el campo de la seguridad blockchain. Estos proyectos se centran en herramientas de desarrollo y métodos formales para verificación de zkVM.
Evaluación de la herramienta Verus: CertiK evaluará Verus, una herramienta de verificación en Rust, para comprobar los circuitos escritos en Rust y los módulos de compilación de EVM.
Simplificación de la Verificación zkVM: Este proyecto desarrolla una estrategia para simplificar la verificación zkVM, centrándose en la aritmética modular y los casos de múltiples valores empaquetados en un elemento de dominio.
La tecnología de verificación oficial de CertiK se ha aplicado ampliamente en muchos proyectos líderes de Web3 como zkWasm, el contrato principal TON, Cosmos SDK y HyperEnclave TEE del Ant Group. El contenido es solo informativo del mercado y no constituye una recomendación de inversión.
¡Gracias por leer este artículo!
¡Dale Like, Comenta y Sigue a TinTucBitcoin para estar siempre actualizado con las últimas noticias sobre el mercado de criptomonedas y no perderte ninguna información importante!
El contenido es solo de referencia, no una solicitud u oferta. No se proporciona asesoramiento fiscal, legal ni de inversión. Consulte el Descargo de responsabilidad para obtener más información sobre los riesgos.
CertiK ganó 2 subvenciones de la Ethereum Foundation
Según el informe más reciente, en el primer trimestre de 2025, la Organización Ethereum otorgó dos subvenciones de investigación a CertiK, una entidad reconocida en el campo de la seguridad blockchain. Estos proyectos se centran en herramientas de desarrollo y métodos formales para verificación de zkVM.
Evaluación de la herramienta Verus: CertiK evaluará Verus, una herramienta de verificación en Rust, para comprobar los circuitos escritos en Rust y los módulos de compilación de EVM.
Simplificación de la Verificación zkVM: Este proyecto desarrolla una estrategia para simplificar la verificación zkVM, centrándose en la aritmética modular y los casos de múltiples valores empaquetados en un elemento de dominio.
La tecnología de verificación oficial de CertiK se ha aplicado ampliamente en muchos proyectos líderes de Web3 como zkWasm, el contrato principal TON, Cosmos SDK y HyperEnclave TEE del Ant Group. El contenido es solo informativo del mercado y no constituye una recomendación de inversión.
¡Gracias por leer este artículo!
¡Dale Like, Comenta y Sigue a TinTucBitcoin para estar siempre actualizado con las últimas noticias sobre el mercado de criptomonedas y no perderte ninguna información importante!