Akıllı kontrat güvenlik denetimi (audit) neden atlanmamalı?

Akıllı kontratlar blok zincirine dağıtıldıktan sonra varsayılan olarak değiştirilemez. Koddaki bir güvenlik açığı (örneğin yeniden giriş/reentrancy açığı), fark edildiğinde çoğu zaman geri döndürülemez maddi kayba yol açmış olur. Bağımsız bir güvenlik denetimi, bu riski canlıya almadan önce azaltmayı hedefler.

Yeniden giriş (reentrancy), tamsayı taşması (integer overflow), erişim kontrolü eksiklikleri ve yanlış yetkilendirme, akıllı kontratlarda en sık görülen güvenlik açıkları arasındadır.

Bağımsız bir denetim ekibi (veya bu konuda uzmanlaşmış bir servis), kontrat kodunu satır satır inceleyerek bilinen açık kalıplarını ve mantık hatalarını tespit eder; bulgular giderildikten sonra kontrat dağıtıma hazır hale gelir.

Denetimin verimli geçmesi için kontratın ne yapması gerektiğini anlatan açık bir dokümantasyon hazırlanmalıdır: hangi rollerin hangi yetkilere sahip olduğu, fonların hangi koşullarda hareket edebileceği ve kontratın hangi dış kontratlarla etkileşime girdiği gibi. Denetçiler kodun yalnızca teknik açıklarını değil, dokümantasyonda anlatılan amaçla uyumlu olup olmadığını da kontrol eder.

Kapsamlı birim testleri, testnet üzerinde yapılmış denemeler ve otomatik analiz araçlarından geçirilmiş bir kod tabanı, denetçilerin zamanını bilinen basit hatalar yerine daha derin mantık hatalarına ayırmasını sağlar. Denetim sırasında kodun dondurulması ve denetim sonrası yapılan her değişikliğin tekrar incelenmesi de önemlidir.

Denetim raporlarında bulgular genellikle kritik, yüksek, orta, düşük ve bilgi amaçlı olarak sınıflandırılır. Kritik ve yüksek seviyeli bulguların tamamı giderilmeden kontrat canlıya alınmamalıdır. Her bulgu için ekibin yaptığı düzeltme ve denetçinin bu düzeltmeyi doğrulayıp doğrulamadığı raporda yer almalıdır.

Denetim bir güvenlik garantisi değil, riskin önemli ölçüde azaltılmasıdır. Bu yüzden büyük tutarlı projelerde birden fazla bağımsız denetim yaptırmak, canlı sonrası bir hata ödül programı başlatmak ve kontratı ilk aşamada işlem limitleriyle devreye almak yaygın bir uygulamadır.