Apa yang sebenarnya diperiksa auditor
Audit kontrak pintar adalah peninjauan kode oleh pihak luar untuk mencari kesalahan yang bisa dimanfaatkan penyerang atau menyebabkan dana terkunci. Auditor membaca kode, menjalankan pengujian, dan mencatat temuan. Yang diperiksa biasanya meliputi celah yang memungkinkan penarikan dana berulang, kontrol akses yang longgar, kesalahan perhitungan, ketergantungan pada sumber harga yang bisa dimanipulasi, serta kewenangan berlebihan di tangan admin.
Poin pentingnya: audit memeriksa versi kode tertentu pada waktu tertentu, dalam cakupan tertentu. Ketiga batas itu biasanya tertulis di halaman awal laporan, dan di situlah pemeriksaan Anda dimulai.
Yang tidak dijamin oleh audit
- Harga token. Audit tidak menilai apakah proyek layak bernilai tinggi.
- Kejujuran tim. Auditor bisa mencatat bahwa admin mampu mencetak token atau menarik dana, tetapi tidak bisa mencegah admin melakukannya.
- Kode yang berubah setelah audit. Jika kontrak yang dipasang berbeda dari yang diaudit, laporan itu tidak berlaku untuknya.
- Bagian di luar cakupan. Situs web, dompet tim, jembatan antarjaringan, dan kontrak lain yang tidak disebut dalam laporan tidak ikut diperiksa.
- Celah yang belum dikenal. Auditor bekerja dengan pengetahuan dan waktu yang terbatas; lolos audit bukan jaminan kebal serangan.
Membaca tingkat keparahan dan status temuan
Laporan biasanya mengelompokkan temuan menurut tingkat keparahan, lalu mencatat tanggapan tim. Kombinasi keduanya lebih penting daripada jumlah temuan.
| Keparahan | Makna umum | Status yang perlu Anda cari |
|---|---|---|
| Kritis | Dana bisa dicuri atau terkunci permanen | Harus "diperbaiki", bukan sekadar "diketahui" |
| Tinggi | Kerugian besar dalam kondisi tertentu | Diperbaiki, atau alasan kuat bila tidak |
| Sedang | Perilaku tak terduga, risiko terbatas | Ada tanggapan tertulis dari tim |
| Rendah dan informasi | Kerapian kode dan saran perbaikan | Tidak menentukan, tetapi menunjukkan kedisiplinan tim |
Status "diakui" (acknowledged) berarti tim tahu masalahnya tetapi memilih tidak memperbaikinya. Untuk temuan kritis atau tinggi, pilihan itu harus disertai penjelasan yang meyakinkan. Temuan tentang sentralisasi, misalnya satu alamat bisa mencetak token tanpa batas, sering dibiarkan dengan status ini.
Memastikan laporannya asli dan berlaku
Laporan audit bisa dipalsukan atau dipakai untuk kontrak yang berbeda. Tiga langkah sederhana untuk mengujinya:
- Cari laporan yang sama di situs atau repositori resmi auditor, bukan hanya berkas PDF di situs proyek.
- Cocokkan alamat kontrak atau kode versi yang tercantum di laporan dengan kontrak yang benar-benar dipakai token tersebut.
- Periksa tanggalnya. Laporan lama untuk kontrak yang sudah diperbarui berkali-kali tidak banyak berarti.
Kewenangan admin yang perlu dicatat
Bahkan tanpa celah keamanan, sebuah kontrak bisa memberi pemiliknya kekuasaan yang merugikan pemegang token. Cari di laporan atau penjelajah blok apakah admin bisa: mencetak token baru, menghentikan transfer, memasukkan alamat ke daftar hitam, mengubah biaya jual, atau mengganti logika kontrak lewat mekanisme yang dapat ditingkatkan (upgradeable). Masing-masing punya alasan teknis yang sah, tetapi juga bisa menjadi alat rug pull atau honeypot seperti dijelaskan di lembar likuiditas.
Kewenangan besar lebih bisa diterima jika dibatasi: dipegang dompet multisig, dijalankan dengan penundaan waktu yang memberi pemegang kesempatan keluar, atau dilepas sepenuhnya setelah proyek stabil. Siapa pemegang kunci itu dibahas di lembar menelusuri tim.
Audit hanyalah satu lapisan
Proyek yang serius biasanya menambah lapisan lain di luar audit. Program hadiah bagi peretas etis (bug bounty) mengundang pihak luar untuk terus mencari celah setelah peluncuran. Penundaan waktu pada perubahan kontrak memberi pengguna kesempatan membaca perubahan sebelum berlaku. Riwayat operasi yang panjang tanpa insiden juga merupakan bukti tersendiri, meski tidak pernah mutlak. Jika sebuah token hanya punya satu laporan audit dan tidak satu pun lapisan tambahan, anggap perlindungannya tipis. Ingat pula bahwa semua lapisan ini melindungi dari kesalahan kode, bukan dari harga yang jatuh karena pasar kehilangan minat.
Tanda bahaya audit
- Laporan hanya ada di situs proyek dan tidak ditemukan di kanal auditor.
- Temuan kritis berstatus "diakui" tanpa perbaikan.
- Alamat kontrak di laporan berbeda dengan kontrak yang diperdagangkan.
- Admin bisa mencetak token atau mengubah biaya jual tanpa batas.
Checklist membaca laporan audit
- Baca halaman cakupan: kontrak apa, versi mana, tanggal berapa.
- Verifikasi keaslian di kanal resmi auditor.
- Cocokkan alamat kontrak dengan yang dipakai token.
- Hitung temuan kritis dan tinggi yang belum diperbaiki.
- Catat semua kewenangan admin dan siapa pemegangnya.
- Masukkan hasilnya ke baris audit di kartu skor proyek.