هاسکینسون کد «پاک‌کننده» بایننس را در حالی که بحث درباره EIP-7702 گسترش می‌یابد، مورد اشاره قرار می‌دهد

بنیان‌گذار کاردانو، چارلز هاسکینسون، از «کد بسیار خطرناکی» هشدار داده و تحلیلی منتشر کرده که ویژگی واگذاری EIP-7702 اتریوم را مقصر کمک به مهاجمان برای تخلیه سریع کیف پول گرم بایننس می‌داند.

خلاصه

• هاسکینسون تحلیل فنی منتشر کرد که ادعا می‌کند این کد «پاک‌کننده» دقیقاً برای زیرساخت کیف پول بایننس طراحی شده است.

• سایبرساتوشی ادعا کرد ۵۰ امضای مجاز، به مهاجم کمک کرد تا به شماره تراکنش متغیر کیف پول گرم حمله کند.

• این تحلیل تأکید کرد که کنترل کلید خصوصی یا دسترسی نامحدود به امضا برای اجازه واگذاری ضروری است.

• مشخصات اتریوم هشدار می‌دهد که کد واگذارشده دسترسی نامحدود به حساب را دریافت می‌کند و نیازمند بررسی‌های امنیتی دقیق است.

در پست اکس خود، هاسکینسون نوشت: «مراقب باشید، کدهای بسیار خطرناکی در فضاست» و بالای تحلیل منتشرشده توسط سایبرساتوشی قرار داد.

پستی که اشتراک گذاشته بود، بایت‌کد بازسازی‌شده یک کد «پاک‌کننده» ادعایی EIP-7702 بایننس را توصیف می‌کرد و استدلال می‌کرد که این قرارداد برای عملیات صرافی سفارشی‌سازی شده است. پیام همراه هاسکینسون، نقص خاصی در پروتکل را شناسایی نکرد و توضیحی نیز درباره بخشی از تحلیل که از آن حمایت می‌کند ارائه نداد.

حساب سایبرساتوشی دو پرسش امنیتی را در کنار هم قرار داده است: یکی درباره نحوه اخذ اجازه توسط مهاجم برای اقدام به جای کیف پول و دیگری درباره اینکه ویژگی واگذاری اتریوم پس از اخذ این اجازه به مهاجم چه امکاناتی داده است.

همچنین ممکن است مورد علاقه شما باشد: بنیاد کاردانو به گروه سوئیسی برای حمایت از سهام توکنی‌شده پیوست

کد «پاک‌کننده» بایننس ادعایی، از امکانات امنیتی کیف پول فراتر رفت

بر اساس تحلیل سایبرساتوشی، قرارداد بازسازی‌شده دقیقاً ۱ اتریوم در کیف پول باقی گذاشت تا هنگام تخلیه موجودی اصلی، صف خودکار کیف پول گرم بایننس از کمبود گِس اجرا نشود و هشداری صادر نکند.

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

تابع اجرایی سفارشی ادعایی به کیف پول مختل شده اجازه می‌داد تا به یک صندوق خارجی حاوی ۸۲۳ میلیون دلار ایوسی‌دی دسترسی پیدا کند. در توضیح نویسنده، این صندوق بایننس ۱۴ را به عنوان کنترل‌کننده خود شناسایی می‌کرد و امکان دسترسی به وجوه خارج از موجودی مستقیم کیف پول را از طریق آن فراهم می‌ساخت.

سایبرساتوشی این قرارداد را به‌عنوان ابزاری اختصاصی برای معماری بایننس توصیف کرد. ادعاهای مربوط به تأثیر آن بر سیستم‌های هشدار داخلی و خزانه همچنان توضیح نویسنده از نحوه عملکرد این عملیات است.

EIP-7702 برای واگذاری نیازمند امضای مجاز است

مشخصات EIP-7702 اتریوم نوعی تراکنش را توصیف می‌کند که به یک حساب مالکیت‌شده خارجی اجازه می‌دهد اجرای عملیات را به کدی که در آدرس دیگری مستقر شده، واگذار کند.

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

هر مجوزی شناسایی‌کنندهٔ زنجیره، آدرس نماینده و عدد غیرتکراری (nonce) است و همراه با یک امضای رمزنگاری‌شده ارائه می‌شود. پروتکل حساب مجاز‌دهنده را از روی آن امضا بازیابی کرده و قبل از اعمال واگذاری، عدد nonce آن را بررسی می‌کند.

سایبرساتوشی این الزام را تأیید کرد و گفت حملهٔ ادعایی یا نیازمند کلید خصوصی اصلی بوده یا دسترسی نامحدود به زیرساخت امنیتی امضاي بایننس ۱۴.

این مشخصات نحوهٔ به‌دست‌آوردن هرگونه اعتبار امضاي بایننس را تعیین نمی‌کند. الزام امضای آن این موضوع را تأیید می‌کند که واگذاری نمی‌تواند بدون مجوز معتبر به سادگی به هر حساب قربانی دلخواهی تفویض شود.

قوانین nonce اتریوم توضیح‌دهندهٔ دستهٔ ادعایی است.

سایبرساتوشی ادعا کرد مهاجم ۵۰ مجوز ازپیش‌امضاشده را که شامل عدد‌های nonce متوالی بودند، ارسال کرده تا در لحظه‌ای که تعداد تراکنش‌های بایننس ۱۴ در حال تغییر بود، آن را «گرفتار» کند.

پروتکل مجوزها را به ترتیب پردازش می‌کند. اگر یک مجوز در بررسی‌ها شکست بخورد، پردازش با مورد بعدی ادامه می‌یابد. یک مجوز معتبر واگذاری را تنظیم کرده و عدد nonce حساب مجاز‌دهنده را افزایش می‌دهد.

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

این مفهوم دقیق‌تر از یک دسته است که فقط یک مجوز می‌تواند اثرگذار باشد. این قوانین اجازه می‌دهند چند مورد متوالی موفق باشند، بسته به عدد nonce اولیهٔ حساب و امضاهای ارائه‌شده.

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

سند طراحی اتریوم ریسک‌های واگذاری را توضیح می‌دهد.

نویسندگان EIP به‌طور صریح هشدار داده‌اند که کد مجاز‌شده دسترسی نامحدود به حساب دارد و باید توسط کیف پول با دقت بالا بررسی شود.

بخش امنیتی آن، محافظت‌هایی را که قراردادهای نماینده باید داشته باشند، فهرست می‌کند؛ از جمله جلوگیری از بازپخش (replay)، و پوشش امضاهای ارزش تراکنش، گِس، مقصد و داده‌های فراخوانی. پیاده‌سازی ضعیف واگذاری می‌تواند به مهاجم کنترل تقریباً کامل بر حساب امضاکننده را بدهد.

واگذاری پس از تراکنشی که آن را نصب کرده، ادامه دارد. مشخصات همچنین بیان می‌کند که شکست در اجرای یک تراکنش، نشانگرهای واگذاری که قبلاً پردازش شده‌اند را بازگردانده نمی‌کند.

برای حذف واگذاری، پروتکل اجازهٔ ارائهٔ یک مجوز معتبر به آدرس صفر را می‌دهد که کد واگذاری حساب را پاک می‌کند.

برای اطلاعات بیشتر: پلی‌مارکت با استفاده از چینلینک بازارهای طلا و نقرهٔ ۱۵ دقیقه‌ای را راه‌اندازی کرد.