Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)

Apa itu Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)?

Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) adalah sistem bukti yang memungkinkan seseorang membuktikan bahwa sebuah perhitungan dilakukan dengan benar tanpa mengungkapkan input atau keseluruhan perhitungan. Ia bersifat dapat diskalakan dan transparan karena melewatkan proses pengaturan yang membutuhkan kepercayaan dan bergantung pada matematika hash sederhana, yang juga kompatibel dengan ide pasca kuantum. Bayangkan sebagai tanda terima kecil yang dapat diverifikasi yang menyatakan tugas sudah dikerjakan, tanpa memperlihatkan tugasnya.

Cara kerja Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)

Bayangkan sebuah rollup membuktikan bahwa ribuan perdagangan diproses dengan benar. Dengan Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK), chain tidak menjalankan ulang semuanya. Ia hanya memeriksa sebuah bukti ringkas dan melanjutkan.

1. Step 1: Seorang prover memilih klaim untuk dibuktikan, misalnya “kumpulan transaksi ini mengikuti aturan.”
2. Step 2: Perhitungan diubah menjadi jejak terstruktur. Prover mengikat jejak itu dengan hash sehingga tidak bisa diubah kemudian.
3. Step 3: Matematika canggih bekerja di balik kode yang ramah. Prover membangun bukti kecil yang akan sangat sulit dipalsukan.
4. Step 4: Bukti dikirim ke verifier, seringnya sebuah smart contract. Verifier menjalankan pemeriksaan ringan.
5. Step 5: Jika lolos, hasil diterima di chain dan status diperbarui. Hasilnya: throughput and performance yang lebih baik dengan lebih sedikit byte data.

Itu adalah panduan praktis, tanpa debu kapur.

Mengapa Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) penting

Ini relevan karena mengubah cara blockchain menjadi cepat dan privat tanpa mengorbankan kepercayaan.

• Manfaat: Perhitungan besar berubah menjadi pemeriksaan kecil, yang menghemat biaya dan waktu.
• Sudut pandang: Anda dapat membuktikan kebenaran sambil menjaga privacy untuk input. Bagikan bukti, bukan rahasianya.
• Relevansi: Anda akan melihatnya di rollup, game, NFT, dan pembayaran, di mana kecepatan dan kepastian penting.

Karakteristik Utama Zero Knowledge Scalable Transparent Argument of Knowledge (zk-STARK)

Berikut yang membuatnya menonjol:

• Transparan: Tidak ada upacara pengaturan tepercaya, jadi tidak ada kelompok khusus yang harus Anda percayai.
• Berskala: Dirancang untuk scalability tinggi, menggabungkan beban kerja besar menjadi bukti kecil.
• Pasca kuantum: Berbasis fungsi hash, yang dianggap lebih tahan terhadap serangan kuantum di masa depan.

Variasi

Varian terkait yang mungkin Anda dengar:

• SNARKs: Bukti lebih kecil dan verifikasi cepat, tetapi sering membutuhkan pengaturan tepercaya. Tradeoff berbeda dibandingkan zk-STARK.
• Validity proofs: Istilah payung yang mencakup SNARKs dan STARKs. Mereka membuktikan pembaruan status benar.
• Fraud proofs: Digunakan oleh optimistic rollups. Menganggap benar sampai seseorang membuktikan kesalahan, lalu menantang.

Contoh

Sebuah DeFi exchange di Starknet menggabungkan perdagangan dan memposting satu bukti zk-STARK di Ethereum sehingga chain memverifikasi seluruh batch dengan gas minimal.

Fakta Menarik

Singkatan ini diciptakan oleh peneliti termasuk Eli Ben Sasson, dan ya, STARK juga berarti kuat dalam bahasa Jerman. Itu cocok, karena desain mengandalkan fungsi hash yang kokoh daripada upacara kunci publik yang besar.

Kesimpulan

Versi singkat: zk-STARK memberi Anda bukti kecil bahwa pekerjaan besar telah dilakukan, sehingga Anda dapat mempercayai hasil tanpa mengintip data.