آیرونوود هم‌زمان با ایمن‌سازی «اُرچارد» توسط زی‌کش و اجبار به مهاجرت ۱.۸ میلیارد دلاری، به‌صورت رسمی راه‌اندازی شد

ارتقای NU6.3 در تاریخ 28 ژوئیه در ارتفاع بلاک 3,428,143 فعال شد و یک استخر محافظت‌شده جداگانه به نام آیرون‌وود، یک قالب تراکنش جدید و یک ایست بازرسی حسابداری اجباری برای وجوهی که از اورچارد خارج می‌شوند را معرفی کرد. پرداخت‌های محافظت‌شده جدید اکنون به آیرون‌وود هدایت می‌شوند، در حالی که اورچارد به برداشت‌ها محدود شده است.

این تغییر پس از کشف یک ضعف رمزنگاریِ بحرانی رخ داد که از زمان راه‌اندازی این استخر در مه 2022 درون اورچارد باقی مانده بود. پژوهشگر مستقل امنیت، تیلور هورنبی، این نقص را در 29 مه و طی یک ممیزیِ مبتنی بر هوش مصنوعی (AI) که تحت قرارداد برای Shielded Labs و با استفاده از مدل Claude Opus 4.8 شرکت Anthropic انجام می‌شد، پیدا کرد.

نقصی با پیامدهای جعل

این آسیب‌پذیری یک مؤلفه «ضرب اسکالر روی منحنی بیضوی» را در سامانه اثبات Halo 2 تحت تأثیر قرار می‌داد. قیود ناقصِ مدار می‌توانست به یک کاربر مخرب اجازه دهد «نوت»های جعلیِ اورچارد تولید کند که معتبر به نظر برسند و نالیفایرهای یکتایی داشته باشند که از تراکنش‌های مشروع قابل تشخیص نباشند.

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

معماری «ترن‌استایل» موجودِ زی‌کش مانع از آن می‌شد که عرضه جهانی از سقف 21 میلیون ZEC فراتر رود. با این وجود، این آسیب‌پذیری اعتماد به این‌که هر سکه‌ای که به‌صورت خصوصی درون اورچارد در گردش است به‌طور مشروع ایجاد شده باشد را تضعیف کرد.

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

آیرون‌وود یک مرز حسابداری جدید ایجاد می‌کند

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

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

این طراحی به اپراتورهای نود اجازه می‌دهد با بررسی ترازها در آیرون‌وود، ساپلینگ، اسپراوت و ارزش باقی‌مانده و ممیزی‌شده اورچارد، عرضه در گردش زی‌کش را راستی‌آزمایی کنند. با مهاجرت کاربران مشروع، انتظار می‌رود تراز اورچارد کاهش یابد و یک کران بالای هرگونه بی‌نظمی پنهانِ بالقوه روزبه‌روز محدودتر شود.

گزارش شده است که اورچارد هنگام فعال‌سازی حدود 3.6 میلیون تا 3.76 میلیون ZEC در خود داشت که با قیمت‌های همان زمان حدود 1.7 تا 1.9 میلیارد دلار ارزش داشت. آیرون‌وود بدون هیچ تراز اولیه‌ای شروع کرد، هرچند رهگیری‌های اولیه نشان دادند مدت کوتاهی پس از فعال‌سازی، ده‌ها هزار ZEC به استخر جدید منتقل شده است.

راستی‌آزمایی صوری و بازیابی کوانتومی

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

آیرون‌وود همچنین «نوت‌های قابل بازیابی در برابر کوانتوم» را تحت ZIP 2005 پیاده‌سازی می‌کند. این قابلیت امروز زی‌کش را در برابر رایانش کوانتومی مقاوم نمی‌کند، اما یک مسیر بازیابی ایجاد می‌کند که می‌تواند به کاربران اجازه دهد اگر پیشرفت‌های آینده رمزنگاریِ محافظ استخر را به خطر انداخت، وجوه خود را بازیابی کنند.

ارائه‌دهندگان کیف‌پول، صرافی‌ها و اپراتورهای نود باید نرم‌افزار خود را برای پشتیبانی از NU6.3 به‌روزرسانی کنند. Zodl، Cake Wallet و سرویس‌های دیگر ابزارهای مهاجرت را منتشر کرده‌اند یا برای آن برنامه‌ریزی کرده‌اند، در حالی که اپراتورهای زیرساخت به سمت پشته نرم‌افزاری Z3 مبتنی بر Zebra هدایت شدند، زیرا پشتیبانی از کلاینت قدیمی zcashd پایان یافت.

عقب‌نشینی ZEC در حالی که رشد سالانه حفظ شده است

ZEC نزدیک 466 دلار معامله شد پس از فعال‌سازی، با افت 4.8% در 24 ساعت، 14.1% در هفت روز و 15.7% در 14 روز. این ارز دیجیتال همچنان در 30 روز 19.2% رشد داشت و در یک سال بیش از 1,000% افزایش یافته بود؛ موضوعی که شکاف میان فروش کوتاه‌مدت و روند صعودیِ بلندمدت آن را برجسته می‌کند.

این افت، ZEC را به زیر 500 دلار کشاند، در حالی که بازار گسترده‌تر ارزهای دیجیتال پیش از تصمیم سیاست‌گذاری 29 ژوئیه فدرال رزرو تضعیف شد. حجم معاملات نزدیک 300 میلیون دلار باقی ماند که نشان می‌دهد بیش‌تر جابه‌جاییِ موقعیت‌ها جریان داشته است تا فروپاشی نقدشوندگی.

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