بوتِرین: انتقال اتریوم به تأیید مبتنی بر مدرک تا ۲۰۳۰
او سال آینده هگوتا را به عنوان آخرین چنگال "عادی" معرفی کرد و حریم خصوصی متادیتای کیف پول و نهاییسازی سریعتر را در نقشه راه قرار داد.
ویتالییک بوترین چشمانداز اتریوم ۲۰۳۰ را ترسیم کرد که شبکه را از اجرای مجدد جهانی دور کرده و به سمت تأیید مبتنی بر اثبات با محاسبات بیشتر خارج از زنجیره هدایت میکند. او ارتقاء برنامهریزی شده سال آینده به نام هگوتا را به عنوان آخرین فورک "عادی" قبل از آن دوره متمرکز بر اثبات معرفی کرد که داستان اصلی نقشه راه اتریوم خواهد شد.
کامپیوتر جهانی رمزنگاری شده بوتерин، اثباتها را در مرکز برنامه ۲۰۳۰ اتریوم قرار میدهد.
ویتالیك باترین در تاریخ ۲۷ سپتامبر پستی با عنوان "کامپیوتر جهانی رمزنگاری" منتشر کرد که در آن توصیف میکند یکاتریوموضعیت نهایی در سال ۲۰۳۰ که ممکن است هنوز به آن بلاکچین گفته شود، اما به گونهای متفاوت عمل خواهد کرد و زنجیره را با اثباتهای رمزنگاری و شبکههای کامپیوتری که خارج از آن کار میکنند، ترکیب خواهد کرد.
قسمت مرتبط با بازار، توالیای است که او به آن پیوست کرده است. باترین گفت که تحول اتریوم پس از ارتقاء برنامهریزی شده هگوتا در سال آینده تسریع خواهد شد و او هگوتا را به عنوان آخرین "فورک" "عادی" اتریوم توصیف کرد که با فناوریای ساخته شده است که برای کسی که در سال ۲۰۱۵ بر روی اتریوم کار میکرد، آشنا به نظر میرسد.
پس از آن، او نوشت که ارتقاءها به طور فزایندهای به اثباتهای ریاضی، ابزارهایی که نرمافزار را برای خطاها بررسی میکنند، و امنیتی که برای مقابله با کامپیوترهای کوانتومی آینده طراحی شده است، تکیه خواهند کرد.
بوتерин همچنین دوره پس از هگوتا را به عنوان یک تغییر رژیم در آنچه که به عنوان کار "هستهای" بر روی اتریوم محسوب میشود، توصیف کرد. او نوشت: "پس از هگوتا، این تحول به داستان اصلی اتریوم تبدیل میشود" و نتیجه مورد نظر را به عنوان "محاسبات با امنیت بالا که بسیار ارزانتر، مقیاسپذیرتر و خصوصیتر از هر چیزی است که میتوان با فناوری دوره قبلی به تنهایی انجام داد" توصیف کرد.
از اجرای مجدد همه به تأیید بسیاری: پیشنهاد تأیید مبتنی بر اثبات
مدل امنیتی فعلی اتریوم از تکرار اطمینان میگیرد. یک کامپیوتر که بهطور کامل اتریوم را بررسی میکند، محاسبات پشت تراکنشها را تکرار میکند و تأیید میکند که فرستنده دارای موجودی کافی است و یک برنامه قوانین خود را رعایت کرده است. این افزونگی شبکه را صادق نگه میدارد، اما همچنین مقیاسپذیری را محدود میکند زیرا افزودن کامپیوترهای بیشتر بهطور خودکار توان عملیاتی را افزایش نمیدهد زمانی که هر یک مشغول بررسی بخش زیادی از همان فعالیت هستند.
پیشنهاد بوتِرین این است که به طور پیشفرض، تأیید را ارزانتر از اجرا کند. در چارچوب او، یک کامپیوتر میتواند تراکنشها را پردازش کرده و یک اثبات ریاضی کوتاه تولید کند که نشان دهد قوانین را رعایت کرده است و سایر کامپیوترها میتوانند آن اثبات را بسیار سریعتر از اجرای مجدد محاسبه اصلی بررسی کنند.
او همچنین "چکهای جداگانه" را به عنوان راهی برای تأسیس این موضوع توصیف کرد که سوابق تراکنشها همچنان برای بازرسی در دسترس باشند، حتی زمانی که ماشینهای مختلف به کارهای مختلف پرداخته و نتایج یکدیگر را متقاطع بررسی میکنند.
او این را به عنوان عنصر گمشدهای معرفی کرد که ایدههای قدیمی «تقسیم کار» را غیرعملی میساخت. بوتریین نوشت: «در آن زمان، این به دلیل یک دلیل اصلی قابل اجرا نبود: عنصر گمشده تأیید بود»، اشاره به آنچه که توسعهدهندگان اتریوم ده سال پیش میخواستند انجام دهند.
نکته این است که موازیسازی مشکلات ترتیب را حذف نمیکند، بلکه فقط جایی که این مشکلات حل میشوند را تغییر میدهد. بوتریین اشاره کرد که اتریوم هنوز نیاز دارد تا سوالاتی را که ترتیب در آنها مهم است، حل کند، مانند اینکه کدام یک از دو پرداخت که از همان منابع استفاده میکنند، اول آمده است، و او پیشنهاد کرد که بخش بیشتری از کارهای مربوط به پرداختها میتواند از قبل انجام شود، با ترکیب اثباتها برای کاهش اطلاعات ثبت شده در زنجیره.
اولویتهای پس از هگوتا: حریم خصوصی متادیتای کیف پول و هدف نهایی ۸ تا ۳۲ ثانیهای
بوتریین حریم خصوصی را در همان سطح با مقیاسپذیری قرار داد و آن را به طور وسیعتری از انتقالات خصوصی تعریف کرد. اهداف حریم خصوصی او شامل پنهان کردن متادیتای فعالیت کیف پول، از جمله درخواستهای بررسی موجودی است که میتواند نشان دهد کدام آدرسها را کاربر هنگام پرسش از یک سرور خارجی زیر نظر دارد.
در مثال او، حتی اگر پرداختها خصوصی باشند، اپراتور سروری که به درخواستهای بررسی موجودی پاسخ میدهد میتواند بفهمد که یک شخص کدام حسابها را دنبال میکند. بوتریین تصور کرد که این درخواستها به همراه جزئیات پرداخت و قوانینی که یک حساب برای تأیید هزینهها استفاده میکند، پنهان شوند، به طوری که یک کسبوکار بتواند پرداختها را محرمانه نگه دارد بدون اینکه حسابهای خود را هر بار که یک کارمند موجودی را بررسی میکند، فاش کند.
در مورد عملکرد، مقایسه بوتریین در سال ۲۰۳۰ تصور میکرد که پرداختها نهایی میشوند، به این معنی که تحت شرایط عادی به عنوان غیرقابل برگشت توسط شبکه تلقی میشوند، در حدود هشت تا ۳۲ ثانیه.
او برنامهریزی اجرایی را فراتر از گفتن اینکه تحول وسیعتر پس از هگوتا تسریع میشود، پیوست نکرد و پیشنیازهایی را که همچنان محدودیتهای مهندسی باز باقی ماندهاند، فهرست کرد: اثباتها باید به اندازه کافی کارآمد شوند تا برای استفاده گسترده مناسب باشند و کامپیوترهایی که کارهای جداگانه را انجام میدهند باید بهروزرسانیها را به همان موجودیها و سوابق برنامه هماهنگ کنند بدون اینکه با یکدیگر تداخل داشته باشند.
خوانش من: هگوتا به عنوان یک نقطه عطف روایتی، نه یک کاتالیزور تاریخی
هگوتا به عنوان یک انشعاب که میتوان آن را در تقویم قرار داد، قاببندی میشود، اما سیگنال مهمتر این است که بوتریین سعی دارد آنچه را که پس از آن میآید دوباره برچسبگذاری کند. نامیدن آن به عنوان آخرین انشعاب «عادی» کمتر به مجموعه EIP هگوتا مربوط میشود که هنوز مشخص نیست و بیشتر به این معناست که به بازار بگوید که اثباتها و روشهای رسمی قرار است به زیرساخت پیشفرض برای بهروزرسانیهای آینده تبدیل شوند نه یک تم مقیاسپذیری اضافی.
آستانهای که مهم است این است که آیا هزینههای اثبات به اندازه کافی کاهش مییابد که توسعهدهندگان اصلی بتوانند به طور معتبر تأیید مبتنی بر اثبات را به عنوان مسیر امنیت و مقیاسپذیری پایه در نظر بگیرند و آیا مدل کارگر موازی خارج از زنجیره میتواند به هماهنگی وضعیت مشترک بدون معرفی حالتهای جدید شکست دست یابد.
اگر این دو محدودیت شروع به حل شدن در پیشنهادات مشخص پس از هگوتا کنند، تنظیمات به نظر ساختاری میرسد نه روایتی، زیرا سقف توان عملیاتی اتریوم به یک مشکل هزینه تأیید تبدیل میشود نه یک مشکل اجرای مجدد جهانی.
