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.
Solvabilitas tidak diasumsikan. Itu terbukti.
Kami baru saja secara resmi memverifikasi Earn Vaults @KaminoFinance, yang mencakup setoran, penarikan, logika biaya, dan pembulatan titik tetap.
Pelajari lebih lanjut 👇
21 Jul, 22.27
1/ Kami bangga membagikan Kamino Earn Vaults telah diverifikasi secara resmi oleh @CertoraInc —tonggak keamanan utama
Ini menegaskan Kamino Earn memenuhi standar keamanan tertinggi, menjadikannya produk hasil paling aman di @solana
Sumber terbuka sepenuhnya. 4x diaudit. Diverifikasi secara resmi.
9,46K
Jika topiknya adalah Keamanan DeFi dan konvoi semakin pedas, andalkan kami 🫡
Terima kasih @aave telah menerima kami!
22 Jul, 02.47
@ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol Hari dimulai dengan panel pedas tentang keamanan dengan @SagivMooly, @zkBri, @Sh4har, dan @Montyly.
3,77K
Certora memposting ulang
Bug kontrak pintar mahal dan sulit ditangkap:
🔍 Fuzzing melewatkan input langka
📜 Verifikasi formal sulit digunakan
Pada @EthCC saya mempresentasikan bagaimana di @CertoraInc kami menjelajahi Pemeriksaan Model Terbatas, jalan tengah praktis yang menemukan bug nyata yang dapat direproduksi dengan pengaturan minimal. 👇
3,36K
Certora memposting ulang
Hasil komponen Verifikasi Formal senilai $20.000 dari audit kompetitif Blend V2 sudah masuk!
Teriakan besar untuk semua orang yang berpartisipasi, dan selamat kepada @alexzoid_eth karena telah mengamankan tempat pertama dalam kontes verifikasi formal pertama di ekosistem Stellar!
Banyak rasa hormat kepada @blend_capital dan @StellarOrg karena bermitra dengan C4 untuk mengamankan Blend V2 dan ekosistem Stellar — dan untuk @CertoraInc untuk mengawasi dan menilai segmen verifikasi formal dari kompetisi kolaboratif ini.
Daftar lengkap pemenang👇
8,15K
Terima kasih banyak kepada semua orang yang bergabung dengan Certora Run di Cannes yang cerah! 🏃🏃🏻♀️
Di mana kita harus mulai berlari selanjutnya? 👀
3 Jul, 03.52
Hai @raave'rs 👻
Pesta malam ini, Certora Run besok. Siapa yang masuk? 👀
2,11K
Hai @raave'rs 👻
Pesta malam ini, Certora Run besok. Siapa yang masuk? 👀
25 Jun 2025
Perhatian @EthCC peserta! 🏃♂️🌊
Bergabunglah dengan kami untuk Certora 5K Run & Walk khas kami di Cannes yang indah!
Apakah Anda seorang pelari atau pejalan kaki, semua orang dipersilakan.
📅 3 Juli
🕐 Mulai pagi hari
💥 Daftar sekarang
3,29K
Hari Musim Panas DeFi oleh @aave sudah dekat!
Jika Anda hadir, ayo mengobrol tentang semua hal keamanan dengan tim Certora dan bergabunglah dengan panel kami untuk mempelajari cara membuat DeFi kuat dan tangguh.
Sampai ketemu! 👇
30 Jun 2025
Kode adalah Hukum. Bagaimana jika salah?
Pelajari cara membuat DeFi tangguh melalui keamanan dengan @SagivMooly, @zkBri, @Sh4har, dan @Montyly.
1,74K
Teratas
Peringkat
Favorit