Bertentangan dengan asumsi populer, sebagian besar sistem "tanpa pengetahuan" saat ini tidak bersifat pribadi. Mengambil dari penelitian selama beberapa dekade, @mvenkita (CEO @ligero_inc) menguraikan dalam sesi @WPReadingClub ini mengapa sebagian besar sistem bukti yang digunakan - termasuk banyak zkVM berbasis STARK - memberikan komputasi yang dapat diverifikasi tetapi gagal memenuhi privasi kriptografi yang sebenarnya. Muthu menjelaskan bagaimana Ligero dan Ligetron mengubah persamaan itu: • Dirancang untuk efisiensi waktu dan memori, mereka dapat menghasilkan bukti bahkan pada perangkat yang terbatas memori seperti ponsel. • Dibangun di atas konstruksi MPC-in-the-head, mereka menjamin privasi yang dapat dibuktikan di mana banyak sistem saat ini tidak. • Sudah diadopsi oleh @googlecloud untuk verifikasi identitas seluler, menunjukkan kelayakan dunia nyata. Diskusi mencakup landasan akademis ZK, evolusi dari teori ke implementasi, dan kebutuhan mendesak akan bukti yang melindungi data sensitif sambil tetap memenuhi persyaratan kepatuhan. Muthu menyoroti aplikasi yang muncul - kumpulan privasi, validium zk, dan bukti identitas di perangkat - yang dapat menentukan masa depan adopsi perusahaan dan peraturan, dan menyentuh eksperimen yang membuktikan model ML besar (seperti LLaMA) dengan ZK, menunjuk pada apa yang akan terjadi selanjutnya untuk AI yang menjaga privasi. Ini adalah pandangan langsung pada kesenjangan antara apa yang kita pikir ZK lakukan saat ini, dan apa yang diperlukan untuk dunia di mana privasi, kepatuhan, dan skalabilitas benar-benar hidup berdampingan. Juga tersedia di YouTube: