Robin Linus dari ZeroSync, entitas di balik klien ringan zk-proof untuk Bitcoin, kemarin merilis BitVM: Menghitung Apa Saja pada Bitcoin & quot;kertas putih .
Dokumen ini menyajikan sebuah metode yang memiliki potensi untuk mengubah cara pandang terhadap kemampuan Bitcoin.
Kontrak Cerdas pada Bitcoin
Secara tradisional, kemampuan kontrak pintar Bitcoin terbatas pada operasi dasar, termasuk tanda tangan, penguncian waktu, dan hashlock.
Hal ini membuatnya berbeda dengan Ethereum, yang biasanya menawarkan kontrak yang lebih ekspresif.
Dengan BitVM, paradigma tersebut diubah.
BitVM memperkenalkan pendekatan desain unik yang memperluas kemungkinan kontrak Bitcoin dan memungkinkan perhitungan off-chain.
Hal ini membuka pintu ke berbagai aplikasi, seperti permainan seperti Catur, Go, dan Poker, serta verifikasi bukti keabsahan dalam kontrak Bitcoin.
Selain itu, ini mengisyaratkan kemungkinan untuk menghubungkan BTC ke jaringan blockchain lainnya.
Kontrak Turing-Lengkap
BitVM memperkenalkan paradigma komputasi yang mampu mengekspresikan kontrak Bitcoin yang lengkap dengan Turing tanpa memerlukan modifikasi pada aturan konsensus jaringan.
Turing-complete dalam hal ini berarti mampu melakukan komputasi apa pun yang dapat dilakukan oleh mesin Turing.
"Kelengkapan Turing" seperti itu sangat penting - ini menyiratkan bahwa kontrak-kontrak ini memiliki potensi untuk melaksanakan hampir semua tugas yang dapat direpresentasikan secara algoritmik.
Terverifikasi Melalui Rollups
Alih-alih mengeksekusi komputasi secara langsung di jaringan Bitcoin, komputasi ini diverifikasi, mirip dengan proses rollup yang optimis.
Peluncuran BitVM telah menghasilkan diskusi online, terutama pada platform seperti Reddit. SatuPosting Reddit menegaskan, "Pelepasan BitVM membuat semua altcoin tidak berguna. Hitung apa pun di Bitcoin tanpa fork;
Peluncuran BitVM membuat semua altcoin menjadi tidak berguna. Hitung apa pun di Bitcoin tanpa garpu.
olehu/BadaiHarvey7 diBitcoin
a