Att göra nollkunskapsbevis (ZKP) "förståeliga och tillgängliga" för människor är nödvändigt för att hålla Ethereums ekosystem "öppet och välkomnande" för människor utan en matematikexamen, twittrade Ethereums medgrundare Vitalik Buterin den 26 oktober.
ZKP:er kallas ofta "månematte" på grund av deras komplexitet.
Jag är så glad att Ethereum har en så stark kultur att anstränga sig hårt för att göra all vår månematte så begriplig och tillgänglig för människor som möjligt. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Oktober 26, 2022
Buterin tillade att "Decentralisering kräver INTE att ge upp och vifta med en doktorsexamen och säga "det är en svart låda, vi är smarta, lita på oss".
Scroll, en nollkunskapslager 2 Ethereum-skalningslösning, förklarad i en blogg hur polynomiska åtagandesystem, en kritisk del av flera ZKP, fungerar och hur de kan hjälpa till att skala Ethereum.
Polynom är matematiska uttryck som representerar mer än två algebraiska termer. Enligt Scroll-bloggen kan polynom hjälpa till att representera stora data effektivt.
Ett åtagandeschema är ett kryptografiskt protokoll där man förbinder sig till ett meddelande och håller det dolt men kan avslöja meddelandet senare. Beslutaren kan dock inte ändra meddelandet när han väl har förbundit sig till det, vilket gör åtagandesystem bindande.
I ett polynomförpliktelseschema förbinder man sig till ett polynom istället för ett meddelande. Det polynomiska åtagandeschemat uppfyller alla egenskaper hos normala åtagandesystem. Men den har en extra funktion som gör det möjligt för den som gör det att bevisa att han har förbundit sig till ett visst polynom som uppfyller de nödvändiga egenskaperna utan att avslöja själva polynomet.
KZG i Scaling Ethereum
Även om det finns olika polynomåtagandesystem, Kate-Zaverucha-Goldberg (KZG) är populärt i blockchain-utrymmet och används av Scrolls bevissystem. KZG kommer också att integreras i Ethereum med Proto-Danksharding, för att implementeras genom EIP-4844, som föreslogs i februari 2022.
Proto-Danksharding är en stop-gap-lösning tills Danksharding, som kan göra det billigare att använda rollups, kan implementeras. Proto-Danksharding introducerar en ny transaktionstyp som kallas "blob-bärande transaktion." Dessa transaktioner har en dataklump på 128 kb, som inte kan nås från Ethereums exekveringslager. Istället kommer endast engagemanget för datablobben att vara tillgängligt från Ethereum.
Datablobben representeras som ett polynom och polynomförpliktelseschemat KZG används för att skapa ett åtagande för data. Detta gör att datablobbens egenskaper kan verifieras utan att avslöja hela datablobben.
Användningen av KZG kan därför möjliggöra datatillgänglighetssampling (DAS), som kommer att implementeras på vägen till full Danksharding. DAS gör det i huvudsak möjligt för validerare att säkerställa att datablobben är tillgänglig och korrekt, utan att behöva läsa hela datablobben.
Detta i sin tur kan avsevärt hjälpa till med att förbättra skalbarheten för Ethereum eftersom validerare behöver hantera mindre data.
Källa: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/