تحول در بلاکچین با ZK Rollups؛ کاهش هزینه‌ها و افزایش سرعت تراکنش‌ها در راه است!
به گزارش مالی خبر، همه با اتریوم شروع می شود. L1 خیلی کند است. برای اطمینان از اعتبار ، هر گره باید به طور اضافی معاملات را در یک بلوک مجدداً مورد استفاده قرار دهد.
تا سال 2020 ، جامعه اتریوم به عنوان راه حل مقیاس گذاری در اطراف رول ها جمع شد. پست وبلاگ Landmark 2021 Vitalik در Rollups توضیح می دهد که چگونه رول های خوش بینانه و ZK می توانند Ethereum را مقیاس کنند.
ZK Rollups از نظر فنی برای مقیاس گذاری برتر است اما این فناوری هنوز هم برای استفاده و استفاده بسیار بسیار گران بود (بعداً).
ابتدا رولپ های خوش بینانه وارد بازار شدند. روند خوش بینانه فرض کنید که تمام معاملات معتبر هستند تا زمانی که کسی آن را با اثبات کلاهبرداری در یک دوره چالش هفت روزه به چالش بکشد.
رول های خوش بینانه کار کردند ، اما آنها با هزینه های پنهان همراه بودند. دوره چالش به معنای نهایی تر معاملات طولانی تر قبل از اینکه کاربران بتوانند بودجه را پس بگیرند. نقدینگی قفل شده به معنای کارآیی سرمایه و UX به طور کلی فقیرتر ، به ویژه با قابلیت همکاری زنجیره ای است.
در همین حال ، ZK در حال جلب توجه بود. در ETHCC 2022 ، Polygon ، ZKSync و Scroll All ZKEVM های اعلام شده ، که باعث می شود Solity Devs برای نوشتن کد و اثبات اجرای EVM – به طور مؤثر به Ethereum اجازه دهد تا از فناوری دانش صفر استفاده کند.
تا سال 2023 ، ZK Rollups شروع به افزایش کشش واقعی کرد.
چرا دقیقاً اثبات ZK بهتر از اثبات کلاهبرداری خوش بینانه است؟ یعنی به دلیل اثبات ZK در مقایسه با داده های معامله خام (اندازه مگابایت در اندازه) بسیار کوچکتر است (1-10 کیلوبایت).
با استفاده از رمزنگاری ZK برای اثبات معاملات اتریوم ، این اثبات بسیار فشرده به معنای پایین آمدن هزینه های در دسترس بودن داده ها و مقیاس پذیری بهتر است.
گرچه ZK در حال پیاده شدن بود ، اما تولید اثبات هنوز گران بود. بر اساس zkstats.io ، میانگین هزینه تولید اثبات ZK در دسامبر 2023 80.21 دلار بود.
سریع به جلو به سال 2025. هزینه های اثبات در هر اثبات به 1.3 دلار کاهش یافته است ، حدود 98.4 ٪ بهبود
امروز ، هر یک از قطعات اصلی پشته ZK Rollup شکسته شده است.
اولا ، ZKVMS در اینجا هستند. این ماشین های مجازی تخصصی تجربه توسعه ZK را سرعت می بخشند و باعث می شوند که تولید اعتبار اعتبار کارآمدتر شود. قبل از ZKVMS ، توسعه دهندگان برای اثبات اجرای EVM نیاز به نوشتن “مدارهای” پیچیده و ریاضی داشتند.
ZKVMS مانند SP1 ، RISC ZERO ، NEXUS و OPENVM امروزه به طور مؤثر توسعه ZK را برای همه توسعه دهندگان (C ++ ، زنگ زدگی) بدون تخصص رمزنگاری ZK دموکراتیک می کنند. در گذشته ، ZKEVMS فقط توسعه استحکام در ZK Rollup را فعال می کرد. ZKVMS را به عنوان یک مفهوم کلی تر از ZKEVMS فکر کنید.
دوم ، هزینه های تولید اثبات به دلیل رقابت در بازار کاهش می یابد. امروزه بسیاری از بازارهای رقابتی توسط RISC Zero ، CYSIC ، LAGRANGE و SOCINCINCT اداره می شوند. برخی هنوز در TestNet هستند ، برخی عملیاتی هستند.
ZK L2s همچنین به تکنیک های تجمع اثبات شده برای استهلاک هزینه های تأیید تبدیل شده است. روشی که تقریباً کار می کند با جمع کردن بسیاری از اثبات در داخل یک است ، که اثبات نهایی را سریعتر می کند.
این بازارها نیز بدون مجاز هستند ، به این معنی که هرکسی که دارای یک دکل GPU باشد می تواند ثبت نام کند ، پیوند ارسال کند و اثبات ZK را تولید کند. پیش از این ، ZK Rollups از “Provers متمرکز” استفاده می کرد ، به این معنی که آنها سخت افزار GPU/FPGA را از Google یا Amazon اجاره کرده اند.
سیستم های اثبات بهتر نیز به طور مداوم در حال راه اندازی هستند. این سیستم های اثبات (مثالها: GROTH16 ، HALO2-KZG ، STARK ، PLONK ، EXPANDER) الگوریتمی قوانین را در مورد نحوه ساخت و تأیید اثبات ZK تعریف می کنند. آنها بهتر می شوند ، این بدان معنی است که اثبات ZK برای تأیید کوچکتر و سریعتر می شود. این به نوبه خود به معنای افزایش سود عملکرد ZKVM است.
منبع:
نظرات کاربران