Eksplorasi Rencana Optimasi BitVM

BitVM sebagai solusi teknologi untuk menerapkan kontrak Turing lengkap di Bitcoin memiliki arti penting. Namun, saat ini masih berada di tahap awal, dan terdapat beberapa masalah terkait efisiensi dan keamanan. Artikel ini mengusulkan beberapa pemikiran optimasi untuk lebih meningkatkan kegunaan BitVM.

1. Mengurangi jumlah interaksi OP berdasarkan ZK

Saat ini, BitVM menggunakan metode pembagian untuk respons tantangan, yang dalam kasus terburuk memerlukan sekitar 40 putaran interaksi, dengan periode yang berlangsung hingga enam bulan. Mempertimbangkan untuk memperkenalkan teknologi bukti nol, sehingga objek tantangan berubah dari algoritma asli F menjadi algoritma verifikasi Verify, yang secara signifikan mengurangi jumlah putaran tantangan dan memperpendek periode.

Selain itu, dapat menjelajahi pembangunan ZK Fraud Proof untuk mewujudkan ZK Proof On-Demand. Dalam mode ini, ZK proof hanya perlu dihasilkan ketika terjadi tantangan, menghindari biaya pembuatan bukti untuk setiap perubahan status, sambil mempertahankan keuntungan dari optimis rollup.

2. Tanda tangan satu kali yang ramah Bitcoin

Tanda tangan Lamport adalah komponen dasar BitVM, tetapi tanda tangan dan kunci publiknya cukup panjang. Dapat dipertimbangkan untuk menggunakan skema tanda tangan sekali pakai Winternitz, yang dapat mengurangi panjang tanda tangan dan kunci publik sekitar 4 kali lipat ketika d=15, sehingga mengurangi biaya transaksi setidaknya 50%. Di masa depan, skema tanda tangan sekali pakai yang lebih kompak juga dapat dieksplorasi.

3. Fungsi hash yang ramah Bitcoin

Karena keterbatasan skrip Bitcoin, diperlukan desain fungsi hash yang ramah Bitcoin. BLAKE3 adalah pilihan yang baik, karena jumlah putaran fungsi kompresinya lebih sedikit, dan hanya memerlukan satu fungsi kompresi saat memproses input 64 byte. Saat ini, sekitar 100KB skrip Bitcoin telah mengimplementasikan BLAKE3, yang dapat digunakan untuk membangun versi mainan BitVM. Di masa depan, implementasi ini dapat dioptimalkan lebih lanjut, atau menjelajahi fungsi hash lain yang lebih cocok untuk Bitcoin.

4. Skrip Tanpa Skrip BitVM

Teknologi Scriptless Scripts dapat memindahkan logika kontrak pintar untuk dieksekusi di luar rantai, dengan keunggulan fleksibilitas fungsi, privasi yang baik, dan efisiensi tinggi. Dapat mencoba untuk memperkenalkan teknologi ini ke BitVM, menggunakan tanda tangan Schnorr multi-tanda tangan dan tanda tangan adaptor untuk merealisasikan komitmen gerbang logika, sehingga menghemat ruang skrip dan meningkatkan efisiensi.

5. Tantangan Multi-Pihak Tanpa Izin

Saat ini, BitVM menggunakan model tantangan dua pihak yang berlisensi, yang memiliki beberapa risiko keamanan. Dapat diteliti protokol tantangan multi-pihak tanpa izin, memperluas model kepercayaan dari 1-of-n menjadi 1-of-N(N> n). Ini perlu menyelesaikan masalah serangan penyihir dan serangan penundaan, dapat merujuk pada hasil penelitian terkait seperti Turnamen yang Diperiksa Tanpa Izin dan algoritma BoLD.

Dengan optimasi di atas, diharapkan dapat lebih meningkatkan kinerja dan keamanan BitVM, serta memberikan kontribusi terhadap perkembangan yang makmur dari ekosistem Bitcoin.