Temas en tendencia
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.

Certora
Asegurar DeFi a través de auditorías de contratos inteligentes, verificación formal y revisiones de diseño de protocolos. Con la confianza de Aave, Uniswap, Lido, EigenLayer, Solana y más.
No se asume solvencia. Está probado.
Acabamos de verificar formalmente las bóvedas de ganancias de @KaminoFinance, que cubren depósitos, retiros, lógica de tarifas y redondeo de puntos fijos.
Aprende más 👇

Kamino21 jul, 22:27
1/ Estamos orgullosos de compartir que las bóvedas de Kamino Earn han sido verificadas formalmente por @CertoraInc, un hito importante en materia de seguridad
Esto confirma que Kamino Earn cumple con los más altos estándares de seguridad, lo que lo convierte en el producto de rendimiento más seguro de @solana
Totalmente de código abierto. 4x auditado. Verificado formalmente.

9.16K
Si el tema es la seguridad DeFi y la conversación se está poniendo picante, cuente con nosotros 🫡
¡Gracias @aave por invitarnos!

Aave22 jul, 02:47
@ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol El día comenzó con un panel picante sobre seguridad con @SagivMooly, @zkBri, @Sh4har y @Montyly.

3.69K
Certora reposteó
Los errores de los contratos inteligentes son costosos y difíciles de detectar:
🔍 El fuzzing falla entradas raras
📜 La verificación formal es difícil de usar
En @EthCC presenté cómo en @CertoraInc exploramos la Comprobación de Modelos Acotados, un término medio práctico que encuentra errores reales y reproducibles con una configuración mínima. 👇

3.34K
Certora reposteó
¡Ya tenemos los resultados del componente de Verificación Formal de $20,000 de la auditoría competitiva de Blend V2!
¡Un gran agradecimiento a todos los que participaron, y muchas felicidades a @alexzoid_eth por asegurar el primer lugar en el primer concurso de verificación formal en el ecosistema Stellar!
Mucho respeto a @blend_capital y @StellarOrg por asociarse con C4 para asegurar Blend V2 y el ecosistema Stellar, y a @CertoraInc por supervisar y juzgar el segmento de verificación formal de esta competencia colaborativa.
Lista completa de ganadores👇

8.14K
¡Muchas gracias a todos los que se unieron a la Certora Run en el soleado Cannes! 🏃🏃🏻♀️
¿Dónde deberíamos empezar a trabajar a continuación? 👀


Certora3 jul, 03:52
Hola @raave 👻
Fiesta esta noche, Certora Run mañana. ¿Quién participa? 👀
2.06K
Hola @raave 👻
Fiesta esta noche, Certora Run mañana. ¿Quién participa? 👀

Certora25 jun 2025
¡Atención @EthCC asistentes! 🏃♂️🌊
¡Únase a nosotros para nuestra exclusiva Certora 5K Run & Walk en el hermoso Cannes!
Ya sea que sea un corredor o un caminante, todos son bienvenidos.
📅 3 de julio
🕐 Inicio de la mañana
💥 Regístrese ahora
3.24K
¡DeFi Summer Day by @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 resistente.
¡Nos vemos! 👇

Aave30 jun 2025
El Código es Ley. ¿Y si está mal?
Aprenda a hacer que DeFi sea resistente a través de la seguridad con @SagivMooly, @zkBri, @Sh4har y @Montyly.

1.69K
Populares
Ranking
Favoritas
Onchain en tendencia
Tendencia en X
Principales fondos recientes
Más destacadas