Akıllı Sözleşme Denetimi (Audit)

Akıllı sözleşme denetimi, bir protokolün kodunun güvenlik uzmanlarınca yapılandırılmış biçimde incelenmesi ve fonların çalınmasına, dondurulmasına ya da yanlış hesaplanmasına yol açabilecek hataların aranmasıdır. Tipik bir denetim, satır satır elle okumayı otomatik analiz ve test senaryolarıyla birleştirir; sonunda bulguları önem derecesine göre listeleyen ve ekibin düzeltmelerini gösteren bir rapor yayımlanır. Yayına alınmış sözleşmeler çoğu zaman değiştirilemediği için, bir kusuru lansmandan önce yakalamak sıradan yazılıma göre çok daha kritiktir. Denetim özen kanıtıdır, garanti değil: belirli bir tarihteki belirli bir kod sürümünü kapsar, her ekonomik saldırıyı öngöremez ve ekibin niyeti hakkında bir şey söylemez. Denetimi kimin yaptığı, kapsamın ne olduğu ve bulguların gerçekten giderilip giderilmediği rozetin kendisinden daha önemlidir.