Akhir-akhir ini saya mempelajari zero-knowledge proof yang sering disebut zkp.
Dulu saya hanya berpikir zk lebih baik dari op, misalnya lebih cepat, nyaman, aman, dll. Pernyataan umum ini sebenarnya mengabaikan satu poin penting, yaitu mengapa lebih baik dari op, dan apa itu inti dari zk?
Salah satu metode pembuktian yang digunakan oleh zk disebut snark. Metode pembuktian ini sangat menarik. Pembukti akan menghasilkan bukti untuk menunjukkan bahwa perhitungan tertentu telah selesai, dan verifikator hanya perlu memverifikasi kebenaran pembuktian untuk mengonfirmasi. Ini benar-benar terjadi.
Deskripsi ini mungkin agak abstrak. Saya menggunakan metafora yang lebih jelas untuk menggambarkan soal "bukti".
Ketika Anda memiliki model AI besar yang perlu dihitung tetapi tidak memiliki alat komputasi yang sesuai, Xiao Ming keluar dan mengatakan bahwa dia memiliki mesin yang bersedia membantu Anda menghitungnya, selama Anda membayarnya sejumlah biaya. Sepuluh hari kemudian, Xiao Ming memberi Anda hasil AI "Pasar saham besok akan jatuh." Saat ini, bagaimana Anda menilai apakah Xiao Ming benar-benar membantu Anda menghitung? Atau haruskah saya memberi tahu Anda hasilnya dan membiarkannya begitu saja? Dengan kata lain, "Apakah Xiao Ming dapat dipercaya?" Cara terbaik untuk memverifikasi adalah dengan mencari orang lain untuk melakukan penghitungan lagi dan membandingkan hasil kedua orang tersebut. Namun, hal ini akan menimbulkan biaya ganda. Anda bahkan dapat melakukan penghitungan sendiri. jadi perkenalkan orang lain. Masalahnya adalah Anda tidak memiliki alat untuk melakukan penghitungan AI yang rumit ini.
Lalu bagaimana cara mengatasi masalah krisis kepercayaan ini?
Matematikawan yang cerdas menemukan metode pembuktian yang disebut snark. Ciri khas metode ini adalah setiap langkah proses perhitungan dicatat, dan hasil antara ini dibentuk melalui serangkaian perubahan aljabar untuk membentuk pembuktian kecil, yang disebut pembuktian. “Pembuktian”, ciri-ciri pembuktian ini adalah sangat berkaitan dengan proses perhitungan. Jika proses perhitungan tidak sesuai harapan, maka pembuktian akan berubah.
Sebagai pemverifikasi yaitu Anda, Anda hanya perlu membuktikan bahwa bukti ini benar untuk memastikan bahwa Xiao Ming melakukan apa yang saya katakan dan tidak memberikan hasil bagi saya.
Perlu saya ingatkan bahwa proses pembuatan bukti itu sangat rumit, namun proses verifikasi buktinya sangat sederhana. Artinya, sebagai akseptor, saya hanya perlu memastikan bahwa buktinya benar, barulah transaksinya masuk akal , yang sangat menghemat waktu verifikasi. Biaya, dalam hal ini, Anda tidak perlu mencari orang lain untuk melakukan perhitungan sendiri.
Jadi intinya, zkp memecahkan masalah kepercayaan antar manusia. Bagaimana dua orang asing dapat berkomunikasi dan berdagang secara efektif tanpa keterlibatan pihak ketiga sebagai pengawas?
Demikian pula ketika dipetakan ke dunia blockchain, mengapa layer2 menggunakan zkp? Karena perhitungan yang rumit dapat dilakukan di luar rantai, dan proses pengunggahan ke rantai hanya perlu memverifikasi bukti, atau bahkan hanya perlu menyimpan bukti ini sangat penting untuk blok mainnet yang harga lahannya mahal, ini adalah salah satu solusi terbaik untuk perluasan kapasitas.
Melalui pemahaman saya tentang zkp, saya menyadari dua hal: pertama, zkp tidak hanya dapat menyelesaikan masalah kemacetan Ethereum, tetapi juga menyediakan metode bukti keamanan dalam kehidupan nyata dan mempercepat kerja sama antar manusia; untuk memperbaiki kebiasaan buruk orang itu sendiri, kalau tidak bisa diperbaiki maka akan dilayani. Misalnya orang dilahirkan untuk berbuat curang, maka perlu diperkenalkan teknologi untuk menghindarinya lebih malas? Kalau senang pasti ada peluang bisnis.
