Akıllı sözleşme denetimi (Smart contract audit)

Denetim, güvenlik araştırmacılarının bir projenin akıllı sözleşme kodunu okuyup test ettiği ve sorunları önem derecelerine göre sıralayan bir rapor hazırladığı ücretli bir incelemedir. Amaç, saldırganlardan önce hataları ve istismar edilebilir mantık açıklarını bulmaktır. Raporlarda her sorun genellikle giderildi, kabul edildi veya açık olarak işaretlenir.

Denetçiler manuel incelemeyi statik analiz araçları, fuzzing araçları ve test paketleriyle birleştirir. Reentrancy, hatalı hesaplamalar, eksik erişim kontrolleri, oracle manipülasyonu ve tehlikeli sözleşme sahibi yetkileri gibi sorunları ararlar. Rapor, genellikle bir commit hash'i veya ağa dağıtılmış sözleşme adresiyle tanımlanan belirli bir kod sürümü için geçerlidir. Bazı firmalar ayrıca biçimsel doğrulama veya sürekli izleme hizmeti sunar.

Token alıcısı açısından denetim, ekibin en azından kodu incelemesi için birine ödeme yaptığını gösterir. Projenin güvenli veya dürüst olduğu anlamına gelmez. Denetim, ekibin kendi tokenlarını satmasını veya kilitlenmemiş likiditeyi çekmesini engelleyemez; saldırıya uğrayan birçok protokol de daha önce denetlenmişti. Küçük token projelerinde ucuz denetimler çoğu zaman kapsamlı inceleme gibi sunulan otomatik taramalardan ibarettir; bazı denetim rozetleri ise tamamen sahtedir.

Yalnızca rozete değil, raporun kendisine bakın. Denetlenen adresin veya kodun, ağa dağıtılan sözleşmeyle eşleştiğini kontrol edin; bir proje bir sözleşmeyi denetletip başka bir sözleşmeyle piyasaya çıkabilir. Hangi kritik veya yüksek önem dereceli sorunların çözülmeden bırakıldığına ve denetçinin mint etme, işlem vergilerini değiştirme veya kara listeye alma gibi sözleşme sahibi yetkilerini işaretleyip işaretlemediğine bakın. Denetimi kimin yaptığını ve raporun yalnızca projenin sitesinde değil, denetçinin kendi sitesinde de yayımlanıp yayımlanmadığını kontrol edin.