حمل و نقل L1 ZKEVM #1: Realtime Proving

با تشکر از Kevaundray Wedderburn ، Alex Stokes ، Tim Beiko ، Mary Maller ، Alexander Hicks ، George Kadianakis ، Dankrad Feist و Justin Drake برای بازخورد و بررسی.

Ethereum همه در ZK می رود. سرانجام ما انتظار داریم که به استفاده از اثبات ZK در تمام سطوح پشته ، از تجمع امضای لایه اجماع گرفته تا حریم خصوصی Onchain با طرف مشتری ، مهاجرت کنیم. پروتکل را برای ساده تر و دوستانه تر ZK ارتقا دهیدبشر اما اولین قدم L1 ZKEVM خواهد بود.

چگونه می توانیم L1 ZKEVM را در کمتر از یک سال حمل کنیم

سریعترین و ایمن ترین راه برای حمل و نقل L1 ZKEVM این است که با ارائه اعتبار سنجی گزینه ای برای اداره مشتری ، به جای اینکه مجدداً بارهای اعدام را اجرا کنند ، به صورت بی سیم تأیید کنید (بیایید بگوییم سه) اثبات شده توسط ZKVM های مختلف که هر یک از آنها اجرای EVM مختلف را اثبات می کنند. از آنجا که تأیید اثبات بسیار سریع و اثبات آن بسیار مختصر است ، بارگیری و تأیید چندین اثبات بسیار منطقی است و به ما امکان می دهد تا همان دفاع را به عمق تنوع مشتری موجود در ZKVMS اعمال کنیم.

برای این طرح در ابتدا اثبات اجرایی اجرایی را تأیید می کند ، تمام آنچه ما از پروتکل به آن نیاز داریم نوعی لوله کشی در Glamsterdam است تا زمان اثبات بیشتر را فراهم کند.

در ابتدا ، ما انتظار داریم که تعداد کمی از اعتبار سنج ها مشتری ZK را اجرا کنند. با گذشت زمان ، امنیت آنها در تولید نشان داده می شود. با استفاده از EF همچنین منابع را در تأیید رسمی ، نوشتن مشخصات ، ممیزی ها و نعمت های اشکال قرار می دهد. ما انتظار داریم که فرزندخواندگی به آرامی افزایش یابد.

هنگامی که یک ابرخودرو از سهام راحت در حال اجرا است ، ما می توانیم محدودیت گاز را به سطحی افزایش دهیم که به اعتبار سنجی که سخت افزار معقول را برای تأیید اثبات به جای استفاده مجدد از بلوک ها نیاز دارند ، نیاز داریم. هنگامی که همه اعتبار سنج ها در حال تأیید اثبات اجرای هستند ، می توان از همان اثبات نیز استفاده کرد precompile را اجرا کنید برای ZK-Rollup های بومی.

تعریف زمان واقعی برای L1

بزرگترین مزیت ما در اجرای این طرح ، توانایی مهار کردن کل صنعت ZKVM در ساخت اتریوم به عنوان بزرگترین کاربرد ZK در جهان است. بسیاری از ZKVM ها در حال اثبات بلوک های اتریوم هستند و پیشرفت های عملکرد به صورت هفتگی اعلام می شود.

به منظور حفظ امنیت ، زندگی و مقاومت در برابر سانسور از L1 ، بنیاد اتریوم تعریف استانداردی از اثبات زمان واقعی را برای تیم های ZKVM ارائه می دهد.

از طرف سیستم اثبات ، ZKVMS با هدف قرار دادن زمان واقعی باید 128 بیت امنیت را هدف قرار دهد ، که ما هدف بلند مدت مناسب Ethereum L1 را در نظر می گیریم. با این حال ، ما مایل به پذیرش حداقل 100 بیت امنیت در ماه های اولیه استقرار هستیم تا در رسیدن به 128 بیت ، چالش های مهندسی کوتاه مدت را در خود جای دهیم. اندازه اثبات باید زیر 300kib باقی بماند و نباید به بسته های بازگشتی که از مجموعه های قابل اعتماد استفاده می کنند ، تکیه کند. ما انتظار داریم که سیستم های اثبات تا زمانی که مشتری های ZK در حال تولید هستند به امنیت 128 بیتی منتقل شوند و نیازهای امنیتی (به عنوان مثال در مورد حدس ها) را محکم تر کنند زیرا اثبات زمان کاهش می یابد.

با زمان شکاف فعلی 12 ثانیه و حداکثر زمان برای انتشار داده ها در شبکه 1.5 ثانیه پوند ، زمان واقعی به معنی 10 ثانیه یا کمتر است. ما انتظار داریم که ZKVM ها بتوانند حداقل 99 ٪ از بلوک های اصلی را در این پنجره اثبات کنند ، با انتهای دم (و همچنین بردارهای DOS مصنوعی) در چنگال های سخت آینده کاهش یافته است.

به منظور حفظ بالاترین سطح زندگی و مقاومت در برابر سانسور ، تعریف ما از زمان واقعی اثبات این است که “اثبات خانه” را با این ایده که برخی از استیکرهای انفرادی که در حال حاضر معتبر هستند از خانه استفاده می کنند ، به اثبات برسانند. حتی اگر انتظار داریم مقاومت سانسور را از طریق سخت کند شمول معامله اجباری قبل از تأیید اثبات ZK اجباری ، اثبات خانه یک حفاظت نهایی مهم است.

از آنجا که اثبات در ابر در حال حاضر با نمونه های چند GPU بسیار ارزان است ، تمرکز تیم های ZKVM که هدف از آن را هدف قرار می دهند ، تا حد زیادی بهینه سازی می کنند تا در حال اجرا در مسابقات پیش نمایش در جایی که مشخصات بسیار محدودتر هستند. اثبات زمان واقعی در پیش فرض باید به حداکثر هزینه سرمایه 100K USD نیاز داشته باشد (در زمان نوشتن ، برای اجرای یک اعتبار سنج به 80 کیلو پوند در سهام نیاز دارد). ما انتظار داریم که این امر به مرور زمان کاهش یابد حتی با افزایش حد گاز.

بیش از هزینه سخت افزار ، مهمترین محدودیت برای اثبات خانه با استفاده از GPU ، مصرف انرژی است. بیشتر خانه های مسکونی حداقل 10 کیلو وات از خیابان وارد شده اند و برخی از آنها دارای مدارهای در نظر گرفته شده برای لوازم برقی یا شارژ وسایل نقلیه برقی با ظرفیت 10 کیلو وات هستند. بنابراین ، اثبات زمان واقعی باید در سخت افزار با سرعت 10 کیلو وات یا کمتر امکان پذیر باشد.

این ما را به تعریف کار ما از Realtime اثبات می کند:

• تأخیر: <= 10s برای P99 بلوک های اصلی
• capex on-prem: <= 100k USD
• قدرت در اختیار: <= 10kW
• کد: منبع کاملاً باز
• امنیت:> = 128 بیت
• اندازه اثبات: <= 300kib بدون تنظیمات قابل اعتماد

مسابقه به زمان واقعی

از بین اکنون و Devconnect آرژانتین ، امیدواریم که تیم های ZKVM همچنان به پیشرفت در زمان واقعی خانه ادامه دهند و ZKVM های پیشرو برای تبدیل شدن به زیرساخت های اصلی آینده برای اتریوم.