محققان Zcash گواهی Ironwood برای تضمین عرضه منتشر کردند
پروژه تکیون اعلام کرد که تأیید Lean شامل بیش از ۲۷۰۰ قضیه است و بر روی "یکپارچگی تعادل" پس از نقص Orchard تمرکز دارد.
محققان Zcash یک تأییدیه رسمی ماشینچک شده از Ironwood منتشر کردند که به منظور جلوگیری از اشکالات جعل غیرقابل شناسایی تحت فرضیات رمزنگاری شده طراحی شده است. این کار هدفش "یکپارچگی موجودی" است، یک ویژگی یکپارچگی تأمین که به منظور اطمینان از اینکه استخر محافظت شده جدید نمیتواند بیشتر از مقداری که بهطور عمومی وارد آن شده است، پرداخت کند.
نکات کلیدی
- یک تأییدیه رسمی ماشینچک شده برای استخر محافظت شده Ironwood Zcash منتشر شد تاآدرسریسک جعل غیرقابل شناسایی تحت فرضیات رمزنگاری شده.
- پروژه Tachyon این اثبات را به عنوان "نوشته شده در زبان برنامهنویسی Lean" و شامل "بیش از ۲۷۰۰ نظریه ماشینچک شده" توصیف کرد که توسط سه تیم در بیش از یک ماه تولید شده است.
- هدف امنیتی تأیید شده "یکپارچگی موجودی" است که به منظور اطمینان از اینکه Ironwood نمیتواند بیشتر از مقداری که بهطور عمومی وارد استخر شده است، پرداخت کند، طراحی شده است.
- Ironwood از طریق بهروزرسانی NU6.3 منتشر شد پس از یک آسیبپذیری افشا شده در Orchard که بهطور نظری میتوانست جعل غیرقابل شناسایی ZEC را امکانپذیر کند، با این حال توسعهدهندگان اعلام کردند که "هیچ مدرکی مبنی بر اینکه این نقص مورد سوءاستفاده قرار گرفته است پیدا نکردند."
Ironwood یک اثبات "یکپارچگی موجودی" ماشینچک شده دریافت میکند
محققان Zcash یک اثبات ماشینچک شده برای Ironwood، استخر محافظت شده جدید شبکه، تکمیل و منتشر کردند. هدف اعلام شده باریک اما مرتبط با بازار است: جلوگیری از اشکالات جعل غیرقابل شناسایی در مسیر خاصی که میتواند یکپارچگی تأمین را نقض کند، به شرطی که مدل رمزنگاری معتبر باشد.
پروژه تکیون اعلام کرد که تأییدیه در Lean تولید شده و شامل بیش از ۲۷۰۰ قضیه ماشینچک شده است، با سه تیم از محققان و رمزنگاران که بیش از یک ماه کار کردهاند. برای معاملهگران، عنوان اصلی ابزارها نیست. بلکه ملکی است که در حال اثبات است. "یکپارچگی تراز" پاسخ مستقیم به ترس از تورم است که هر زمان یک استخر محافظتشده مشکوک به توانایی ایجاد ارزش بهطور نامرئی باشد، باقی میماند.
آنچه که اثبات پوشش میدهد—و آنچه که بهطور صریح پوشش نمیدهد
این اثبات به اجزای مورد نیاز برای برقراری یکپارچگی توازن محدود میشود: Ironwood’sاثبات بدون دانشسیستم، قوانین مدار آن و حسابداری در سطح دفتر. این موضوع اهمیت دارد زیرا به invariant حسابداری هدفگذاری میکند که باید شکست بخورد تا تورم غیرقابل شناسایی رخ دهد.
محققان همچنین مرز روشنی را در مورد آنچه ادعا نمیشود ترسیم کردند. تأیید رسمی شامل ضمانتهای حریم خصوصی جداگانه Ironwood نمیشود. این تمایز برای موقعیتیابی مهم است. این انتشار بهتر است به عنوان یک تضمین یکپارچگی عرضه خوانده شود، نه یک بیانیه کلی که هر ویژگی استخر محافظتشده بهطور رسمی تأیید شده است.
مانند هر اثبات رسمی، این اثبات شرطی است. تضمین "بر اساس فرضیات رمزنگاری شدهای که بیان شده است" وجود دارد، که به این معنی است که بازار هنوز باید به این موضوع اهمیت دهد که آن فرضیات چیست و آیا مدل تهدید با دشمنان واقعی همخوانی دارد یا خیر.
از ریسک تقلب نظری اورچارد تا راهاندازی Ironwood NU6.3
آیرونوود از طریق بهروزرسانی NU6.3 زکش به وجود آمد، پس از آنکه یک آسیبپذیری در استخر محافظتشده پیشین اورچارد کشف شد. خطر افشا شده به شدت جدی بود، حتی اگر در عمل نظری به نظر میرسید: جعل غیرقابل شناسایی ZEC. توسعهدهندگان گفتند که هیچ مدرکی مبنی بر سوءاستفاده از این نقص پیدا نکردهاند.
آن خط «هیچ مدرکی» همانند اثبات عدم سوءاستفاده نیست و معاملهگران تفاوت آن را میدانند. هدف Ironwood و اکنون تأیید رسمی تعادل و یکپارچگی، کاهش بار یکپارچگی عرضه از طریق انتقال سیستم به طراحی با استدلال بررسیشده توسط ماشین است که استخر محافظتشده نمیتواند بیشتر از آنچه که بهطور عمومی وارد شده است، پرداخت کند.
مهاجرت ترنستایل: نقطه بازرسی عمومی که نمیتواند سکههای اضافی فرضی را وارد کند
مهاجرت از Orchard به Ironwood از طریق یک نقطه بازرسی عمومی به نام "دورچرخ" اجباری است. هدف طراحی، ایزولاسیون اتاق تمیز است: حتی اگر Orchard سکههای اضافی فرضی داشته باشد، این نقطه بازرسی به منظور جلوگیری از ورود آن سکهها به Ironwood طراحی شده است.
این مکانیزم همچنین جریان بعدی شواهد را تنظیم میکند. هنگامی که وجوه از Orchard خارج میشوند، فرآیند گردان ممکن است ناهماهنگیهایی را که با بهرهبرداری در دوره Orchard سازگار است، در صورت وجود، نمایان کند. معاملهگران باید بهروزرسانیهای توسعهدهنده یا پروژه Tachyon را در مورد مجموع مهاجرتها و اینکه آیا نقطه بازرسی چیزی غیرعادی را نشان میدهد، زیر نظر داشته باشند.
مورد دیگری که باید به آن توجه کرد، گسترش دامنه در جهت درست است: توضیحات درباره فرضیات رمزنگاری و مدل تهدید پشت اثبات یکپارچگی موجودی، به علاوه هرگونه پیگیری بعدی.حسابرسیهایا گسترشهای اثبات. در نهایت، پشتیبانی از کیف پول و صرافی که مهاجرت کاربران از Orchard به Ironwood را تسریع میکند، مقدار دادههای قابل مشاهدهای را که گیتوی میتواند در طول زمان تولید کند، افزایش میدهد.
چگونه معاملهگران باید باقیماندهی فشار باغ را چارچوببندی کنند
آستانهای که اهمیت دارد این است که آیا بازار میتواند دو ریسک را که اغلب با هم ترکیب میشوند، جدا کند: توانایی Ironwood برای افزایش در آینده در مقابل سوال حلنشدهای که آیا Orchard هرگز مورد سوءاستفاده قرار گرفته است یا خیر. مدرک جدید بهطور مشخص به دسته اول هدفگذاری شده و با تعیین رسمی یکپارچگی تراز تحت فرضیات بیانشده، آن را تأسیس میکند.
من باقیماندهی اضافه را به عنوان یک مشکل شواهدی میبینم، نه یک مشکل احساسی. اگر مهاجرت ترنستایل بدون ناهماهنگی و با افزایش حمایت در کیفپولها و صرافیها ادامه یابد، این تنظیمات به نظر ساختاری میرسد نه داستانمحور، زیرا بازار یک استخر تمیزتر و یک مسیر عمومی در حال رشد دریافت میکند که همراستایی آن با تورم پنهان دشوار است.
