Bagaimana cara membuat Bitcoin mendukung fitur verifikasi ZK?

Bitcoin sebagai sistem sosial, aturan protokolnya sangat sulit diubah. Untuk meningkatkan kinerja Bitcoin tanpa mengubah protokol, dapat dilakukan dengan beberapa cara berikut:

1. Memanfaatkan upgrade yang sudah ada seperti Taproot. Taproot mengurangi biaya verifikasi skrip yang kompleks dan mendukung program yang lebih kompleks.

2. Mengaktifkan kembali opcode OP_CAT. OP_CAT dapat membuat skrip Bitcoin lebih kuat, membantu memverifikasi SNARK berbasis FRI.

3. Menggunakan skema BitVM. BitVM memungkinkan Bitcoin untuk memverifikasi tugas komputasi apa pun melalui mekanisme bukti penipuan, dan merupakan jalur terbaik untuk mencapai verifikasi SNARK tanpa memodifikasi protokol.

4. Menggunakan Bukti Status Rantai. Dengan menggabungkan teknologi ZK, dapat secara signifikan mengurangi beban kerja sinkronisasi dan verifikasi data sejarah Bitcoin.

5. Mengembangkan bahasa baru seperti Simplicity. Simplicity dirancang untuk menggantikan Bitcoin Script, khusus untuk sistem konsensus blockchain.

Secara keseluruhan, metode yang paling layak untuk menerapkan verifikasi SNARK di Bitcoin adalah BitVM, tetapi masih memerlukan lebih banyak investasi dalam penelitian dan pengembangan. Menghidupkan kembali OP_CAT juga merupakan pemikiran, tetapi perlu mempertimbangkan pro dan kontra. Apa pun pilihan solusi, harus bertujuan untuk mendukung lebih banyak skenario praktis.