Mari kita bicara tentang Zama lagi, putra FHE yang mengkilap Jadi dalam edisi hari ini, mari kita bicara tentang perang antara FHE dan ZK Ini juga merupakan poin yang hanya sedikit orang akan membicarakan secara rinci Dua filosofi kepercayaan di dunia kripto Jika kriptografi adalah revolusi tentang "kepercayaan", maka ZK (zero-knowledge proofs) dan FHE (sepenuhnya enkripsi homomorf) adalah dua faksi dari revolusi ini. ZK adalah singkatan dari semacam "kepercayaan pembuktian": Saya melakukan perhitungan, dan kemudian saya membuktikan kepada Anda bahwa saya melakukan perhitungan dengan benar, tetapi saya tidak memberi tahu Anda bagaimana saya menghitung. FHE adalah "kepercayaan kriptografi": Saya bahkan tidak ingin Anda melihat proses perhitungan, Anda hanya mendapatkan hasilnya. Yang pertama berkata: "Percayalah padaku dengan benar." ” Yang terakhir berkata, "Anda tidak dapat melihat apa yang saya lakukan sama sekali." ” Kedengarannya seperti hanya setengah langkah lagi, tetapi sebenarnya itu adalah dua pandangan dunia yang sama sekali berbeda. ZK adalah privasi di dunia yang transparan; FHE adalah ketertiban di dunia kotak hitam. ZK: Kekuatan Bukti ZK (Zero-Knowledge Proof) adalah bintang kriptografi paling terang Web3 selama lima tahun terakhir. Keajaibannya terletak pada memungkinkan satu pihak untuk membuktikan pernyataan yang benar tanpa mengungkapkan data. Misalnya: Anda dapat membuktikan "Saya memiliki 1 ETH di dompet saya" tanpa menunjukkan saldo dompet Anda. Di dunia blockchain, ini terlalu praktis. Logika ZK adalah tipikal "bukti publik, komputasi pribadi" - Itu dilakukan di komputer Anda sendiri, Hasil bukti diletakkan di rantai, Orang lain akan tahu apakah itu benar atau salah. Dengan demikian, ada seluruh industri seperti zkRollup, zkVM, dan zkEVM. ZK memecahkan masalah "Bisakah saya mempercayai kebenaran perhitungan?" **pertanyaan. Pada intinya, ini sangat efisien dalam verifikasi. Verifikasi membutuhkan waktu milidetik, pembuatan bukti dapat memakan waktu beberapa detik, tetapi setelah dihasilkan, dunia dapat dengan cepat mengonfirmasinya. Ini ideal untuk rantai publik, bursa, jembatan, dan skenario lainnya. Tetapi kerugiannya juga jelas: Data harus "dapat diverifikasi terlebih dahulu" – semuanya harus diprogram ke dalam sirkuit bukti. "Komputasi rahasia" yang benar tidak didukung - data itu sendiri pada akhirnya diverifikasi secara publik. Kompleksitas penskalaan tinggi – setelah sirkuit kompleks, biayanya meningkat secara eksponensial. Ringkasan dalam satu kalimat: ZK adalah "notaris" dunia kripto, menjamin bahwa Anda benar, tetapi orang lain dapat melihat bahwa Anda membuktikan. FHE: Ambisi komputasi kotak hitam Sebaliknya, FHE (Fully Homomorphic Encryption) adalah ambisi yang berbeda. Itu tidak membuktikan bahwa Anda menghitung dengan benar, tetapi secara langsung memungkinkan Anda menghitung pada teks sandi. Anda mengenkripsi data ke dalam awan teks sandi yang tidak dapat dibaca oleh siapa pun, Tetapi teks sandi ini masih dapat dihitung, seperti penjumlahan, perkalian, dan rata-rata. Setelah hasil akhir didekripsi, itu persis sama dengan hasil "operasi teks biasa". Apa artinya ini? Ini berarti dapat dienkripsi sepenuhnya. Server, kontrak, dan model AI tidak tahu data apa yang mereka proses. Ini adalah penghapusan kepercayaan total. Tidak ada perantara, tidak ada risiko kebocoran, dan tidak diperlukan bukti. Tetapi biayanya juga mengejutkan: Setiap operasi selambat siput, dan bootstrapping sangat memakan waktu. FHE hampir selalu terjebak dalam kemacetan kinerja selama dekade terakhir. Sampai munculnya Zama @zama_fhe Mereka menggunakan "bootstrap yang dapat diprogram" dan "fhEVM", Mulai mengambil FHE dari konsep ke kepraktisan. ZK mengejar kecepatan verifikasi; FHE mengejar kemurnian privasi. Kinerja vs. Batasan: Siapa yang lebih dekat dengan kenyataan? Dari segi kinerja, ZK menang cantik untuk saat ini. Verifikasi cepat, ekologi yang matang, dan infrastruktur sudah dalam kondisi (zkSync, StarkNet, Scroll, dll. L2). FHE masih dalam tahap awal "20 TPS". Namun, dalam hal kelengkapan privasi, FHE adalah solusi yang lebih menyeluruh. ZK masih perlu mengekspos bagian dari logika komputasi untuk membuktikannya. FHE memungkinkan seluruh perhitungan dilakukan dalam teks sandi. Jadi apakah kombinasi mereka adalah pembunuh pamungkas? Hibrida: zkFHE, bentuk privasi terbaik yang mungkin terjadi di masa depan Kombinasi ZK + FHE (juga dikenal sebagai zkFHE), Ini menjadi arah penelitian baru di dunia akademis dan industri. Logika model ini adalah: Gunakan FHE untuk perhitungan privasi guna menjalankan data dalam teks sandi; Buktikan bahwa perhitungannya benar dengan ZK, mencegah penipuan. Ini seperti brankas dengan kamera - Anda tidak tahu apa yang terjadi di dalam, tetapi Anda dapat mengonfirmasi bahwa itu melakukan hal yang benar. Ini memecahkan dua masalah utama sekaligus: FHE terlalu lambat → disederhanakan dengan verifikasi ZK; ZK tidak cukup pribadi → menggunakan FHE untuk melengkapi privasi. Zama @zama_fhe sendiri juga mengeksplorasi ke arah ini: fhEVM mempertahankan antarmuka untuk eksekusi simbolis, verifikasi koprosesor, dan eksekusi yang dapat dibuktikan. Meletakkan antarmuka tingkat sistem untuk zkFHE di masa mendatang. Ini adalah perpaduan utama antara kepercayaan dan privasi: "Dunia teks sandi yang dapat diverifikasi".