Definisi
Audit kontrak pintar menilai versi khusus: hak akses, akuntansi, panggilan luar, upgrade, dan asumsi ekonomi. Bukan sertifikat nilai token, solvabilitas, atau tanpa serangan.
Cara Kerja
Tinjauan manual, alat analisis, pengujian, dan diskusi menghasilkan temuan dengan tingkat keparahan. Pemeriksaan perbaikan harus menyatakan cakupannya. Verifikasi kode di explorer tidak mengganti audit.
Hal yang Perlu Diperhatikan
Periksa tanggal, versi, alamat, pengecualian, dan masalah terbuka. Oracle, integrasi, admin, atau upgrade baru mengubah asumsi. Kesalahan bisa terlewat; review independen, tes, dan pemantauan melengkapi. Baca laporan, bukan lencana saja, dan bedakan risiko kode dari operasi serta keuangan.