2025-12-30 15:21:59

Dalam beberapa bulan terakhir, ada beberapa perkembangan menarik di bidang verifikasi kontrak pintar.

Sistem bukti teorema otomatis Certora Prover mempercepat proses audit – audit yang dulunya memakan waktu berminggu-minggu untuk diselesaikan sekarang selesai dalam hitungan jam. Halmos menggunakan mesin eksekusi simbolis untuk mendeteksi kerentanan, yang dapat menangkap 99,5% masalah yang terlewatkan oleh metode pengujian tradisional. Ditambah dengan fungsi pemantauan real-time baru dari MythX Enterprise Edition, seluruh rantai alat menjadi semakin lengkap.

Perbedaan datanya jelas: Proyek DeFi yang menggunakan alat baru ini tidak memiliki insiden keamanan sepanjang kuartal; Di sisi lain, protokol tradisional masih digunakan, dan kerugian yang disebabkan oleh peretasan lebih dari $300 juta. Keduanya dibandingkan, dan kualitasnya segera dinilai.

Banyak orang dalam industri memprediksi bahwa setelah dua tahun lagi, verifikasi formal dapat menjadi proses standar yang harus dimiliki oleh proyek DeFi besar. Lagi pula, tidak ada yang berani berkompromi dengan keselamatan.

Lihat Asli

Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.

14 Suka

Hadiah
14
5
Posting ulang
Bagikan

Komentar

0/400

LiquidatedDreams

· 2025-12-30 23:21

Baiklah, akhirnya ada yang membuat audit menjadi lebih efisien, sudah saatnya seperti ini Verifikasi formal ini bukan main-main, kerugian sebesar 300 juta dolar menunjukkan masalahnya Set itu Certora memang unggul, hasil audit keluar dalam beberapa jam, menunggu dua tahun lagi ini pasti standar Tapi kembali lagi, berapa banyak proyek yang benar-benar berani menggunakannya Tingkat deteksi kerentanan 99,5%, rasanya jauh lebih andal daripada metode tradisional Sebarkan lebih awal, jangan sampai ada yang diretas karena tidak melakukan verifikasi dengan baik Sekarang DeFi bisa benar-benar lebih tenang

Lihat AsliBalas0

RegenRestorer

· 2025-12-30 15:50

WTF perbedaan data ini terlalu mencolok, 300 juta teman-teman Seharusnya sudah menggunakan alat ini sejak lama, kenapa masih ada yang mempertaruhkan nyawa Verifikasi formal akan menjadi standar dalam dua tahun? Saya rasa sekarang harus dipaksakan Operasi Certora kali ini benar-benar hebat, audit selesai dalam beberapa jam, saya langsung menganggap mereka ahli Teman-teman yang masih menggunakan metode tradisional, benar-benar bermain api

Lihat AsliBalas0

StealthMoon

· 2025-12-30 15:32

Alat keamanan ini memang sedang berkembang pesat, tetapi jujur saja masih agak lambat. Kapan sebenarnya semua proyek ini bisa menggunakannya? --- Sistem Certora terdengar bagus, tetapi tergantung pada kualitas audit sebenarnya, kecepatan tidak selalu berarti kerentanan lebih sedikit. --- 99,5% terdengar sangat bagus, tetapi takut ada Black Swan sebesar 0,5%. --- Angka 3 miliar dolar itu agak menakutkan, seharusnya sudah naik kendaraan lebih awal kalau tahu. --- Verifikasi formal menjadi standar? Kita tunggu saja, biaya juga harus disesuaikan. --- Rasa-rasanya proyek besar mulai memperhatikan ini, ekosistem kecil masih harus banyak diperhatikan. --- Percepatan audit memang berita baik, tetapi peningkatan kesadaran keamanan jauh lebih penting. --- Kapan alat ini bisa lebih murah, sehingga proyek menengah juga bisa menggunakannya, itu akan lebih menyenangkan.

Lihat AsliBalas0

DYORMaster

· 2025-12-30 15:32

Sudah saatnya untuk menyebarluaskan, mereka yang masih menggunakan metode lama benar-benar harus sadar.

Lihat AsliBalas0

ImpermanentLossFan

· 2025-12-30 15:27

Verifikasi formal untuk hal ini benar-benar akan mulai dilakukan, tapi kembali lagi, berapa banyak proyek yang benar-benar rela mengeluarkan uang untuk menggunakannya?

Lihat AsliBalas0