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.
Es war mir eine Ehre, mit @blend_capital und @code4rena zusammenzuarbeiten, um den ersten Wettbewerb zur formalen Verifikation im @BuildOnStellar-Ökosystem durchzuführen.
Der vollständige Bericht ist bereit 👇
14. Aug., 02:00
Der Auditbericht von Blend v2 ist jetzt veröffentlicht!
Viel Respekt an @blend_capital, @StellarOrg und @CertoraInc für die Partnerschaft mit C4, um Blend V2 und das Stellar-Ökosystem zu sichern.
Schaut euch den Code4rena Auditbericht und den Certora Contestbericht unten an!👇
4,18K
Certora erneut gepostet
Wir haben gerade ein großes Update für den @CertoraInc Prover veröffentlicht, unsere formale Verifizierungsengine zur Überprüfung der Korrektheit von Smart Contracts oder zur Auffindung echter Fehler.
v8.1.0 ist vollgepackt mit leistungsstarken neuen Funktionen und (ja) einigen breaking changes. Hier ist, was neu ist 👇
1,76K
Achtung @arbitrum Entwickler 📣
Das Arbitrum Audit-Programm ist live. Wir sind bereit, Ihnen zu helfen, Ihren Code abzusichern und mit Vertrauen zu versenden.
Erfahren Sie mehr 👇
4. Aug., 22:47
Einführung des Arbitrum Audit Programms, eines der größten Audit-Stipendien im Krypto-Bereich!
Frühphasenprojekte, die auf Arbitrum aufbauen (oder planen, dies zu tun), können jetzt Drittanbieter-Audit-Stipendien beantragen.
Bewerben Sie sich noch heute und erfahren Sie mehr 👇
2,26K
Certora erneut gepostet
AMMs auf der Soroban-Plattform von @Stellarorg erfordern Präzision: der
Wettbewerb von @aqua_token hat geliefert und die Ergebnisse sind da. 🪐
Top-platzierte Forscher:
🥇 @alkarin_: 18.898,21 $
🥈 @DzordanTa1567: 10.440,32 $
🥉 @carrotsmuggler: 9.050,89 $
Ein weiteres erstaunliches Highlight der Rangliste unten.
13,71K
Die Zahlungsfähigkeit wird nicht vorausgesetzt. Es hat sich bewährt.
Wir haben gerade die Earn Vaults von @KaminoFinance formell verifiziert, die Einzahlungen, Abhebungen, Gebührenlogik und Festkomma-Rundungen abdecken.
Weitere Informationen 👇
21. Juli 2025
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,74K
Wenn das Thema DeFi-Sicherheit ist und das Gespräch immer pikanter wird, können Sie sich auf uns 🫡 verlassen
Vielen Dank@aave dass Sie uns eingeladen haben!
22. Juli 2025
@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,97K
Top
Ranking
Favoriten