رولاپ (rollup) یک شبکه لایه 2 است که تراکنشها را بیرون از اتریوم اجرا میکند، آنها را بستهبندی میکند و داده را به اتریوم برمی‌گرداند. این مقاله توضیح میدهد این کار چگونه انجام میشود، رولاپهای خوشبینانه و دانش‌صفر چه تفاوتی دارند و چرا کارمزد هر رولاپ هزینه‌ای برای اتریوم را هم شامل میشود.
برای تصویر کلی لایه‌ها، لایه 1، لایه 2 و لایه 3 به زبان ساده را ببینید.
رولاپ چگونه تراکنشها را دسته‌بندی میکند
وقتی در رولاپی مثل بیس تراکنش می‌فرستید، مستقیم به اتریوم نمی‌رود. به اپراتور رولاپ می‌رسد که آن را اجرا میکند و وضعیت خود رولاپ، مثل موجودی‌ها، را به‌روز میکند. چند ثانیه بعد، تراکنش‌های زیادی از این دست در یک دسته (batch) فشرده می‌شوند. سپس دسته در یک تراکنش به اتریوم فرستاده میشود.
واژه «رول‌آپ» (roll up) همین را توصیف میکند: تراکنش‌های بسیار در یکی پیچیده می‌شوند. هزینه تراکنش اتریوم میان همه افراد دسته تقسیم میشود، که دلیل اصلی پایین‌تر بودن کارمزد از خود اتریوم است.
سکوئنسر
سکوئنسر (sequencer) سروری است که در رولاپ تراکنشها را دریافت میکند، به ترتیب می‌چیند، اجرا میکند و بلوک‌های L2 تولید میکند. همچنین پیش از آنکه چیزی به اتریوم برسد، تأییدیههای سریع، اغلب در کمتر از یک ثانیه، به کاربران میدهد.
بیشتر رولاپهای بزرگ امروز یک سکوئنسر دارند که تیم پشت زنجیره آن را اداره میکند. این ساده و سریع است. بده‌بستان‌هایی هم دارد که اینجا بی‌طرفانه توصیف می‌شوند:
- قدرت ترتیب‌دهی. سکوئنسر ترتیب تراکنشها را انتخاب میکند، پس در تئوری میتواند آنها را به تأخیر بیندازد یا جابه‌جا کند.
- از کار افتادن. اگر سکوئنسر متوقف شود، استفاده عادی از رولاپ متوقف میشود. رولاپها راه جایگزینی دارند: کاربران می‌توانند از طریق قراردادی روی اتریوم تراکنش بفرستند، هرچند کندتر و گران‌تر است.
- به‌تنهایی نمی‌تواند دارایی را بدزدد. سکوئنسر نمی‌تواند برای پولی که مالک آن نیست برداشت معتبر بسازد، چون اثبات‌ها یا بررسی‌ها روی اتریوم آن را رد میکنند.
تیم‌های سراسر صنعت از تمرکززدایی سکوئنسرها در طول زمان سخن می‌گویند. وضعیت فعلی در هر زنجیره فرق دارد، پس مستندات هر پروژه را بررسی کنید.
ارسال داده به اتریوم: کالدیتا و بلابها
رولاپ باید داده‌اش را روی اتریوم منتشر کند تا هر کس بتواند زنجیره را راستی‌آزمایی کند. در گذشته این کار را در کالدیتا (calldata)، فیلدی از تراکنش عادی اتریوم، انجام می‌داد. کالدیتا دائمی است و با همه فعالیت‌های دیگر اتریوم رقابت میکند، پس گران بود.
در سال 2024 اتریوم با EIP-4844 بلاب (blob) را اضافه کرد. بلاب تکه بزرگی از داده است که نودهای اتریوم آن را مدتی کوتاه، نه برای همیشه، نگه می‌دارند و بازار کارمزد مخصوص خود را جدا از گس عادی دارد. این برای رولاپها بسیار ارزان‌تر است و هزینه معمول تراکنش‌های L2 را کاهش داد. مشخصات را در eips.ethereum.org بخوانید.
رولاپهای خوشبینانه
رولاپ خوشبینانه (optimistic rollup) فرض میکند دسته‌های ارسال‌شده درست‌اند مگر اینکه کسی خلافش را ثابت کند. خوش‌بینی در نام همین است.
- پس از ارسال دسته، یک پنجره چالش (challenge window) وجود دارد. در طول آن هر کس نتیجه نامعتبری ببیند میتواند اثبات تقلب (fraud proof) به اتریوم بفرستد.
- اگر اثبات تقلب معتبر باشد، نتیجه نادرست کنار گذاشته میشود.
- اگر کسی اعتراض نکند، نتیجه پس از بسته شدن پنجره روی اتریوم قطعی است.
پنجره چالش برای برداشت به اتریوم از طریق پل رسمی حدود 7 روز است. استفاده روزمره روی رولاپ به تأخیر نمی‌افتد. فقط بازگرداندن دارایی به L1 از طریق پل رسمی باید صبر کند. پل‌های سریع شخص ثالث می‌توانند در ازای کارمزد این را تسریع کنند و پل‌ها و ریسک‌هایشان توضیح میدهد چگونه.
سه زنجیره در ChainMonitor رولاپ خوشبینانهاند: Arbitrum One، Base و OP Mainnet. بیس و OP Mainnet از OP Stack استفاده میکنند. آربیتروم از پشته Nitro خود. راهنماهای آربیتروم، بیس و اپتیمیزم را ببینید.
رولاپهای دانش‌صفر
رولاپ zk (رولاپ دانش‌صفر) به پنجره چالش تکیه ندارد. در عوض هر دسته با یک اثبات اعتبار (validity proof) می‌آید، اثباتی ریاضی که وضعیت جدید طبق قوانین از وضعیت قبلی نتیجه میشود. اتریوم اثبات را با یک قرارداد هوشمند بررسی میکند. اگر معتبر باشد دسته پذیرفته میشود.
مزایا قطعیت سریع‌تر روی L1 است، چون به دوره انتظار طولانی نیاز نیست، و تضمین قوی که وضعیت نامعتبر پذیرفته نمی‌شود. هزینه‌ها این است که تولید اثبات محاسبه سنگین می‌خواهد و فناوری ساختنش پیچیده‌تر است، به‌ویژه هنگام پشتیبانی از همه امکانات اتریوم. این حوزه به‌سرعت در حال توسعه است و چند رولاپ zk وجود دارد. هیچ‌کدام از هفت زنجیره ChainMonitor رولاپ zk نیست.
| ویژگی | خوشبینانه | ZK |
|---|---|---|
| فرض پایه | درست مگر اینکه به چالش کشیده شود | اثبات‌شده درست |
| چگونه خطاها گرفته می‌شوند | اثبات تقلب | اثبات اعتبار الزامی است |
| برداشت به L1 | حدود 7 روز (پل رسمی) | سریع‌تر، پس از راستی‌آزمایی اثبات |
| بار محاسباتی | کمتر | بیشتر برای اثبات‌ها |
| در ChainMonitor | Arbitrum، Base، OP Mainnet | ندارد |
کارمزد داده L1 در هر کارمزد L2
کارمزد تراکنش L2 دو بخش دارد:
- کارمزد اجرای L2. هزینه اجرای تراکنش شما روی رولاپ را می‌پردازد. معمولاً ناچیز است.
- کارمزد داده L1. سهم شما از ارسال داده به اتریوم را می‌پردازد. این اغلب بخش بزرگ‌تر کارمزد است.
کارمزد داده L1 با تغییر هزینه داده اتریوم عوض میشود، پس کارمزد کل روی L2 حتی وقتی خود L2 خلوت است هم میتواند جابه‌جا شود. در ردیاب گس، اعداد L2ها این کارمزد داده L1 را شامل می‌شوند، پس هزینه واقعی را می‌بینید. برای بررسی عمیق‌تر گس و کارمزدها را بخوانید.
این برای شما چه معنایی دارد
- برای استفاده روزمره، رولاپهای خوشبینانه و zk حس مشابهی دارند: سریع و ارزان.
- اگر قصد بازگرداندن دارایی به اتریوم دارید، بررسی کنید چقدر طول میکشد. برای خوش‌بینانه‌ها، حدود 7 روز در نظر بگیرید یا از پل استفاده کنید و ریسک‌هایش را بخوانید.
- دارایی شما را قراردادهای روی اتریوم نگه می‌دارند، اما رولاپ همچنان کد خودش، سکوئنسرش و قوانین ارتقای خودش را دارد. اینها ریسک‌های جداگانه‌اند.
پرسش‌های متداول
رولاپ در رمزارز چیست؟
رولاپ شبکه لایه 2ای است که تراکنشها را بیرون از اتریوم پردازش میکند، در دستهها بستهبندی میکند و داده را به اتریوم میفرستد تا بتواند امنیت اتریوم را به ارث ببرد.
چرا برداشت از آربیتروم، بیس یا اپتیمیزم 7 روز طول میکشد؟
اینها رولاپهای خوشبینانهاند. پس از درخواست برداشت از طریق پل رسمی، پنجره چالشی حدود 7 روزه وجود دارد که طی آن هر کس میتواند نامعتبر بودن آن را ثابت کند. دارایی پس از پایان پنجره آزاد میشود.
تفاوت رولاپ خوشبینانه و zk چیست؟
رولاپهای خوشبینانه نتایج را درست فرض میکنند و مدتی اجازه چالش میدهند. رولاپهای ZK به هر دسته یک اثبات اعتبار ریاضی پیوست میکنند، پس به دوره انتظار برای چالش نیازی نیست.
سکوئنسر چیست؟
سکوئنسر سروری است که تراکنشها را در رولاپ مرتب و اجرا میکند و تأییدیههای سریع میدهد. بیشتر رولاپهای بزرگ یک سکوئنسر دارند که تیم پروژه آن را اداره میکند، که سریع است اما نقطه تمرکز است.
بلابها در اتریوم چیستند؟
بلابها پیوستهای داده ارزان و موقتی هستند که EIP-4844 معرفی کرد. رولاپها از آنها برای ارسال داده به اتریوم با هزینه کمتر از کالدیتا استفاده میکنند.