Untuk kontrak pintar Turing-complete di Bitcoin, pengguna Twitter @robin_linus mengusulkan proposal baru - BitVM.
Dia mengklaim bahwa ini dapat dicapai tanpa perubahan pada kode Bitcoin.
Karena bahasa scripting asli Bitcoin sangat terbatas, inilah mengapa kita perlu memperluas Bitcoin dengan berbagai lapisan.
Lapisan yang berbeda ini bertindak sebagai berbagai blok bangunan, yang pada akhirnya membawa lebih banyak fungsionalitas ke Bitcoin. Dan hari ini kami memiliki terobosan penting: kontrak pintar.
Tahun ini, kami telah melihat peningkatan dramatis dalam diskusi tentang Rollups on Bitcoin, dengan topik yang paling umum adalah kedaulatan, bukti tanpa pengetahuan, dan Rollup Optimis.
Solusi penskalaan ini berjalan di L2, tetapi akhirnya kembali ke rantai utama secara kriptografis.
Apa itu BitVM
BitVM menggunakan teknologi yang mirip dengan Optimistic Rollups.
Optimistic Rollups biasanya menganggap bahwa transaksi tersebut valid, tetapi mengalokasikan jangka waktu tertentu untuk penyelesaian sengketa.
Jika terjadi perselisihan, Rollup kembali ke keadaan sebelumnya.
Perhitungan kontrak pintar BitVM yang sebenarnya terjadi pada lapisan terpisah, dan jika terjadi perselisihan, perselisihan ini "disimpan" di rantai utama Bitcoin. Oleh karena itu, semua aktivitas BitVM terjadi off-chain.
** (Catatan penerjemah: Catatan publik yang tidak dapat diubah disimpan di rantai utama yang dapat digunakan untuk menyelesaikan perselisihan.) Jika tidak ada perselisihan, semua aktivitas BitVM akan berlangsung di luar rantai, yaitu di luar rantai Bitcoin utama. Aktivitas off-chain ini dapat dilakukan lebih cepat dan validitas transaksi dipastikan dengan menggunakan rantai utama Bitcoin sebagai dasar keamanan dan kepercayaan. ）**
BitVM terutama bergantung pada empat komponen**
Kunci hash
Kunci waktu
Pohon Merkle
Multi-tanda tangan
Kunci hash
Kunci hash adalah kunci tersembunyi kriptografi yang dihasilkan oleh orang yang memulai transaksi, yang memastikan bahwa transaksi hanya dapat diselesaikan setelah persetujuan dari pemrakarsa.
Kunci Waktu
Transaksi di bawah kunci waktu harus dieksekusi setelah tanggal, waktu, atau tinggi blok tertentu.
** Merkle Pohon **
Cabang pohon Merkle menggunakan kriptografi untuk merekam hasil eksekusi skrip ke dalam blockchain, daripada merekam semua kemungkinan eksekusi skrip.
Ini sangat mengurangi ruang yang diambil oleh transaksi, terutama untuk yang lebih kompleks!
** Di masa lalu, untuk memverifikasi validitas transaksi, perlu untuk mencatat semua jalur dan hasil eksekusi yang mungkin, yang memakan banyak ruang penyimpanan. Dengan percabangan pohon Merkle, kami hanya mencatat hasil eksekusi aktual, dan pengoptimalan ini membuat pemrosesan transaksi lebih efisien sekaligus mengurangi persyaratan penyimpanan blockchain. ）**
Multisig
Multisig sering memungkinkan banyak pihak untuk berbagi kendali atas satu dompet. Di bawah desain BitVM, Anda akan memiliki dua bagian multi-signature yang terdiri dari prover dan verifier.
**Jadi bagaimana cara kerja BitVM? **
Provers dan validator pertama-tama mengkompilasi kontrak pintar ke dalam peta pernyataan jika-maka yang berisi semua kemungkinan hasil.
Untuk menghemat ruang, kami menggunakan format Merkle untuk menghemat on-chain.
Kedua belah pihak juga harus menandatangani terlebih dahulu serangkaian transaksi tantangan dan jawaban yang dapat digunakan jika terjadi perselisihan!
Setelah menyelesaikan prasyarat ini, mereka dapat menyetor Bitcoin ke alamat Taproot, yang mengaktifkan kontrak pintar dan memungkinkan kedua belah pihak untuk mulai bertukar data di luar rantai atau pada lapisan terpisah.
Validator dapat menggunakan kunci waktu untuk memaksa prover membuat keputusan dalam jumlah waktu yang ditentukan.
Jika prover membuat klaim palsu, verifikator dapat membantah ini dan mendapatkan depositnya kembali.
Ini memastikan bahwa setiap penyerang kehilangan deposit mereka dan mendorong perilaku yang baik.
Penggunaan BitVM
Sekarang kita memiliki pemahaman dasar tentang struktur kontrak BitVM, kita dapat menyelam sedikit lebih dalam ke dalam apa itu digunakan.
*Saat ini ada tiga : "Komitmen"
Komitmen Nilai Bit
Komitmen Gerbang Logika
Komitmen Sirkuit Biner
Komitmen nilai bit
Hal ini memungkinkan pemberi persetujuan untuk menetapkan nilai bit ke "0" atau "1" dalam skrip yang berbeda dan output transaksi yang tidak digunakan (UTXO), memungkinkan satu skrip untuk berjalan di beberapa transaksi, dan biner 0 dan 1 ini adalah dasar untuk semua perhitungan
** (Catatan penerjemah: Dengan mengontrol nilai bit, berbagai operasi perhitungan seperti penilaian kondisional dan operasi logis dapat direalisasikan.) Fleksibilitas ini memungkinkan BitVM untuk mendukung fungsi kontrak pintar yang kompleks dengan lebih kuat. ）**
** Janji gerbang logika **
Ini memungkinkan penggunaan gerbang NAND dan mengimplementasikan fungsionalitas pernyataan seperti AND, NOT, dan OR.
Gerbang AND AND menghasilkan output berdasarkan status dua input (seperti dua nilai bit).
** Mekanisme komitmen gerbang logika memberi BitVM fungsi yang lebih fleksibel dan kuat dengan memperkenalkan gerbang DAN BUKAN, memungkinkan kontrak pintar untuk mendukung perhitungan kompleks yang berisi operasi logis. ）**
** Janji Sirkuit Biner **
Setelah berbagai gerbang logika didefinisikan, Anda dapat menggunakan sirkuit biner untuk membangun sistem digital yang lebih kompleks.
Anggap saja sebagai struktur kontrak pintar lengkap yang dibentuk oleh beberapa blok bangunan NAND.
Di BitVM, demikian pula, kita dapat menggabungkan beberapa gerbang logika untuk membentuk struktur kontrak pintar yang lengkap, seperti halnya beberapa gerbang DAN BUKAN membentuk implementasi modular konkret. Pendekatan modular untuk membangun ini membuat desain kontrak pintar lebih fleksibel dan terukur. ）**
Sumber Daya Referensi Tambahan
Itu saja untuk detail teknis yang dapat kami bahas sejauh ini, dan ada banyak sumber daya tambahan untuk diperiksa jika Anda ingin menyelam lebih dalam atau mempelajari lebih lanjut tentang BitVM.
Berikut adalah beberapa sumber daya yang layak dipertimbangkan:**
Perubahan sikap
Dengan pengamatan, kami menemukan fenomena menarik: **
Telah terjadi perubahan besar dalam sikap terhadap membangun aplikasi di Bitcoin melalui BitVM.
Banyak orang bereaksi dingin atau bahkan secara terbuka menentang pengenalan kontrak pintar ke Bitcoin, tetapi sekarang mereka mulai menyatakan dukungan, yang menggembirakan!
Lihat Asli
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
BitVM: Mengantarkan era kontrak pintar Bitcoin
Untuk kontrak pintar Turing-complete di Bitcoin, pengguna Twitter @robin_linus mengusulkan proposal baru - BitVM.
Dia mengklaim bahwa ini dapat dicapai tanpa perubahan pada kode Bitcoin.
Karena bahasa scripting asli Bitcoin sangat terbatas, inilah mengapa kita perlu memperluas Bitcoin dengan berbagai lapisan.
Lapisan yang berbeda ini bertindak sebagai berbagai blok bangunan, yang pada akhirnya membawa lebih banyak fungsionalitas ke Bitcoin. Dan hari ini kami memiliki terobosan penting: kontrak pintar.
Tahun ini, kami telah melihat peningkatan dramatis dalam diskusi tentang Rollups on Bitcoin, dengan topik yang paling umum adalah kedaulatan, bukti tanpa pengetahuan, dan Rollup Optimis.
Solusi penskalaan ini berjalan di L2, tetapi akhirnya kembali ke rantai utama secara kriptografis.
Apa itu BitVM
BitVM menggunakan teknologi yang mirip dengan Optimistic Rollups.
Optimistic Rollups biasanya menganggap bahwa transaksi tersebut valid, tetapi mengalokasikan jangka waktu tertentu untuk penyelesaian sengketa.
Jika terjadi perselisihan, Rollup kembali ke keadaan sebelumnya.
Perhitungan kontrak pintar BitVM yang sebenarnya terjadi pada lapisan terpisah, dan jika terjadi perselisihan, perselisihan ini "disimpan" di rantai utama Bitcoin. Oleh karena itu, semua aktivitas BitVM terjadi off-chain.
** (Catatan penerjemah: Catatan publik yang tidak dapat diubah disimpan di rantai utama yang dapat digunakan untuk menyelesaikan perselisihan.) Jika tidak ada perselisihan, semua aktivitas BitVM akan berlangsung di luar rantai, yaitu di luar rantai Bitcoin utama. Aktivitas off-chain ini dapat dilakukan lebih cepat dan validitas transaksi dipastikan dengan menggunakan rantai utama Bitcoin sebagai dasar keamanan dan kepercayaan. ）**
BitVM terutama bergantung pada empat komponen**
Kunci hash
Kunci hash adalah kunci tersembunyi kriptografi yang dihasilkan oleh orang yang memulai transaksi, yang memastikan bahwa transaksi hanya dapat diselesaikan setelah persetujuan dari pemrakarsa.
Kunci Waktu
Transaksi di bawah kunci waktu harus dieksekusi setelah tanggal, waktu, atau tinggi blok tertentu.
** Merkle Pohon **
Cabang pohon Merkle menggunakan kriptografi untuk merekam hasil eksekusi skrip ke dalam blockchain, daripada merekam semua kemungkinan eksekusi skrip.
Ini sangat mengurangi ruang yang diambil oleh transaksi, terutama untuk yang lebih kompleks!
** Di masa lalu, untuk memverifikasi validitas transaksi, perlu untuk mencatat semua jalur dan hasil eksekusi yang mungkin, yang memakan banyak ruang penyimpanan. Dengan percabangan pohon Merkle, kami hanya mencatat hasil eksekusi aktual, dan pengoptimalan ini membuat pemrosesan transaksi lebih efisien sekaligus mengurangi persyaratan penyimpanan blockchain. ）**
Multisig
Multisig sering memungkinkan banyak pihak untuk berbagi kendali atas satu dompet. Di bawah desain BitVM, Anda akan memiliki dua bagian multi-signature yang terdiri dari prover dan verifier.
**Jadi bagaimana cara kerja BitVM? **
Provers dan validator pertama-tama mengkompilasi kontrak pintar ke dalam peta pernyataan jika-maka yang berisi semua kemungkinan hasil.
Untuk menghemat ruang, kami menggunakan format Merkle untuk menghemat on-chain.
Kedua belah pihak juga harus menandatangani terlebih dahulu serangkaian transaksi tantangan dan jawaban yang dapat digunakan jika terjadi perselisihan!
Setelah menyelesaikan prasyarat ini, mereka dapat menyetor Bitcoin ke alamat Taproot, yang mengaktifkan kontrak pintar dan memungkinkan kedua belah pihak untuk mulai bertukar data di luar rantai atau pada lapisan terpisah.
Validator dapat menggunakan kunci waktu untuk memaksa prover membuat keputusan dalam jumlah waktu yang ditentukan.
Jika prover membuat klaim palsu, verifikator dapat membantah ini dan mendapatkan depositnya kembali.
Ini memastikan bahwa setiap penyerang kehilangan deposit mereka dan mendorong perilaku yang baik.
Penggunaan BitVM
Sekarang kita memiliki pemahaman dasar tentang struktur kontrak BitVM, kita dapat menyelam sedikit lebih dalam ke dalam apa itu digunakan.
*Saat ini ada tiga : "Komitmen"
Komitmen nilai bit
Hal ini memungkinkan pemberi persetujuan untuk menetapkan nilai bit ke "0" atau "1" dalam skrip yang berbeda dan output transaksi yang tidak digunakan (UTXO), memungkinkan satu skrip untuk berjalan di beberapa transaksi, dan biner 0 dan 1 ini adalah dasar untuk semua perhitungan
** (Catatan penerjemah: Dengan mengontrol nilai bit, berbagai operasi perhitungan seperti penilaian kondisional dan operasi logis dapat direalisasikan.) Fleksibilitas ini memungkinkan BitVM untuk mendukung fungsi kontrak pintar yang kompleks dengan lebih kuat. ）**
** Janji gerbang logika **
Ini memungkinkan penggunaan gerbang NAND dan mengimplementasikan fungsionalitas pernyataan seperti AND, NOT, dan OR.
Gerbang AND AND menghasilkan output berdasarkan status dua input (seperti dua nilai bit).
** Mekanisme komitmen gerbang logika memberi BitVM fungsi yang lebih fleksibel dan kuat dengan memperkenalkan gerbang DAN BUKAN, memungkinkan kontrak pintar untuk mendukung perhitungan kompleks yang berisi operasi logis. ）**
** Janji Sirkuit Biner **
Setelah berbagai gerbang logika didefinisikan, Anda dapat menggunakan sirkuit biner untuk membangun sistem digital yang lebih kompleks.
Anggap saja sebagai struktur kontrak pintar lengkap yang dibentuk oleh beberapa blok bangunan NAND.
Di BitVM, demikian pula, kita dapat menggabungkan beberapa gerbang logika untuk membentuk struktur kontrak pintar yang lengkap, seperti halnya beberapa gerbang DAN BUKAN membentuk implementasi modular konkret. Pendekatan modular untuk membangun ini membuat desain kontrak pintar lebih fleksibel dan terukur. ）**
Sumber Daya Referensi Tambahan
Itu saja untuk detail teknis yang dapat kami bahas sejauh ini, dan ada banyak sumber daya tambahan untuk diperiksa jika Anda ingin menyelam lebih dalam atau mempelajari lebih lanjut tentang BitVM.
Berikut adalah beberapa sumber daya yang layak dipertimbangkan:**
Perubahan sikap
Dengan pengamatan, kami menemukan fenomena menarik: **
Telah terjadi perubahan besar dalam sikap terhadap membangun aplikasi di Bitcoin melalui BitVM.
Banyak orang bereaksi dingin atau bahkan secara terbuka menentang pengenalan kontrak pintar ke Bitcoin, tetapi sekarang mereka mulai menyatakan dukungan, yang menggembirakan!