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 👇

JitoSol Supera 1 Millón de Depósitos en SOL: Un Testimonio de Seguridad y Confianza en DeFi

Áreas de Enfoque de Auditoría 1⃣ Puertas de Retiro: Confirmar que todos los caminos de código (por ejemplo, después de la acumulación de tarifas) permitan un retiro completo. 2⃣ Comprobaciones de Acumuladores: Asegurar que los mecanismos de contabilidad de tarifas/tokens (por ejemplo, protocolFeesAccrued) tengan funciones de retiro. 3⃣ Bloqueos de Destrucción: Verificar la existencia de controles de acceso o cuandoNoEstáPausado que bloqueen los retiros de emergencia. Banderas Rojas para Escalar • Uso de transfer() en bruto en lugar de safeTransfer (riesgo de tokens bloqueados si el destinatario es un contrato). • Eventos faltantes en flujos de depósito/retiro (dificulta el monitoreo fuera de la cadena). • División antes de la multiplicación en cálculos de participación (errores de redondeo). Recomendaciones de Herramientas • @TheFoundryTeam Fuzzing: Para pruebas de invariantes a gran escala. • @Olympix_ai: Para detectar desbordamientos de enteros de manera estática. • @CertoraInc /Scribble: Para la verificación formal de invariantes matemáticos.

Visto: Nuestro CTO, @facuspagnuolo, recorriendo las calles de Denver durante la carrera matutina de @CertoraInc y @ElectricCapital 🔥

¡Gracias a todos los que se unieron a la carrera de Certora + @ElectricCapital esta mañana en @EthereumDenver!¿Dónde deberíamos hacer la siguiente? https://t.co/x9RidxakI8

¡La revisión del código de Blend V2 comienza ahora! Únete a @blend_capital, @BuildOnStellar y @CertoraInc para una revisión del código para la competencia de auditoría competitiva + verificación formal de $125K Blend V2. La grabación de esta revisión se compartirá después de la sesión en vivo.

@BuildOnStellar estará organizando un recorrido en vivo por el código de Blend V2 con @CertoraInc y @blend_capital. ¡La competencia de auditoría de Blend V2 es la primera competencia de auditoría en el ecosistema de Stellar! Únete al recorrido del código a la 1:00 PM PST usando el enlace a continuación.

¡Buenos días Denver! ☀️ Tenemos algo emocionante para todos en @EthereumDenver: únete a nosotros en la Certora Escape Room para unos días de misterio, acertijos y conocimiento oculto. Veamos si puedes escapar 👀 https://t.co/0BoYut4crA

Un módulo eliminado que nunca fue desactivado conserva sus permisos activos en la máquina de estados del protocolo. Los atacantes pueden explotar esto para reactivar módulos obsoletos (por ejemplo, puertas traseras, gobernanza heredada) o provocar interacciones inesperadas con otros componentes. El hack de $80 millones de @QubitFin en 2022 explotó un contrato de puente que retuvo permisos de acuñación después de haber sido obsoleto. Utiliza herramientas como @CertoraInc para probar matemáticamente las invariantes del orden de operación. Emite registros granulares para cada transición de estado (por ejemplo, MóduloDesactivado, MóduloEliminado). Integra con herramientas de monitoreo como @FortaNetwork para señalar operaciones fuera de orden en tiempo real.

Las horas más felices jamás vividas en ETHDenver ✅ -- presentado por Corn, @ether_fi y @CertoraInc en el Corn Hub.Ahora preparándonos para el desayuno, almuerzo y Lil Jon en Corn Hub 🌽🌽🌽( Regístrate para los eventos a continuación ⬇️ ) https://t.co/Dy0coGSMH3

Hoy Corn, @ether_fi y @CertoraInc hicieron las Horas Felices. El Corn Hub ha hecho que ETHDenver hable 🗣️ ✅ Desayuno, ✅ Almuerzo y ✅ Lil Jon mañana 👀🌽 ( Regístrate para tu lugar a continuación ⬇️ ) https://t.co/7iv24ZXKzq

Aquí está lo que falta y cómo elevar tus auditorías más allá de lo básico: 1⃣ Audita la Lógica Empresarial, No Solo el Código Un protocolo de préstamos puede tener un código matemáticamente correcto pero incentivos defectuosos (por ejemplo, tasas de préstamo que pueden ser manipuladas para drenar reservas). • Modela flujos de tokens y teoría de juegos (por ejemplo, "¿Qué pasaría si el 80% de los usuarios salen simultáneamente?"). • Utiliza herramientas como @gauntlet_xyz para simular escenarios de estrés. 2⃣ Contratos Actualizables y Errores de Proxy Colisiones de almacenamiento entre versiones de implementación. • Proxies no inicializados (por ejemplo, hackeo de Parity Wallet). • Centralización de la clave de administrador (por ejemplo, explotación del retraso de GovernorBravo de Compound). • Usa Echidna para probar rutas de actualización. • Verifica que las funciones de inicialización estén protegidas e idempotentes. 3⃣ Puntos Ciegos de Cross-Chain y Layer 2 Lo Que Falta: Los contratos que interactúan con puentes o L2s (por ejemplo, Arbitrum, Optimism) enfrentan riesgos únicos. • Huecos en la validación de mensajes (por ejemplo, hackeo de $325M de Wormhole). • Ataques de repetición entre cadenas. • Suposiciones incorrectas sobre tarifas (por ejemplo, gas de L2 vs. gas de L1). • Audita los manejadores de llamadas cross-chain (por ejemplo, processMessageFromL1). • Prueba con herramientas como @hyperlane o @LayerZero_Core para la integridad de los mensajes. 4⃣ Verificación Formal y Ejecución Simbólica Herramientas para Añadir: • @CertoraInc: Prueba invariantes (por ejemplo, "Ningún usuario puede retirar más de lo que depositó"). • Halmos: Ejecución simbólica para el descubrimiento de casos extremos. Manticore: Explora todos los caminos de ejecución (por ejemplo, para desbordamiento de enteros). Ejemplo: Usa Certora para verificar que la función de intercambio de un DEX nunca permita que las reservas caigan por debajo de un umbral. 5⃣ Contexto Histórico y Catálogos de Ataques Aprovechando explotaciones pasadas para guiar auditorías. • Estudia https://t.co/l3Q4YLLoZj y los informes de @immunefi para patrones (por ejemplo, manipulación de oráculos de precios). • Crea una lista de verificación de vulnerabilidades históricas (por ejemplo, inicialización confiable del Puente Nomad). 6⃣ Riesgos de Optimización de Gas Las optimizaciones pueden introducir vulnerabilidades. • Usar delegatecall para ahorrar gas podría inadvertidamente exponer almacenamiento (por ejemplo, explotación del MasterContract de @SushiSwap). • Revisa las llamadas de bajo nivel (call, delegatecall) por suposiciones de contexto. • Prueba funciones que consumen mucho gas con EthGasStation para detectar anomalías. 7⃣ Amenazas de Gobernanza y Multisig Los mecanismos de gobernanza son objetivos principales. • Spam de propuestas (por ejemplo, retrasos de Governor Bravo de @Uniswap). • Fugas de claves multisig (por ejemplo, hackeo del Puente Horizon de @harmonyprotocol). • Audita los periodos de tiempo, umbrales de quórum y mecanismos de veto. • Verifica la rotación de firmantes multisig y las prácticas de almacenamiento en frío. 8⃣ Riesgos de Integración de Terceros Las dependencias externas (por ejemplo, oráculos, registros) a menudo son confiadas ciegamente. • Audita los chequeos de obsolescencia de latestAnswer de @chainlink. • Verifica que los TWAPs de Uniswap V3 estén ponderados correctamente por tiempo. 9⃣ Mitigación de Sesgos Cognitivos Los auditores son propensos a sesgos como el sesgo de confirmación o anclaje. • Usa ejercicios de equipo rojo/equipo azul: Un auditor ataca, otro defiende. • Rota a los auditores a mitad de revisión para reiniciar suposiciones. 🔟 Trampas de Cumplimiento y Regulación El código puede cumplir con las especificaciones pero violar regulaciones (por ejemplo, sanciones de OFAC). • Verifica funciones de visualización que expongan datos de usuarios (riesgos de privacidad). • Verifica la mecánica de listas negras/listas blancas (por ejemplo, consecuencias de cumplimiento de @TornadoCash).

¡Comenzando en 1 hora! Ven a aprender y celebrar la apertura del código fuente del Certora Prover con nosotros 👩‍💻🥳

@buildonstellar está organizando un Spaces para dar inicio a esta competencia de auditoría con miembros de los equipos de @certora_inc y Code4rena.\n\nÚnete al Spaces para aprender más sobre esta competencia de auditoría aquí: https://t.co/y9ez1161uj

¡Realizaremos un recorrido por nuestra auditoría competitiva de @blend_capital en colaboración con @BuildOnStellar y @CertoraInc a las 4PM EST! ¡Nos vemos allí!

El código abierto es el camino. El Certora Prover ha desempeñado un papel importante en la verificación formal de Morpho.

¡Certora ahora es de código abierto!¿Cuál es tu excusa ahora para no asegurar tu protocolo, anon? https://t.co/JPqBR1JQ9p

🚨Nuevo: Kamino Lend ha sido formalmente verificado por Certora, convirtiéndose en el primer protocolo DeFi de Solana en alcanzar este hito. @KaminoFinance ha pasado ahora por 13 auditorías en sus contratos inteligentes y continúa realizando auditorías con socios externos. https://t.co/eyV102iav2

Kamino se rige por los más altos estándares de seguridad, tanto internamente como por parte de nuestros usuarios, y nuestro objetivo es liderar el camino en cuanto a la seguridad del código y la gestión de riesgos en el ecosistema. Ha sido un placer absoluto trabajar con un equipo como @CertoraInc, que entiende y mantiene estos estándares.

Estamos extremadamente emocionados de anunciar que Kamino Lend ha sido formalmente verificado por @CertoraInc. Kamino Lend es ahora el primer protocolo DeFi de Solana en completar la verificación formal, un gran hito para el protocolo. Esto establece un nuevo estándar para DeFi en Solana🧵 https://t.co/65H0C2DpaU

¡Gracias @consensus2025 y Hong Kong! ✈️ Nos vamos a ETH Denver, únete a nosotros en nuestros eventos la próxima semana: 👷‍♂️ Miércoles 26 de febrero de 15:00 a 18:00, Networking de Carreras con @CertoraInc y @use_corn: https://t.co/NtWo3ibSzE 🐻 Viernes 28 de febrero de 18:00 a 21:00, Happy Hour con @berachain: https://t.co/iJMfIiZxDr

Este año, estamos trayendo algo divertido (y 🐶) a @EthereumDenver. Si eres un desarrollador o estás interesado en la seguridad, Certora y @joinwebzero tienen un desafío para ti. Consulta los detalles y confirma tu asistencia aquí 👇 https://t.co/4kWonWyVAt

Construido en Ethereum,asegurado por Certora. https://t.co/WSnRkTS6xt

¡Emocionado de colaborar con @BuildOnStellar y @CertoraInc para asegurar la base de código de Blend V2!Esto incluye la primera competencia de Verificación Formal en el ecosistema Rust/Stellar.Los premios principales se entregarán a las vulnerabilidades más únicas y de mayor severidad.¡Vamos! 🤝 @blend_capital https://t.co/1phXwaIPi5

✍️ Verificación Formal: Asegurando Vaults con Certora ProverEn nuestra última publicación del blog, nuestros ninjas de seguridad muestran cómo Certora Prover puede verificar una implementación de vault ERC-4626.Aspectos destacados:- Manejar de manera segura la aritmética ERC20 para evitar desbordamientos inducidos por el caos- Utilizar variables fantasma y hooks para rastrear saldos a un nivel más profundo- Hacer cumplir invariantes como totalSupply == sumaDeSaldos- Detectar cambios maliciosos desde el principio (ej: acciones extra gratuitas para el propietario del vault)Consulta el desglose completo y ve cómo utilizamos Foundry + Certora para mantener la lógica del vault a prueba de fallos:🔗 https://t.co/7Wz4AWlt1kUn gran agradecimiento al autor (@mahmoud89) y a Certora (@CertoraInc) por crear una herramienta tan increíble.#DeFi #SeguridadWeb3 #CazaDeBugs

LULO PROTECT AUDITS: ✅Tuvimos 3 auditorías completas realizadas por:- @HalbornSecurity- @CertoraInc- @Offside_Labs.Las auditorías completas se pueden acceder desde nuestra documentación y tenemos otra auditoría que está en progreso. 🛡️ https://t.co/o7zRUQbOuF

La explotación de @ionicmoney en @modenetwork es otro recordatorio de por qué los protocolos necesitan procesos de seguridad robustos y bien estructurados.Un gran ejemplo es la estrategia de "Onion Security" de @aave, que incluye múltiples capas de defensa, incluyendo procesos de seguridad aplicados por equipos de primer nivel como @bgdlabs, Certora, @chaoslabs, @karpatkey, @Token_Logic y @AaveChan.

🎙 Detrás del Código: Cómo @SquadsProtocol Construyó v4 con la Seguridad en su Núcleo Nos sentamos con @SimkinStepan (CEO de Squads Labs) & @BasedOrion_ para discutir por qué eligieron la verificación formal y cómo esta descubrió vulnerabilidades críticas: "Certora encontró riesgos sofisticados de DoS en la lógica de nuestro buffer de transacciones. Un actor malicioso podría haber congelado funciones críticas." Mira el descubrimiento en acción ↓

@Uniswap v4 ya está en vivo 💥 Pronto veremos hooks que empujan las fronteras de lo que es posible. Pero con gran flexibilidad vienen nuevos riesgos para un ecosistema de más de $5 mil millones. Certora + @spearbit + @cantinaxyz la comunidad verificó formalmente la seguridad de v4 a nivel de bytecode. No solo probado, sino demostrado. Análisis profundo de los hallazgos, metodología y correcciones 👇

Sonic Labs lanza Sonic Gateway, que admite el puenteo cruzado de múltiples activos.

¡Otra victoria para la comunidad! 🎯 Felicitaciones a @NalaZendaya por descubrir un error de gravedad media utilizando el Prover de Certora.

Un caso complicado en la interacción de @eigenlayer con la próxima actualización Electra de @ethereum casi pasó desapercibido y hasta los auditores de primer nivel lo pasaron por alto. Así es como fue detectado por Certora y resuelto 👇

El equipo de @CertoraInc ha realizado una verificación formal de la base de código de Liquity V2. Lee su informe 👇

Algunas fotos de nuestro evento el domingo pasado.Gracias a todos por venir, planeamos organizar más en el futuro. Y gracias a @monad_xyz y @CertoraInc por apoyar y enviar a los fundadores técnicos @keoneHD y @SagivMooly para responder algunas preguntas técnicas muy profundas.

¡Construyendo nuestro equipo de creadores y constructores! 🏗 🧱👷‍♂️Estamos emocionados de anunciar que Alex Stoliar se ha unido al equipo como nuestro nuevo Desarrollador de Software.Alex es un experto experimentado en #Blockchain y #Finanzas, habiendo trabajado anteriormente en @COTInetwork, @jpmorgan, @ssv_network y @CertoraInc. Alex trae consigo años de experiencia y estamos emocionados de ver lo que puede aportar a la suite de productos de TRES Finance.Bienvenido al equipo, Alex Stoliar 🚀

🚨 ¡Cuidado con los estafadores! 🚨Certora no solicita NFTs en ninguno de nuestros eventos.Si ves a alguien haciéndolo, no somos nosotros. ¡Mantente en nuestros canales oficiales para actualizaciones y mantente a salvo! https://t.co/j5D64RUKzF

Ven a RareDay hoy para escuchar a- @keoneHD- @SagivMooly- @giraffe0x- @zigtur- @Jeyffre... y también conocer a otros auditores y desarrolladores que trabajan en problemas difíciles. RareSkills también anunciará algo nuevo. 👀También puedes obtener algo de mercancía de RareSkills, @CertoraInc y @monad_xyz

¿Planeas asistir a @summit_defi esta semana? 🎟️ ¡Tenemos entradas gratuitas para los participantes de los Concursos de Certora! Si participaste en alguna de nuestras competencias de auditoría este año, ¡envíanos un DM para reclamar la tuya! 📬 https://t.co/CuQWxUeBgn

RareSkills está organizando un evento de todo el día -- RareDay -- el 10 de noviembre en Tailandia.Podrás escuchar a ponentes de:✔ RareSkills✔ @CertoraInc✔ @monad_xyzEstamos restringiendo el evento a asistentes técnicos. Si eres un BD, asegúrate de enfatizar tu formación técnica en la solicitud.Háznos saber si has postulado para que podamos agilizar la revisión de tu solicitud.¿Tienes un artículo técnico/desarrollador que estás escribiendo? Trae un borrador y el equipo editorial de RareSkills lo criticará en persona.

🎉 ¿Te diriges a @EFDevcon en Bangkok?Únete a nuestra hora feliz el lunes 11 de noviembre de 18:30 a 22:30 con @CertoraInc 🍻 Ven a charlar con el equipo, disfruta de algunas bebidas/comidas y regístrate para tu tarjeta de efectivo https://t.co/gbHcksy7eA!Confirma tu asistencia en https://t.co/eS8XJzWCPr https://t.co/I8eVQvXpv9

Estamos encantados de anunciar que Texture 2.0 está siendo sometido a una auditoría de seguridad integral por parte de @CertoraInc, una empresa líder en seguridad blockchain reconocida por sus herramientas de verificación formal de primer nivel y auditorías de contratos inteligentes.Certora ha trabajado en sistemas de préstamo modular para protocolos como Morpho Blue y Euler, así como en otras plataformas DeFi importantes, incluyendo Aave, Lido, Uniswap y Compound en Ethereum, y Squads, Jito y Token Extensions en Solana.La experiencia de Certora en verificación formal y auditoría de contratos inteligentes añade una capa crucial de confianza a Texture 2.0, reforzando un rendimiento seguro y confiable en todos los aspectos de nuestro protocolo de préstamo modular.