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.
Certora ahora es parte del Audit Broker de @RektHQ, una gran iniciativa que ayuda a los protocolos a conectarse con empresas de seguridad de confianza.
No llegues a la portada de Rekt.
Aprende más 👇
4 ago, 19:47
Esta es una llamada.
Si tu protocolo tiene TVL, usuarios o ambición,
ya eres un objetivo.
Y si piensas que tu antigua auditoría te salvará, lee nuestros archivos.
El Rekt Audit Broker está abierto.
Estamos aceptando nuevos proyectos.
Te presentaremos a auditores con un historial real.
¿Estás listo para la portada?
¿O prefieres arreglarlo antes de que lo escribamos?
284
Adoptar una mentalidad maliciosa ayuda a los creadores a pensar de maneras no tradicionales sobre el software y la seguridad. Te prepara para lo que puede salir mal, cómo se pueden romper las cosas y cómo prevenir eso.
¡Nos vemos pronto en Meridian Rio! 🙌
19 ago, 04:24
Codifica de forma segura. Piensa maliciosamente. 🔒
Tus habilidades en Rust evitarán muchos errores, pero no detendrán la lógica de los exploits de un atacante decidido. El 17 de septiembre en Meridian Rio, aprende a anticipar las vulnerabilidades de los contratos inteligentes antes de desplegarlos con @CertoraInc y @rv_inc.
1,41K
Ha sido un honor unir fuerzas con @blend_capital y @code4rena para llevar a cabo la primera competencia de Verificación Formal en el ecosistema de @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.
¡Consulta el Informe de Auditoría de Code4rena y el Informe del Concurso de Certora a continuación!👇
4,52K
Certora republicó
Acabamos de lanzar una actualización importante del @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á repleta de nuevas funciones potentes y (sí) algunos cambios que rompen la compatibilidad. Aquí está lo nuevo 👇
1,95K
Atención @arbitrum builders 📣
El Programa de Auditoría de Arbitrum está en marcha. Estamos listos para ayudarte a asegurar tu código y lanzar 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,56K
Parte superior
Clasificación
Favoritos