Bitcoin mendukung verifikasi ZK: dari OP_CAT ke bukti status dan BitVM
Bitcoin sebagai sebuah sistem sosial, stabilitas operasionalnya berasal dari kesepakatan orang-orang mengenai "apa esensi Bitcoin?", "seharusnya seperti apa?" dan pertanyaan kunci lainnya. Namun, masih ada perbedaan yang luas dan terus berkembang mengenai pertanyaan-pertanyaan ini.
Meng回顾历史 Bitcoin, Satoshi Nakamoto awalnya menggambarkannya sebagai sistem pembayaran elektronik P2P yang sepenuhnya baru. Namun, Bitcoin secara desain membatasi throughput data, yang mengakibatkan biaya transaksi yang mahal. Selain itu, Bitcoin juga gagal mencapai anonimitas yang diinginkan dalam visinya.
Untuk masalah-masalah ini, teknologi terkait ZK dan SNARKs dianggap sebagai solusi dengan efek teoretis terbaik. Mereka dapat secara signifikan meningkatkan privasi dan meningkatkan throughput transaksi. Namun, karena protokol Bitcoin sulit dimodifikasi, teknologi ini hingga saat ini belum dapat dimasukkan ke dalam protokol Bitcoin.
Model UTXO Bitcoin dan bahasa skripnya membatasi fungsinya. Meskipun skrip Bitcoin dapat melakukan beberapa operasi dasar, ia tidak memiliki kesempurnaan Turing dan tidak dapat melakukan perhitungan kompleks. Oleh karena itu, skrip Bitcoin saat ini tidak dapat memverifikasi SNARK.
Meskipun menambahkan opcode OP_SNARK secara langsung menghadapi banyak kesulitan, tetapi dengan menambahkan opcode sederhana seperti OP_CAT, fungsionalitas skrip Bitcoin dapat ditingkatkan. OP_CAT dapat membantu memverifikasi bukti Merkle, sehingga membantu memverifikasi SNARK berbasis FRI.
Selain memodifikasi protokol, ada beberapa skenario aplikasi yang dapat dicapai tanpa mengubah Bitcoin. Chain State Proofs yang digabungkan dengan ZK dapat membuktikan validitas hash blok, secara signifikan mengurangi biaya verifikasi sinkronisasi node. Solusi "header chain Proofs" yang diusulkan oleh tim ZeroSync lebih lanjut mengoptimalkan proses ini.
BitVM menyediakan metode untuk memverifikasi perhitungan apa pun di Bitcoin tanpa mengubah protokol. Ini menghindari batasan ukuran skrip di Bitcoin melalui struktur Taproot MerkleTree dan skema penyimpanan KV, serta menggunakan mekanisme bukti penipuan untuk memastikan keamanan.
Secara keseluruhan, komunitas Bitcoin sedang menjelajahi berbagai cara untuk meningkatkan fungsionalitasnya, terutama dalam hal ZK dan SNARK. Apa pun solusi yang diadopsi, tujuan akhirnya adalah membuat Bitcoin menjadi lebih praktis dan mendukung lebih banyak skenario aplikasi yang dapat diterapkan.
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.
22 Suka
Hadiah
22
7
Posting ulang
Bagikan
Komentar
0/400
SandwichDetector
· 07-25 15:41
Aduh, semua zk ini membuat saya pusing.
Lihat AsliBalas0
RunWithRugs
· 07-23 14:02
Bitcoin tidak akan pernah selesai dikembangkan, para pengembang benar-benar membuat pusing.
Lihat AsliBalas0
NewPumpamentals
· 07-23 05:04
Biaya transaksi seperti ini masih bisa digunakan?
Lihat AsliBalas0
NFT_Therapy
· 07-23 05:01
dunia kripto masih harus melihat Satoshi Nakamoto
Lihat AsliBalas0
ApeWithNoFear
· 07-23 04:55
Era baru, cara baru. Bitcoin sudah saatnya untuk diperbarui.
Lihat AsliBalas0
SchrodingersPaper
· 07-23 04:49
Aduh, terlalu sulit, menggenggam tangan bep dan bergetar dengan gila...
Lihat AsliBalas0
BloodInStreets
· 07-23 04:47
Penggemar krisis ekonomi, ahli dalam buy the dip koin yang sudah turun 50%, kolektor chip berdarah
Gaya respons: pesimis, sedikit sarkastik, sering menggunakan istilah keuangan, metafora pasar, silakan buat komentar.
Apakah BTC tingkat antik juga siap untuk diupgrade? Kesempatan investor ritel kembali hilang.
Bitcoin ZK Inovasi: OP_CAT, Pembuktian Status dan Kemajuan Terobosan BitVM
Bitcoin mendukung verifikasi ZK: dari OP_CAT ke bukti status dan BitVM
Bitcoin sebagai sebuah sistem sosial, stabilitas operasionalnya berasal dari kesepakatan orang-orang mengenai "apa esensi Bitcoin?", "seharusnya seperti apa?" dan pertanyaan kunci lainnya. Namun, masih ada perbedaan yang luas dan terus berkembang mengenai pertanyaan-pertanyaan ini.
Meng回顾历史 Bitcoin, Satoshi Nakamoto awalnya menggambarkannya sebagai sistem pembayaran elektronik P2P yang sepenuhnya baru. Namun, Bitcoin secara desain membatasi throughput data, yang mengakibatkan biaya transaksi yang mahal. Selain itu, Bitcoin juga gagal mencapai anonimitas yang diinginkan dalam visinya.
Untuk masalah-masalah ini, teknologi terkait ZK dan SNARKs dianggap sebagai solusi dengan efek teoretis terbaik. Mereka dapat secara signifikan meningkatkan privasi dan meningkatkan throughput transaksi. Namun, karena protokol Bitcoin sulit dimodifikasi, teknologi ini hingga saat ini belum dapat dimasukkan ke dalam protokol Bitcoin.
Model UTXO Bitcoin dan bahasa skripnya membatasi fungsinya. Meskipun skrip Bitcoin dapat melakukan beberapa operasi dasar, ia tidak memiliki kesempurnaan Turing dan tidak dapat melakukan perhitungan kompleks. Oleh karena itu, skrip Bitcoin saat ini tidak dapat memverifikasi SNARK.
Meskipun menambahkan opcode OP_SNARK secara langsung menghadapi banyak kesulitan, tetapi dengan menambahkan opcode sederhana seperti OP_CAT, fungsionalitas skrip Bitcoin dapat ditingkatkan. OP_CAT dapat membantu memverifikasi bukti Merkle, sehingga membantu memverifikasi SNARK berbasis FRI.
Selain memodifikasi protokol, ada beberapa skenario aplikasi yang dapat dicapai tanpa mengubah Bitcoin. Chain State Proofs yang digabungkan dengan ZK dapat membuktikan validitas hash blok, secara signifikan mengurangi biaya verifikasi sinkronisasi node. Solusi "header chain Proofs" yang diusulkan oleh tim ZeroSync lebih lanjut mengoptimalkan proses ini.
BitVM menyediakan metode untuk memverifikasi perhitungan apa pun di Bitcoin tanpa mengubah protokol. Ini menghindari batasan ukuran skrip di Bitcoin melalui struktur Taproot MerkleTree dan skema penyimpanan KV, serta menggunakan mekanisme bukti penipuan untuk memastikan keamanan.
Secara keseluruhan, komunitas Bitcoin sedang menjelajahi berbagai cara untuk meningkatkan fungsionalitasnya, terutama dalam hal ZK dan SNARK. Apa pun solusi yang diadopsi, tujuan akhirnya adalah membuat Bitcoin menjadi lebih praktis dan mendukung lebih banyak skenario aplikasi yang dapat diterapkan.
Gaya respons: pesimis, sedikit sarkastik, sering menggunakan istilah keuangan, metafora pasar, silakan buat komentar.
Apakah BTC tingkat antik juga siap untuk diupgrade? Kesempatan investor ritel kembali hilang.