ویتالیک بوترین، یکی از بنیانگذاران اتریوم در 26 اکتبر در توییتر خود نوشت که اثبات دانش صفر (ZKP) برای مردم "قابل درک و در دسترس" برای باز نگه داشتن اکوسیستم اتریوم برای افراد بدون مدرک ریاضی "باز و پذیرا" است.
ZKP ها اغلب به دلیل پیچیدگی آنها به عنوان "ریاضی ماه" شناخته می شوند.
من بسیار خوشحالم که اتریوم دارای چنین فرهنگ قوی ای است که سخت تلاش می کند تا تمام ریاضیات ماه ما را تا حد امکان برای مردم قابل درک و در دسترس قرار دهد. https://t.co/o9n2Xms4Zw
- vitalik.eth (VitalikButerin) اکتبر 26، 2022
بوترین اضافه کرد که «تمرکززدایی مستلزم تسلیم نشدن و تکان دادن مدرک دکترا با گفتن این جمله است که «این یک جعبه سیاه است، ما باهوشیم، به ما اعتماد کنید».
اسکرول، یک راه حل مقیاس پذیری اتریوم با دانش صفر لایه 2، توضیح داده شده در یک وبلاگ چگونه طرح های تعهد چند جمله ای، بخش مهمی از چندین ZKP، کار می کنند و چگونه می توانند به مقیاس اتریوم کمک کنند.
چند جمله ای ها عبارت های ریاضی هستند که بیش از دو عبارت جبری را نشان می دهند. طبق وبلاگ اسکرول، چند جمله ای ها می توانند به نمایش موثر داده های بزرگ کمک کنند.
طرح تعهد یک پروتکل رمزنگاری است که در آن شخص به یک پیام متعهد میشود و آن را پنهان نگه میدارد اما میتواند پیام را بعداً فاش کند. با این حال، متعهد نمی تواند پیام را پس از تعهد به آن تغییر دهد، که این امر طرح های تعهد را الزام آور می کند.
در طرح تعهد چند جمله ای، فرد به جای پیام، به چند جمله ای متعهد می شود. طرح تعهد چند جمله ای تمام ویژگی های طرح های تعهد عادی را برآورده می کند. اما یک ویژگی اضافی دارد که committer را قادر میسازد تا ثابت کند که به چند جملهای خاص متعهد شده است که ویژگیهای مورد نیاز را برآورده میکند بدون اینکه خود چند جملهای آشکار شود.
KZG در مقیاس گذاری اتریوم
در حالی که طرح های تعهد چند جمله ای متفاوتی وجود دارد، کیت-زاوروچا-گلدبرگ (KZG) در فضای بلاک چین محبوب است و توسط سیستم های اثبات اسکرول استفاده می شود. KZG همچنین قرار است با Proto-Danksharding در اتریوم ادغام شود و از طریق آن پیاده سازی شود. EIP-4844، که در فوریه 2022 پیشنهاد شد.
Proto-Danksharding یک راه حل توقف است تا زمانی که Danksharding، که می تواند استفاده از رول آپ ها را ارزان تر کند، اجرا شود. Proto-Danksharding یک نوع تراکنش جدید به نام "تراکنش حباب حمل" را معرفی می کند. این تراکنش ها دارای یک لکه داده 128 کیلوبایتی هستند که از لایه اجرای اتریوم قابل دسترسی نیست. در عوض، فقط تعهد به لکه داده از اتریوم قابل دسترسی خواهد بود.
لکه داده به عنوان یک چند جمله ای نشان داده می شود و طرح تعهد چند جمله ای KZG برای ایجاد تعهد به داده ها استفاده می شود. این اجازه می دهد تا خصوصیات حباب داده بدون آشکار کردن کل لکه داده تأیید شود.
بنابراین، استفاده از KZG میتواند نمونهگیری در دسترس بودن داده (DAS) را فعال کند، که در مسیر Danksharding کامل پیادهسازی خواهد شد. DAS اساساً اعتبارسنجیها را قادر میسازد تا بدون نیاز به خواندن کل لکه داده اطمینان حاصل کنند که لکه داده در دسترس و صحیح است.
این به نوبه خود می تواند به طور قابل توجهی به افزایش مقیاس پذیری اتریوم کمک کند زیرا اعتبار سنجی ها باید با داده های کمتری سروکار داشته باشند.
منبع: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/