دامنه و هش کامیت
حسابرسی فایلهای مشخصی را در یک کامیت مشخص پوشش میدهد. اگر قرارداد مستقرشده با آن کامیت فرق کند، حسابرسی آنچه را که زنده است توصیف نمیکند. هش داخل گزارش را با سورس مستقر و راستیآزماییشده تطبیق بدهید.
استثناهای دامنه هم مهماند. گزارشها معمولاً میگویند طراحی اقتصادی، قابلیت اعتماد اوراکل یا وابستگیها بیرون دامنه بوده؛ و اغلب ریسک واقعی همانجاست.
یافتهها و سرنوشتشان
یافتهها را بر اساس شدت بشمارید و وضعیت رفع هر کدام را بررسی کنید. «تأییدشده» (acknowledged) یعنی رفعشده نیست — یعنی تیم خوانده و انتخاب کرده بپذیردش. یافتهٔ با شدت بالای تأییدشده تصمیمی است که حالا شما به ارث میبرید.
صفر یافته روی پروتکل پیچیده معمولاً یعنی دامنه باریک بوده نه کد بینقص.
آنچه حسابرسی هرگز پوشش نمیدهد
تصمیمهای حاکمیتی، رفتار کلید مدیر، طراحی مشوق، دستکاری اوراکل در شرایط افراطی و هر قراردادی که قرارداد حسابرسیشده با آن تعامل میکند. و هر تغییری که بعد از تاریخ گزارش ساخته شده.
گزارش عکس لحظهای یک کامیت است. پروتکلها پیوسته ارتقا میدهند، نوع وثیقه اضافه میکنند و پارامتر تنظیم میکنند و هیچکدام زیر سندی که ماهها پیش نوشته شده نیست. پرسش مفید این است که از آن وقت چه عوض شده، نه اینکه اصلاً حسابرسی هست یا نه.
بیشتر زیانهای بزرگ دیفای کدی را درگیر کرده که حسابرسی شده بود، چون شکستها در همین دستهها بودند.
نشانههای بهتر از نشان حسابرسی
زمان در تولید با ارزش قابل توجه در معرض. جایزهٔ باگ فعال با پرداختهای معنادار. حاکمیت زمانقفلدار تا تغییرها پیش از اثر دیدنی باشند. چند بازبینی مستقل بهجای یکی.
افبیتی سواپ از تجمیعکنندههای عمومی جاافتاده مسیر میدهد و قرارداد وام یا استخر خودش را اداره نمیکند. ریسک پروتکل مال پروتکل است و برنامه منبع دادهای را که نمایش میدهد نام میبرد.