Akıllı Sözleşme Denetimi Nedir?

Akıllı sözleşme denetimi, bir akıllı sözleşmenin kodunun güvenlik açısından incelenmesidir. Akıllı sözleşmeler genellikle büyük miktarda kullanıcı fonunu yönetir ve yayına alındıktan sonra değiştirilmesi zor ya da imkânsızdır. Kodda gözden kaçan küçük bir hata, fonların çalınmasına yol açabilir.

Denetimde neler incelenir?

• Bilinen saldırı türleri: Yeniden giriş (reentrancy), tamsayı taşması, yetki kontrolü hataları gibi yaygın açıklar.
• İş mantığı: Kodun, dokümanda anlatıldığı gibi çalışıp çalışmadığı.
• Yönetici yetkileri: Ekibin fonları çekme, sınırsız token basma ya da sözleşmeyi değiştirme yetkisi olup olmadığı.
• Dış bağımlılıklar: Oracle ve diğer sözleşmelerle etkileşimden doğan riskler.

Denetim; manuel kod incelemesi, otomatik analiz araçları ve bazen biçimsel doğrulama yöntemlerinin birlikte kullanılmasıyla yapılır.

Denetim raporu nasıl okunur?

Raporlar genellikle bulguları kritik, yüksek, orta ve düşük gibi önem derecelerine ayırır. Bakman gereken noktalar:

• Kritik ve yüksek bulgular düzeltildi mi?
• Denetlenen kod sürümü, şu an yayında olan sürümle aynı mı?
• Denetimi yapan kuruluş bağımsız ve bilinen bir kuruluş mu?

Denetimin sınırları

Denetim bir güvenlik garantisi değildir. Denetlenmiş projeler de saldırıya uğramıştır. Denetim yalnızca incelenen kodu ve o tarihteki bilgiyi kapsar; sonradan yapılan değişiklikler, ekonomik saldırılar ya da rug pull gibi ekip kaynaklı riskler kapsam dışında kalabilir. Ayrıca bazı projeler sahte ya da çok yüzeysel denetim raporları yayımlayabilir. Denetimi, bir projeyi değerlendirirken bakılacak birçok işaretten yalnızca biri olarak gör.