حسابرسی قرارداد هوشمند (Smart contract audit)

حسابرسی یک بررسی پولی است که طی آن پژوهشگران امنیتی کد قراردادهای هوشمند پروژه را می‌خوانند، آزمایش می‌کنند و گزارشی می‌نویسند که مشکلات را بر اساس شدت فهرست می‌کند. هدف این است که باگ‌ها و منطق قابل‌سوءاستفاده پیش از مهاجمان پیدا شوند. گزارش‌ها معمولاً وضعیت هر مشکل را رفع‌شده، پذیرفته‌شده یا باز مشخص می‌کنند.

حسابرسان بررسی دستی را با ابزارهایی مثل تحلیلگرهای ایستا، فازرها و مجموعه تست‌ها ترکیب می‌کنند. آن‌ها دنبال مواردی مانند ورود مجدد، خطاهای محاسباتی، نبود کنترل دسترسی، دست‌کاری اوراکل و اختیارات خطرناک مالک می‌گردند. گزارش به نسخه مشخصی از کد مربوط است که اغلب با هش کامیت یا آدرس قرارداد مستقرشده مشخص می‌شود. برخی شرکت‌ها اثبات صوری یا پایش مستمر هم ارائه می‌کنند.

برای خریدار توکن، حسابرسی نشان می‌دهد که تیم دست‌کم به کسی پول داده تا کد را بررسی کند. این به معنی امن یا صادق‌بودن پروژه نیست. حسابرسی نمی‌تواند جلوی فروش توکن‌های تیم یا بیرون‌کشیدن نقدینگی قفل‌نشده را بگیرد و بسیاری از پروتکل‌هایی که هک شده‌اند، قبلاً حسابرسی شده بودند. برای توکن‌های کوچک، حسابرسی‌های ارزان اغلب اسکن‌های خودکاری هستند که در قالب بررسی تخصصی ارائه می‌شوند و بعضی نشان‌های حسابرسی هم کاملاً جعلی‌اند.

خود گزارش را بخوانید، نه فقط نشان آن را. بررسی کنید آدرس یا کد حسابرسی‌شده با آنچه مستقر شده مطابقت دارد، چون پروژه می‌تواند یک قرارداد را حسابرسی کند و قرارداد دیگری را راه‌اندازی کند. ببینید کدام مشکلات با شدت بحرانی یا بالا حل‌نشده مانده‌اند و آیا حسابرس اختیارات مالک مثل مینت، تغییر مالیات یا قراردادن آدرس‌ها در بلک‌لیست را گوشزد کرده است. بررسی کنید چه کسی حسابرسی را انجام داده و آیا گزارش در سایت خود حسابرس هم منتشر شده است یا فقط در سایت پروژه قرار دارد.