چرا ارتقای قرارداد هوشمندم به من اجازه می‌دهد حافظه‌ای را که حسابرسان قبلاً تأیید کرده‌اند، بی‌سروصدا خراب کنم؟

الگوهای پروکسی قابل ارتقا (UUPS، Transparent Proxy، Diamond) در DeFi تولیدی استاندارد هستند، اما یک محدودیت سخت دارند: چیدمان حافظه یک پیاده‌سازی جدید باید با هر اسلات تخصیص‌یافته توسط پیاده‌سازی قبلی سازگار باشد. یک متغیر حالت جدید را در موقعیت اشتباه قرار دهید تا هر اسلات بعدی بی‌سروصدا خراب شود، بدون هیچ خطایی روی زنجیره. بررسی‌کننده‌های خودکار مانند پلاگین ارتقای OpenZeppelin موارد ساده را شناسایی می‌کنند، اما فضای نام‌گذاری‌شده ERC-7201 با بسته‌بندی سفارشی، تخصیص اسلات در سطح اسمبلی، و تصادم متقاطع فاست Diamond که در آن دو فاست یک ناحیه حافظه یکسان را ادعا می‌کنند را از دست می‌دهند. یک مطالعه همتا-ارزیابی‌شده در ژانویه ۲۰۲۶ (ProxyLens) یک دسته قابل توجه از آسیب‌پذیری‌های تصادم بین‌فاستی را یافت که ابزارهای موجود آن‌ها را تشخیص نمی‌دهند. حسابرسان قراردادهای پیاده‌سازی را به‌صورت مجزا بررسی می‌کنند و نمی‌توانند نقشه کامل حافظه یک پروکسی با چندین فاست تفویض‌شده را بازسازی کنند.