Certora lanza la primera plataforma segura de codificación con IA para contratos inteligentes
21 de noviembre de 2025 – Tel Aviv-Yafo, Israel
Certora, la plataforma de aseguramiento de seguridad full-stack en la que confían los equipos más avanzados de Web3, anunció hoy Certora AI Composer, una plataforma de codificación de IA de código abierto que combina inteligencia artificial con verificación formal para hacer que el desarrollo de smart contracts sea más rápido y seguro.
A diferencia de las herramientas genéricas de “IA para código” que se centran en la velocidad y la comodidad, Certora AI Composer garantiza que cada fragmento generado por IA cumpla con las reglas matemáticas de seguridad antes de ejecutarse. Al integrar la tecnología probada de verificación formal de Certora directamente en el ciclo de generación de IA, los desarrolladores pueden explorar ideas de diseño con confianza, sabiendo que los invariantes de seguridad se verifican continuamente en lugar de adaptarse posteriormente.
“Usar IA nunca debe significar comprometer la seguridad. Certora AI Composer demuestra que la IA y la verificación formal pueden trabajar juntas para hacer que el desarrollo de smart contracts sea confiable por defecto”, explicó Mooly Sagiv, fundador de Certora. “Este lanzamiento alfa es nuestra invitación a la comunidad para que nos ayude a dar forma al futuro de la codificación autónoma segura.”
La versión Alpha de Certora AI Composer será de código abierto a partir del 4 de diciembre y estará disponible para la comunidad en GitHub. Se anima a los desarrolladores a experimentar, proporcionar comentarios y contribuir a establecer un nuevo estándar para el desarrollo verificado impulsado por IA.
Características clave:
- Verificaciones de verificación formal integradas para el código generado por IA
- Extensibilidad de código abierto para construir tus propios módulos de seguridad
- Respaldado por Certora Prover, el motor de verificación de confianza en la industria de Certora
Certora también organizará un evento en vivo el 4 de diciembre titulado “AI Meets Verification: An Open Discussion with Certora Researchers”, que proporcionará una descripción detallada de cómo funciona Certora AI Composer y cómo puede mejorar la seguridad.
Los usuarios pueden inscribirse en el evento AQUÍ y seguirlos en Twitter en @CertoraInc para futuras actualizaciones y recordatorios.
Sobre Certora
Certora es el socio de aseguramiento de seguridad en el que confían los equipos más avanzados de Web3. Fundada en 2018 por pioneros en lenguajes de programación y métodos formales, Certora ayuda a protocolos líderes como Lido, Aave, Uniswap y Compound a asegurar miles de millones en valor con confianza.
Descargo de responsabilidad: El contenido de este artículo refleja únicamente la opinión del autor y no representa en modo alguno a la plataforma. Este artículo no se pretende servir de referencia para tomar decisiones de inversión.
También te puede gustar
¿Se desvanecen las esperanzas de una bajada de tasas en diciembre? Bitcoin borra las ganancias acumuladas en el año
Tras la publicación de los datos de empleo no agrícola de EE. UU. de septiembre, que se habían retrasado 43 días, el mercado prácticamente ha descartado la expectativa de un recorte de tasas en diciembre.
Manual de oro｜Guía paso a paso para la interacción temprana con Circle Arc
El mercado está en baja, pero no nos rendimos.
Informe matutino de Mars | Los beneficios impresionantes de Nvidia inyectan optimismo en el mercado, mientras las actas de la Reserva Federal muestran crecientes discrepancias y ponen en duda un recorte de tasas en diciembre
El informe financiero de Nvidia superó las expectativas y reforzó la confianza del mercado, mientras continúa la fiebre de inversiones en IA; las actas de la Reserva Federal muestran un aumento en las discrepancias sobre los recortes de tasas para diciembre; el mercado cripto experimenta una expansión de los ETF, pero enfrenta desafíos de liquidez; Ethereum propuso EIL para abordar el problema de la fragmentación en L2; la falla de Cloudflare genera preocupaciones sobre la dependencia de servicios centralizados. Resumen generado por Mars AI. Este resumen ha sido producido por el modelo Mars AI y su precisión y exhaustividad están en continuo proceso de mejora.
El 97% de caída no la mató: la sangrienta historia de ocho años de Solana revela que los verdaderos fuertes nunca siguen el guion.
El cofundador de Solana, Anatoly Yakovenko, repasó los orígenes, el desarrollo, los desafíos enfrentados y la visión futura de Solana, destacando la eficiencia en las transacciones de la blockchain de alto rendimiento y la integración integral de servicios financieros. Resumen generado por Mars AI. Este resumen ha sido generado por el modelo Mars AI, cuya precisión y exhaustividad aún están en proceso de mejora continua.
En tendencia
MásPrecios de las criptos
Más
