Rubriques tendance
#
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
Sécuriser la DeFi par le biais d’audits de contrats intelligents, de vérifications formelles et d’examens de la conception des protocoles. Aave, Uniswap, Lido, EigenLayer, Solana et bien d’autres nous font confiance.
Adopter un état d'esprit malveillant aide les créateurs à penser de manière non traditionnelle à propos des logiciels et de la sécurité. Cela vous prépare à ce qui peut mal tourner, comment les choses peuvent être cassées et comment prévenir cela.
À bientôt à Meridian Rio ! 🙌
19 août, 04:24
Codez en toute sécurité. Pensez de manière malveillante. 🔒
Vos compétences en Rust empêcheront de nombreux bugs, mais elles ne stopperont pas les exploits logiques d'un attaquant déterminé. Le 17 septembre à Meridian Rio, apprenez à anticiper les vulnérabilités des contrats intelligents avant de les déployer avec @CertoraInc et @rv_inc.
615
C'est un honneur de s'associer avec @blend_capital et @code4rena pour organiser la première compétition de Vérification Formelle dans l'écosystème @BuildOnStellar.
Le rapport complet est prêt 👇
14 août, 02:00
Le rapport d'audit de Blend v2 est maintenant publié !
Un grand respect à @blend_capital, @StellarOrg et @CertoraInc pour leur partenariat avec C4 afin de sécuriser Blend V2 et l'écosystème Stellar.
Découvrez le rapport d'audit de Code4rena et le rapport du concours Certora ci-dessous !👇
4,28K
Certora a reposté
Nous venons de publier une mise à jour majeure de @CertoraInc Prover, notre moteur de vérification formelle pour prouver la validité des contrats intelligents ou trouver de réels bugs.
La version 8.1.0 est remplie de nouvelles fonctionnalités puissantes et (oui) de quelques changements majeurs. Voici les nouveautés 👇
1,81K
Attention @arbitrum builders 📣
Le programme d'audit Arbitrum est en direct. Nous sommes prêts à vous aider à sécuriser votre code et à expédier en toute confiance.
En savoir plus 👇
4 août, 22:47
Présentation du programme d'audit Arbitrum, l'un des plus grands subventions d'audit dans le monde de la crypto !
Les projets en phase de démarrage construisant (ou prévoyant de construire) sur Arbitrum peuvent désormais postuler pour des subventions d'audit par des tiers.
Postulez dès aujourd'hui et en savoir plus 👇
2,33K
Certora a reposté
Les AMM sur la plateforme Soroban de @Stellarorg exigent de la précision : la compétition @aqua_token a été un succès et les résultats sont là. 🪐
Chercheurs les mieux classés :
🥇 @alkarin_: 18 898,21 $
🥈 @DzordanTa1567: 10 440,32 $
🥉 @carrotsmuggler: 9 050,89 $
Un autre point fort incroyable du classement ci-dessous.
13,75K
Meilleurs
Classement
Favoris