‏ویتالیک بوترین نظرش را عوض کرد: چرا ZK-SNARKها اکنون «قرص جادویی» اتریوم هستند

‏ویتالیک بوترین، هم‌بنیان‌گذار اتریوم، موضعی را که نزدیک به یک دهه پیش اتخاذ کرده بود، به صورت عمومی پس گرفت و این امر نشان‌دهنده موضع جدید اتریوم در مورد حاکمیت فردی، تأیید و نقش آینده رمزنگاری است.

در یک پست اخیر در X، بوترین گفت که دیگر با بیانیه سال ۲۰۱۷ خود که در آن ایده تأیید کامل بلاک‌چین‌ها توسط خود کاربران را «یک خیال‌پردازی مرد کوهستانی عجیب» خوانده بود، موافق نیست و استدلال کرد که هم فناوری و هم تجربه دنیای واقعی دیدگاه او را تغییر داده‌اند.

«ایده اینکه کاربران عادی شخصاً کل تاریخچه سیستم را تأیید کنند، یک خیال‌پردازی مرد کوهستانی عجیب است. گفتم.»

این اظهارنظر، بحثی طولانی‌مدت در طراحی بلاک‌چین را که به سال‌های اولیه اتریوم بازمی‌گردد، دوباره مطرح می‌کند.

در سال ۲۰۱۷، بوترین به صورت علنی با ایان گریگ، نظریه‌پرداز بلاک‌چین، بر سر این موضوع که آیا بلاک‌چین‌ها باید وضعیت کامل، مانند موجودی حساب‌ها و داده‌های قراردادهای هوشمند را مستقیماً در زنجیره ذخیره کنند یا خیر، بحث کرد.

گریگ استدلال می‌کرد که زنجیره‌ها فقط باید ترتیب تراکنش‌ها را ثبت کنند و وضعیت به صورت محلی بازسازی و دور انداخته شود.

بوترین در آن زمان مخالف سرسخت چنین طراحی بود و اشاره کرد که چنین طرحی مستلزم آن است که کاربران دائماً کل تاریخچه تراکنش‌ها را دوباره اجرا کنند یا از خدمات RPC شخص ثالث برای دریافت وضعیت فعلی استفاده کنند.

در آن زمان، بوترین ادعا کرد که اتریوم با طراحی‌ای که در آن ریشه‌های وضعیت به هدرهای بلوک متصل می‌شوند، بهتر به خطر می‌افتد.

با استفاده از اثبات‌های مرکل و فرض اکثریت صادقانه برای اثبات کار یا اثبات سهام، کاربران می‌توانند یک مقدار مشخص را بدون نیاز به هیچ واسطه‌ای بررسی کنند.

مزایای درختان ورکل برای سهام‌داران و گره‌های شبکه اتریوم

ویتالیک بوترین، هم‌بنیان‌گذار اتریوم، مزایای پیاده‌سازی درختان ورکل در پروتکل سهام‌گذاری اتریوم را برجسته کرده است.

بوترین گفت که ساختن کل زنجیره به طور کامل خود تأیید، از نظر تئوری جذاب است، اما از نظر محاسباتی برای کاربران عادی غیرعملی است، مگر اینکه شبکه ظرفیت خود را به شدت محدود کند.

تفاوت، همانطور که بوترین توضیح داد، بلوغ رمزنگاری دانش صفر، به ویژه zk-SNARKs است.

این شواهد رمزنگاری به کاربر این امکان را می‌دهد که ثابت کند گروهی از محاسبات به درستی انجام شده‌اند، بدون اینکه مجبور باشد تمام فرآیندها را دوباره اجرا کند یا داده‌های پشت صحنه را نشان دهد.

از نظر او، این مانند یافتن یک راه‌حل ارزان و همه‌کاره پس از سال‌ها بحث و جدال در مورد مصالحه است. او ادعا کرد که با zk-SNARKs، اتریوم می‌تواند امنیت تأیید کامل را بدون اینکه لزوماً کاربران را متحمل هزینه‌های گزاف کند، به دست آورد.

«من دیگر با این توییت قبلی خود موافق نیستم – از سال ۲۰۱۷، من به یک خبره مشتاق کوه‌ها تبدیل شده‌ام. ارزش دارد که توضیح دهم چرا.»

بوترین گفت که این پیشرفت به اتریوم اجازه می‌دهد تا مصالحه‌هایی را که زمانی با اکراه پذیرفته شده بودند، به ویژه در مورد مقیاس‌پذیری، تمرکززدایی و تأیید، دوباره بررسی کند. او همچنین اذعان کرد که تفکر قبلی او بیش از حد به فرضیات ایده‌آل تکیه داشت.

در عمل، او خاطرنشان کرد که شبکه‌ها با قطعی، افزایش تأخیر، خاموشی سرویس‌ها و فشار نظارتی یا اجتماعی مواجه می‌شوند که می‌تواند واسطه‌ها را به سانسور برنامه‌ها یا کاربران سوق دهد. در آن لحظات، اتکا به اشخاص ثالث یا مداخله توسعه‌دهندگان می‌تواند به یک نقطه شکست تبدیل شود.

این دیدگاه، حمایت مجدد او را از آنچه به طور استعاری «کلبه مرد کوهستانی» توصیف کرد، پشتیبانی می‌کند، یک گزینه پشتیبان که به کاربران اجازه می‌دهد در صورت از کار افتادن همه چیز، مستقیماً با زنجیره تعامل داشته باشند.

تمرکز فزاینده‌ای بر Zk-SNARKs در نقشه راه اتریوم وجود داشته است، به ویژه در قالب رول‌آپ‌های دانش صفر.

این شبکه‌های لایه ۲ با بارگذاری هزاران تراکنش و ایجاد یک اثبات رمزنگاری واحد برای اتریوم، هزینه‌ها را به میزان قابل توجهی کاهش می‌دهند.

حتی پروژه‌هایی مانند zkSync، StarkNet، Scroll و دیگران در حال حاضر بر اساس این روش‌ها هستند، اما با مصالحه‌های مختلف در اندازه اثبات، شفافیت و هزینه محاسبه.

پیشنهادات جامعه در اواسط سال ۲۰۲۵ بیان کردند که داده‌های شخصی خارج از زنجیره و استفاده از اثبات‌های رمزنگاری ممکن است راه‌حلی برای همسویی اتریوم با قوانین اروپایی در مورد حفاظت از داده‌ها باشد.

ZK-SNARKs و انطباق با مقررات اتحادیه اروپا

عضو جامعه اتریوم، اوگنیو رگیانینی، یک چارچوب فنی برای همسویی اتریوم با قوانین GDPR اتحادیه اروپا پیشنهاد کرده است.

ZK-SNARKs به عنوان روشی برای فعال کردن اعتبارسنجی‌ها برای تأیید صحت داده‌ها بدون دسترسی به آن، و به حداقل رساندن دسترسی در زنجیره، ذکر شد.

در لایه پروتکل، بوترین علاوه بر این اعتراف کرده است که بقایای خاصی از طراحی‌های قدیمی وجود دارد که اکنون برای جاه‌طلبی‌های اتریوم برای رفتن به دانش صفر، یک گلوگاه ایجاد می‌کند.

در اواخر سال ۲۰۲۵، او پیشنهاد کرد که پیش‌کامپایل توان‌نمایی پیمانه‌ای را حذف کند، ویژگی‌ای که در ابتدا معرفی کرده بود، پس از آنکه ثابت شد یک گلوگاه بزرگ برای تولید اثبات‌های zk است.