Popularne tematy
#
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
Zabezpieczanie DeFi poprzez audyty inteligentnych kontraktów, weryfikację formalną i przeglądy projektów protokołów. Zaufały nam Aave, Uniswap, Lido, EigenLayer, Solana i inne.
Przyjęcie złośliwego sposobu myślenia pomaga twórcom myśleć w nietradycyjny sposób o oprogramowaniu i bezpieczeństwie. Przygotowuje cię na to, co może pójść źle, jak rzeczy mogą być złamane i jak temu zapobiec.
Do zobaczenia wkrótce na Meridian Rio! 🙌
19 sie, 04:24
Koduj bezpiecznie. Myśl złośliwie. 🔒
Twoje umiejętności w Rust zapobiegną wielu błędom, ale nie powstrzymają logicznych exploitów zdeterminowanego atakującego. 17 września w Meridian Rio dowiedz się, jak przewidywać luki w inteligentnych kontraktach przed ich wdrożeniem z @CertoraInc i @rv_inc.
616
To była zaszczyt współpracować z @blend_capital i @code4rena przy organizacji pierwszego konkursu Formal Verification w ekosystemie @BuildOnStellar.
Pełny raport jest gotowy 👇
14 sie, 02:00
Raport z audytu Blend v2 jest już opublikowany!
Wielkie uznanie dla @blend_capital, @StellarOrg i @CertoraInc za współpracę z C4 w celu zabezpieczenia Blend V2 i ekosystemu Stellar.
Sprawdź raport z audytu Code4rena oraz raport z konkursu Certora poniżej!👇
4,28K
Użytkownik Certora udostępnił ponownie
Właśnie wydaliśmy dużą aktualizację do @CertoraInc Prover, naszego silnika weryfikacji formalnej do udowadniania poprawności smart kontraktów lub znajdowania rzeczywistych błędów.
Wersja 8.1.0 jest pełna potężnych nowych funkcji i (tak) kilku zmian, które mogą być problematyczne. Oto co nowego 👇
1,81K
Uwaga @arbitrum budowniczowie 📣
Program Audytu Arbitrum jest aktywny. Jesteśmy gotowi, aby pomóc Ci zabezpieczyć Twój kod i wysłać go z pewnością.
Dowiedz się więcej 👇
4 sie, 22:47
Przedstawiamy Program Audytu Arbitrum, jeden z największych grantów audytowych w kryptowalutach!
Projekty na wczesnym etapie rozwoju, które budują (lub planują budować) na Arbitrum, mogą teraz ubiegać się o granty na audyty zewnętrzne.
Aplikuj już dziś i dowiedz się więcej 👇
2,33K
Użytkownik Certora udostępnił ponownie
AMM-y na platformie Soroban @Stellarorg wymagają precyzji: konkurs @aqua_token dostarczył wyniki, które już są dostępne. 🪐
Najlepsi badacze:
🥇 @alkarin_: 18 898,21 $
🥈 @DzordanTa1567: 10 440,32 $
🥉 @carrotsmuggler: 9 050,89 $
Kolejny niesamowity wyróżnik na liście najlepszych poniżej.
13,75K
Najlepsze
Ranking
Ulubione