Tendencias del momento
#
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.
La solvencia no se asume. Se demuestra.
Acabamos de verificar formalmente los Earn Vaults de @KaminoFinance, cubriendo depósitos, retiros, lógica de tarifas y redondeo de punto fijo.
Aprende más 👇
21 jul, 22:27
1/ Nos enorgullece compartir que los Kamino Earn Vaults han sido formalmente verificados por @CertoraInc —un importante hito de seguridad.
Esto confirma que Kamino Earn cumple con los más altos estándares de seguridad, convirtiéndolo en el producto de rendimiento más seguro en @solana.
Totalmente de código abierto. Auditados 4 veces. Formalmente verificados.
9,13K
Si el tema es la seguridad en DeFi y la conversación se está poniendo intensa, cuenta con nosotros 🫡
¡Gracias @aave por tenernos!
22 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,68K
Certora republicó
Los errores en contratos inteligentes son costosos y difíciles de detectar:
🔍 El fuzzing pierde entradas raras
📜 La verificación formal es difícil de usar
En @EthCC presenté cómo en @CertoraInc exploramos la Verificació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 republicó
¡Los resultados del componente de Verificación Formal de $20,000 de la auditoría competitiva de Blend V2 ya están aquí!
¡Un gran agradecimiento a todos los que participaron, y una enorme felicitación 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
¡Un enorme agradecimiento a todos los que se unieron a la Certora Run en la soleada Cannes! 🏃🏃🏻♀️
¿Dónde deberíamos empezar a correr a continuación? 👀
3 jul, 03:52
Hola @raave’rs 👻
Fiesta esta noche, Certora Run mañana. ¿Quién se apunta? 👀
2,05K
Hola @raave’rs 👻
Fiesta esta noche, Certora Run mañana. ¿Quién se apunta? 👀
25 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,23K
¡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 resistente.
¡Nos vemos! 👇
30 jun 2025
El código es ley. ¿Qué pasa si está equivocado?
Aprendiendo a hacer que DeFi sea resistente a través de la seguridad con @SagivMooly, @zkBri, @Sh4har y @Montyly.
1,69K
Parte superior
Clasificación
Favoritos