Memperkenalkan Verifikasi ZK: Tren yang Tak Terelakkan dari Protokol Bitcoin
Bitcoin sebagai sebuah sistem sosial, kestabilan operasinya bergantung pada konsensus orang-orang mengenai hakikat dan bentuknya yang seharusnya. Namun, masih ada perbedaan yang luas dan terus berkembang dalam masalah-masalah kunci.
Satoshi Nakamoto awalnya membayangkan Bitcoin sebagai sistem pembayaran elektronik P2P yang sepenuhnya baru. Namun, Bitcoin dalam desain produknya membatasi throughput data, mengakibatkan biaya transaksi yang mahal. Selain itu, data transaksi di blockchain Bitcoin sebagian besar mengekspos privasi pengguna, jauh dari konsep anonimitas yang awalnya diusulkan.
Untuk mengatasi masalah ini, komunitas Bitcoin telah mengusulkan banyak solusi perbaikan, di antara mana yang paling efektif secara teoritis adalah pengenalan teknologi terkait ZK dan SNARKs. Teknologi ini dapat secara signifikan meningkatkan privasi dan meningkatkan throughput transaksi. Namun, karena protokol Bitcoin sangat sulit untuk dimodifikasi, teknologi ini hingga saat ini belum berhasil dimasukkan ke dalam protokol Bitcoin.
Fungsi skrip Bitcoin terbatas, tidak dapat langsung memverifikasi SNARK. Meskipun secara teori dapat memverifikasi perhitungan apa pun, tetapi dalam praktiknya ukuran program yang diperlukan untuk verifikasi SNARK melebihi batas ukuran blok Bitcoin.
Untuk menerapkan verifikasi SNARK dalam Bitcoin, saat ini ada dua jalur yang mungkin:
Dengan mengaktifkan operasi kode sederhana seperti OP_CAT, meningkatkan fungsi skrip Bitcoin, sehingga dapat memverifikasi SNARK. OP_CAT dapat digunakan untuk memverifikasi bukti Merkle, yang membantu dalam memverifikasi SNARK berbasis FRI.
Dengan menggunakan teknologi BitVM, Anda dapat memverifikasi tugas komputasi apa pun tanpa mengubah protokol. BitVM menghindari batasan ukuran skrip melalui struktur Taproot MerkleTree dan solusi penyimpanan KV, serta menggunakan mekanisme bukti penipuan untuk memastikan keamanan.
Selain itu, teknologi Chain State Proofs yang diajukan oleh tim ZeroSync, dikombinasikan dengan ZK, dapat secara signifikan mengurangi beban kerja sinkronisasi dan verifikasi data sejarah Bitcoin, serta menurunkan biaya menjalankan node.
Secara keseluruhan, pengenalan verifikasi ZK adalah tren yang tak terhindarkan dalam protokol Bitcoin, namun jalur implementasi spesifik masih perlu diteliti dan didiskusikan lebih lanjut. Terlepas dari pilihan solusi mana yang diambil, tujuan akhirnya haruslah mendukung lebih banyak skenario yang dapat diterapkan dan meningkatkan kegunaan.
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.
19 Suka
Hadiah
19
3
Posting ulang
Bagikan
Komentar
0/400
NftDeepBreather
· 07-27 21:53
Tambah zk bisa naik berapa banyak
Lihat AsliBalas0
LiquidationAlert
· 07-25 15:42
BTC akan diupgrade lagi? Bagaimanapun juga, protokol tidak bisa diubah.
Lihat AsliBalas0
TxFailed
· 07-25 15:40
secara teknis... btc terjebak di 2009 sementara zk sudah menyelamatkan pengguna eth dari mimpi buruk privasi
ZK verifikasi: jalan yang harus dilalui untuk evolusi protokol Bitcoin
Memperkenalkan Verifikasi ZK: Tren yang Tak Terelakkan dari Protokol Bitcoin
Bitcoin sebagai sebuah sistem sosial, kestabilan operasinya bergantung pada konsensus orang-orang mengenai hakikat dan bentuknya yang seharusnya. Namun, masih ada perbedaan yang luas dan terus berkembang dalam masalah-masalah kunci.
Satoshi Nakamoto awalnya membayangkan Bitcoin sebagai sistem pembayaran elektronik P2P yang sepenuhnya baru. Namun, Bitcoin dalam desain produknya membatasi throughput data, mengakibatkan biaya transaksi yang mahal. Selain itu, data transaksi di blockchain Bitcoin sebagian besar mengekspos privasi pengguna, jauh dari konsep anonimitas yang awalnya diusulkan.
Untuk mengatasi masalah ini, komunitas Bitcoin telah mengusulkan banyak solusi perbaikan, di antara mana yang paling efektif secara teoritis adalah pengenalan teknologi terkait ZK dan SNARKs. Teknologi ini dapat secara signifikan meningkatkan privasi dan meningkatkan throughput transaksi. Namun, karena protokol Bitcoin sangat sulit untuk dimodifikasi, teknologi ini hingga saat ini belum berhasil dimasukkan ke dalam protokol Bitcoin.
Fungsi skrip Bitcoin terbatas, tidak dapat langsung memverifikasi SNARK. Meskipun secara teori dapat memverifikasi perhitungan apa pun, tetapi dalam praktiknya ukuran program yang diperlukan untuk verifikasi SNARK melebihi batas ukuran blok Bitcoin.
Untuk menerapkan verifikasi SNARK dalam Bitcoin, saat ini ada dua jalur yang mungkin:
Selain itu, teknologi Chain State Proofs yang diajukan oleh tim ZeroSync, dikombinasikan dengan ZK, dapat secara signifikan mengurangi beban kerja sinkronisasi dan verifikasi data sejarah Bitcoin, serta menurunkan biaya menjalankan node.
Secara keseluruhan, pengenalan verifikasi ZK adalah tren yang tak terhindarkan dalam protokol Bitcoin, namun jalur implementasi spesifik masih perlu diteliti dan didiskusikan lebih lanjut. Terlepas dari pilihan solusi mana yang diambil, tujuan akhirnya haruslah mendukung lebih banyak skenario yang dapat diterapkan dan meningkatkan kegunaan.