SNARK dan STARK adalah teknologi bukti pengetahuan nol yang memungkinkan satu pihak membuktikan pernyataan benar kepada pihak lain tanpa mengungkapkan informasi lebih lanjut. [Bukti pengetahuan nol (ZKPs)telah mendapatkan perhatian signifikan karena potensinya untuk meningkatkan keamanan, melindungi privasi pengguna, dan mendukungsolusi penskalaan lapisan 2]. ZKPs memungkinkan satu pihak untuk membuktikan kebenaran suatu pernyataan tanpa mengungkapkan informasi tambahan. Mereka bermanfaat untuk meningkatkan privasi dengan mengurangi jumlah informasi yang dibagikan antara pihak dan meningkatkan skalabilitas dengan membutuhkan bukti daripada memverifikasi seluruh kumpulan data, yang mengakibatkan verifikasi yang lebih cepat.

Dua sistem bukti pengetahuan nol paling menonjol adalah SNARK dan STARK. Dalam artikel ini, kita akan mengetahui apa yang mereka, bagaimana mereka bekerja, dan perbedaan kunci mereka.

Apa itu SNARK?

[zk-SNARK] mewakili Zero-Knowledge Succinct Non-Interactive Argument of Knowledge. Itu diperkenalkan dalam sebuah kertas yang ditulis oleh Nir Bitansky, Ran Canetti, Alessandro Chiesa, dan Eran Tromer pada tahun 2012. SNARK memungkinkan satu pihak membuktikan pengetahuannya tentang rahasia tanpa harus mengungkapkan rahasia itu sendiri. zk-SNARKs dapat diintegrasikan sebagai protokol bukti pengetahuan nol dalam solusi buku besar terdistribusi untuk meningkatkan privasi dan skalabilitas.

[ZcashIni adalah aplikasi luas pertama dari zk-SNARKs, menggunakan teknologi ini untuk membuat transaksi terlindungi di mana pengirim, penerima, dan jumlah tetap rahasia. Transaksi terlindungi ini dapat sepenuhnya dienkripsi di blockchain tetapi masih diverifikasi sebagai valid sesuai dengan aturan konsensus jaringan menggunakan zk-SNARKs.

Salah satu karakteristik penting dari beberapa SNARK adalah bahwa mereka memerlukan pengaturan yang terpercaya, di mana kunci generasi bukti untuk transaksi pribadi dibuat. Jika rahasia yang digunakan untuk membuat kunci-kunci ini tidak dihancurkan selama acara tersebut, mereka berpotensi digunakan untuk menghasilkan bukti palsu. Dalam skenario yang melibatkan aset kriptografi, ini bisa memungkinkan peserta untuk memalsukan transaksi atau membuat token baru secara tidak sah. Karena privasi inheren dari SNARK, tidak mungkin untuk memverifikasi apakah bukti-bukti palsu memang palsu.

Tingkat keamanan SNARKs diukur dengan kerja yang diperlukan untuk menemukan bukti pernyataan palsu. Dengan kata lain, jika SNARKs tidak dapat menghasilkan bukti yang meyakinkan secara komputasional terhadap pernyataan palsu, maka dianggap aman. Agar SNARKs dianggap aman, setidaknya satu peserta dalam upacara persiapan harus menghasilkan dan menghancurkan pintu belakang, bersama dengan pintu belakang lainnya, untuk meminimalkan kemungkinan mengompromikan keamanan SNARK. Oleh karena itu, setup yang dipercayai biasanya memerlukan banyak peserta untuk berjalan bersama-sama untuk membuat skenario ini sangat tidak mungkin terjadi.

Sementara setup yang dipercayai hanya diperlukan pada awalnya dan berlaku untuk beberapa SNARKs, pengguna jaringan berbasis SNARKs harus percaya bahwa upacara setup yang dipercayai dilaksanakan dengan benar, dan rahasia-rahasianya dihancurkan dan tidak disimpan oleh peserta dalam acara tersebut. Ketergantungan pada upacara semacam itu telah menjadi aspek yang dikritik dari beberapa SNARKs, dianggap sebagai kelemahan keamanan potensial.

Batasan lain dari beberapa SNARK adalah bahwa mereka tidak dianggap aman pasca kuantum. Para pendukung SNARK berpendapat bahwa jika komputer kuantum menjadi ancaman bagi SNARK, bidang kriptografi akan menghadapi tantangan yang lebih besar. Selain itu, beberapa SNARK mungkin akan melakukan upgrade untuk menjadi tahan terhadap kuantum di masa depan.

Apa itu STARK?

[zk-STARK]mewakili Zero-Knowledge Scalable Transparent Argument of Knowledge dan merupakan sistem bukti pengetahuan zero-knowledge yang diperkenalkan sebagai alternatif untuk SNARKs dalam sebuah makalah yang diterbitkan oleh Eli Ben-Sasson, Iddo Bentov, Yinon Horesh, dan Michael Riabzev pada tahun 2018. STARK (dan ZKP secara lebih luas) dapat memberikan manfaat signifikan bagi masyarakat:

“Informasi pribadi, seperti data medis dan forensik, perlu dijaga kerahasiaannya, karena ini adalah masalah martabat manusia. Namun, masker yang dirancang untuk melindungi privasi juga bisa disalahgunakan oleh lembaga-lembaga yang dipercayakan dengan data untuk menyembunyikan kebohongan dan penipuan, secara tidak adil merugikan warga dan merusak kepercayaan pada wewenang pusat. Sistem bukti pengetahuan nol (ZK) adalah solusi kriptografi cerdas yang mengatasi ketegangan antara privasi individu dan integritas institusi, memperkuat yang terakhir tanpa mengorbankan yang pertama.”

STARK mendukung [StarkWare’s]teknologi skalabilitas, memungkinkan pengembang untuk melakukan penyimpanan dan komputasi di luar rantai. Hal ini meningkatkan skalabilitas, karena bukti STARK yang memverifikasi komputasi di luar rantai dapat dihasilkan oleh layanan di luar rantai dan kemudian dipublikasikan di rantai.

STARK memungkinkan blockchain untuk memindahkan komputasi ke prover STARK off-chain dan kemudian menggunakan verifiers STARK on-chain untuk mengonfirmasi integritas komputasi tersebut. Jaringan Layer-2 dapat mencapai skalabilitas dengan menggunakan STARK untuk menghitung sejumlah besar transaksi dalam satu batch dan kemudian mengonfirmasi validitas transaksi tersebut on-chain menggunakan satu bukti STARK, mengurangi biaya gas untuk setiap transaksi di jaringan lapisan kedua.

Yang penting, STARKs tidak memerlukan upacara setup yang dipercayai karena keacakan yang digunakan oleh pemeriksa tersedia secara publik dan dapat diverifikasi tanpa bergantung pada parameter eksternal.

Membandingkan SNARKs dan STARKs

SNARKs dan STARKs masing-masing memiliki keunggulan mereka sendiri, dan pilihan di antara keduanya bergantung pada persyaratan kasus penggunaan spesifik. Penting juga untuk dicatat bahwa SNARK dan STARK adalah teknologi bukti pengetahuan nol yang mutakhir, dan membandingkannya memerlukan pertimbangan terhadap kemajuan dan penemuan yang terus berlangsung di bidang ini.

Para pendukung berpendapat bahwa SNARK lebih efisien dan lebih cepat, karena mereka dapat memberikan verifikasi dalam hitungan milidetik. Namun, efisiensi ini datang dengan biaya, karena beberapa SNARK bergantung pada upacara pengaturan terpercaya dengan potensi kelemahan keamanan. Ini berarti bahwa parameter awal yang digunakan dalam bukti harus dihasilkan dalam lingkungan yang aman, dan setiap kebocoran dari parameter-parameter ini dapat mengakibatkan kerentanan keamanan.

STARKs tidak memerlukan setup terpercaya, memberikan keamanan yang lebih kuat, namun mungkin memerlukan waktu lebih lama untuk diverifikasi, menjadikannya kurang efisien. Ukuran data bukti STARKs lebih besar daripada SNARKs, yang berarti memverifikasi STARKs mungkin memerlukan lebih banyak waktu dan gas. Di sisi lain, karena STARKs dapat diverifikasi tanpa mengandalkan parameter eksternal, mereka lebih mudah diaudit, meskipun hal ini mungkin tergantung pada implementasi tertentu. Berbeda dengan kebanyakan SNARKs, STARKs mengandalkan fungsi hash yang dianggap tahan terhadap kuantum.

Salah satu alasan SNARKs awalnya lebih banyak diadopsi daripada STARKs adalah pengembangan mereka dimulai enam tahun lebih awal, memberi mereka keunggulan awal dalam adopsi.

Bukti pengetahuan nol membawa skalabilitas eksponensial

Bukti berbasis pengetahuan nol adalah teknologi dasar untuk ekosistem blockchain, berkontribusi pada skalabilitas sambil menjaga privasi individu dan integritas institusional. zk-SNARKs dan zk-STARKs berada di garis depan revolusi ini, bertujuan untuk membuka kasus penggunaan yang sebelumnya tidak tercapai dalam rantai publik, mendorong inovasi, dan membantu menciptakan ekonomi global yang lebih efisien.

Jangan ragu untuk mengikuti oracle Chainlink dan bergabung dengan komunitas pengembang melalui pesan langsung untuk melihat beragam materi pembelajaran tentang kontrak pintar dan topik blockchain!

Disclaimer：

1. Artikel ini dicetak ulang dari [Chainlink]. Semua hak cipta milik penulis asli [Chainlink]. Jika ada keberatan terhadap penerbitan ulang ini, silakan hubungi Belajar Gatetim, dan mereka akan menanganinya dengan segera.
2. Penyangkalan Tanggung Jawab: Pandangan dan opini yang terdapat dalam artikel ini semata-mata milik penulis dan tidak merupakan saran investasi apa pun.
3. Terjemahan artikel ke dalam bahasa lain dilakukan oleh tim Gate Learn. Kecuali disebutkan, menyalin, mendistribusikan, atau menjiplak artikel yang diterjemahkan dilarang.