در سال گذشته، نقاط عطف قابل توجهی در نقشهراه اتریوم به وجود آمده که موجب پیشرفت این شبکه شده است.
EIP-4844 (که به Dencun نیز معروف است) با معرفی بابلها (blobs) و proto-danksharding، ذخیرهسازی دادهها را برای لایههای دوم اتریوم بهطرز چشمگیری ارزانتر کرده و هزینههای تراکنش را کاهش داده است.
در همین راستا، لایههای دوم (عمدتاً از نوع خوشبینانه) به طور فزایندهای در برنامهها ادغام و مورد استفاده قرار گرفتهاند، بهگونهای که امکان انجام تراکنشها با هزینهای کمتر از یک سنت فراهم شده و زیرساختهای اساسی اتریوم بهبود یافتهاند.
با این حال، هر کسی که به هزینههای گاز توجه کرده باشد، میداند که هنوز هم ترافیک بیش از حدی در اتریوم وجود دارد و با افزایش استفاده واقعی از بلاکچینها، تعداد بیشتری از dAppها برای فضای بلوک و محاسبات با یکدیگر رقابت خواهند کرد.
نیازی به تخصص مهندسی یا رمزنگاری نیست تا بفهمیم این وضعیت پایدار نیست. ما شاهد بودهایم که در شرایط شلوغی بیش از حد اتریوم، چه اتفاقاتی رخ میدهد. در برخی از لحظات اوج، کاربران برای تکمیل یک تراکنش بیش از ۲ اتریوم پرداخت کردهاند و حتی برخی از این تراکنشها هنوز هم با شکست مواجه شدهاند در حالی که کاربران در تلاش بودند آنها را در اولویت قرار دهند.
در یک دنیای ایدهآل، ما میخواهیم هرچه بیشتر محاسبات را خارج از زنجیره انجام دهیم و در عین حال قادر به ارسال مدرکی مختصر و قابل تأیید باشیم که صحت و مکان درست دادهها را تضمین کند.
مدارک دانش صفر (ZK) این امکان را فراهم میکنند، اما هنوز هم برای بلاکچینها چالشبرانگیز است که تراکنشها را با این همه امکان بالقوه در EVM تأیید کنند و این مسیر میتواند به سرعت هزینهبر شود.
zk-rollupها باید برای سختافزارهای تخصصی که مدرک ZK را از طریق یک اثباتکننده تولید میکنند، هزینه بپردازند و معمولاً این نیاز دارد که به نوع مدرکی تبدیل شود که اتریوم بتواند آن را درک کند.
بهطور خلاصه، رولاپهای خوشبینانه بهطور نسبی راحتتر و ارزانتر تأیید میشوند، در حالی که zk-rollupها چالشبرانگیز و گران هستند. برای کسبوکارهای کوچک و حتی متوسطی که میخواهند بخشی از کار خود را در زنجیره انجام دهند و آن را محرمانه نگه دارند، zk-rollupها گزینهای مناسب هستند، اما تأیید مدرک میتواند هزینهای مانعکننده باشد.
بیشتر بدانید: اثبات دانش صفر چیست؟
اکوسیستمهای رولاپ دارای منافع خاص خود هستند
تا به این مرحله، L2های برند شده به یک راهحل تأیید مدرک مدولار مانند zkVerify علاقهمند نبودهاند، که میتواند هزینههای تأیید را تا ۹۰٪ یا بیشتر کاهش دهد. آنها ممکن است در آینده آن را بپذیرند، اما در حال حاضر تمرکزشان بر روی این موضوع نیست. بهطور کلی، اکوسیستمهای بزرگ L2 به تأیید همه این مدارک ZK در یک زنجیره واحد و توزیع هزینهها در میان کاربران اعتقاد دارند.
با این حال، ما با ارائهدهندگان رولاپ بهعنوان خدمت (RaaS) فرصتی پیدا کردهایم، زیرا آنها به یک رویکرد مدولار در بلاکچینها اعتقاد دارند و معمولاً به پروژههای کوچک و متوسطی که نمیتوانند هزینههای تأیید را پرداخت کنند، خدمات میدهند. برای آنها، ایده ارسال مدارک به یک زنجیره مستقل و سپس ارسال تأیید مدرک به اتریوم منطقی به نظر میرسد. درست مانند دادههای مدولار که در دسترس هستند، ما اکنون شاهدیم که ارائهدهندگان RaaS با آغوش باز تأیید مدرک مدولار را میپذیرند.
L2های بزرگ دو استدلال اصلی علیه این رویکرد دارند
نخست، آنها بر این باورند که انتقال تأیید مدرک به لایهای متفاوت، امنیت L2 را کاهش میدهد. در واقع، برخی از این L2ها در حال حاضر مدارک خود را خارج از زنجیره تأیید میکنند، اما این موضوع را عمومی نمیکنند.
استدلال دیگر آنها این است که آنها ترجیح میدهند مدارک را تجمیع کنند، با گروهبندی یک دسته بزرگ از مدارک و بهاصطلاح ایجاد یک مدرک مدارک. با این کار، L2های بزرگ قادر به پخش هزینهها بر روی تعداد بسیار بیشتری از تراکنشها هستند. با این حال، به نظر نمیرسد که آنها نگرانی زیادی داشته باشند که با این رویکرد، ممکن است چند ساعت طول بکشد تا صدها مدرک تجمیع شوند و هزینهها نیز ممکن است بالاتر برود.
تجمیع برای بسیاری از موارد استفاده منطقی است، اما لزوماً برای یک برنامهای که میخواهید به سرعت کاری انجام دهید و در همان مدت زمان تأیید شود، مناسب نیست.
در نهایت، شما هنوز هم باید به L2 که روی آن هستید اعتماد کنید.
در برخی جنبهها، EVM در سال ۲۰۱۷ گرفتار شده است
با ادامه تحقیق تیم ما در فضای ZK و رابطه اتریوم با آن، ما متوجه شدیم که اتریوم در واقع برخی سازگاریها با منحنیهای بیدانش صفر با استفاده از پیشکامپایل دارد که اساساً پردازش محاسبات مربوط به تأیید یک مدرک را کارآمدتر میکند. اما شبکه در حال حاضر تنها از سه عملیات ریاضی بر روی یک منحنی پشتیبانی میکند.
این چه معنایی برای کاربران دارد؟ از آنجا که برخی از zk-SNARKها قابل تأیید نیستند، نیاز به این دارد که مدارک در یک فرم دوستانهتر (با استفاده از مدرک bn128) پیچیده شوند که منجر به کاهش کارایی، فضای بیشتر برای خطا و هزینههای بالاتر میشود. بهطور ایدهآل، توسعهدهندگان باید بتوانند zk-SNARK را که بهترین مطابقت را با برنامهشان دارد، انتخاب کنند، و عدم توانایی در این کار به این معناست که آنها باید بر روی کیفیت سازش کنند.
از نظر فنی، امکان دارد که اتریوم به مرور زمان پیشکامپایلهای پیشرفتهتری را اتخاذ کند، اما ممکن است سالها طول بکشد تا آنها پیادهسازی شوند. آخرین پیشکامپایل در سال ۲۰۱۷ پیادهسازی شده و از آن زمان هیچکدام وجود ندارد.
چرا اینگونه است؟ آیا کمبود تقاضا وجود دارد؟ آیا واقعاً امکانپذیر نیست که این موارد را بر روی اتریوم پیادهسازی کرد؟ و حتی اگر جامعه قادر به انجام این کار باشد، آیا هنوز هم محاسبه با این پیشکامپایلهای جدید در EVM ناکارآمد خواهد بود؟
این موضوع مشخص نیست. اما آنچه واضح است این است که EVM نیاز به بازنگری دارد و تأیید مدارک ZK در زنجیره هنوز برای موارد استفاده متوسط بسیار پرهزینه است. بعد از سختافزار، این بزرگترین هزینه هنگام استفاده از zk-rollup است.
در Horizen Labs، ما به این موضوع به دو روش پرداختهایم: ارائه تأیید مدرک مدولار در قالب zkVerify و ساخت یک زنجیره کاملاً سازگار با EVM با پشتیبانی از جدیدترین پیشکامپایلهای بیدانش صفر.
برای مثال، Horizen 2.0 بر اساس Substrate ساخته شده است که امکان بهروزرسانیهای بدون تقسیم را فراهم میکند که بلافاصله پس از رأیگیری جامعه اعمال میشود. نیازی به انجام کار در سمت نود نیست و هیچ تقسیم سختی مورد نیاز نیست.
برخی از تیمها ممکن است ترجیح دهند در یک اکوسیستم اختصاصی مانند Horizen 2.0 بمانند که دارای جامعهای نزدیک و اثرات شبکه است. دیگران ممکن است راه RaaS را انتخاب کنند تا رولاپ سفارشی خود را بسازند و آنها نیز قادر خواهند بود از صرفهجوییهای هزینه تأیید مدارک خارج از زنجیره بهرهمند شوند.
روشهای متعددی برای توسعه EVM با ZK وجود دارد، اما ما معتقدیم که این باید قبل از موج بعدی پذیرش اتفاق بیفتد.
