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.
Certora sekarang menjadi bagian dari Broker Audit @RektHQ, sebuah inisiatif hebat yang membantu protokol terhubung dengan perusahaan keamanan yang dapat dipercaya.
Jangan sampai ke halaman depan Rekt.
Pelajari lebih lanjut 👇
4 Agu, 19.47
Ini adalah panggilan.
Jika protokol Anda memiliki TVL, pengguna, atau ambisi,
Anda sudah menjadi target.
Dan jika Anda berpikir audit lama Anda akan menyelamatkan Anda, baca arsip kami.
Rekt Audit Broker terbuka.
Kami mengambil proyek baru.
Anda akan diperkenalkan dengan auditor dengan rekam jejak nyata.
Apakah Anda siap untuk halaman depan?
Atau apakah Anda lebih suka memperbaikinya sebelum kami menulisnya?
768
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 .
1,42K
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,53K
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,95K
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,57K
Teratas
Peringkat
Favorit