Pada konferensi EDCON di Montenegro, @VitalikButerin menjelaskan tantangan teknis jaringan Ethereum dalam hal ekspansi, privasi, keamanan, dll., dan akhirnya menyimpulkan bahwa zk-SNARK akan sama pentingnya dengan blockchain dalam 10 tahun ke depan. Apa itu zk-SNARK yang dipromosikan dengan susah payah oleh V God? Masalah blockchain apa yang saat ini dapat dipecahkan oleh teknologi zk-SNARK? Selanjutnya, Thread, izinkan saya menyampaikan beberapa ide ke dalam diskusi. 1/n
SNARK adalah singkatan dari (argumen pengetahuan non-interaktif singkat), yaitu argumen pengetahuan non-interaktif yang ringkas.Intinya adalah membangun sistem pembuktian melalui algoritma matematika, memungkinkan verifikator memverifikasi kebenaran data itu sendiri tanpa mengetahui aslinya data. Proses implementasinya melibatkan teknologi kompleks seperti sirkuit yang dapat diverifikasi, prinsip kriptografi kurva elips, fungsi hash, algoritma enkripsi, dll., jadi saya tidak akan membahas terlalu banyak detail di sini. 2/n
Karena SNARK dapat memampatkan data asli menjadi bukti yang sangat kecil untuk memverifikasi kebenaran data masukannya, ditambah dengan landasan teknis tanpa pengetahuan zk, zk-SNARK dapat membuat kemajuan besar dalam skalabilitas, privasi, keamanan, dan aspek lainnya. Apalagi setelah Ethereum meluncurkan Makarov Random Algorithm (MAST) pada tahun 2018, zk-SNARK dapat langsung diintegrasikan ke dalam sistem Ethereum untuk mengatasi masalah kemacetan jaringan Ethereum saat ini. 3/n
Inilah sebabnya, meskipun teknologi zk-STARK asli @Statrknet dapat menangani masalah komputasi yang lebih kompleks (menghindari serangan komputasi kuantum, dll.), zk-SNARK memiliki ekspektasi yang lebih besar. Secara khusus, beberapa paradoks blockchain yang membuat bingung semua orang dapat diselesaikan secara efektif setelah mengganti lapisan bawah zk-SNARK, seperti: perlindungan privasi dan potensi masalah pencucian uang oleh peretas, masalah pemulihan sosial yang tidak dapat lepas dari campur tangan lembaga terpusat. , dll. 4/n
Mari kita bicara tentang skalabilitas terlebih dahulu. zk-rollup jauh lebih unggul dari op-rollup dan merupakan solusi akhir untuk lapisan kedua Ethereum. OP pertama-tama menetapkan optimisme untuk semua transaksi, dan kemudian melewati periode tantangan bukti penipuan selama 7 hari setelah mengirimkannya ke rantai. ZK dapat dengan cepat dan aman memastikan bahwa setiap transaksi dalam rantai tersebut legal berdasarkan algoritma matematika. 5/n
https://twitter.com/tmel0211/status/1649274901596094464?s=20 Di sini zk-SNARK memecahkan masalah paradoks skalabilitas Ethereum, kontradiksi antara skalabilitas dan sentralisasi, meskipun solusi op-rollup sebenarnya diterapkan dalam skenario. lebih matang, namun masih memiliki potensi risiko sentralisasi dalam proses verifikasi tantangan sequencer dan optimis. Tentu saja kita bisa "optimis", tapi untuk mencapai rollup yang benar-benar terdesentralisasi, kita harus memiliki SNARK. 6/n
Mari kita lihat privasi. Berdasarkan konteks teknologi blockchain saat ini, perkembangan teknologi privasi kita akan mengalami paradoks logis. Apakah pada akhirnya akan menguntungkan peretas? Namun jika didasarkan pada zk-SNARK, solusi Proof of Innocence (POI) dapat dikembangkan untuk melindungi pengguna dari penyetoran dan penarikan uang melalui privasi sekaligus menghindari penjahat menggunakannya untuk berbuat jahat. Secara khusus, teknologi POI dapat diterapkan pada protokol yang mirip dengan Tornado;
Teknologi POI memberi setiap pengguna sidik jari digital yang dihasilkan berdasarkan riwayat negara blockchain dan kunci pribadi ketika seorang peretas mencoba mencuci uang melalui kumpulan transaksi pencampuran mata uang Tornado, jika alamat permintaan penarikan dan alamat penyetoran yang diberikan olehnya tidak konsisten ( Jika pribadi kuncinya berbeda), maka akan dicegat dan dikembalikan ke alamat pencampuran asli. Aset tak dikenal yang setara dengan peretas tidak dapat menghindari pelacakan melalui sistem pencampuran mata uang;
Tentu saja, Anda juga dapat langsung membuat daftar pengecualian Pohon Merkel seperti yang ditunjukkan Buterin dalam pidatonya, yang setara dengan menambahkan mekanisme daftar hitam ke protokol tornado. Pengguna biasa dapat menghasilkan bukti yang tidak bersalah jika simpanan mereka tidak ada dalam daftar, dan maka itu akan menjadi normal. Dengan Tornado, yang terjadi adalah sebaliknya. Meskipun daftar hitam efektif, namun memiliki risiko sentralisasi. Akan lebih efektif jika memblokir transaksi dengan kunci privat penyetoran dan penarikan yang tidak konsisten.
9/n Terakhir, mari kita bicara tentang masalah paradoks anti-sensor (keamanan) pihak ketiga. Tidak ada keraguan bahwa fungsi Pemulihan Sosial adalah jalur yang tak terhindarkan untuk penerapan blockchain skala besar. Namun, tidak sulit untuk melihat dari protes komunitas yang dialami Leager ketika membuka fungsi ini dua hari lalu bahwa Pemulihan Sosial tidak dapat dibangun. premis bahwa pihak ketiga terpusat. Dan teknologi zk-SNARK dapat mengatasi masalah ini. 10/n
Sederhananya, ketika pengguna membuat beberapa fragmen kunci pribadi, mereka dapat mengenkripsi fragmen tersebut dan menggunakan sistem sertifikasi zk-SNARK untuk menghasilkan sertifikat, lalu mendistribusikan sertifikat tersebut ke lembaga atau teman tepercaya. itu dapat diminta Pihak ketiga memberikan sertifikat data yang terfragmentasi, dan kemudian menggunakan zk-SNARK untuk memverifikasi keakuratan sertifikat ini, sehingga mewujudkan fungsi pemulihan sosial tanpa mengungkap fragmentasi kunci pribadi. 11/n
Setelah konten di atas dipahami sepenuhnya, tidak sulit untuk melihat pentingnya teknologi zk-SNARK pada sistem blockchain. Teknologi ini dapat menyelesaikan berbagai masalah dalam jaringan Ethereum saat ini seperti skalabilitas dan sentralisasi, privasi dan kejahatan, keamanan dan anti-kejahatan. sensor. Masalah paradoks pembangunan. Oleh karena itu, Buterin mengatakan bahwa zk-SNARK akan sama pentingnya dengan blockchain dalam 10 tahun. Mungkin lapisan terbawah Ethereum juga akan di-zk-SNARK. Nah, zk-SNARKS mengatur segalanya di sekitar saya. 12/12