ویتالیک پروتکل GKR را برای تسریع اثباتهای دانش صفر اتریوم معرفی کرد

معرفی پروتکل GKR توسط ویتالیک برای شتابدهی به اثباتهای دانش صفر اتریوم
دستاورد انقلابی در تأیید محاسبات بلاکچین
ویتالیک بوترین، همبنیانگذار اتریوم، روز یکشنبه پست وبلاگ مفصلی منتشر کرد و در آن GKR را توضیح داد – یک تکنیک رمزنگاری جدید که تأیید بلاکچین را به طور چشمگیری تسریع میکند. این پروتکل به کامپیوترها اجازه میدهد محاسبات پیچیده را بدون افشای دادههای واقعی اثبات کنند، فرآیندی که به عنوان اثبات دانش صفر (Zero-Knowledge Proofs) شناخته میشود.
GKR میتواند ۲ میلیون محاسبه در ثانیه را روی لپتاپهای معمولی تأیید کند و کل تراکنشهای اتریوم را تنها با استفاده از پنجاه کارت گرافیک مصرفی بررسی نماید. روشهای سنتی نیازمند انجام ۱۰۰ برابر کار بیشتر توسط کامپیوترها نسبت به محاسبه اصلی بودند، اما GKR این مقدار را به تنها ۱۰-۱۵ برابر کار بیشتر کاهش میدهد.
اهمیت پیشرفت GKR برای اتریوم
این دستاورد مهم است زیرا تأیید سریعتر به معنای تراکنشهای ارزانتر و حریم خصوصی بهتر است. به جای بررسی هر مرحله از یک محاسبه، GKR تنها ورودیهای اولیه و خروجیهای نهایی را تأیید میکند و تمام کارهای بینابینی را نادیده میگیرد. این توسعه در حالی صورت میگیرد که بنیاد اتریوم یک خوشه حریم خصوصی ۴۷ نفره راهاندازی کرده تا شبکه را به طور پیشفرض خصوصیتر کند و به نگرانیهایی مبنی بر افشای بیش از حد اطلاعات مالی در بلاکچینهای عمومی فعلی بپردازد.
چگونه GKR تأیید را ۱۰ برابر سریعتر میکند
GKR مانند معلمی عمل میکند که تکالیف ریاضی را تنها با بررسی کار دانشآموز در نقاط کنترل کلیدی تصحیح میکند، نه با تأیید هر مرحله محاسباتی. این رویکرد “بررسی نقطهای” از ترفندهای ریاضی برای اطمینان از صحت پاسخ نهایی استفاده میکند.
این پروتکل در تأیید وظایف تکراری که در آن عملیات یکسان روی مقادیر زیادی داده در مراحل پردازش متعدد اعمال میشود، عملکرد درخشانی دارد. این الگو هم با تأیید تراکنش بلاکچین و هم با محاسبات هوش مصنوعی مطابقت دارد که GKR را فراتر از ارزهای دیجیتال مفید میسازد.
مقایسه با روشهای سنتی
تأیید سنتی بلاکچین نیازمند ایجاد اثرانگشتهای رمزنگاری برای هر مرحله محاسباتی میانی است. تولید هر اثرانگشت به قدرت محاسباتی قابل توجهی نیاز دارد، اغلب صدها عملیات فقط برای تأیید یک ضرب واحد. GKR تقریباً تمام این کار اضافی را حذف میکند.
تمرکز بر توابع هش Poseidon2
آموزش بوترین بر اثبات توابع هش Poseidon2 متمرکز است – یک عملیات رمزنگاری رایج که دادهها را از طریق عملیاتهای ریاضی متناوب پردازش میکند. هش کردن را مانند همزدن تخممرغ در نظر بگیرید؛ شما نمیتوانید آن را به حالت اول برگردانید، اما میتوانید تأیید کنید که فرآیند همزدن به درستی انجام شده است.
فرآیند تأیید از نتیجه نهایی به عقب کار میکند و به تدریج تأیید میکند که هر لایه به درستی محاسبه شده است، بدون اینکه واقعاً تمام ریاضیات مجدداً انجام شود. تأییدکننده تنها نیاز به بررسی نمونههای تصادفی در هر مرحله دارد و از اصول ریاضی برای تضمین اعتبار کل محاسبه استفاده میکند.
زیرساخت حریم خصوصی اتریوم
پیشرفت GKR از تغییر جهت بنیاد اتریوم در سپتامبر به سمت حریم خصوصی به عنوان ویژگی پیشفرض به جای یک ویژگی اختیاری حمایت میکند. این سازمان، تیم اکتشافات حریم خصوصی و مقیاسپذیری خود را به سرپرستان حریم خصوصی برای اتریوم تغییر نام داد و بر راهحلهای حریم خصوصی عملی به جای پژوهش محض متمرکز شد.
پنج حوزه بحرانی خوشه حریم خصوصی
خوشه حریم خصوصی جدید به پنج حوزه بحرانی میپردازد که شامل موارد زیر است:
- فعالسازی تراکنشهای خصوصی بدون نظارت
- اجازه تأیید دادههای خصوصی
- ایجاد افشای هویت انتخابی
- بهبود تجربه حریم خصوصی کاربر
- ساخت ابزار برای پذیرش نهادی
هشدارهای مهم درباره آینده اتریوم
این پروژه هشدار میدهد که بدون محافظتهای قوی حریم خصوصی، اتریوم ممکن است به “ستون فقرات نظارت جهانی به جای آزادی جهانی” تبدیل شود. ویتالیک بوترین قبلاً نیز استدلال کرده بود که حریم خصوصی برای بقای اتریوم ضروری است و بلاکچینهای عمومی فعلی را با اینترنت اولیه قبل از استاندارد شدن رمزنگاری مقایسه کرده است.
نظرات کارشناسی در حمایت از حریم خصوصی
پترو گولوفکو، کارشناس صنعت از British Gold Trust، در گفتگو با Cryptonews اعلام کرد که بلاکچینهای عمومی حقوق، معاملات تجاری و موجودی حسابها را افشا میکنند و ارزهای دیجیتال را “غیرقابل استفاده برای مردم عادی و غیرممکن برای نهادها” میسازند.
او استدلال کرد که “شفافیت برای حسابرسی مفید است، نه برای زندگی. سیستمی که کارفرما، رقبا یا حتی غریبهها بتوانند موجودی شما را ببینند، شفاف نیست – غیرقابل زندگی است.”
مقایسه با تحول اینترنت
گولوفکو شفافیت فعلی بلاکچین را با اینترنت دهه ۱۹۹۰ قبل از استاندارد شدن رمزنگاری مقایسه کرد: “هیچکس نمیخواست شماره کارت اعتباری را در مرورگر تایپ کند زیرا اینترنت رمزنگاری نداشت. سپس SSL آمد، آمازون مقیاس گرفت و تجارت الکترونیک به صنعت ۶ تریلیون دلاری تبدیل شد. بلاکچین در دوران قبل از SSL گیر کرده است.”
جمعبندی
او هشدار داد که رازداری تجاری اساس مزیت رقابتی است: “اگر زنجیره تأمین یا حرکتهای خزانهداری شما قابل مشاهده باشد، شما قبلاً باختهاید. هیچ هیئت مدیرهای چنین افشایی را تأیید نمیکند.” بدون حریم خصوصی، او نتیجه گرفت که “ارز دیجیتال یک کازینو باقی میماند، نه یک سیستم پولی.”