Bitcoin mendukung dua jalur verifikasi ZK: OP_CAT dan BitVM

Bitcoin sebagai sistem sosial, perubahan protokolnya memerlukan konsensus yang luas. Sejak diluncurkan hingga kini, Bitcoin masih menghadapi masalah biaya transaksi yang tinggi, kurangnya privasi, dan perlu adanya perbaikan. Namun, mengubah protokol Bitcoin bukanlah hal yang mudah.

Tanpa mengubah protokol Bitcoin, ada dua kemungkinan skema untuk mengimplementasikan fungsi verifikasi ZK:

1. Mengaktifkan opcode OP_CAT. OP_CAT dapat membuat skrip Bitcoin menjadi lebih kuat, mendukung verifikasi bukti Merkle, dan membantu dalam implementasi verifikasi SNARK berbasis FRI. OP_CAT pernah ada di versi awal Bitcoin, sehingga kemungkinan untuk diaktifkan kembali cukup besar.

2. Solusi berbasis BitVM. BitVM memanfaatkan Taproot dan penyimpanan KV, menghindari batasan ukuran skrip dalam blok Bitcoin, dan dapat memverifikasi tugas komputasi apa pun. Ini menjamin kebenaran komputasi melalui mekanisme bukti penipuan.

Selain itu, Chain State Proofs yang diusulkan oleh tim ZeroSync juga patut diperhatikan. Ini menggabungkan teknologi ZK, yang dapat secara signifikan mengurangi beban kerja untuk sinkronisasi dan verifikasi data sejarah Bitcoin, serta menurunkan biaya menjalankan node.

Apapun solusi yang dipilih, tujuan komunitas Bitcoin adalah untuk mendukung lebih banyak skenario aplikasi yang dapat diterapkan dengan menjamin keamanan. Meskipun perbaikan ini tidak akan selesai dalam jangka pendek, dalam jangka panjang, pengenalan fungsi verifikasi ZK oleh Bitcoin adalah suatu keharusan.