Mae gwneud proflenni dim gwybodaeth (ZKPs) yn “ddealladwy a hygyrch” i bobl yn angenrheidiol er mwyn cadw ecosystem Ethereum yn “agored a chroesawgar” i bobl heb radd mathemateg, trydarodd cyd-sylfaenydd Ethereum, Vitalik Buterin, Hydref 26.
Cyfeirir at ZKPs yn aml fel “mathemateg lleuad” oherwydd eu cymhlethdod.
Rydw i mor hapus bod gan Ethereum ddiwylliant mor gryf o ymdrechu'n galed i wneud ein holl fathemateg lleuad mor ddealladwy a hygyrch i bobl â phosib. https://t.co/o9n2Xms4Zw
- deatamachik.eth (@VitalikButerin) Tachwedd 26
Ychwanegodd Buterin “Mae datganoli yn gofyn am BEIDIO â rhoi’r gorau iddi a chwifio PhD o gwmpas gan ddweud “mae’n focs du, rydyn ni’n graff, ymddiriedwch ni”.”
Sgroliwch, haen sero-wybodaeth 2 ateb graddio Ethereum, a eglurir yn a blog sut mae cynlluniau ymrwymiad polynomaidd, sy'n rhan hanfodol o sawl ZKP, yn gweithio a sut y gallant helpu i raddio Ethereum.
Mynegiadau mathemategol yw polynomialau sy'n cynrychioli mwy na dau derm algebraidd. Yn ôl y blog Scroll, gall polynomialau helpu i gynrychioli data mawr yn effeithlon.
Mae cynllun ymrwymiad yn brotocol cryptograffig lle mae un yn ymrwymo i neges ac yn ei gadw'n gudd ond yn gallu datgelu'r neges yn ddiweddarach. Fodd bynnag, ni all y pwyllgorwr newid y neges ar ôl iddo ymrwymo iddi, sy’n gwneud cynlluniau ymrwymo yn rhwymol.
Mewn cynllun ymrwymiad polynomaidd, mae rhywun yn ymrwymo i polynomial yn lle neges. Mae'r cynllun ymrwymiad aml-enw yn bodloni holl briodweddau cynlluniau ymrwymiad arferol. Ond mae ganddo nodwedd ychwanegol sy'n galluogi'r troseddwr i brofi ei fod wedi ymrwymo i polynomial penodol sy'n bodloni'r priodweddau gofynnol heb ddatgelu'r polynomial ei hun.
KZG yn Scaling Ethereum
Er bod yna wahanol gynlluniau ymrwymiad aml-enwog, Kate-Zaverucha-Goldberg (KZG) yn boblogaidd yn y gofod blockchain ac yn cael ei ddefnyddio gan systemau prawf Scroll. Mae KZG hefyd i fod i gael ei integreiddio i Ethereum gyda Proto-Danksharding, i'w weithredu drwodd EIP-4844, a gynigiwyd ym mis Chwefror 2022.
Mae Proto-Danksharding yn ateb stop-bwlch hyd nes y gellir gweithredu Danksharding, a allai ei gwneud yn rhatach i ddefnyddio rollups. Mae Proto-Danksharding yn cyflwyno math newydd o drafodiad o'r enw “trafodiad cario blob.” Mae'r trafodion hyn yn cario blob data o 128kb, na ellir ei gyrchu o haen gweithredu Ethereum. Yn lle hynny, dim ond yr ymrwymiad i'r blob data fydd yn hygyrch o Ethereum.
Cynrychiolir y blob data fel polynomial a defnyddir y cynllun ymrwymiad polynomaidd KZG i greu ymrwymiad i'r data. Mae hyn yn caniatáu i briodweddau'r blob data gael eu gwirio heb ddatgelu'r blob data cyfan.
Gall defnyddio KZG, felly, alluogi samplu argaeledd data (DAS), a fydd yn cael ei weithredu ar y llwybr i Danksharding llawn. Mae DAS yn ei hanfod yn galluogi dilyswyr i sicrhau bod y blob data ar gael ac yn gywir, heb orfod darllen y blob data cyfan.
Gall hyn, yn ei dro, helpu'n sylweddol i wella graddadwyedd Ethereum gan fod angen i ddilyswyr ddelio â llai o ddata.
Ffynhonnell: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/