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.
La solvabilité n'est pas supposée. Elle est prouvée.
Nous venons de vérifier formellement les Earn Vaults de @KaminoFinance, couvrant les dépôts, les retraits, la logique des frais et l'arrondi à point fixe.
En savoir plus 👇
21 juil., 22:27
1/ Nous sommes fiers d'annoncer que les Kamino Earn Vaults ont été formellement vérifiés par @CertoraInc — un jalon de sécurité majeur.
Cela confirme que Kamino Earn respecte les normes de sécurité les plus élevées, en faisant le produit de rendement le plus sécurisé sur @solana.
Entièrement open source. 4 fois audité. Forme vérifiée.
9,45K
Si le sujet est la sécurité DeFi et que la conversation devient animée, comptez sur nous 🫡
Merci @aave de nous avoir accueillis !
22 juil., 02:47
@ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol La journée a commencé par un panel épicé sur la sécurité avec @SagivMooly, @zkBri, @Sh4har et @Montyly.
3,76K
Certora a reposté
Les bugs des contrats intelligents sont coûteux et difficiles à détecter :
🔍 Le fuzzing rate des entrées rares
📜 La vérification formelle est difficile à utiliser
Lors de @EthCC, j'ai présenté comment chez @CertoraInc nous explorons le Bounded Model Checking, un compromis pratique qui trouve de vrais bugs reproductibles avec un minimum de configuration. 👇
3,36K
Certora a reposté
Les résultats du composant de Vérification Formelle de 20 000 $ de l'audit compétitif Blend V2 sont là !
Un grand merci à tous ceux qui ont participé, et un énorme bravo à @alexzoid_eth pour avoir remporté la première place lors du tout premier concours de vérification formelle dans l'écosystème Stellar !
Un grand respect à @blend_capital et @StellarOrg pour leur partenariat avec C4 afin de sécuriser Blend V2 et l'écosystème Stellar — et à @CertoraInc pour avoir supervisé et jugé le segment de vérification formelle de cette compétition collaborative.
Liste complète des gagnants👇
8,15K
Un grand merci à tous ceux qui ont participé à la Certora Run sous le soleil de Cannes ! 🏃🏃🏻♀️
Où devrions-nous nous lancer ensuite ? 👀
3 juil., 03:52
Salut @raave’rs 👻
Fête ce soir, Certora Run demain. Qui est partant ? 👀
2,1K
Salut @raave’rs 👻
Fête ce soir, Certora Run demain. Qui est partant ? 👀
25 juin 2025
Attention @EthCC participants ! 🏃♂️🌊
Rejoignez-nous pour notre Certora 5K Run & Walk dans la belle ville de Cannes !
Que vous soyez un coureur ou un marcheur, tout le monde est le bienvenu.
📅 3 juillet
🕐 Départ le matin
💥 Inscrivez-vous maintenant
3,28K
Le DeFi Summer Day par @aave approche à grands pas !
Si vous assistez, venez discuter de tout ce qui concerne la sécurité avec l'équipe de Certora et rejoignez notre panel pour apprendre comment rendre le DeFi robuste et résilient.
À bientôt ! 👇
30 juin 2025
Le code est la loi. Que se passe-t-il s'il est erroné ?
Apprendre à rendre la DeFi résiliente grâce à la sécurité avec @SagivMooly, @zkBri, @Sh4har et @Montyly.
1,73K
Meilleurs
Classement
Favoris