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!
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
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!