‏آوه لبز طرح امنیتی لایه‌بندی‌شده برای نسخه‌ی ۴ را اعلام کرد، پس از حسابرسی ۱.۵ میلیون دلاری.

تمرکز Aave Labs بر امنیت در آستانه راه‌اندازی V4

Aave Labs در آستانه راه‌اندازی V4، تمام تمرکز خود را بر امنیت گذاشته است.

این تیم حدود ۱.۵ میلیون دلار برای یک برنامه حسابرسی گسترده هزینه کرده است که آن را به یکی از فشرده‌ترین بررسی‌های امنیتی در حوزه امور مالی غیرمتمرکز (DeFi) تا به امروز تبدیل می‌کند.

فرآیند بررسی حدود ۳۴۵ روز به طول انجامید و شامل چندین شرکت امنیتی و همچنین یک مسابقه حسابرسی عمومی بزرگ بود.

دوران “سریع حرکت کن و خراب کن” در حال محو شدن است. در بازار امروز، انعطاف‌پذیری و امنیت در حال تبدیل شدن به مزیت رقابتی واقعی هستند.

حسابرسی V4 فراتر از یک ارتقاء پروتکل معمولی بود.

این تیم با حمایت مالی Aave DAO، شرکت‌های امنیتی بزرگی مانند ChainSecurity، Trail of Bits، Blackthorn و Certora را به کار گرفت. به جای یک مرحله حسابرسی، کد از زوایای مختلف آزمایش شد.

نتایج مسابقه حسابرسی @Aave V4 اکنون منتشر شده است! هیچ مشکل با شدت بحرانی/بالا/متوسط تأیید نشده‌ای وجود نداشت. مبلغ ۱۰,۰۰۰ دلار USDC بین ۶ محقق، متناسب با امتیازات جدول رده‌بندی، تقسیم خواهد شد. از همه کسانی که شرکت کردند سپاسگزاریم. نتایج کامل در اینجا:…

در مجموع، این پروتکل تقریباً یک سال کامل توسط تیم‌های داخلی، حسابرسان خارجی و محققان مستقل مورد آزمایش قرار گرفت. یکی از بزرگترین مراحل، یک مسابقه امنیتی عمومی شش هفته‌ای در Sherlock بین دسامبر ۲۰۲۵ و ژانویه ۲۰۲۶ بود.

بیش از ۹۰۰ محقق به این مسابقه پیوستند و بیش از ۹۵۰ یافته ارائه کردند. با وجود این بررسی گسترده، هیچ آسیب‌پذیری با شدت بحرانی یا بالا یافت نشد.

این نتیجه پاک، اعتماد به معماری hub-and-spoke Aave را تقویت می‌کند که برای کاهش سطح حمله کلی پروتکل طراحی شده است.

Aave Labs از رویکرد قدیمی “ابتدا بسازید، بعد حسابرسی کنید” فاصله می‌گیرد. با V4، تیم‌های امنیتی از روز اول در کنار توسعه‌دهندگان کار می‌کنند.

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

عنصر هوش مصنوعی برجسته است. سیستم‌های خودکار می‌توانند موارد خاصی را شناسایی کنند که حسابرسان انسانی ممکن است از دست بدهند. شرکت تأیید Certora به تعریف قوانین سختگیرانه‌ای به نام invariants کمک کرد که کد باید همیشه قبل از رسیدن به بررسی دستی از آنها پیروی کند.

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

Aave Labs پیشنهاد راه‌اندازی یک برنامه پاداش باگ اختصاصی Aave V4 در @sherlockdefi را می‌دهد. هدف این است که یک کانال گزارش‌دهی امنیتی همیشه فعال برای Aave V4 اضافه شود، با یک راه‌اندازی triage که برای کاهش هرزنامه و هدایت گزارش‌های با شدت بالا با فوریت بالا طراحی شده است.

امنیت در حال تبدیل شدن به یک مزیت رقابتی بزرگ در DeFi است. سرمایه نهادی به پروتکل‌هایی که ریسک قرارداد هوشمند ناشناخته دارند، دست نمی‌زند. هزینه ۱.۵ میلیون دلار در ابتدای کار برای امنیت، بهای کمی برای ارزش قفل شده در پروتکل است، اما یک سیگنال اعتماد قوی ارسال می‌کند.

آزمایش کلیدی بعدی پس از راه‌اندازی خواهد بود. اگر Aave V4 ماه‌های اول خود را بدون مشکلات عمده سپری کند، سرمایه محتاطی که پس از هک‌های اخیر از DeFi دور مانده است، می‌تواند دوباره شروع به ورود کند.