FHE vs. Bukti ZK: Apa Perbedaan Teknologi Privasi Ini?
Fully Homomorphic Encryption (FHE) dan bukti Zero-Knowledge (ZK) menawarkan solusi yang berbeda untuk privasi dan komputasi. FHE memungkinkan aplikasi berkomputasi langsung pada data terenkripsi sambil menjaga kerahasiaannya selama pemrosesan. Sebaliknya, bukti ZK memverifikasi bahwa suatu komputasi atau pernyataan valid tanpa mengungkap input privat yang mendasarinya. Jika FHE melindungi data selama komputasi, bukti ZK berfokus pada kebenaran yang dapat diverifikasi. Sejumlah sistem blockchain menggabungkan kedua teknologi ini untuk menangani bagian berbeda dari komputasi rahasia, meski masing-masing punya biaya performa dan trade-off implementasi tersendiri.
Fully Homomorphic Encryption (FHE) memungkinkan aplikasi melakukan perhitungan pada data terenkripsi tanpa mendekripsinya lebih dulu. Hasilnya tetap terenkripsi, sehingga FHE berguna ketika data sensitif perlu tetap privat sepanjang proses komputasi.
Bukti Zero-Knowledge (ZK) memiliki tujuan yang berbeda. Bukti ini memungkinkan satu pihak membuktikan bahwa suatu pernyataan atau komputasi benar tanpa mengungkap data privat yang mendasarinya. Bukti ZK umumnya dipakai untuk kredensial privat, verifikasi rollup, bukti solvensi, dan kasus lain ketika verifikasi lebih penting daripada menjaga seluruh komputasi tetap terenkripsi.
Perbedaan utamanya adalah FHE melindungi data saat diproses, sedangkan bukti ZK memverifikasi hasil tanpa mengungkap input privat. Sejumlah sistem blockchain yang berfokus pada privasi menggabungkan kedua teknologi ini karena keduanya menyelesaikan bagian berbeda dari masalah yang sama.
Apa Itu Fully Homomorphic Encryption (FHE)?
Fully Homomorphic Encryption (FHE) adalah metode kriptografi yang memungkinkan komputasi dilakukan langsung pada data terenkripsi. Data tetap terenkripsi selama diproses, dan hasil akhirnya nanti dapat didekripsi menjadi output yang sama seperti jika dihitung dari plaintext aslinya.
Dalam aplikasi blockchain, FHE dapat mendukung saldo terenkripsi, pemungutan suara privat, atau status aplikasi yang bersifat rahasia tanpa mengungkap nilai dasarnya kepada validator atau peserta lain. Sistem tetap memerlukan aturan yang jelas untuk pengelolaan kunci, otoritas dekripsi, dan akses ke hasil akhir.
Apa Itu Bukti Zero-Knowledge (ZK)?
Bukti Zero-Knowledge (ZK) memungkinkan satu pihak membuktikan bahwa suatu pernyataan atau komputasi valid tanpa mengungkap informasi privat yang dipakai untuk menghasilkan bukti tersebut. Prover membuat bukti, sementara verifier memeriksanya terhadap aturan yang telah ditetapkan.
Bukti ZK dapat dipakai untuk pemeriksaan identitas privat, verifikasi transaksi, validitas rollup, dan bukti cadangan atau solvensi. Tingkat privasi bergantung pada rancangan aplikasinya, karena sebagian input, output, atau detail transaksi bisa tetap publik.
FHE vs. Bukti ZK: Apa Perbedaan Utamanya?
FHE dan ZK menyelesaikan bagian yang berbeda dari komputasi rahasia. Menganggap keduanya sebagai substitusi dapat membuat aspek privasi atau kebenaran tidak tertangani.
| Dimensi | Fully Homomorphic Encryption (FHE) | Bukti Zero-Knowledge (ZK) |
| Tujuan utama | Menghitung langsung pada data yang tetap terenkripsi sepanjang proses | Membuktikan suatu pernyataan valid tanpa mengungkap witness-nya |
| Output | Menghasilkan hasil terenkripsi yang memerlukan jalur dekripsi berwenang | Menghasilkan bukti ringkas dan output publik terpilih |
| Model komputasi | Evaluator mengubah ciphertext melalui operasi terenkripsi yang didukung | Prover mengodekan komputasi ke dalam sirkuit atau mesin virtual |
| Verifikasi | Dekripsi yang benar mengungkap hasil komputasi dalam bentuk plaintext | Verifier memeriksa bukti tanpa mengulang seluruh komputasi |
| Biaya performa | Operasi ciphertext dan bootstrapping menimbulkan overhead eksekusi yang besar | Pembuatan bukti berat, tetapi verifikasinya bisa tetap ringkas |
| Ketergantungan kunci | Tata kelola kunci dekripsi menjadi pilihan desain sistem yang krusial | Trusted setup atau asumsi bukti bergantung pada skema yang dipilih |
Bagaimana Cara Kerja FHE dan Bukti ZK Berbeda?
- FHE: Data tetap terenkripsi saat komputasi dijalankan padanya. Aplikasi dapat memperbarui saldo terenkripsi, suara, atau status privat lain tanpa mengungkap nilai dasarnya. Sistem tetap memerlukan aturan untuk kunci dekripsi, akses berwenang, dan pemulihan jika kunci hilang atau disalahgunakan.
- Bukti ZK: Prover menunjukkan bahwa input privat memenuhi serangkaian aturan tanpa mengungkap input tersebut. Verifier memeriksa bukti yang dihasilkan alih-alih mengulang seluruh komputasi. Bukti hanya mengonfirmasi aturan yang dikodekan dalam sistem, sehingga logika sirkuit yang salah tetap dapat menghasilkan bukti valid untuk kondisi yang keliru.
Apa Saja Proyek FHE dan ZK yang Umum?
Proyek FHE yang Umum
1. Zama: Mengembangkan perangkat FHE dan infrastruktur blockchain untuk kontrak pintar rahasia serta aplikasi onchain terenkripsi.
2. Fhenix: Membangun infrastruktur blockchain yang memanfaatkan FHE untuk mendukung eksekusi kontrak pintar terenkripsi.
3. Inco: Berfokus pada komputasi rahasia untuk aplikasi blockchain dengan status terenkripsi berbasis FHE.
Proyek ZK yang Umum
1. zkSync: Memakai bukti zero-knowledge untuk menskalakan Ethereum dengan memverifikasi kumpulan transaksi offchain.
2. Starknet: Memakai bukti STARK untuk memverifikasi komputasi dan menskalakan eksekusi kontrak pintar di Ethereum.
3. Aztec: Berfokus pada aplikasi blockchain yang menjaga privasi dengan teknologi bukti zero-knowledge.
Risiko atau Trade-Off Apa yang Timbul dari FHE dan Bukti ZK?
- Risiko FHE: Komputasi terenkripsi jauh lebih intensif sumber daya dibandingkan komputasi biasa. Ciphertext berukuran besar, pemrosesan yang lebih lambat, pengelolaan kunci, dan otoritas dekripsi dapat meningkatkan biaya serta kompleksitas.
- Risiko ZK: Pembuatan bukti memerlukan sirkuit dan perangkat lunak khusus. Bug pada sirkuit, kompiler, kontrak verifier, atau proses setup dapat memengaruhi privasi atau kebenaran, sementara metadata publik masih mungkin mengungkap informasi.
Kedua teknologi ini sangat bergantung pada implementasi yang benar dan rancangan aplikasi, bukan hanya pada kriptografinya semata.
Teknologi Privasi Mana yang Cocok untuk Aplikasi Blockchain?
- FHE: Lebih cocok untuk aplikasi yang perlu terus-menerus memproses data privat, seperti saldo rahasia, lelang privat, dan pemungutan suara terenkripsi.
- Bukti ZK: Lebih cocok untuk membuktikan bahwa suatu kondisi atau komputasi valid tanpa mengungkap informasi dasarnya, seperti pemeriksaan identitas, verifikasi rollup, bukti solvensi, atau pemeriksaan kelayakan privat.
- Memakai keduanya: Sejumlah sistem menggabungkan FHE dan bukti ZK agar data tetap terenkripsi selama komputasi sekaligus bukti memverifikasi bahwa input dan pemrosesan mengikuti aturan yang disyaratkan.
Konsep Terkait
Bacaan Lanjutan
2. Apa Itu AZTEC Privacy Layer 2 zkRollup di Ethereum dan Bagaimana Cara Membelinya?
3. Apa Saja Proyek Kripto Zero-Knowledge (ZK) Teratas pada 2026?
4. Apa Itu Zama (ZAMA), Lapisan "HTTPZ" untuk Kontrak Pintar Rahasia?
FAQ
Apakah FHE termasuk jenis bukti zero-knowledge?
Tidak. FHE memungkinkan komputasi atas data terenkripsi, sedangkan bukti ZK menunjukkan bahwa suatu pernyataan benar tanpa mengungkap witness-nya. Kedua primitif ini dapat saling melengkapi, tetapi keduanya memiliki output, biaya performa, asumsi kunci, dan tujuan keamanan yang berbeda. Yang satu tidak otomatis memberikan yang lain.
Apakah bukti ZK selalu membuat transaksi blockchain menjadi privat?
Siapa yang dapat mendekripsi data yang diproses dengan FHE?
Mengapa FHE lebih lambat daripada komputasi biasa?
Tidak punya akun?
Daftar sekarang untuk memulai petualangan kripto Anda
