Certora ha completado la verificación formal de la extensión del token de Solana, descubriendo múltiples optimizaciones y mejoras de seguridad.

🌜🌱🌛 Mamo lo mantiene simple sin comprometer la seguridad. 🛡️ Auditado por @HalbornSecurity & @CertoraInc 🐛 Respaldado por un programa de recompensas por errores de 250.000 $ de @code4rena 🐮 Aprovecha @CoWSwap para la ejecución de operaciones de valor justo ⛓️ Oráculos de precios de @Chainlink

🧠 ¿Cómo demuestras que un protocolo de DeFi trata a todos los usuarios de manera justa? Con verificación formal. En nuestra última publicación de blog, mostramos cómo Certora ayudó a @infinifilabs a diseñar mecánicas de redención matemáticamente justas. La lógica de redención puede ser un hervidero de casos límite ocultos y exploits económicos. Para infiniFi, modelamos la equidad del proceso de redención que garantiza que las solicitudes de los usuarios se procesen según el tiempo. Usando especificaciones formales integradas en el código, probamos exhaustivamente las suposiciones clave, incluyendo: ✅ Reglas precisas ✅ Sin comportamientos indefinidos ✅ Protección robusta contra casos extremos como redenciones parciales y dilución de tokens ¿El resultado? Un sistema de redención que es demostrablemente justo. Y un protocolo de DeFi con garantías más sólidas. 🔎 Sumérgete en el desglose completo aquí: https://t.co/98CzWiZfhV

¡Muchísimas gracias a todos los que se unieron a la Certora Run en la soleada Cannes! 🏃🏃🏻‍♀️¿Dónde deberíamos empezar a correr la próxima vez? 👀 https://t.co/gi1l6pbVGQ

Hola, @raave’rs 👻 Fiesta esta noche, Certora Run mañana. ¿Quién se apunta? 👀

¡El DeFi Summer Day de @aave está a la vuelta de la esquina! Si vas a asistir, ven a charlar sobre todo lo relacionado con la seguridad con el equipo de Certora y únete a nuestro panel para aprender cómo hacer que DeFi sea robusto y resiliente. ¡Nos vemos! 👇 https://t.co/UmPdOWNO62

¡Atención, asistentes de @EthCC! 🏃‍♂️🌊 ¡Únase a nosotros para nuestra emblemática Certora 5K Run & Walk en la hermosa Cannes! Ya sea que sea corredor o caminante, todos son bienvenidos. 📅 3 de julio 🕐 Comienzo por la mañana 💥 Regístrese ahora https://t.co/4wwqNvxXAn

¡SÍ! Auditorías, auditorías, auditorías… 📰 Estamos entusiasmados de ser el auditor principal para un protocolo DeFi de primer nivel: Lido, un pilar clave del ecosistema. 🫡 Lido V3 introduce nuevas herramientas poderosas: Staking Vaults (stVaults) y el Vault Hub, que permiten opciones de staking más flexibles. Las instituciones pueden ejecutar sus propios validadores, los stakers avanzados pueden aprovechar los bucles stETH, y cada vault está aislado para limitar el riesgo. Esta no es la primera vez que Certora trabaja con Lido. Anteriormente revisamos la actualización de Lido V2 y lideramos la revisión de diseño para su implementación de Dual Governance. Ahora Certora está fortaleciendo el protocolo V3 contra errores, exploits o inconsistencias lógicas. Una vez que las auditorías estén completas, Lido V3 estará en camino para su implementación en la red principal. Estamos entusiasmados de verlo en vivo en el mundo 👀

¿Crees que la verificación formal es solo para doctores? Piénsalo de nuevo. @ChandrakanaNaN explica cómo Sunbeam de Certora hace que la verificación de contratos inteligentes de Soroban en @StellarOrg sea accesible para todos. 👇 https://t.co/UdsBbp6Usc

EVENTO DE PALABRA PRINCIPAL: Aquí hay 5 ideas clave del discurso de @thejonanshow en ETHDenver 2025.1. Importancia de la Verificación FormalJonan enfatizó que la verificación formal proporciona pruebas matemáticas del comportamiento del programa, lo cual puede ser crucial para sistemas complejos. Señaló que aunque no garantiza la corrección de todo el programa, permite a los desarrolladores afirmar ciertos invariantes dentro de sus sistemas. Por ejemplo, afirmar que el saldo colectivo de un banco nunca debería caer por debajo de cero ejemplifica cómo se pueden verificar reglas específicas para mantener la integridad del sistema.2. Iniciativa de Código Abierto por CertoraJonan compartió noticias emocionantes sobre la empresa para la que trabaja, Certora, que recientemente ha abierto su verificador para la verificación formal. Esta iniciativa tiene como objetivo simplificar el proceso de verificación formal, haciendo la herramienta más accesible para los desarrolladores de software. Él animó a los asistentes a probarla, destacando su facilidad de uso y los beneficios potenciales para mejorar la fiabilidad del software.3. Conceptos erróneos sobre la Verificación FormalDe acuerdo con Jonan, muchas personas fuera del espacio Web3 tienen conceptos erróneos sobre la verificación formal, a menudo creyendo que es poco práctico basado en puntos de vista obsoletos. Él enfatizó que las aplicaciones modernas pueden beneficiarse significativamente de los métodos formales, citando que aunque probar cada aspecto de un sistema complejo no siempre es factible, los invariantes esenciales pueden y deben ser verificados para evitar errores significativos.4. Cambio Hacia la Programación DeclarativaJonan argumentó a favor de un cambio de la programación imperativa a la declarativa, enfatizando que los ingenieros de software a menudo programan de una manera detallada y procedimental en lugar de definir los resultados deseados. Este cambio podría permitir que el software determine cómo lograr los resultados especificados, potencialmente reduciendo la complejidad y facilitando una mejor integración con las tecnologías de IA que podrían asistir en el desarrollo de software.5. El Impacto de la IA en el Desarrollo de SoftwareJonan señaló la creciente integración de la IA en los flujos de trabajo de desarrollo de software. Si bien reconoció la eficiencia que puede aportar la IA, planteó preocupaciones sobre la tendencia de la IA a "alucinar" o producir resultados inesperados. Él argumentó por la necesidad de métodos robustos de verificación formal para detectar discrepancias que pueden surgir al usar la IA, manteniendo que los invariantes claros podrían proteger contra tales errores.Puedes ver nuestras ideas completas aquí, 100% gratis: https://t.co/bQ2B2KBeCc

📈 El agente AI Mamo se disparó un 55%, y su capitalización de mercado alcanzó los 50 millones de dólares en solo 6 días El CEO de Coinbase, @brian_armstrong, respondió personalmente al post del fundador de Mamo, y luego de registrarse para usar el agente financiero AI, $MAMO se disparó un 55%, convirtiéndose en el token más activo en términos de volumen de comercio en la ecología Virtuals en las últimas 24 horas, con una capitalización de mercado que superó los 50 millones de dólares en solo 6 días. 🔍 Descripción del proyecto @Mamo_agent: ・Mamo es tu agente financiero AI personal, pero asegúrate de que tus activos estén completamente autogestionados, Mamo no tiene acceso ni control, y ha pasado la auditoría de seguridad de @CertoraInc y @HalbornSecurity. ・El fundador @LukeYoungblood también fundó el proyecto DeFi @MoonwellDeFi, con una TVL de más de 250 millones de dólares, y tiene una fuerte vinculación con Mamo. ・Los miembros del equipo provienen de @Apple, @X, @Lyft y @Coinbase, con un equipo de asesores que incluye a figuras conocidas de la industria como @CoinbaseDuck, @DeFi_Dad, @Nomaticcap, entre otros, lo que demuestra una sólida capacidad. ・Ganador de la carrera de hackathon Virtuals organizada por Coinbase en febrero de este año, con un reconocimiento de su capacidad técnica. 🤖 Destacados de la función de Mamo: ✅ Automatización de gestión para la asignación de tus activos, asegurando la maximización de rendimiento ✅ Búsqueda automática de las mejores oportunidades en protocolos como @MoonwellDeFi, @MorphoLabs, entre otros ✅ Los rendimientos obtenidos se reinvierten automáticamente con intereses compuestos, logrando un crecimiento de recompensas ✅ Los usuarios pueden añadir, pausar o retirar fondos en cualquier momento, manteniendo el control total de sus activos ✅ Como asistente financiero, Mamo optimiza activamente tus ganancias y explica claramente la lógica detrás de cada operación ✅ Soporte de interacción de IA en tiempo real, con posibilidad de hacer preguntas y obtener ayuda en cualquier momento

Gracias a todas las personas increíbles que se unieron a nosotros para la carrera de esta mañana. ¡Grandes vibras y energía! ✨Nos vemos más tarde en el taller Certora × @jito_sol durante @SolanaConf (enlace abajo) 👇 https://t.co/M5QDFjXdyw

Prueba de @consensus2025 🫡Saluden a @SagivMooly y @teryanarmenn representando a Certora en el terreno 👋 https://t.co/ZLiJNt4aXS

La competencia de @Aqua_Token está en vivo 🪐 Aquarius aporta funcionalidad AMM y gestión de liquidez a @Stellarorg, impulsando la próxima ola de DeFi en la red. Un enfoque de seguridad de doble capa: verificación formal por @CertoraInc, junto con una competencia Cantina de alta señal. 💰 110.000 USDC + 10.000 en bote privado 📅 En vivo ahora – 18 de junio 🔗 Abajo

Arbitrum Anuncia Nuevos Miembros del Consejo de Seguridad de ArbitrumDAO

¡Emocionados de dar la bienvenida a @CertoraInc como patrocinador Platinum de SVM Summit. Certora protege DeFi con auditorías de smart contracts, verificación formal y revisiones de diseño de protocolos. 📍 Únete a nosotros en NYC el 21 de mayo: https://t.co/bZvPfyEt3W https://t.co/VQf27tzdvb

KAMINOFINANCE INTEGRA CHAINLINK DATA STREAMS PARA DATOS DE MERCADO DE BAJO LATENCIA - @KaminoFinance, un protocolo líder de DeFi lending en @Solana, ha integrado oficialmente @Chainlink Data Streams en su infraestructura de oracle. - La integración forma parte de la misión más amplia de Kamino de fortalecer su infraestructura de protocolo eliminando puntos únicos de fallo y aumentando la resiliencia en toda su pila tecnológica. Detalles clave: - Kamino había estado probando Chainlink Data Streams en su mainnet durante varias semanas antes de la integración completa. Durante esta fase de prueba, Chainlink entregó un rendimiento constante y sólido, lo que generó la confianza necesaria para su adopción total. - Además de la integración con Chainlink, Kamino presentó un nuevo Multi-Price Oracle System; - Este sistema agrega información de precios de múltiples fuentes de alta calidad, como Chainlink, y verifica continuamente los datos para garantizar precisión en tiempo real. - El Multi-Price Oracle System está diseñado para eliminar la dependencia de un único proveedor de datos, seleccionar dinámicamente los precios más recientes y contar con mecanismos de autocorrección en caso de caídas o discrepancias. - La robustez de la nueva infraestructura de oracle ha sido doblemente auditada por las principales firmas de seguridad Certora y Offside Labs antes de su despliegue público, asegurando un alto estándar de seguridad y fiabilidad. - Esta doble actualización—integración con Chainlink y el Sistema Multi-Price—mejora significativamente el rendimiento de los oracles de Kamino en la blockchain de Solana, reduciendo el riesgo para los usuarios y fortaleciendo la confianza en la valoración de activos de la plataforma. - La colaboración de Kamino con Chainlink destaca la tendencia creciente de las plataformas de DeFi de invertir fuertemente en sistemas de oracle seguros, descentralizados y resilientes. Imagen obtenida de X

¡Último día de @SolanaCrossroad!Ven a saludar 👋 a nuestro equipo en el stand de Certora 💚 https://t.co/gr4NCLvqWU

Texture 2.0 ha sido verificado formalmente por Certora Nos enorgullece anunciar que los contratos inteligentes centrales detrás de Texture 2.0 se han sometido a una verificación formal con @CertoraInc, un equipo líder en la verificación de contratos inteligentes. Texture es ahora uno de los pocos protocolos de préstamos en Solana con auditorías y verificación formal completadas. Esto refuerza nuestro compromiso con la seguridad, la fiabilidad y la resiliencia a largo plazo.

¡Los resultados de la auditoría competitiva de Blend V2 de 125.000 $ están aquí!¡Enhorabuena a todos los que enviaron hallazgos válidos, especialmente a @bizzyvinci por ganar el premio Top Hunter con un High en solitario! ✨Mucho respeto a @blend_capital, @StellarOrg y @CertoraInc por asociarse con C4 para asegurar Blend V2 y el ecosistema Stellar.Lista completa de ganadores 👇