Pengguna Bitcoin akan segera dapat menggunakan bukti tanpa pengetahuan (bukti ZK) untuk mempercepat proses validasi blok individual dan pada akhirnya seluruh blockchain.
Asosiasi ZeroSync nirlaba yang berbasis di Swiss sedang mengembangkan alat yang memungkinkan pengguna memverifikasi keadaan jaringan Bitcoin tanpa harus mengunduh blockchain atau mempercayai pihak ketiga untuk verifikasi.
ZeroSync didirikan untuk mengembangkan dan memelihara perangkat lunak sumber terbuka untuk memungkinkan bukti ZK yang ringkas pada blockchain Bitcoin. Tim menggunakan bukti validitas Zero-Knowledge Scalable Transparent Argument of Knowledge (zk-STARK) milik StarkWare untuk menghasilkan bukti ZK untuk jaringan Bitcoin.
Alat ini berjanji untuk merevolusi proses validasi blockchain Bitcoin, yang masih mengharuskan operator node mengunduh data dalam jumlah besar untuk menyinkronkan keadaan jaringan Bitcoin yang benar.
ZeroSync menggunakan bukti ZK untuk menghasilkan bukti valid dan memverifikasi status terbaru blockchain hampir secara instan.
Bukti ZK telah menjadi terobosan bagi ekosistem Ethereum, dengan berbagai metode bukti yang mendukung beberapa platform penskalaan lapisan 2, termasuk Polygon, Arbitrum, Optimism, dan StarkNet.
Pengumuman dari Asosiasi ZeroSync menggarisbawahi komitmen bukti ZK terhadap skalabilitas dan privasi blockchain dengan memberikan bukti “ukuran hampir tetap” untuk memverifikasi komputasi besar.
Pekerjaan proyek ini memelopori penggunaan bukti ZK pada jaringan Bitcoin, dan kelompok tersebut menggambarkan kesederhanaan relatif Bitcoin dan model keluaran transaksi yang tidak terpakai (UTXO) sebagai proposisi nilai unik untuk menerapkan bukti rekursif.
ZeroSync mencatat bahwa alat ZK-Proof tidak memerlukan perubahan konsensus atau asumsi kepercayaan tambahan pada jaringan Bitcoin dan penggunanya. Organisasi ini sedang membangun perangkat pengembangan perangkat lunak yang memungkinkan pengembang menghasilkan bukti validitas khusus untuk kasus penggunaan tertentu tanpa memerlukan keahlian domain yang mendalam.
ZeroSync sedang membangun klien untuk pengunduhan blok awal yang cepat, serta menerapkan bukti lengkap pertama dari konsensus Bitcoin. Klien akan memungkinkan pengguna untuk menyinkronkan node penuh tanpa membuat perubahan pada kode Bitcoin Core.
ZeroSync menggunakan bahasa pemrograman Kairo yang dipelopori oleh StarkWare untuk membuat program komputasi yang dapat dibuktikan oleh STARK.
Alat ZeroSync saat ini dalam keadaan prototipe, namun mampu membuktikan validitas satu blok yang dianggap valid, memvalidasi semua aturan Bitcoin kecuali skrip. Tim juga memiliki validator demo dalam browser yang tersedia untuk bukti STARK blok Bitcoin.
Asosiasi ZeroSync awalnya didanai oleh Geometry dan StarkWare, namun didirikan sebagai entitas nirlaba untuk mendukung pengembangan dan pemeliharaan berkelanjutan oleh pemangku kepentingan dalam komunitas Bitcoin.
Presiden StarkWare dan salah satu pendiri Eli Ben-Sasson, yang ikut menciptakan zk-STARKS, menyimpulkan pentingnya bukti ZK memasuki ekosistem Bitcoin dalam sebuah pernyataan:
“Setelah merasa frustrasi dengan sinkronisasi yang lambat, pengguna akan dapat melakukan sinkronisasi dengan jaringan lebih cepat dan dengan perhitungan yang lebih sedikit. Ini adalah lompatan teknologi yang mirip dengan peralihan dari internet dial-up lambat ke broadband berkecepatan tinggi.”
Lightning Labs, tim di balik sistem pembayaran Layer 2 Lightning Network Bitcoin, adalah mitra yang berkontribusi pada proyek ZeroSync.
Perusahaan bermaksud menggunakan ZeroSync untuk memberikan bukti riwayat transaksi terkompresi untuk protokol Taproot Asset Representation Overlay (Taro), yang dirancang untuk mendukung penerbitan aset digital pada blockchain Bitcoin.