Виталиктин айтымында, Ethereum үчүн ZK далилдерин "түшүнүктүү" кылуу зарыл

Ethereum экосистемасынын математикалык даражасы жок адамдар үчүн “ачык жана жылуу” болушу үчүн нөлдүк билим далилин (ZKPs) адамдарга “түшүнүктүү жана жеткиликтүү” кылуу зарыл, деп Ethereum негиздөөчүсү Виталик Бутерин 26-октябрда твиттерде жазды.

ZKPs көбүнчө татаалдыгы үчүн "ай математикасы" деп аталат.

Бутерин кошумчалагандай, "Децентралдаштыруу "бул кара куту, биз акылдуубуз, бизге ишениңиз" деп, докторлук даражасын тайсалбоону талап кылат."

Scroll, нөлдүк билим катмары 2 Ethereum масштабдоо чечими блог полиномиялык милдеттенме схемалары, бир нече ZKPs маанилүү бөлүгү, кантип иштейт жана алар Ethereum масштабын кантип жардам бере алат.

Көп мүчөлөр экиден ашык алгебралык терминдерди билдирген математикалык туюнтмалар. Scroll блогуна ылайык, полиномдор чоң маалыматтарды эффективдүү көрсөтүүгө жардам берет.

Милдеттенме схемасы - бул криптографиялык протокол, анда кимдир бирөө билдирүүгө милдеттенет жана аны жашырып, бирок кийинчерээк билдирүүнү ачып бере алат. Бирок, билдирүүнү кабыл алгандан кийин, билдирүүчү аны өзгөртө албайт, бул милдеттенме схемаларын милдеттүү кылат.

Көп мүчөлүү милдеттенме схемасында билдирүүнүн ордуна көп мүчөгө милдеттенет. Полиномдук милдеттенме схемасы нормалдуу милдеттенме схемаларынын бардык касиеттерине жооп берет. Бирок анын кошумча өзгөчөлүгү бар, ал тапшыруучуга полиномдун өзүн көрсөтпөстөн, талап кылынган касиеттерге жооп берген белгилүү бир көп мүчөгө берилгендигин далилдөөгө мүмкүндүк берет.

KZG Scaling Ethereum

Ар кандай полиномдук милдеттенме схемалары бар болсо да, Кейт-Заверуча-Голдберг (KZG) блокчейн мейкиндигинде популярдуу жана Scroll's proof системалары тарабынан колдонулат. KZG ошондой эле Proto-Danksharding менен Ethereum менен интеграцияланууга тийиш. EIP-48442022-жылдын февралында сунушталган.

Proto-Danksharding - бул Данкшардинг ишке ашырылмайынча токтоосуз чечим, бул роликтерди колдонууну арзандатышы мүмкүн. Proto-Danksharding жаңы транзакция түрүн сунуштайт "блоб алып жүрүүчү транзакция". Бул транзакциялар Ethereum аткаруу катмарынан кирүү мүмкүн эмес болгон 128 кб маалымат блогун камтыйт. Анын ордуна, Ethereum'дан маалымат блогуна берилгендик гана жеткиликтүү болот.

Берилиштер блогу көп мүчө катары көрсөтүлөт жана KZG полиномдук милдеттенме схемасы маалыматтарга милдеттенме түзүү үчүн колдонулат. Бул маалымат блобунун касиеттерин толук маалымат блогун көрсөтпөстөн текшерүүгө мүмкүндүк берет.

Демек, KZGди колдонуу толук Danksharding жолунда ишке ашырыла турган маалыматтардын жеткиликтүүлүгүн тандоону (DAS) иштете алат. DAS чындыгында валидаторлорго берилиштер блогун толугу менен окубастан, маалымат блогунун жеткиликтүү жана туура болушун камсыз кылууга мүмкүндүк берет.

Бул, өз кезегинде, Ethereumдун масштабдуулугун жогорулатууга олуттуу жардам берет, анткени валидаторлор азыраак маалыматтар менен иштеши керек.

Булак: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/