Bagaimana Bitcoin mendukung fungsi verifikasi ZK?

Bitcoin sebagai sebuah sistem sosial, aturan intinya ditentukan oleh pengembang awal, dan dijaga agar tetap beroperasi dengan stabil melalui mekanisme konsensus. Namun, Bitcoin masih menghadapi banyak tantangan dalam mewujudkan visi sistem uang elektronik, seperti biaya transaksi yang tinggi, perlindungan privasi yang kurang, dan lain-lain.

Untuk mengatasi masalah ini, komunitas telah mengusulkan berbagai solusi perbaikan, di mana teknologi terkait ZK dan SNARKs dianggap memiliki efek terbaik. Teknologi ini dapat secara signifikan meningkatkan privasi dan throughput transaksi. Namun, karena protokol Bitcoin sulit untuk dimodifikasi, bagaimana meningkatkan kinerja tanpa mengubah protokol menjadi masalah kunci.

Model UTXO Bitcoin dan bahasa skripnya membatasi fungsinya. Meskipun skrip Bitcoin dapat melakukan perhitungan dasar dan verifikasi tanda tangan, ia tidak mendukung perhitungan kompleks, dan juga tidak dapat memverifikasi SNARK secara langsung. Meskipun secara teori SNARK dapat divalidasi, dalam praktiknya, hal ini dibatasi oleh ukuran blok.

Dalam beberapa tahun terakhir, peningkatan Taproot telah membawa beberapa perbaikan untuk Bitcoin, seperti dukungan untuk tanda tangan Schnorr dan skrip yang lebih kompleks. Namun, penambahan opcode verifikasi SNARK yang khusus masih menghadapi tantangan teknis dan konsensus.

Saat ini, ada dua jalur yang mungkin untuk mendukung Bitcoin ZK verification:

1. Meningkatkan fungsi skrip melalui opcode sederhana seperti OP_CAT, secara tidak langsung mewujudkan verifikasi SNARK. Meskipun OP_CAT sederhana, namun dapat secara signifikan meningkatkan kemampuan skrip dan diharapkan mendapatkan dukungan dari komunitas.

2. Menggunakan teknologi BitVM, verifikasi perhitungan apa pun tanpa mengubah protokol. BitVM melewati batas ukuran skrip melalui Taproot dan solusi penyimpanan KV, menggabungkan mekanisme bukti penipuan untuk mencapai perluasan fungsi.

Selain itu, teknologi Chain State Proofs yang dikombinasikan dengan ZK dapat secara signifikan mengurangi biaya operasional node, yang merupakan bagian penting dari BitVM.

Secara keseluruhan, pengenalan fungsi verifikasi ZK untuk Bitcoin adalah suatu keharusan, tetapi perlu menyeimbangkan inovasi dengan stabilitas. Dalam jangka pendek, BitVM mungkin merupakan solusi yang paling layak, dan pengaktifan kembali opcode sederhana seperti OP_CAT juga patut dieksplorasi. Apapun solusi yang diadopsi, tujuan akhirnya adalah untuk membuat Bitcoin lebih praktis dan mendukung lebih banyak skenario penggunaan.