Membuat bukti pengetahuan sifar (ZKP) "boleh difahami dan boleh diakses" kepada orang ramai adalah perlu untuk memastikan ekosistem Ethereum "terbuka dan mengalu-alukan" kepada orang yang tidak mempunyai ijazah matematik, pengasas bersama Ethereum Vitalik Buterin tweet pada 26 Okt.
ZKP sering dirujuk sebagai "matematik bulan" kerana kerumitannya.
Saya sangat gembira kerana Ethereum mempunyai budaya yang kuat untuk berusaha keras untuk menjadikan semua matematik bulan kita dapat difahami dan boleh diakses oleh orang ramai yang mungkin. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Oktober 26, 2022
Buterin menambah bahawa "Desentralisasi memerlukan TIDAK berputus asa dan melambai PhD dengan mengatakan "ia adalah kotak hitam, kami bijak, percayakan kami"."
Tatal, penyelesaian penskalaan Ethereum lapisan pengetahuan sifar 2, dijelaskan dalam a blog bagaimana skim komitmen polinomial, bahagian kritikal beberapa ZKP, berfungsi dan cara ia boleh membantu skala Ethereum.
Polinomial ialah ungkapan matematik yang mewakili lebih daripada dua sebutan algebra. Menurut blog Scroll, polinomial boleh membantu mewakili data besar dengan cekap.
Skim komitmen ialah protokol kriptografi di mana seseorang itu komited kepada mesej dan menyembunyikannya tetapi boleh mendedahkan mesej itu kemudian. Walau bagaimanapun, komitter tidak boleh mengubah mesej sebaik sahaja dia komited kepadanya, yang menjadikan skim komitmen mengikat.
Dalam skim komitmen polinomial, seseorang melakukan polinomial dan bukannya mesej. Skim komitmen polinomial memenuhi semua sifat skim komitmen biasa. Tetapi ia mempunyai ciri tambahan yang membolehkan komitter membuktikan bahawa dia komited kepada polinomial tertentu yang memenuhi sifat yang diperlukan tanpa mendedahkan polinomial itu sendiri.
KZG dalam Penskalaan Ethereum
Walaupun terdapat skim komitmen polinomial yang berbeza, Kate-Zaverucha-Goldberg (KZG) popular dalam ruang blockchain dan digunakan oleh sistem bukti Scroll. KZG juga akan disepadukan ke dalam Ethereum dengan Proto-Danksharding, untuk dilaksanakan melalui EIP-4844, yang dicadangkan pada Februari 2022.
Proto-Danksharding ialah penyelesaian stop-gap sehingga Danksharding, yang boleh menjadikannya lebih murah untuk menggunakan rollup, boleh dilaksanakan. Proto-Danksharding memperkenalkan jenis transaksi baharu yang dipanggil "urus niaga membawa gumpalan." Urus niaga ini membawa gumpalan data 128kb, yang tidak boleh diakses daripada lapisan pelaksanaan Ethereum. Sebaliknya, hanya komitmen kepada gumpalan data yang boleh diakses daripada Ethereum.
Gumpalan data diwakili sebagai polinomial dan skim komitmen polinomial KZG digunakan untuk membuat komitmen kepada data. Ini membolehkan sifat gumpalan data disahkan tanpa mendedahkan keseluruhan gumpalan data.
Oleh itu, penggunaan KZG boleh mendayakan pensampelan ketersediaan data (DAS), yang akan dilaksanakan pada laluan ke Danksharding penuh. DAS pada asasnya membolehkan pengesah memastikan bahawa gumpalan data tersedia dan betul, tanpa perlu membaca keseluruhan gumpalan data.
Ini, seterusnya, boleh membantu dengan ketara meningkatkan skalabiliti Ethereum kerana pengesah perlu berurusan dengan kurang data.
Sumber: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/