Մարդկանց համար զրոյական գիտելիքի ապացույցները (ZKP) «հասկանալի և հասանելի» դարձնելն անհրաժեշտ է, որպեսզի Ethereum էկոհամակարգը «բաց և ողջունելի» մնա առանց մաթեմատիկայի աստիճան ունեցող մարդկանց համար, հոկտեմբերի 26-ին թվիթերում գրել է Ethereum-ի համահիմնադիր Վիտալիկ Բուտերինը:
ZKP-ները հաճախ կոչվում են «լուսնային մաթեմատիկա»՝ իրենց բարդության պատճառով:
Ես այնքան ուրախ եմ, որ Ethereum-ը այնքան ուժեղ մշակույթ ունի՝ ջանք գործադրելու մեր ամբողջ լուսնային մաթեմատիկան մարդկանց համար հնարավորինս հասկանալի և հասանելի դարձնելու համար: https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Հոկտեմբեր 26, 2022
Բուտերինը հավելեց, որ «ապակենտրոնացումը պահանջում է ՉԻ հանձնվել և դոկտորական կոչում անել՝ ասելով «սա սև արկղ է, մենք խելացի ենք, վստահիր մեզ»:
Scroll, զրոյական գիտելիքների շերտ 2 Ethereum մասշտաբային լուծում, բացատրված է Օրագիր ինչպես են աշխատում բազմանդամ պարտավորությունների սխեմաները, որոնք մի քանի ZKP-ների կարևոր մասն են, և ինչպես կարող են օգնել Ethereum-ի մասշտաբավորմանը:
Բազմանդամները մաթեմատիկական արտահայտություններ են, որոնք ներկայացնում են ավելի քան երկու հանրահաշվական անդամ: Ըստ Scroll բլոգի, բազմանդամները կարող են օգնել արդյունավետ կերպով ներկայացնել մեծ տվյալներ:
Պարտավորությունների սխեման գաղտնագրային արձանագրություն է, որտեղ մեկը պարտավորվում է կատարել հաղորդագրություն և պահել այն թաքցված, բայց կարող է հետագայում բացահայտել հաղորդագրությունը: Այնուամենայնիվ, հանձնակատարը չի կարող փոխել հաղորդագրությունը, երբ նա պարտավորվել է դրան, ինչը պարտավորությունների սխեմաները դարձնում է պարտադիր:
Բազմանդամների պարտավորությունների սխեմայում հաղորդագրության փոխարեն պարտավորվում է բազմանդամ լինել: Բազմանդամների պարտավորությունների սխեման համապատասխանում է սովորական պարտավորությունների սխեմաների բոլոր հատկություններին: Բայց այն ունի լրացուցիչ հատկություն, որը թույլ է տալիս կատարողին ապացուցել, որ նա պարտավորվել է որոշակի բազմանդամին, որը բավարարում է պահանջվող հատկությունները՝ առանց ինքնին բազմանդամը բացահայտելու:
KZG-ն Scaling Ethereum-ում
Չնայած կան տարբեր բազմանդամ պարտավորությունների սխեմաներ, Քեյթ-Զավերուչա-Գոլդբերգ (KZG) հայտնի է բլոկչեյն տարածքում և օգտագործվում է Scroll-ի ապացուցման համակարգերի կողմից: KZG-ը նույնպես պետք է ինտեգրվի Ethereum-ին Proto-Danksharding-ի միջոցով, որը պետք է իրականացվի միջոցով EIP-4844, որն առաջարկվել է 2022 թվականի փետրվարին։
Proto-Danksharding-ը կանգառի լուծում է, քանի դեռ Danksharding-ը, որը կարող է ավելի էժան դարձնել հավաքագրումների օգտագործումը, կարող է իրականացվել: Proto-Danksharding-ը ներկայացնում է գործարքների նոր տեսակ, որը կոչվում է «blob-carrying transaksion»: Այս գործարքները կրում են 128 կբ ծավալով տվյալների բլիթ, որը հնարավոր չէ մուտք գործել Ethereum-ի կատարման շերտից: Փոխարենը, Ethereum-ից հասանելի կլինի միայն տվյալների բլբի նկատմամբ պարտավորությունը:
Տվյալների բլբերը ներկայացված է որպես բազմանդամ, իսկ բազմանդամ պարտավորությունների սխեման KZG օգտագործվում է տվյալների նկատմամբ պարտավորություն ստեղծելու համար: Սա թույլ է տալիս ստուգել տվյալների բլբի հատկությունները՝ առանց ամբողջ տվյալների բլբի բացահայտման:
KZG-ի օգտագործումը, հետևաբար, կարող է հնարավորություն տալ տվյալների հասանելիության նմուշառում (DAS), որը կիրականացվի ամբողջական Danksharding-ի ճանապարհին: DAS-ը, ըստ էության, թույլ է տալիս վավերացնողներին ապահովել տվյալների բլոկը հասանելի և ճիշտ՝ առանց ամբողջ տվյալների բլոկը կարդալու:
Սա, իր հերթին, կարող է զգալիորեն նպաստել Ethereum-ի մասշտաբայնության բարձրացմանը, քանի որ վավերացնողները պետք է զբաղվեն ավելի քիչ տվյալների հետ:
Աղբյուր՝ https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/