Membedah zk-SNARKs dan zk-STARKs

Anonimitas sangat penting dalam crypto. Sangat penting. Ini membantu dengan fungibilitas—sesuatu yang harus dimiliki untuk setiap mata uang yang serius. Kebanyakan orang yang memegang aset crypto tidak terlalu senang memiliki urusan keuangan mereka terlihat di depan umum. Di antara teknologi privasi untuk blockchain, zk-SNARKs dan zk-STARKs tampaknya cukup istimewa.

zk-SNARK berarti Argumen Pengetahuan Non-Interaktif Singkat Tanpa Pengetahuan. Agak sulit diucapkan. zk-STARK? Itu adalah Argumen Pengetahuan Transparan dan Skalabel Tanpa Pengetahuan. Zcash menggunakan zk-SNARKs. JP Morgan Chase juga menggunakannya dalam beberapa proyek. Mereka sekarang ada di mana-mana. zk-STARKs adalah pendatang baru, konon memperbaiki apa yang salah dengan protokol yang lebih lama.

Cerita Gua

Kembali pada tahun 1990, seorang kriptografer bernama Jean-Jacques Quisquater menceritakan sebuah kisah tentang gua Alibaba untuk menjelaskan bukti nol-pengetahuan. Orang-orang suka menceritakannya kembali.

Bayangkan sebuah gua melingkar. Satu pintu masuk. Pintu ajaib di dalam. Butuh kata sandi untuk pintu itu.

Alice ingin membuktikan kepada Bob bahwa dia tahu kata sandi ini. Tetapi dia tidak akan memberitahunya. Tidak mungkin.

Bob menunggu di luar. Alice masuk. Mengambil jalur 1.

Kemudian, Bob muncul dan berteriak, "Keluar jalur 2!"

Jika Alice tahu kata rahasia, dia membuka pintu ajaib dan muncul di tempat yang diminta Bob. Ajaib.

Lakukan ini beberapa kali. Bukan hanya keberuntungan.

Kisah kecil ini menunjukkan tentang apa itu bukti nol-pengetahuan. Membuktikan bahwa Anda mengetahui sesuatu tanpa mengungkapkan apa sebenarnya itu.

zk-SNARK Secara Dekat

Zcash mempelopori zk-SNARKs dalam skala besar. Monero melakukan privasi dengan cara yang berbeda—ilusi dengan tanda tangan cincin. Tapi zk-SNARKs? Mereka benar-benar mengubah permainan. Transaksi terenkripsi yang tetap dapat diverifikasi. Sangat mengejutkan. Validator jaringan tidak memerlukan semua rincian menarik. Cukup bukti. Meskipun aneh, fitur privasi Zcash bahkan tidak diaktifkan secara default. Anda harus mengalihkan saklar itu sendiri.

Bukti zero-knowledge memungkinkan seseorang membuktikan sesuatu itu benar tanpa mengungkapkan informasi tambahan. Anda memiliki seorang pembuktian dan seorang verifier. Beberapa bukti disimpan rahasia. Tujuan utamanya? Kurang berbagi data. Jauh lebih sedikit.

Bagian "ringkas" berarti bukti ini cepat untuk diperiksa. "Non-interaktif" berarti sedikit bolak-balik. Hal-hal zero-knowledge yang lama membutuhkan percakapan. Bukan yang ini.

Pada tahun 2025 ( tampaknya ), zk-SNARKs mengungguli untuk operasi sederhana. Pembuktian cepat. Ukuran bukti yang kecil. Mereka memenangkan perlombaan adopsi karena semua alat dan dukungan Ethereum.

Namun, ada satu masalah. Bukti-bukti ini memerlukan "pengaturan yang dipercaya"—parameter publik yang ditetapkan di awal. Ini seperti menetapkan aturan permainan. Masalah? Tidak banyak orang yang terlibat dalam membuat parameter ini. Risiko sentralisasi. Waduh.

Para peneliti sedang berusaha memperbaiki masalah kepercayaan ini. Fase pengaturan penting karena siapa pun yang mengetahui nilai acak yang digunakan dapat memalsukan bukti yang terlihat valid. Itu buruk.

Tentang bagian "Argumen"—zk-SNARKs sebagian besar aman kecuali jika Anda memiliki daya komputasi yang besar. Ini membuat beberapa orang merasa cemas tentang komputer kuantum. Masa depan terlihat tidak pasti di sana.

"Pengetahuan" berarti bahwa pembuktian sebenarnya perlu mengetahui hal yang mereka buktikan. Tidak ada pemalsuan yang diizinkan.

Bukti-bukti ini diverifikasi dengan cepat dan tidak memerlukan banyak ruang data. Baik untuk privasi DAN skala. Tidak buruk.

zk-STARKs Crash Course

zk-STARKs muncul sebagai alternatif yang lebih keren dan lebih cepat. Tidak perlu pengaturan tepercaya! Itulah yang dimaksud dengan "T" untuk transparansi.

Mereka menggunakan enkripsi simetris yang lebih sederhana melalui tabrakan fungsi hash. Pendekatan ini meninggalkan asumsi matematika kompleks dari zk-SNARKs—yang mungkin rentan terhadap serangan kuantum bagaimanapun.

Sebuah keuntungan besar? Komunikasi antara prover dan verifier tetap konstan tidak peduli seberapa kompleks perhitungan yang dilakukan. Dengan zk-SNARKs, lebih banyak perhitungan berarti lebih banyak pesan yang bolak-balik. Lebih banyak data secara keseluruhan.

Penelitian dari 2025 menunjukkan bahwa zk-STARKs memiliki ukuran bukti yang lebih besar tetapi menangani perhitungan yang lebih besar dengan lebih baik. Mereka tampaknya mewakili masa depan teknologi ini—skala, transparan, tahan kuantum. Namun, zk-SNARKs mendominasi saat ini karena infrastruktur mereka yang sudah mapan.

Kedua teknologi ini mendapatkan perhatian di dunia privasi. Dalam kripto, mereka bisa menjadi pengubah permainan. Bahkan revolusioner. Kita akan lihat.