Tanım
Akıllı sözleşme denetimi, dağıtımdan önce veya sonra zincir üstü (ve çoğu zaman ilgili zincir dışı) kodun bağımsız güvenlik incelemesidir. Denetçiler mantık hataları, erişim denetimi açıkları, ekonomik tasarım başarısızlıkları ve fon kaybına veya protokol ele geçirmeye yol açabilecek bilinen zafiyet sınıflarını arar. Denetim “tüm saldırılar engellenir” güvencesi değildir. Tanımlı kapsam ve süre içinde zayıflıkları bulup kanıtlamaya yönelik yapılandırılmış bir girişimdir.