زیکش ارتقاء شبکه آیرونوود خود را به اتمام رسانده است. این ارتقاء، استخر محافظتشده آسیبپذیر اورچارد را با یک جایگزین رسمی تاییدشده تعویض کرده که برای جلوگیری از جعل غیرقابل شناسایی طراحی شده و همزمان مهاجرت وجوه محافظتشده به استخر جدید را آغاز کرده است.
بر اساس اعلام پروژه تاکیون و تیم توسعه زیکش، آیرونوود طبق برنامه در ارتفاع بلاک 3,428,143 از طریق ارتقاء شبکه NU6.3 در روز سهشنبه فعال شد و یک استخر محافظتشده جدید معرفی کرد که توسعهدهندگان میگویند پس از نگرانیهای مربوط به اورچارد، اعتماد به یکپارچگی عرضه زیکش را بازمیگرداند.
این فعالسازی پس از ماهها کار در سازمانهای مختلف زیکش صورت گرفت، بعد از اینکه محققان یک نقص را فاش کردند که میتوانست به طور نظری امکان ایجاد ZEC تقلبی بدون شناسایی عمومی را فراهم کند.
در حالی که آیرونوود اکنون فعال است، اورچارد وارد فاز 'فقط برداشت' شده است. کاربران همچنان میتوانند وجوه را به صلاحدید خود از استخر محافظتشده قدیمیتر برداشت کنند، اما این استخر دیگر فعالیتهای محافظتشده جدید را نمیپذیرد. دادههای ردیاب مهاجرت زیکش نشان میدهد که تقریباً 40,207 ZEC قبلاً به آیرونوود منتقل شدهاند، در حالی که تقریباً 3.6 میلیون ZEC در اورچارد منتظر مهاجرت باقی ماندهاند.
بر اساس صفحه قیمت crypto.news، ZEC (ZEC) پس از ارتقاء، به طور مختصری حدود 9% کاهش یافت و به حدود 460 دلار رسید، قبل از اینکه به تقریباً 475 دلار بازگردد. این توکن پیش از این نیز نوسانات قابل توجهی را پس از عمومی شدن آسیبپذیری اورچارد تجربه کرده بود و بیش از نیمی از ارزش خود را از دست داده بود، قبل از اینکه بعداً از حدود 45 دلار در سپتامبر سال گذشته به تقریباً 700 دلار تا پایان سال بازگردد.
استخر محافظتشده جدید جایگزین اورچارد شد پس از اینکه محققان چیزی را که به عنوان باگ "بینهایت" اورچارد شناخته شد، شناسایی کردند. طبق اعلام Shielded Labs، محقق تیلور هورنبی این نقص را در اواخر ماه مه در مدار دانش صفر (zero-knowledge circuit) اورچارد کشف کرد. توسعهدهندگان گفتند که این مشکل میتوانست به طور نظری به یک مهاجم اجازه دهد تا ZEC تقلبی را بدون شناسایی فوری ضرب کند، اگرچه آنها همچنین اظهار داشتند که هیچ مدرکی دال بر سوءاستفاده از این آسیبپذیری یافت نشده است.
ارتقاء اضطراری در اوایل ژوئن به طور موقت اورچارد را غیرفعال کرد، قبل از اینکه توسعهدهندگان کد مدار اصلاحشده را از طریق هارد فورک NU6.2 پیادهسازی کنند. حتی پس از رفع نقص، توسعهدهندگان گفتند که مدل حریم خصوصی زیکش مانع از آن میشد که کسی با اطمینان اثبات کند که تورم پنهانی هرگز رخ نداده است، که همین امر باعث شد کار بر روی یک استخر محافظتشده جایگزین به جای اتکا صرف به پیادهسازی اصلاحشده اورچارد، آغاز شود.
آیرونوود یک سیستم حسابداری جداگانه با درخت تعهد نوت (note commitment tree)، مجموعه باطلکننده (nullifier set) و استخر ارزش زنجیره (chain value pool) خود را معرفی میکند که به گرهها امکان میدهد استخر محافظتشده جدید را به طور مستقل ردیابی کنند. بر اساس مستندات فنی پروژه، این ارتقاء همچنین یک نقطه بازرسی حسابداری عمومی معروف به 'چرخگردون' (turnstile) را نصب میکند که به وجوه اجازه میدهد اورچارد را ترک کنند، در حالی که از خروج ارزشی بیشتر از آنچه به طور قانونی وارد استخر قدیمیتر شده بود، جلوگیری میکند.
توسعهدهندگان گفتهاند که این مکانیزم برای به دام انداختن هرگونه سکه تقلبی فرضی در داخل اورچارد طراحی شده است، در حالی که امکان تأیید مستقل را فراهم میکند که عرضه در گردش زیکش همچنان حد مجاز 21 میلیون ZEC شبکه را رعایت میکند.
همزمان با فعالسازی شبکه، پروژه تاکیون اعلام کرد که محققان یک اثبات ریاضیاتی ماشینی تاییدشده را تکمیل کردهاند که یکپارچگی موجودی آیرونوود را پوشش میدهد و اطمینان بیشتری را فراهم میکند که استخر محافظتشده جدید نمیتواند ارزشی فراتر از آنچه که تحت فرضیات رمزنگاری شدهاش به طور عمومی وارد آن شده است، ایجاد کند.
بر اساس اعلام پروژه تاکیون، این اثبات به زبان برنامهنویسی Lean نوشته شده و شامل بیش از 2,700 قضیه است که در طی بیش از یک ماه توسط سه تیم از محققان و رمزنگاران توسعه یافته است.
محققان گفتند که کار آنها به طور رسمی اجزای مورد نیاز برای یکپارچگی موجودی، از جمله سیستم اثبات دانش صفر (zero-knowledge proof system)، قوانین مدار و حسابداری در سطح دفتر کل آیرونوود را تأیید میکند. آنها همچنین توضیح دادند که این تأیید شامل تضمینهای حریم خصوصی جداگانه آیرونوود نمیشود.
در مورد این کار، شان بو، همبنیانگذار زیکش، گفت که تلاش مشترک تیمها، منابع باگهای جعل غیرقابل شناسایی را از پروتکل جدید آیرونوود حذف کرده است.
استخر محافظتشده جدید همچنین شامل نوتهای قابل بازیابی کوانتومی ZIP 2005 است که امکان مکانیزم بازیابی آینده را فراهم میکند، در صورتی که پیشرفتها در محاسبات کوانتومی در نهایت حفاظتهای رمزنگاری فعلی را تضعیف کند. طبق مشخصات ZIP، این ویژگی تراکنشهای کنونی زیکش را در برابر کوانتوم ایمن نمیکند، زیرا یک پروتکل بازیابی جداگانه هنوز باید در آینده طراحی و فعال شود.
آیرونوود از طریق همکاری بین Shielded Labs، آزمایشگاه توسعه باز زیکش (ZODL)، پروژه تاکیون، گروه والار و بنیاد زیکش توسعه یافت.
Shielded Labs، که توسط زوکو ویلکاکس، بنیانگذار زیکش، همبنیانگذاری شده است، در ابتدا جایگزینی اورچارد را برای بازگرداندن حسابداری عرضه قابل تأیید، پس از عمومی شدن آسیبپذیری، پیشنهاد داد.
در همین حال، جاش سوئیهارت، مدیر اجرایی ZODL، در X گفت که مهندسان سازمان او 82 درصد از تغییرات ادغام شده در پروتکل و مخازن کیف پول زیکش را در طول تلاش برای جایگزینی اورچارد مشارکت دادند. سوئیهارت افزود که اورچارد ظرف پنج روز وصله شده بود، قبل از اینکه توسعهدهندگان فرآیند جایگزینی را در حدود 60 روز تکمیل کنند.
ارتقاء NU6.3 همچنین یک انتقال طولانیمدت دیگر را در سراسر شبکه تکمیل میکند. به گفته بنیاد زیکش، نرمافزار نود zcashd قدیمی دیگر از قوانین اجماع جدید پشتیبانی نمیکند و Zebra را به پیادهسازی نود مورد نیاز پس از فعالسازی تبدیل میکند.
قبل از رسیدن آیرونوود به شبکه، جیسون مکگی، مدیر اجرایی Shielded Labs، هشدار داده بود که صرافیها، ارائهدهندگان کیف پول و استخرهای ماینینگ به طور همزمان در حال آمادهسازی برای مهاجرت از zcashd به پشته نرمافزاری جدید Z3 بودند و همچنین برای آیرونوود نیز ارتقاء مییافتند. مکگی گفت که برخی از اپراتورهای زیرساخت به زمان بیشتری نیاز داشتند، اگرچه در نهایت هیچ تصمیمی برای به تعویق انداختن ارتقاء شبکه گرفته نشد.
با فعال شدن آیرونوود و در حال انجام بودن مهاجرت اورچارد، تمرکز به سمت انتقال وجوه محافظتشده باقیمانده از طریق چرخگردون (turnstile) تغییر یافته است، در حالی که شبکه به تدریج استخر قدیمیتر را تحت مدل حسابداری جدید بازنشسته میکند.
