پژوهشگران زکاش پس از انجام تایید رسمی، اثبات ماشینی بیش از ۲۷۰۰ قضیه منطقی ارائه دادند که نشان میدهد در شبکه آیروود هیچ خطای جعل غیرقابلتشخیص وجود ندارد، تحت فرضهای رمزنگاری مشخص شده. این اثبات با هدف تضمین امنیت و صحت تراکنشها صورت گرفته است.
در سه تیم پژوهشی و رمزنگار، بیش از یک ماه صرف نوشتن و آزمایش این اثبات در زبان برنامهنویسی Lean شد، اثباتی که امنیت مربوط به یکپارچگی موجودی را تضمین میکند. این سطح از تاییدیه بهخصوص برای اطمینان از نبود تراکنشهای جعلی در زنجیرههای متمرکز اهمیت دارد.
تاییدیه رسمی و امنیت شبکه
اثبات جدید بخشهای کلیدی مانند سیستم اثبات بدون افشای اطلاعات، قوانین مدار و حسابرسی در لایه دفترکل را شامل میشود اما جنبههای مربوط به حریم خصوصی جداگانه آیروود را در بر نمیگیرد.
آیروود، در پاسخ به آسیبپذیریای که در pools اورچارد در نسخه NU6.3 کشف شد، معرفی شد تا اعتماد به کل فرآیند عرضه و امنیت داراییهای ZEC را بهبود بخشد. در این آسیبپذیری، فرض بر این بود که میتوانستند به جعل بیدرنگ ZEC دست یابند. توسعهدهندگان زکاش ادعا میکنند که شواهدی دال بر بهرهبرداری از این مشکل پیدا نکردهاند.
در فرآیند انتقال از اورچارد، وجوه باید از مسیر حسابرسی عمومی عبور کنند که به عنوان نقطه کنترل عمل میکند و از ورود هر گونه سکه اضافه که ممکن است در آیروود وارد شود جلوگیری میکند. این روند همچنین اطمینان بیشتری درباره احتمال سوءاستفاده در pool قدیمی را فراهم میکند.
