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.
Adoptar una mentalidad maliciosa ayuda a los constructores a pensar de manera no tradicional sobre el software y la seguridad. Te prepara para lo que puede salir mal, cómo se pueden romper las cosas y cómo prevenirlo.
¡Nos vemos pronto en Meridian Rio! 🙌
19 ago, 04:24
Codifica de forma segura. Piensa maliciosamente. 🔒
Tus habilidades de Rust evitarán muchos errores, pero no detendrán las hazañas lógicas de un atacante determinado. El 17 de septiembre en Meridian Rio, aprenda a anticipar las vulnerabilidades de los contratos inteligentes antes de implementar con @CertoraInc y @rv_inc .
880
Ha sido un honor unir fuerzas con @blend_capital y @code4rena para realizar la primera competencia de verificación formal en el ecosistema @BuildOnStellar.
El informe completo está listo 👇
14 ago, 02:00
¡El informe de auditoría de Blend v2 ya está publicado!
Mucho respeto a @blend_capital, @StellarOrg y @CertoraInc por asociarse con C4 para asegurar Blend V2 y el ecosistema Stellar.
¡Consulte el Informe de auditoría de Code4rena y el Informe del concurso Certora a continuación! 👇
4.31K
Certora reposteó
Acabamos de lanzar una actualización importante para el @CertoraInc Prover, nuestro motor de verificación formal para demostrar que los contratos inteligentes son correctos o encontrar errores reales.
La v8.1.0 está llena de nuevas características potentes y (sí) algunos cambios que rompen la compatibilidad. Aquí está lo nuevo 👇
1.84K
Atención @arbitrum builders 📣
El Programa de Auditoría de Arbitrum está en vivo. Estamos listos para ayudarte a asegurar tu código y enviar con confianza.
Aprende más 👇
4 ago, 22:47
¡Presentamos el Programa de Auditoría de Arbitrum, una de las mayores subvenciones de auditoría en el mundo cripto!
Los proyectos en etapa temprana que están construyendo (o planeando construir) en Arbitrum ahora pueden solicitar subvenciones para auditorías de terceros.
Solicita hoy y aprende más 👇
2.37K
Certora reposteó
Los AMMs en la plataforma Soroban de @Stellarorg requieren precisión: la competencia de @aqua_token ha entregado y los resultados están aquí. 🪐
Investigadores mejor clasificados:
🥇 @alkarin_: $18,898.21
🥈 @DzordanTa1567: $10,440.32
🥉 @carrotsmuggler: $9,050.89
Otro increíble destacado en la tabla de clasificación a continuación.
13.79K
Populares
Ranking
Favoritas