Topik trending
#
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
Mengamankan DeFi melalui audit kontrak pintar, verifikasi formal, dan tinjauan desain protokol. Dipercaya oleh Aave, Uniswap, Lido, EigenLayer, Solana, dan banyak lagi.
Mengadopsi pola pikir jahat membantu pembangun berpikir dengan cara non-tradisional tentang perangkat lunak dan keamanan. Ini mempersiapkan Anda untuk apa yang bisa salah, bagaimana hal-hal dapat rusak, dan bagaimana mencegahnya.
Sampai jumpa di Meridian Rio! 🙌
19 Agu, 04.24
Kode dengan aman. Berpikir jahat. 🔒
Keterampilan Rust Anda akan mencegah banyak bug, tetapi tidak akan menghentikan eksploitasi logika penyerang yang gigih. Pada tanggal 17 September di Meridian Rio, pelajari cara mengantisipasi kerentanan kontrak pintar sebelum Anda menyebarkan dengan @CertoraInc dan @rv_inc .
912
Merupakan suatu kehormatan bergabung dengan @blend_capital dan @code4rena untuk menjalankan kompetisi Verifikasi Formal pertama di ekosistem @BuildOnStellar.
Laporan lengkap siap 👇
14 Agu, 02.00
Laporan audit Blend v2 sekarang diterbitkan!
Banyak rasa hormat kepada @blend_capital, @StellarOrg, dan @CertoraInc karena bermitra dengan C4 untuk mengamankan Blend V2 dan ekosistem Stellar.
Simak Laporan Audit Code4rena dan Laporan Kontes Certora di bawah ini! 👇
4,31K
Certora memposting ulang
Kami baru saja merilis pembaruan besar untuk @CertoraInc Prover, mesin verifikasi formal kami untuk membuktikan bahwa kontrak pintar benar atau menemukan bug nyata.
v8.1.0 dikemas dengan fitur-fitur baru yang kuat dan (ya) beberapa perubahan yang melanggar. Inilah yang baru 👇
1,85K
Perhatian @arbitrum pembangun 📣
Program Audit Arbitrum sedang langsung. Kami siap membantu Anda mengamankan kode dan pengiriman dengan percaya diri.
Pelajari lebih lanjut 👇
4 Agu, 22.47
Memperkenalkan Program Audit Arbitrum, salah satu hibah audit terbesar kripto!
Proyek tahap awal yang dibangun (atau berencana untuk membangun) di Arbitrum sekarang dapat mengajukan permohonan hibah audit pihak ketiga
Terapkan hari ini dan pelajari lebih lanjut 👇
2,37K
Certora memposting ulang
AMM di platform Soroban @Stellarorg menuntut presisi:
@aqua_token kompetisi disampaikan dan hasilnya sudah masuk. 🪐
Peneliti peringkat teratas:
🥇 @alkarin_: $ 18,898.21
🥈 @DzordanTa1567: $ 10,440.32
🥉 @carrotsmuggler: $ 9,050.89
Sorotan papan peringkat luar biasa lainnya di bawah ini.
13,79K
Teratas
Peringkat
Favorit