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.
Eine böswillige Denkweise zu übernehmen hilft Entwicklern, auf unkonventionelle Weise über Software und Sicherheit nachzudenken. Es bereitet dich darauf vor, was schiefgehen kann, wie Dinge kaputtgehen können und wie man das verhindern kann.
Bis bald in Meridian Rio! 🙌
19. Aug., 04:24
Sichere den Code. Denke böswillig. 🔒
Deine Rust-Kenntnisse werden viele Bugs verhindern, aber sie werden die logischen Angriffe eines entschlossenen Angreifers nicht aufhalten. Am 17. September in Meridian Rio erfährst du, wie du Smart-Contract-Schwachstellen antizipieren kannst, bevor du mit @CertoraInc und @rv_inc deployst.
614
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,28K
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,81K
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,33K
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,75K
Top
Ranking
Favoriten