Membuat bukti tanpa pengetahuan (ZKP) “dapat dipahami dan dapat diakses” oleh orang-orang diperlukan untuk menjaga ekosistem Ethereum “terbuka dan ramah” kepada orang-orang tanpa gelar matematika, salah satu pendiri Ethereum Vitalik Buterin mentweet 26 Oktober.
ZKP sering disebut sebagai "matematika bulan" karena kompleksitasnya.
Saya sangat senang bahwa Ethereum memiliki budaya yang kuat untuk berusaha keras membuat semua matematika bulan kami dapat dimengerti dan dapat diakses oleh orang-orang sebanyak mungkin. https://t.co/o9n2Xms4Zw
- vitalik.eth (@VitalikButerin) Oktober 26, 2022
Buterin menambahkan bahwa “Desentralisasi membutuhkan TIDAK menyerah dan melambai-lambaikan gelar PhD dengan mengatakan “ini adalah kotak hitam, kami pintar, percayalah pada kami”.”
Scroll, solusi penskalaan Ethereum layer 2 tanpa pengetahuan, dijelaskan dalam a blog bagaimana skema komitmen polinomial, bagian penting dari beberapa ZKP, bekerja dan bagaimana mereka dapat membantu menskalakan Ethereum.
Polinomial adalah ekspresi matematika yang mewakili lebih dari dua suku aljabar. Menurut blog Scroll, polinomial dapat membantu merepresentasikan data besar secara efisien.
Skema komitmen adalah protokol kriptografi di mana seseorang berkomitmen untuk pesan dan menyembunyikannya tetapi dapat mengungkapkan pesan nanti. Namun, pembuat komitmen tidak dapat mengubah pesan setelah dia berkomitmen untuk itu, yang membuat skema komitmen mengikat.
Dalam skema komitmen polinomial, satu berkomitmen untuk polinomial bukan pesan. Skema komitmen polinomial memenuhi semua sifat skema komitmen normal. Tetapi ia memiliki fitur tambahan yang memungkinkan committer membuktikan bahwa ia berkomitmen pada polinomial tertentu yang memenuhi properti yang diperlukan tanpa mengungkapkan polinomial itu sendiri.
KZG dalam Menskalakan Ethereum
Meskipun ada skema komitmen polinomial yang berbeda, Kate-Zaverucha-Goldberg (KZG) populer di ruang blockchain dan digunakan oleh sistem bukti Scroll. KZG juga akan diintegrasikan ke dalam Ethereum dengan Proto-Danksharding, untuk diimplementasikan melalui EIP-4844, yang diusulkan pada Februari 2022.
Proto-Danksharding adalah solusi stop-gap sampai Danksharding, yang dapat membuatnya lebih murah untuk menggunakan rollup, dapat diimplementasikan. Proto-Danksharding memperkenalkan jenis transaksi baru yang disebut “transaksi yang membawa gumpalan.” Transaksi ini membawa gumpalan data 128kb, yang tidak dapat diakses dari lapisan eksekusi Ethereum. Sebaliknya, hanya komitmen terhadap gumpalan data yang akan dapat diakses dari Ethereum.
Blob data direpresentasikan sebagai polinomial dan skema komitmen polinomial KZG digunakan untuk membuat komitmen pada data. Ini memungkinkan properti gumpalan data diverifikasi tanpa mengungkapkan seluruh gumpalan data.
Oleh karena itu, penggunaan KZG dapat mengaktifkan pengambilan sampel ketersediaan data (DAS), yang akan diimplementasikan pada jalur menuju Danksharding penuh. DAS pada dasarnya memungkinkan validator untuk memastikan bahwa gumpalan data tersedia dan benar, tanpa harus membaca seluruh gumpalan data.
Ini, pada gilirannya, dapat secara signifikan membantu meningkatkan skalabilitas Ethereum karena validator perlu menangani lebih sedikit data.
Sumber: https://cryptoslate.com/vitalik-says-making-zk-proofs-understandable-is-necessary-for-ethereum/