Nulles zināšanu pierādījumi (ZKP) ir jāpadara cilvēkiem “saprotami un pieejami”, lai Ethereum ekosistēma būtu “atvērta un laipna” cilvēkiem, kuriem nav matemātikas grāda, 26. oktobrī tviterī ierakstīja Ethereum līdzdibinātājs Vitaliks Buterins.
ZKP to sarežģītības dēļ bieži sauc par “mēness matemātiku”.
Esmu tik priecīgs, ka Ethereum ir tik spēcīga kultūra, kas cenšas visu mūsu mēness matemātiku padarīt pēc iespējas saprotamāku un pieejamāku cilvēkiem. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Oktobris 26, 2022
Buterīns piebilda, ka "decentralizācijai nav nepieciešams padoties un vicināt doktora grādu, sakot "tā ir melnā kaste, mēs esam gudri, uzticieties mums".
Scroll — nulles zināšanu slānis 2 Ethereum mērogošanas risinājums, kas izskaidrots blog kā darbojas polinomu saistību shēmas, kas ir būtiska vairāku ZKP daļa, un kā tās var palīdzēt mērogot Ethereum.
Polinomi ir matemātiskas izteiksmes, kas attēlo vairāk nekā divus algebriskos terminus. Saskaņā ar Scroll emuāru, polinomi var palīdzēt efektīvi attēlot lielus datus.
Saistību shēma ir kriptogrāfisks protokols, kurā persona apņemas ievērot ziņojumu un patur to paslēptu, bet vēlāk var atklāt ziņojumu. Tomēr apņēmējs nevar mainīt vēstījumu, kad viņš to ir apņēmies, un tas padara saistību shēmas saistošas.
Polinoma saistību shēmā ziņojuma vietā tiek izmantots polinoms. Polinomu saistību shēma atbilst visām parasto saistību shēmu īpašībām. Bet tam ir papildu funkcija, kas ļauj apņēmējam pierādīt, ka viņš ir apņēmies ievērot noteiktu polinomu, kas atbilst nepieciešamajām īpašībām, neatklājot pašu polinomu.
KZG programmā Scaling Ethereum
Lai gan pastāv dažādas polinomu saistību shēmas, Keita-Zaveruča-Goldberga (KZG) ir populārs blokķēdes telpā, un to izmanto Scroll pārbaudes sistēmas. KZG arī paredzēts integrēt Ethereum ar Proto-Danksharding, kas tiks ieviests, izmantojot EIP-4844, kas tika ierosināts 2022. gada februārī.
Proto-Danksharding ir īslaicīgs risinājums, līdz var tikt ieviesta Danksharding, kas varētu padarīt lētāku apkopojumu izmantošanu. Proto-Danksharding ievieš jaunu darījuma veidu, ko sauc par “blob Carrying Transakciju”. Šiem darījumiem ir 128 kb datu lāse, kurai nevar piekļūt no Ethereum izpildes slāņa. Tā vietā no Ethereum būs pieejamas tikai saistības attiecībā uz datu lāsi.
Datu lāse tiek attēlota kā polinoms, un polinoma saistību shēma KZG tiek izmantota, lai izveidotu saistības attiecībā uz datiem. Tas ļauj pārbaudīt datu lāpas rekvizītus, neatklājot visu datu blobu.
Tādējādi KZG izmantošana var iespējot datu pieejamības iztveršanu (DAS), kas tiks ieviesta ceļā uz pilnīgu Danksharding. DAS būtībā ļauj pārbaudītājiem nodrošināt, ka datu lāse ir pieejama un pareiza, nelasot visu datu blobu.
Tas savukārt var ievērojami palīdzēt uzlabot Ethereum mērogojamību, jo pārbaudītājiem ir jāapstrādā mazāk datu.
Avots: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/