Trend-Themen
#
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
Sicherung von DeFi durch Smart-Contract-Audits, formale Verifizierung und Überprüfungen des Protokolldesigns. Vertraut von Aave, Uniswap, Lido, EigenLayer, Solana und mehr.
Solvenz wird nicht angenommen. Sie wird bewiesen.
Wir haben gerade die Earn Vaults von @KaminoFinance formal verifiziert, einschließlich Einzahlungen, Abhebungen, Gebührenlogik und Rundung auf feste Punkte.
Erfahren Sie mehr 👇
21. Juli, 22:27
1/ Wir sind stolz darauf, mitteilen zu können, dass die Kamino Earn Vaults offiziell von @CertoraInc verifiziert wurden – ein bedeutender Sicherheitsmeilenstein.
Dies bestätigt, dass Kamino Earn die höchsten Sicherheitsstandards erfüllt und das sicherste Ertragsprodukt auf @solana ist.
Vollständig Open Source. 4x geprüft. Offiziell verifiziert.
9,45K
Wenn das Thema DeFi-Sicherheit ist und das Gespräch heiß wird, zählen Sie auf uns 🫡
Danke @aave, dass ihr uns eingeladen habt!
22. Juli, 02:47
@ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol Der Tag begann mit einem spannenden Panel zur Sicherheit mit @SagivMooly, @zkBri, @Sh4har und @Montyly.
3,76K
Certora erneut gepostet
Smart Contract-Fehler sind kostspielig und schwer zu erkennen:
🔍 Fuzzing übersieht seltene Eingaben
📜 Formale Verifikation ist schwer zu verwenden
Auf der @EthCC habe ich präsentiert, wie wir bei @CertoraInc Bounded Model Checking erkunden, einen praktischen Mittelweg, der echte, reproduzierbare Fehler mit minimalem Aufwand findet. 👇
3,36K
Certora erneut gepostet
Die Ergebnisse des $20.000 Formal Verification-Teils des Blend V2 Wettbewerbs-Audits sind da!
Ein großes Dankeschön an alle, die teilgenommen haben, und herzlichen Glückwunsch an @alexzoid_eth, der den ersten Platz im allerersten Formal Verification-Wettbewerb im Stellar-Ökosystem gesichert hat!
Viel Respekt an @blend_capital und @StellarOrg für die Partnerschaft mit C4, um Blend V2 und das Stellar-Ökosystem zu sichern — und an @CertoraInc für die Überwachung und Bewertung des Formal Verification-Segments dieses gemeinsamen Wettbewerbs.
Vollständige Liste der Gewinner👇
8,14K
Ein riesiges Dankeschön an alle, die beim Certora Run im sonnigen Cannes dabei waren! 🏃🏃🏻♀️
Wohin sollten wir als Nächstes durchstarten? 👀
3. Juli, 03:52
Hey @raave’rs 👻
Party heute Abend, Certora Run morgen. Wer ist dabei? 👀
2,09K
Hey @raave’rs 👻
Party heute Abend, Certora Run morgen. Wer ist dabei? 👀
25. Juni 2025
Achtung @EthCC Teilnehmer! 🏃♂️🌊
Nehmen Sie an unserem charakteristischen Certora 5K Run & Walk im wunderschönen Cannes teil!
Egal, ob Sie ein Läufer oder ein Walker sind, jeder ist willkommen.
📅 3. Juli
🕐 Start am Morgen
💥 Jetzt anmelden
3,27K
Der DeFi-Sommer-Tag von @aave steht vor der Tür!
Wenn du teilnimmst, komm und sprich mit dem Certora-Team über alle Themen rund um Sicherheit und nimm an unserem Panel teil, um zu lernen, wie man DeFi robust und widerstandsfähig macht.
Bis bald! 👇
30. Juni 2025
Code ist Gesetz. Was ist, wenn es falsch ist?
Lernen, wie man DeFi durch Sicherheit resilient macht mit @SagivMooly, @zkBri, @Sh4har und @Montyly.
1,73K
Top
Ranking
Favoriten