Audit

Apa itu Audit?

Audit adalah tinjauan independen terhadap sebuah proyek kripto untuk menemukan kelemahan pada kode, desain, dan operasi sebelum merugikan pengguna. Anggap saja sebagai pemeriksaan kesehatan kode di mana para ahli menguji, memeriksa, dan mencoba mencari celah. Seperti kru pit sebelum balapan, tetapi untuk smart contract.

Bagaimana Audit bekerja

Berikut ringkasan singkat tentang proses tinjauan keamanan untuk smart contract, dari awal hingga laporan publik.

1. Ruang lingkup: Tim dan auditor menyepakati kode, konfigurasi, dan asumsi yang akan diperiksa.
2. Tinjauan: Alat memindai repositori, lalu manusia memeriksa baris demi baris untuk mencari masalah seperti bug reentransi dan kesalahan logika.
3. Pengujian: Auditor menulis tes, menjalankan fuzzing, dan meniru alur nyata untuk memicu kasus tepi.
4. Pelaporan: Temuan diberi peringkat berdasarkan tingkat keparahan, dengan perbaikan dan contoh yang jelas. Tim memperbaiki dan mengulang proses.
5. Verifikasi: Auditor memeriksa kembali perbaikan dan menerbitkan laporan yang bisa Anda baca.

Ya, sesederhana itu dan juga sedetail itu jika dilakukan dengan baik.

Mengapa Audit Penting

Anda peduli karena uang berpindah secepat kode. Audit yang tajam bisa menjadi perbedaan antara peluncuran yang sukses dan kegagalan memalukan.

• Manfaat: Lebih sedikit bug, lebih sedikit kejutan, lebih banyak kepercayaan dari pengguna dan mitra.
• Perspektif: Serangan bisa berkisar dari jebakan logika halus hingga penolakan layanan (DoS), jadi pemeriksaan tambahan itu bijak.
• Keterkaitan: Anda akan melihat laporan Audit saat peluncuran token, rilis DeFi, jembatan, mint NFT, dan peningkatan DAO.

Karakteristik Utama Audit

Ciri Audit yang baik:

• Independen: Pengulas terpisah dari tim dan mempertaruhkan reputasi mereka pada laporan.
• Transparan: Temuan didokumentasikan dengan tingkat keparahan, bukti konsep, dan solusi.
• Bertanggal: Kode dapat berubah setelah rilis, tetapi banyak kontrak bersifat tidak dapat diubah, sehingga tinjauan pra peluncuran memiliki bobot lebih.
• Dapat diulang: Proses yang baik memastikan proyek sejenis mendapat pemeriksaan dan pengujian dengan kedalaman yang serupa.

Variasi

Audit tersedia dalam beberapa variasi. Pilih yang sesuai dengan tumpukan teknologi dan profil risiko Anda.

• Kode: Fokus pada smart contract dan logika on chain.
• Keamanan: Tinjauan lebih luas terhadap kunci, infrastruktur, deployment, dan model ancaman.
• Ekonomi: Meninjau insentif token, asumsi oracle, dan teori permainan.
• Kontinu: Pemeriksaan berkelanjutan dengan peringatan dan tinjauan mini berkala.
• Internal: Tinjauan yang dipimpin tim sebelum melibatkan auditor luar.

Contoh

Sebuah protokol pinjaman menunda fitur baru sampai Audit menandai jalur likuidasi yang berisiko, tim memperbaikinya, dan auditor memverifikasi perbaikan sebelum peluncuran.

Fakta Menarik

Kata audit berasal dari bahasa Latin audire, yang berarti mendengar, karena pemeriksaan awal dibacakan dengan suara kepada pejabat. Hari ini kita masih mendengarkan, tetapi lebih pada log tes dan laporan gas daripada pidato.

Ringkasan

Inti: Audit adalah pemeriksaan pra penerbangan untuk kode yang menggerakkan uang. Perlakukan itu sebagai hal wajib, lalu luncurkan dengan percaya diri.