پژوهشگران Zcash با اثبات رسمی Ironwood، راه را بر جعل مخفیانه ZEC بستند!
تیم تحقیقاتی Zcash از تکمیل فرآیند «تأیید رسمی» (Formal Verification) برای استخر محافظتشده جدید Ironwood خبر داد؛ اقدامی که با هدف جلوگیری از ایجاد مخفیانه توکنهای جعلی ZEC انجام شده و امنیت شبکه را به شکل قابلتوجهی افزایش میدهد.
بر اساس اعلام پروژه Tachyon، این اثبات رسمی با استفاده از زبان برنامهنویسی Lean تهیه شده و شامل بیش از ۲۷۰۰ قضیه (Theorem) است که طی بیش از یک ماه توسط سه تیم از پژوهشگران و متخصصان رمزنگاری توسعه یافتهاند. هدف اصلی این پروژه، اثبات ویژگی امنیتی «Balance Integrity» است؛ ویژگیای که تضمین میکند هیچ واحد ZEC بیشتر از میزان دارایی واردشده به استخر، قابل برداشت نباشد.
این اثبات، بخشهای کلیدی Ironwood از جمله سیستم اثبات دانش صفر (Zero-Knowledge Proof)، قوانین مدارهای رمزنگاری و سازوکار حسابداری دفترکل را پوشش میدهد. البته توسعهدهندگان تأکید کردهاند که این بررسی تنها بر صحت موجودی و جلوگیری از جعل تمرکز دارد و شامل ارزیابی ویژگیهای حفظ حریم خصوصی Ironwood نمیشود.
Ironwood چرا توسعه داده شد؟
Ironwood پس از ارتقای NU6.3 به شبکه Zcash معرفی شد. دلیل اصلی این ارتقا، کشف یک آسیبپذیری در استخر محافظتشده Orchard بود؛ نقصی که از نظر تئوری میتوانست امکان ایجاد مخفیانه واحدهای جدید ZEC را فراهم کند، هرچند توسعهدهندگان اعلام کردهاند هیچ نشانهای از سوءاستفاده عملی از این باگ مشاهده نشده است.
استخر جدید Ironwood با هدف بازگرداندن اعتماد به صحت عرضه (Supply Integrity) شبکه طراحی شده است.
سازوکار Turnstile چگونه از شبکه محافظت میکند؟
برای انتقال داراییها از Orchard به Ironwood، تمامی تراکنشها باید از یک نقطه کنترل عمومی با نام Turnstile عبور کنند. این سازوکار مانع ورود هرگونه سکه احتمالیِ ایجادشده از طریق آسیبپذیری قبلی به استخر جدید میشود.
همچنین با ادامه روند انتقال داراییها از Orchard، اطلاعات بیشتری درباره اینکه آیا آسیبپذیری قدیمی هرگز مورد سوءاستفاده قرار گرفته است یا خیر، در اختیار توسعهدهندگان قرار خواهد گرفت.
گامی مهم برای امنیت Zcash
تکمیل این اثبات رسمی، یکی از مهمترین اقدامات امنیتی در تاریخ Zcash محسوب میشود. استفاده از روشهای ریاضی برای اثبات صحت عملکرد پروتکل، احتمال بروز خطاهای بحرانی مانند جعل غیرقابلتشخیص توکن را به حداقل میرساند و میتواند اعتماد کاربران و توسعهدهندگان به زیرساخت این شبکه حریم خصوصیمحور را افزایش دهد.
هرچند بررسیهای مربوط به ویژگیهای حفظ حریم خصوصی Ironwood همچنان ادامه دارد، اما توسعهدهندگان معتقدند این دستاورد، گام بزرگی در تضمین سلامت اقتصادی و امنیت بلندمدت شبکه Zcash به شمار میرود.
