Bitcoin sebagai sistem sosial, stabilitas operasinya bergantung pada konsensus orang-orang mengenai esensinya dan visinya. Namun, Bitcoin masih menghadapi banyak tantangan, seperti biaya transaksi yang mahal, perlindungan privasi yang tidak memadai, dan masalah lainnya. Untuk mengatasi masalah ini, komunitas telah mengusulkan berbagai solusi perbaikan, di mana teknologi ZK dan SNARKs dianggap yang paling efektif.
Perubahan pada protokol Bitcoin sangat sulit, memerlukan konsensus tinggi dari komunitas. Oleh karena itu, menjelajahi cara untuk meningkatkan kinerja Bitcoin tanpa mengubah protokol menjadi masalah kunci. Model UTXO dan bahasa skrip Bitcoin membatasi fungsinya, tidak dapat langsung mendukung verifikasi SNARK.
Saat ini ada dua jalur utama yang mungkin mewujudkan Bitcoin mendukung verifikasi ZK:
Meningkatkan fungsi skrip Bitcoin dengan menambahkan opcode sederhana seperti OP_CAT, sehingga mendukung verifikasi SNARK. Meskipun OP_CAT sederhana, namun dapat membawa perbaikan besar, seperti mengakses informasi status di blockchain, memverifikasi bukti Merkle, dan lain-lain. Namun, proposal ini masih belum mendapatkan konsensus di komunitas.
Menggunakan teknologi BitVM, verifikasi tugas komputasi apa pun dapat dilakukan tanpa mengubah protokol. BitVM mengatasi batas ukuran blok melalui Taproot MerkleTree dan skema penyimpanan KV lintas skrip, dan menggunakan mekanisme bukti penipuan untuk memastikan keamanan.
Selain itu, teknologi Chain State Proofs yang menggabungkan ZK dapat secara signifikan mengurangi biaya operasional node, merupakan bagian penting dari implementasi BitVM. Solusi "header chain Proofs" yang diusulkan oleh tim ZeroSync lebih lanjut membuat proses ini lebih ringan.
Secara keseluruhan, pengenalan fitur verifikasi ZK pada Bitcoin adalah suatu keharusan, tetapi jalur implementasinya masih perlu dieksplorasi dan disempurnakan lebih lanjut. Terlepas dari solusi apa yang diambil, tujuan akhirnya adalah untuk membuat Bitcoin menjadi lebih praktis dan mendukung lebih banyak skenario penerapan.
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.
12 Suka
Hadiah
12
6
Posting ulang
Bagikan
Komentar
0/400
ChainComedian
· 7jam yang lalu
btc play people for suckers juga cukup baik
Lihat AsliBalas0
NFTArtisanHQ
· 19jam yang lalu
menarik bagaimana teknologi zk mencerminkan siap-siap Duchamp... keduanya menantang paradigma yang mapan sejujurnya
Lihat AsliBalas0
TokenSleuth
· 19jam yang lalu
zk ini akhirnya akan berjalan!
Lihat AsliBalas0
GasBankrupter
· 19jam yang lalu
Masih ada, gas lagi naik.
Lihat AsliBalas0
0xSunnyDay
· 19jam yang lalu
Tidak perlu, mengapa harus mengubah Bitcoin?
Lihat AsliBalas0
DaoGovernanceOfficer
· 19jam yang lalu
*sigh* secara empiris, kita sudah membahas debat zk ini sejak 2021... kesehatan protokol > suasana komunitas
Eksplorasi Jalur Implementasi Verifikasi ZK Bitcoin: Perbandingan Skema OP_CAT dan BitVM
Bitcoin mendukung eksplorasi jalur verifikasi ZK
Bitcoin sebagai sistem sosial, stabilitas operasinya bergantung pada konsensus orang-orang mengenai esensinya dan visinya. Namun, Bitcoin masih menghadapi banyak tantangan, seperti biaya transaksi yang mahal, perlindungan privasi yang tidak memadai, dan masalah lainnya. Untuk mengatasi masalah ini, komunitas telah mengusulkan berbagai solusi perbaikan, di mana teknologi ZK dan SNARKs dianggap yang paling efektif.
Perubahan pada protokol Bitcoin sangat sulit, memerlukan konsensus tinggi dari komunitas. Oleh karena itu, menjelajahi cara untuk meningkatkan kinerja Bitcoin tanpa mengubah protokol menjadi masalah kunci. Model UTXO dan bahasa skrip Bitcoin membatasi fungsinya, tidak dapat langsung mendukung verifikasi SNARK.
Saat ini ada dua jalur utama yang mungkin mewujudkan Bitcoin mendukung verifikasi ZK:
Selain itu, teknologi Chain State Proofs yang menggabungkan ZK dapat secara signifikan mengurangi biaya operasional node, merupakan bagian penting dari implementasi BitVM. Solusi "header chain Proofs" yang diusulkan oleh tim ZeroSync lebih lanjut membuat proses ini lebih ringan.
Secara keseluruhan, pengenalan fitur verifikasi ZK pada Bitcoin adalah suatu keharusan, tetapi jalur implementasinya masih perlu dieksplorasi dan disempurnakan lebih lanjut. Terlepas dari solusi apa yang diambil, tujuan akhirnya adalah untuk membuat Bitcoin menjadi lebih praktis dan mendukung lebih banyak skenario penerapan.