Зрабіць доказы з нулявым веданнем справы (ZKPs) «зразумелымі і даступнымі» для людзей неабходна, каб захаваць экасістэму Ethereum «адкрытай і гасціннай» для людзей без дыплома матэматыкі, напісаў 26 кастрычніка ў твітары сузаснавальнік Ethereum Віталік Бутэрын.
ZKP часта называюць «месяцовай матэматыкай» з-за іх складанасці.
Я так шчаслівы, што Ethereum мае такую моцную культуру, якая прыкладае ўсе намаганні, каб зрабіць усю нашу месячную матэматыку максімальна зразумелай і даступнай для людзей. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Кастрычнік 26, 2022
Бутэрын дадаў, што «дэцэнтралізацыя патрабуе НЕ здавацца і махаць доктарскай ступенню, кажучы «гэта чорная скрыня, мы разумныя, давярайце нам»».
Scroll, рашэнне для маштабавання ўзроўню 2 Ethereum без ведаў, тлумачыцца ў блог як працуюць паліномныя схемы абавязацельстваў, важная частка некалькіх ZKP, і як яны могуць дапамагчы ў маштабаванні Ethereum.
Мнагачлены - гэта матэматычныя выразы, якія прадстаўляюць больш за два алгебраічных члена. Згодна з блогам Scroll, мнагачлены могуць дапамагчы эфектыўна прадстаўляць вялікія даныя.
Схема абавязацельстваў - гэта крыптаграфічны пратакол, у якім адзін прымае паведамленне і захоўвае яго схаваным, але можа раскрыць паведамленне пазней. Аднак камітар не можа змяніць паведамленне пасля таго, як ён прыняў яго, што робіць схемы абавязацельстваў абавязковымі.
У поліномнай схеме абавязацельстваў замест паведамлення прымаецца паліном. Паліномная схема абавязацельстваў адпавядае ўсім уласцівасцям звычайных схем абавязацельстваў. Але ў яго ёсць дадатковая асаблівасць, якая дазваляе камітэру даказаць, што ён прыняў пэўны паліном, які задавальняе патрабаваным уласцівасцям, не раскрываючы сам паліном.
KZG у маштабаванні Ethereum
Хоць існуюць розныя паліномныя схемы абавязацельстваў, Кейт-Завяруха-Голдберг (KZG) папулярны ў блокчейн-прасторы і выкарыстоўваецца сістэмамі доказу Scroll. KZG таксама павінен быць інтэграваны ў Ethereum з Proto-Danksharding, які будзе рэалізаваны праз ЭІП-4844, які быў прапанаваны ў лютым 2022 года.
Proto-Danksharding з'яўляецца прыпыначным рашэннем, пакуль Danksharding, які можа зрабіць таннейшым выкарыстанне агрэгатаў, не будзе рэалізаваны. Proto-Danksharding прадстаўляе новы тып транзакцый пад назвай «транзакцыя з пераносам кроплі». Гэтыя транзакцыі нясуць блок дадзеных памерам 128 КБ, да якога нельга атрымаць доступ з ўзроўню выканання Ethereum. Замест гэтага з Ethereum будзе даступная толькі прыхільнасць блобу даных.
Блок дадзеных прадстаўлены ў выглядзе мнагачлена, а схема паліномнага абавязацельства KZG выкарыстоўваецца для стварэння абавязацельства да даных. Гэта дазваляе правяраць уласцівасці блока даных, не раскрываючы ўвесь блок даных.
Такім чынам, выкарыстанне KZG можа ўключыць выбарку даступнасці дадзеных (DAS), якая будзе рэалізавана на шляху да поўнага Danksharding. DAS, па сутнасці, дазваляе валідатарам пераканацца, што блок даных даступны і правільны, без неабходнасці чытаць увесь блок даных.
Гэта, у сваю чаргу, можа значна дапамагчы ў павышэнні маштабаванасці Ethereum, паколькі валідатары павінны мець справу з меншай колькасцю даных.
Крыніца: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/