Ang paggawa ng mga zero-knowledge proofs (ZKPs) na "maiintindihan at naa-access" sa mga tao ay kinakailangan upang panatilihing "bukas at malugod" ang Ethereum ecosystem sa mga taong walang degree sa matematika, ang co-founder ng Ethereum na si Vitalik Buterin ay nag-tweet noong Okt 26.
Ang mga ZKP ay madalas na tinutukoy bilang "moon math" dahil sa kanilang pagiging kumplikado.
Napakasaya ko na ang Ethereum ay may napakalakas na kultura ng pagsisikap na gawin ang lahat ng ating moon math bilang naiintindihan at naa-access ng mga tao hangga't maaari. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Oktubre 26, 2022
Idinagdag ni Buterin na "Ang desentralisasyon ay nangangailangan ng HINDI pagsuko at pagwawagayway ng PhD sa pagsasabing "ito ay isang itim na kahon, matalino kami, magtiwala sa amin"."
Scroll, isang zero-knowledge layer 2 Ethereum scaling solution, ipinaliwanag sa a Blog kung paano gumagana ang mga polynomial commitment scheme, isang kritikal na bahagi ng ilang ZKP, at kung paano sila makakatulong sa pagsukat ng Ethereum.
Ang mga polynomial ay mga mathematical expression na kumakatawan sa higit sa dalawang algebraic terms. Ayon sa Scroll blog, ang mga polynomial ay maaaring makatulong na kumatawan sa malaking data nang mahusay.
Ang commitment scheme ay isang cryptographic protocol kung saan ang isang tao ay nag-commit sa isang mensahe at pinapanatili itong nakatago ngunit maaaring ihayag ang mensahe sa ibang pagkakataon. Gayunpaman, hindi na mababago ng committer ang mensahe kapag nakipag-commit na siya dito, na ginagawang may bisa ang mga scheme ng commitment.
Sa isang polynomial commitment scheme, ang isa ay commit sa isang polynomial sa halip na isang mensahe. Natutugunan ng polynomial commitment scheme ang lahat ng katangian ng normal na commitment scheme. Ngunit mayroon itong karagdagang tampok na nagbibigay-daan sa committer na patunayan na siya ay nakatuon sa isang partikular na polynomial na nakakatugon sa mga kinakailangang katangian nang hindi inilalantad ang polynomial mismo.
KZG sa Pagsusukat ng Ethereum
Bagama't may iba't ibang polynomial commitment scheme, Kate-Zaverucha-Goldberg (KZG) ay sikat sa blockchain space at ginagamit ng mga proof system ng Scroll. Ang KZG ay dapat ding isama sa Ethereum sa Proto-Danksharding, na ipapatupad sa pamamagitan ng EIP-4844, na iminungkahi noong Pebrero 2022.
Ang Proto-Danksharding ay isang stop-gap na solusyon hanggang sa maipatupad ang Danksharding, na maaaring gawing mas mura ang paggamit ng mga rollup. Ipinakilala ng Proto-Danksharding ang isang bagong uri ng transaksyon na tinatawag na "transaksyon na nagdadala ng blob." Ang mga transaksyong ito ay nagdadala ng data blob na 128kb, na hindi ma-access mula sa Ethereum execution layer. Sa halip, ang pangako lamang sa data blob ang maa-access mula sa Ethereum.
Ang data blob ay kinakatawan bilang polynomial at ang polynomial commitment scheme na KZG ay ginagamit para gumawa ng commitment sa data. Nagbibigay-daan ito sa mga katangian ng data blob na ma-verify nang hindi inilalantad ang buong data blob.
Ang paggamit ng KZG, samakatuwid, ay maaaring paganahin ang data availability sampling (DAS), na ipapatupad sa landas patungo sa ganap na Danksharding. Ang DAS ay talagang nagbibigay-daan sa mga validator na matiyak na ang data blob ay available at tama, nang hindi kinakailangang basahin ang buong data blob.
Ito naman, ay makatutulong nang malaki sa pagpapahusay ng scalability ng Ethereum dahil kailangang harapin ng mga validator ang mas kaunting data.
Pinagmulan: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/