Akıllı sözleşme denetimi neyi kanıtlar, neyi kanıtlamaz

Denetlendi, kriptodaki en yaygın ve en az irdelenen iddialardan biridir. Denetim, bir güvenlik firmasının kod tabanını okuduğu, kusur aradığı ve bulguları yayımladığı ücretli bir incelemedir. Gerçek ve değerli bir çalışmadır. Garanti değildir ve zararın çoğu, neyi ortaya koyduğu ile bir rozetin ima ettiği arasındaki boşlukta durur.

Denetim nedir

Bir firma, tanımlı bir kapsam için tanımlı bir süre boyunca görevlendirilir. Belirli bir commit'teki belirli sözleşmeleri inceler, sorunları önem derecesine göre raporlar ve genellikle ekibin neyi düzelttiğini, neyi kabul edip bıraktığını ve neye itiraz ettiğini gösteren son bir sürüm yayımlar. Rapor asıl üründür. Rozet pazarlamadır.

Rozetin yanıtlamadığı dört soru

Kapsamda ne vardı. Denetim, denetçiye teslim edilen sözleşmeleri kapsar. Sonradan dağıtılan sözleşmeler, yönetim betikleri, arayüz ve zincir dışı bileşenler tamamen dışarıda kalabilir.

Hangi sürüm. Kod değişir. Bir commit'in denetimi, ondan sonra dağıtılan kod hakkında hiçbir şey söylemez ve önemli değişiklikler sonrası yeniden denetim, projelerin bazen atladığı bir maliyettir.

Ne bulundu ve düzeltilmedi. Raporlar rutin olarak ekibin kabul etmeyi seçtiği bilinen sorunları listeler. Bunlar açıklanmış risklerdir ve okunması, teknik olmayan bir okuyucunun bir raporla yapabileceği en bilgilendirici şeydir.

Hangi yetkiler duruyor. Birçok sözleşme bir yükseltme anahtarı, bir duraklatma işlevi ya da ayrıcalıklı bir rol taşır. Denetim bunların var olduğunu ve belgelendiği gibi çalıştığını doğrulayabilir — bu, sizin için güvenli oldukları anlamına gelmez.