Zk Rollup چیست؟ مزایا و محدودیت های Zk Rollup و پروژه های برجسته

Zk Rollup چیست؟ تفاوت Zk Rollup در مقایسه با لایه 2 دیگر چیست؟ چه پروژه های Zk Rollup امروز در بازار وجود دارد؟ در اینجا پیدا کنید.

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

در مقاله امروز، مروری بر Zk Rollup، مزایا، محدودیت‌ها و برخی از پروژه‌های برجسته Zk Rollup را با همه به اشتراک می‌گذارم.

Zk Rollup چیست؟

Zk Rollup یک افزونه برای لایه 1 اتریوم با استفاده از فناوری اثبات دانش صفر است. 

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

چرا جمع آوری Zk بهتر از راه حل های لایه 2 دیگر است؟

از نظر ویتالیک، اساساً 5 استراتژی مقیاس‌پذیری برای اتریوم وجود دارد:

• چندین زنجیره جداگانه (روشی که پولکادوت، کیهان انجام می دهند).
• بلوک فوق العاده بزرگ
• بهبودها عملکرد عملیاتی را افزایش می دهند اما مدل امنیتی را تغییر نمی دهند.
• لایه 2 (کانال، پلاسما، رول آپ).
• شاردینگ.

جدول مقایسه برخی از مزایا و معایب راه حل های لایه 2

در بخش لایه 2 می توان گفت که Rollup راه حل پیشرو است. Rollup به دو نوع اصلی طبقه بندی می شود: Optimistic Rollup و Zk Rollup. به طور کلی، تمام مزایایی که Optimistic Rollup می تواند در آینده Zk Rollup ارائه دهد نیز می تواند فراهم کند.

نکته اصلی برای رتبه بندی Zk Rollup بالاتر از Optimistic Rollup این است که زمان تکمیل Zk (تأیید اعتبار تراکنش - فرآیند تأیید) سریع ترین زمان است.

مجموعه خوش‌بینانه از طریق اثبات تقلب تضمین می‌شود، رویکردی که آنها را در معرض یک «بازی چالشی» قرار می‌دهد. در حالی که ZK Rollup ها از طریق ریاضی ایمن هستند (به دیگران ثابت کنید که پاسخ را بدون گفتن پاسخ به طرف مقابل می دانید)، به وضوح تفاوت بین آنها را از طریق کیف پول خواهید دید. مثال ساده زیر:

Zk Rollup و Optimistic Rollup وارد نوار بزرگسالان می شوند، این نوار فقط برای افراد بالای 18 سال قابل ورود است. امنیت پرسید: آیا می توانم کارت شناسایی شما را ببینم؟

• ZK Rollup می گوید: "من می توانم به شما ثابت کنم که بالای 18 سال دارم، اما شناسه خود را به شما نشان نمی دهم".
• جمع بندی خوش بینانه می گوید: "اگر کسی نتواند در عرض 7 روز ثابت کند که من کمتر از 18 سال دارم، به این معنی است که من بیش از 18 سال دارم."

از دیدگاه کاربران خرده‌فروشی، «بازی چالش» با زمان انتظار برای برداشت در پلتفرم‌هایی مانند Optimism یا Arbitrum نشان داده می‌شود . اگر زمان برداشت کاهش یابد، کاربران تجربه کاربری بهتری خواهند داشت، در مقابل، امنیت کمتری خواهد داشت زیرا هزینه حملات شبکه کمتر می شود.

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

به همین دلیل است که Zk Rollup به عنوان راه حل پیشرو مقیاس پذیری اتریوم در میان مدت و بلندمدت شناخته می شود (در واقع فناوری Zk Rollup در حال حاضر محدود است، ما محدودیت هایی را در بخش های بعدی خواهیم یافت).

تفاوت های اساسی بین پروژه های Zk Rollup

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

شخصاً می توانیم پروژه های Zk Rollup را بر اساس 2 عامل طبقه بندی کنیم:

• نحوه ذخیره داده ها (روی زنجیره یا خارج از زنجیره).
• از طرح اثبات دانش صفر استفاده می شود.

انتخاب برای ذخیره داده ها در زنجیره یا خارج از زنجیره (معروف به اعتبار) مزایا و معایب خاص خود را به همراه دارد، هیچ کدام در همه موارد بهینه نیست، این یک مبادله بین تمرکززدایی و سرعت پردازش، هزینه های عملیاتی، بسته به جهت توسعه است. از پروژه، آنها انتخاب های مناسب را انجام خواهند داد.

Zk Rollup & Validium

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

رابطه بین اندازه اثبات و مفروضات امنیتی

محدودیت های کلی پروژه های Zk Rollup در حال حاضر

من شخصاً 2 محدودیت قابل توجه در پروژه های Zk Rollup وجود دارد، اولین نکته محدودیت عمومی Rollup است، نکته دیگر محدودیت خاص Zk Rollup است.

اولین مورد بحث کارمزد تراکنش است ، اکثر پلتفرم های Rollup کارمزد تراکنش های گران تری نسبت به زنجیره های جانبی EVM اتریوم دارند . این به این دلیل است که هر بلوک جمع‌آوری در نهایت باید به اتریوم ارسال شود، که هزینه‌های آن‌ها را به هزینه‌های اتریوم مرتبط می‌کند (Zk Rollup مقرون به صرفه‌تر است زیرا فقط Proof را ارسال می‌کند)، بنابراین هر پلتفرم جمع‌آوری تنها می‌تواند اتریوم را با درصد مشخصی مقیاس کند.

در مرحله بعد، در حال حاضر، zk-Rollup مناسب توسعه‌دهندگان نیست ، سناریوها و عملکرد برنامه کاملاً محدود است:

• برنامه‌های Zk Rollup در حال حاضر محدود به پرداخت‌ها و تراکنش‌های ساده هستند.
• علاوه بر این، Zk Rollup در حال حاضر از ترکیب بندی پشتیبانی نمی کند، برنامه های مختلف Zk Rollup نمی توانند با یکدیگر در یک لایه 2 تعامل داشته باشند.
• اگر می‌خواهید DApps را در Zk-Rollup توسعه دهید، باید تمام منطق قرارداد هوشمند خود را به یک زبان خاص بنویسید، که نه تنها توسط نحو زبان درخواستی پیچیده است (از آنجایی که یک زبان جدید است)، بلکه به شدت نیاز دارد. دانش تخصصی در زمینه اثبات دانش صفر.

پروژه های برجسته Zk Rollup در بازار

در اینجا چند پروژه برجسته Zk Rollup در بازار آمده است.

StarkEX & StarkNET توسط Starkware

Starkware (معروف به Starkware Industries) شرکتی است که در ژانویه 2018 توسط Eli Ben Sasson - یکی از بنیانگذاران STARK & ZCash تاسیس شد. StarkWare با استفاده از فناوری STARK برای استقرار و تأیید مدارک دانش صفر به بهبود مقیاس پذیری و حفظ حریم خصوصی بلاک چین ها کمک می کند.

اولین محصولی که StarkWare راه اندازی کرد StarkEX بود که می توان آن را یک L2 خاص در نظر گرفت، برنامه های StarkEX به تراکنش ها و پرداخت های ساده مانند: AMM، Spot Trading، Payments، Minting & Trading NFT محدود می شود. StarkEX به Dapps اجازه می دهد تا در 3 حالت به شرح زیر استقرار یابد:

• حالت جمع‌بندی ZK: داده‌ها بین روی زنجیره ذخیره می‌شوند.
• حالت Validium: داده ها خارج از زنجیره نگهداری می شوند.
• حالت اراده: آنها را با هم ترکیب کنید.

StarkNET نسخه عمومی و بدون مجوز Zk Rollup StarkEX است، پیش بینی می شود که به طور کامل در Q1 - Q2/2022 راه اندازی شود. این به عنوان یک General L2 دیگر در بالای اتریوم عمل می‌کند و به هر Dapp اجازه می‌دهد بدون به خطر انداختن انباشتگی و امنیت، روی آن بسازد.

نقشه راه استارک نت

StarkEX و StarkNET زبان برنامه نویسی و ماشین مجازی قابل اجرایی خود را دارند، آنها با Ethereum EVM سازگار نیستند. بنابراین، توسعه دهندگانی که می خواهند در آینده Dapps را بر روی StarkNET بسازند، باید یک زبان برنامه نویسی جدید که Cairo است، زبان قرارداد هوشمند بومی StarkEX و StarkNET یاد بگیرند.

Matter Labs zkSync (v1)، zkPorter (v2)، ZkEVM (v3) توسط Matter Labs

صحبت از Zk Rollup شد، علاوه بر Starkware، شرکت دیگری که به همان اندازه معروف است Matter Labs است. محصول Zk Rollup که Matter Labs ارائه می‌کند از PLONK برای استقرار و تأیید مدارک دانش صفر استفاده می‌کند.

نسخه اول zkSync (v1) و نسخه دوم ZkPorter (v2) نام دارد. تفاوت اصلی بین آنها این است که داده ها در زنجیره یا خارج از زنجیره ذخیره می شوند. اساسا:

• اگر می خواهید ایمن باشید، از V1 استفاده کنید.
• اگر می خواهید ارزان تر (اما امن تر) از V2 استفاده کنید.

استفاده مشترک از این دو نسخه نیز فقط به پرداخت پرداخت می شود، به اندازه StarkEX متنوع نیست.

ZkEVM توسط Matter Labs توسعه یافته است

همزمان، Matter Labs همچنین در حال کار برای راه‌اندازی یک نسخه سازگار با EVM از Zk Rollup (ZkEVM) است که انتظار می‌رود در Q1/2021 به طور کامل عرضه شود. زبان قرارداد هوشمند بومی در این نسخه Zinc است و این نسخه نیز فایل اجرایی خاص خود را دارد که سازگاری زیادی با EVM خواهد داشت.

حلقه زدن

Loopring در اواخر سال ۲۰۱۹ راه‌اندازی شد و از مجموعه‌ای از الگوریتم‌ها به نام SNARK برای استقرار و اعتبارسنجی اثبات‌های دانش صفر استفاده می‌کند.

Loopring تحت چندین ارتقاء قرار گرفته است که اولین مورد فقط از معاملات DEX (دفتر سفارش) پشتیبانی می کند. سپس در نسخه دوم، Loopring از پرداخت و انتقال پشتیبانی می کند. در نسخه سوم، Loopring از AMM Swaps پشتیبانی می کند. نسخه چهارم در سپتامبر 2021 منتشر شد که از استخراج، انتقال و تجارت NFT ها پشتیبانی می کند.

حلقه زدن

در همان زمان، Loopring همچنین در حال کار بر روی یک نسخه سازگار با EVM از Zk Rollup (ZkEVM) است، اما نسخه اول احتمالاً یک سال دیگر طول می کشد تا عرضه شود.

جهت توسعه کلی پروژه های Zk Rollup

یک پایان نامه ساده در مورد جهت توسعه Zk Rollup "در دراز مدت، هر کاری که بلاک چین L1 می تواند انجام دهد، Zk Rollup می تواند آن را به طور قابل توجهی بهتر انجام دهد".

با پیروی از این خط فکری، من فکر می‌کنم راه‌حل‌هایی که Zk Rollup می‌خواهد برنده نهایی باشد، باید تمام ویژگی‌های برجسته L1، در این مورد اتریوم مانند:

• ساخت برنامه های کاربردی دلخواه → پلت فرم قرارداد هوشمند با هدف عمومی.
• بدون مجوز، ایمن و البته هزینه کمتر نسبت به زنجیره پایه (اتریوم).

بنابراین من StarkNET و ZkEVM را به عنوان رویکردهای امیدوارکننده می بینم. زمانی که ZkEVM همچنان همان تجربه توسعه دهنده را در Ethereum L1 حفظ کند، مزیت بزرگتری خواهد داشت.

برای zkEVM، ایده های طراحی فعلی واقعاً به دو دسته تقسیم می شوند:

• پلتفرم‌های Zk Rollup با زبان‌ها و ماشین‌های مجازی خود مانند Starkware's StarkNET، Matter Labs' ZkEVM، Polygon's Polygon ZkEVM رویکردی مبتنی بر کامپایلر را برای ترجمه زبان مادری خود به یک زبان اجرایی در ماشین مجازی ZkEVM در پیش خواهند گرفت. این راه حل دارای محدودیت عدم دستیابی به سازگاری 100٪ است.
• روش دیگر این است که ZkEVM کاملاً بدون هیچ ترجمه سازگار است، کد solidity را می توان مستقیماً اجرا کرد. این رویکرد بهینه تر است اما پیاده سازی آن نیز دشوارتر است.

خلاصه

در بالا برخی از افکار من در مورد جوانب مثبت و منفی و جهت کلی پروژه های Zk Rollup آورده شده است. اگر سوال دیگری در رابطه با موضوع بالا دارید، لطفاً در زیر نظر دهید تا Coin98 فوراً پشتیبانی کند!

سلب مسئولیت : تمام اطلاعات مقاله فقط برای به اشتراک گذاشتن تجربه بازار است و نباید به عنوان مشاوره سرمایه گذاری در نظر گرفته شود. سرمایه‌گذاری رمزنگاری نوعی سرمایه‌گذاری مخاطره‌آمیز است و فقط باید با سرمایه‌ای وارد شود که ممکن است از دست برود.