🌐 دانشکدهٔ ۱۱ · فناوری پیشرفته
ZK Proof و رول‌آپ‌ها
Zero-knowledge proofs & rollups
پیش‌نیازها: سه‌گانهٔ بلاک‌چین، لایهٔ ۱ و لایهٔ ۲
📚 آموزش در سه سطح
از سطح ساده شروع کنید؛ اگر روشن بود، سطح بعد را بخوانید. سطح مناسب شما ذخیره می‌شود.
🌱 توضیح ساده
«اثبات دانش صفر» روشی است که با آن یک طرف (اثبات‌کننده) می‌تواند به طرف دیگر (تأییدکننده) ثابت کند گزاره‌ای درست است، بی‌آنکه هیچ اطلاعاتی جز درستی همان گزاره فاش کند. مثال ساده: ثابت کنید رمز یک قفل را می‌دانید بدون اینکه رمز را بگویید. این ایده در سال ۱۹۸۵ در مقالهٔ Shafi Goldwasser، Silvio Micali و Charles Rackoff با عنوان «پیچیدگی دانش در سامانه‌های اثبات تعاملی» معرفی شد.
هر اثبات دانش صفر سه ویژگی دارد: «کامل بودن» یعنی اگر گزاره درست باشد، اثبات‌کنندهٔ درستکار می‌تواند تأییدکننده را قانع کند؛ «صحت» یعنی اگر گزاره نادرست باشد، متقلب جز با احتمال ناچیز نمی‌تواند تأییدکننده را فریب دهد؛ و «دانش صفر» یعنی تأییدکننده جز درستی گزاره چیزی یاد نمی‌گیرد. در بلاک‌چین ویژگی مهم دیگری هم هست: بررسی اثبات بسیار سریع‌تر از تکرار کل محاسبه است.
«رول‌آپ» راه‌حل لایهٔ دو است که تراکنش‌ها را بیرون از زنجیرهٔ اصلی اجرا می‌کند، آن‌ها را دسته‌بندی و فشرده می‌کند و داده‌هایشان را روی اتریوم منتشر می‌کند. دو نوع اصلی دارد: «رول‌آپ خوش‌بین» که فرض می‌کند دسته‌ها درست‌اند مگر کسی در دورهٔ اعتراض خلافش را ثابت کند، و «رول‌آپ ZK» که برای هر دسته یک اثبات اعتبار ریاضی روی اتریوم می‌فرستد.
📘 توضیح متوسط
تفاوت عملی این دو نوع در برداشت به لایهٔ یک دیده می‌شود. در رول‌آپ خوش‌بین، برداشت رسمی معمولاً حدود ۷ روز صبر می‌خواهد تا دورهٔ اعتراض بگذرد و پل‌های سریع این فاصله را با کارمزد پر می‌کنند. در رول‌آپ ZK، به محض تأیید اثبات روی اتریوم وضعیت نهایی است؛ اما تولید اثبات محاسبات سنگینی دارد و سازگار کردن آن با ماشین مجازی اتریوم (zkEVM) از نظر فنی دشوار است.
هزینهٔ رول‌آپ دو بخش اصلی دارد: هزینهٔ اجرا در لایهٔ دو و هزینهٔ «انتشار داده» روی لایهٔ یک. پیش از مارس ۲۰۲۴ رول‌آپ‌ها داده را به شکل calldata دائمی در اتریوم می‌نوشتند و به گفتهٔ برخی تیم‌ها ۷۳ تا ۹۰ درصد هزینهٔ تراکنش لایهٔ دو صرف همین بخش می‌شد. بنابراین کاهش هزینهٔ داده مستقیم‌ترین راه ارزان کردن لایهٔ دو بود.
«دسترسی‌پذیری داده» مفهومی کلیدی است: حتی با اثبات ZK، کاربران باید بتوانند داده‌های لازم برای بازسازی وضعیت و خروج مستقل را ببینند. اگر داده‌ها جایی غیر از اتریوم نگهداری شود، مانند یک کمیتهٔ دسترسی‌پذیری داده، هزینه کمتر اما فرض اعتماد بیشتر است. چنین سیستم‌هایی به معنای کامل «رول‌آپ» نیستند و تحلیلگر باید این تفاوت را از زبان تبلیغاتی جدا کند.
🔬 توضیح تخصصی
ارتقای Dencun با EIP-4844 یا «پروتو-دنک‌شاردینگ» نوع تازه‌ای از تراکنش آورد که داده را در «بلاب» حمل می‌کند: بسته‌های دادهٔ ۱۲۸ کیلوبایتی با بازار کارمزد جداگانه که فقط حدود ۱۸ روز (۴٬۰۹۶ epoch) در شبکه نگهداری می‌شوند. چون دورهٔ اعتراض رول‌آپ‌های خوش‌بین حدود ۷ روز است، این بازهٔ ۱۸ روزه برای امنیت آن‌ها کافی است و حذف داده پس از آن بار ذخیره‌سازی نودها را محدود نگه می‌دارد.
سیستم‌های اثبات رایج دو خانوادهٔ اصلی دارند: SNARKها که اثبات‌های بسیار کوچک و تأیید سریع دارند اما بسیاری از آن‌ها به «راه‌اندازی مورد اعتماد» نیاز دارند، و STARKها که به راه‌اندازی مورد اعتماد نیاز ندارند و بر توابع هش متکی‌اند اما اثبات بزرگ‌تری تولید می‌کنند. انتخاب میان آن‌ها مبادله‌ای است میان اندازهٔ اثبات، هزینهٔ تأیید روی زنجیره، سرعت تولید اثبات و فرض‌های امنیتی.
پرسش‌های تحلیلی برای هر لایهٔ دو: داده کجا منتشر می‌شود؛ آیا اثبات خطا یا اثبات اعتبار واقعاً فعال است یا سیستم هنوز «چرخ کمکی» مدیریتی دارد؛ «ترتیب‌دهنده» متمرکز است یا نه و اگر سانسور کند یا متوقف شود، کاربر می‌تواند مستقیم از طریق لایهٔ یک خارج شود یا نه؛ و چه کسی با چه تأخیری می‌تواند قراردادهای پل را ارتقا دهد. سایت‌های رتبه‌بندی ریسک لایهٔ دو این محورها را جداگانه ارزیابی می‌کنند.
🌍 مثال واقعی: ارتقای Dencun و سقوط کارمزد لایهٔ دو — ۱۳ مارس ۲۰۲۴
ارتقای Dencun در ۱۳ مارس ۲۰۲۴ حدود ساعت ۱۳:۵۵ به وقت جهانی روی شبکهٔ اصلی اتریوم فعال شد. رول‌آپ‌هایی که پشتیبانی از بلاب را فعال کردند، در چند روز کاهش چشمگیر کارمزد دیدند: طبق داده‌های Dune، کارمزد میانهٔ Base از حدود ۰٫۵ دلار درست پیش از ارتقا به حدود ۰٫۰۰۱۲ دلار رسید و کارمزد میانهٔ Arbitrum، Starknet، Optimism، Base و Zora به یک سنت یا کمتر رسید؛ یعنی کاهشی حدود ۹۱ تا ۹۵ درصد.
در هفتهٔ پس از ارتقا، تعداد تراکنش‌های روزانه در Optimism، Base، Arbitrum و Zora بیش از دو برابر و در Starknet تقریباً سه برابر شد. درس اول: هزینهٔ انتشار داده گلوگاه اصلی لایهٔ دو بود. درس دوم: فضای بلاب هم محدود است و اگر تقاضا از ظرفیت بیشتر شود کارمزد بلاب بالا می‌رود؛ یعنی ارزانی لایهٔ دو قانون ثابت طبیعت نیست، بلکه نتیجهٔ تعادل عرضه و تقاضای فضای داده است.
🔤 واژگان تخصصی
اثباتی که درستی یک گزاره را بدون فاش کردن اطلاعات دیگر نشان می‌دهد.
مثال: اثبات داشتن موجودی کافی بدون نمایش مبلغ دقیق.
رول‌آپی که دسته‌ها را درست فرض می‌کند مگر در دورهٔ اعتراض اثبات خطا ارائه شود.
مثال: برداشت رسمی با حدود ۷ روز انتظار.
رول‌آپی که برای هر دسته اثبات اعتبار ریاضی روی لایهٔ یک می‌فرستد.
مثال: نهایی شدن وضعیت پس از تأیید اثبات روی اتریوم.
تضمین اینکه داده‌های لازم برای بازسازی وضعیت و خروج مستقل در دسترس عموم است.
مثال: انتشار دادهٔ دسته‌ها در بلاب‌های اتریوم.
بستهٔ دادهٔ موقت ۱۲۸ کیلوبایتی با بازار کارمزد جدا که حدود ۱۸ روز نگهداری می‌شود.
مثال: رول‌آپ دادهٔ یک دسته را در یک بلاب منتشر می‌کند.
🔑 نکات کلیدی
- اثبات دانش صفر سه ویژگی دارد: کامل بودن، صحت و دانش صفر.
- این ایده در ۱۹۸۵ توسط Goldwasser، Micali و Rackoff معرفی شد.
- رول‌آپ خوش‌بین دورهٔ اعتراض حدود ۷ روزه دارد؛ رول‌آپ ZK با تأیید اثبات نهایی می‌شود.
- Dencun (۱۳ مارس ۲۰۲۴) با بلاب‌ها کارمزد لایهٔ دو را بیش از ۹۰٪ کاهش داد.
- امنیت لایهٔ دو به محل داده، اثبات فعال، ترتیب‌دهنده و اختیار ارتقای پل بستگی دارد.
⚠️ اشتباهات رایج
- برابر دانستن «ZK» با «خصوصی»؛ اشتباه است چون بسیاری از رول‌آپ‌های ZK برای مقیاس‌پذیری‌اند و داده‌ها را عمومی منتشر می‌کنند.
- فرض اینکه همهٔ لایه‌های دو امنیت اتریوم را کامل به ارث می‌برند؛ اشتباه است چون دادهٔ خارج از اتریوم یا ارتقای بی‌تأخیر پل فرض اعتماد اضافه می‌کند.
- نادیده گرفتن تمرکز ترتیب‌دهنده؛ اشتباه است چون ترتیب‌دهندهٔ واحد می‌تواند سانسور کند یا متوقف شود.
- فرض ثابت ماندن کارمزد پایین؛ اشتباه است چون فضای بلاب محدود است و با تقاضای زیاد گران می‌شود.
🛠 تمرین عملی: کارت ریسک یک لایهٔ دو
- یک لایهٔ دو را انتخاب کنید و نوع آن (خوش‌بین یا ZK)، محل انتشار داده و وضعیت اثبات خطا یا اعتبار را از مستندات یا یک سایت رتبه‌بندی ریسک بنویسید.
- مشخص کنید ترتیب‌دهنده متمرکز است یا نه و کاربر در صورت سانسور چگونه می‌تواند از طریق لایهٔ یک خارج شود.
- اختیار ارتقای قراردادهای پل و طول تأخیر آن را بنویسید و نتیجه را در جدولی چهارستونه جمع‌بندی کنید.
✅ معیار درستی: چهار محور (داده، اثبات، ترتیب‌دهنده، ارتقا) با منبع مستند شده و تفاوت فرض اعتماد آن با اتریوم صریح بیان شده است.
🔒 در هیچ تمرینی از سرمایهٔ واقعی، عبارت بازیابی (Seed Phrase)، کلید خصوصی یا اتصال کیف پول اصلی استفاده نکنید.
📝 آزمون تطبیقی
هر بار ۵ سؤال از بانک ۹ سؤالی این درس انتخاب می‌شود؛ سؤال‌هایی که قبلاً اشتباه زده‌اید زودتر برمی‌گردند. حدنصاب قبولی ۸۰٪ (۴ از ۵) است و درس بعد با قبولی باز می‌شود.
✍️ پرسش تشریحی
برای کاربری که می‌خواهد ۵۰ هزار دلار دارایی را روی یک لایهٔ دو نگه دارد، چارچوبی برای انتخاب بین یک رول‌آپ خوش‌بین و یک رول‌آپ ZK بنویسید. کدام معیارها برای امنیت دارایی او مهم‌تر از کارمزد ارزان‌اند؟
بعد از نوشتن، پاسخ خود را با این معیارها بسنجید
خودارزیابی: هر نکته‌ای را که پاسخ شما به‌روشنی پوشش داده علامت بزنید.
🤖 دستیار آموزشی
دستیار آفلاین آکادمی: پاسخ‌ها فقط از متن درس‌ها و واژگان همین آکادمی پیدا می‌شوند و منبع هر پاسخ نشان داده می‌شود. هوش مصنوعی مولد نیست، حدس نمی‌زند و هیچ سیگنال خرید و فروشی نمی‌دهد.
📎 منابع مطالعاتی
- ethereum.org — Cancun-Deneb (Dencun) FAQ
- The Block — Ethereum Layer 2s show a dramatic drop in transaction fees after Dencun
- Decrypt — How much did the Dencun upgrade cut Ethereum L2 gas fees
- CACM — Goldwasser and Micali receive 2012 ACM Turing Award
🏁 معیار تسلط بر این درس: می‌توانید سه ویژگی اثبات دانش صفر را توضیح دهید، رول‌آپ خوش‌بین و ZK را در امنیت و برداشت مقایسه کنید و کارت ریسک یک لایهٔ دو را بسازید.