Bitcoin akan mendapatkan Rollup Zero Knowledge (ZK). Baru-baru ini, dua proyek berbeda telah menghidupkan perkembangan ini, sebuah perkembangan yang tidak hanya dapat membantu skala Bitcoin lebih besar lagi, namun juga memberikan jaminan privasi tambahan kepada pengguna yang memutuskan untuk menggunakannya.
Chainway minggu lalu mengumumkan open-source Adaptor Ketersediaan Data (DA), sebuah teknologi yang memungkinkan pengembang memanfaatkan keamanan dan finalitas Bitcoin untuk mengembangkan Rollup menggunakan Sovereign Software Development Kit (SDK). Sovereign memberi pengembang layanan gabungan untuk membuat berbagai jenis Rollup, sementara peluncuran Chainway bertujuan untuk mengaktifkan ZK Rollup pertama Bitcoin.
Kasar Labs, bekerja sama dengan Taproot Wizards, secara kebetulan merilis adaptor DA untuk Bitcoin pada saat yang bersamaan. Adaptor ini memungkinkan pengembang untuk menyambungkan tumpukan Madara ke Bitcoin untuk menjalankan Starknet Rollup berdasarkan bahasa pemrograman Kairo yang dibuat oleh StarkWare.
Apa itu ZK Rollup?
Rollup mengelompokkan dan mempublikasikan transaksi Bitcoin non-standar (seperti transaksi dari sidechain tertentu) ke dalam blok-blok di blockchain yang mendasarinya (seperti Bitcoin). Hal ini sangat mengurangi biaya komputasi untuk memverifikasi transaksi ini, sekaligus mendapatkan manfaat dari keamanan blockchain Layer-1 sampai batas tertentu. Dalam hal ini, transaksi Rollup ada di Bitcoin. Pengguna kemudian akan menjalankan node untuk sidechain tersebut, yang mengetahui cara menafsirkan data yang diposting ke Bitcoin dan membangun saldo akun. Namun, ini berarti setiap orang memerlukan node penuh yang menjalankan protokol lain ini, yang tidak dapat diskalakan. Di sinilah ZK berperan.
ZK Rollup menggunakan bukti tanpa pengetahuan, bukti kriptografi yang memastikan integritas komputasi tanpa mengorbankan privasi. Hal ini memungkinkan pembuktian untuk membuktikan kepada pemverifikasi kebenaran pernyataan komputasi dengan kepastian matematis tanpa mengungkapkan rincian informasi spesifik yang digunakan untuk menghitung pembuktian. Dalam konteks Rollup, hal ini sangat penting karena hanya mengharuskan pengamat mengetahui bukti akhir untuk memverifikasi pernyataan atau transaksi tersebut. Menggunakan bukti ZK memungkinkan orang yang menggunakan Rollup mendapatkan bukti status terbaru dari Bitcoin dengan kepastian matematis dengan tetap menjaga privasi sepenuhnya.
Manfaat ZK Rollup termasuk tidak perlunya pengguna online untuk menerima pembayaran, hanya data pembayaran on-chain jika memungkinkan, tidak perlu mengelola likuiditas, dan tidak bergantung pada biaya rendah dari lapisan dasar Bitcoin. Selain itu, dengan menggunakan ZK Rollup, pengembang dapat menambahkan lingkungan pemrograman apa pun yang diinginkan di atas Bitcoin, seperti kontrak pintar lengkap Turing.
Pembuktian ZK menggunakan dua teknik matematika utama: SNARK dan STARK. Argumen pengetahuan non-interaktif yang ringkas dan ringkas, mendahului yang terakhir dan digunakan dalam mata uang kripto seperti Zcash, sehingga memberikan privasi tingkat tinggi kepada pengguna. Argumen pengetahuan transparan yang dapat diskalakan dikembangkan kemudian untuk memberikan keamanan dan skalabilitas yang lebih baik selain privasi yang diinginkan. Hal ini karena SNARK mengandalkan pengaturan tepercaya untuk menghasilkan bukti, sedangkan STARK bertujuan untuk tidak dapat dipercaya sepenuhnya. Terakhir, SNARK rentan terhadap komputasi kuantum, tetapi STARK aman untuk kuantum.
Mengingat sejarah Bitcoin yang hampir gagal dan resistensi terhadap reorganisasi mendalam, ini adalah mata uang kripto yang paling cocok untuk transaksi rollup, yang mengandalkan rantai utama untuk mengakses data penting yang perlu dibelanjakan pengguna. Rantai utama juga memastikan bahwa Rollup tetap aktif dan tersedia.
Untuk mengimplementasikan ZK Rollup dengan benar pada Bitcoin dan memungkinkan pengguna menjembatani Bitcoin mereka di antara Rollup tanpa kepercayaan, diperlukan soft fork Bitcoin. Soft fork ini akan menambahkan opcode baru ke cryptocurrency tertua, membuat Bitcoin sendiri sadar dan mampu memverifikasi bukti ZK. Jika ini terjadi, pengguna hanya perlu menjalankan node Bitcoin untuk dapat memverifikasi secara kredibel bukti yang dikeluarkan oleh rollup tertentu, mempelajari akun dan saldo mereka, dan dapat menarik dana dari rollup.
Kedua proyek yang disebutkan di bagian pertama tidak berasumsi bahwa Bitcoin akan mengalami perubahan konsensus. Sebaliknya, mereka memanfaatkan protokol Ordinals untuk menghindari kebutuhan akan opcode baru. Lebih khusus lagi, mereka memanfaatkan konsep amplop tertulis yang diperkenalkan oleh Ordinals, sebuah inovasi yang memungkinkan pengembang dan pengguna merangkum semua jenis data dengan menggunakan tanda tertentu dan beberapa opcode. Dalam prasasti Ordinal, tanda ini adalah "ord".
Bendera dan opcode di awal amplop memiliki tujuan ganda. Pertama, mereka memberi tahu node Bitcoin bahwa mereka dapat melewati sejumlah informasi yang tidak relevan dengan jaringan Bitcoin. Kedua, hal ini mempunyai efek sebaliknya pada pengguna dan aplikasi yang mengetahui amplop tersebut, dengan memberi tahu mereka bahwa amplop tersebut berisi konten yang menarik bagi mereka. Dalam kasus ZK Rollup, pengguna dapat memindai blok Bitcoin untuk amplop ini, mempelajari status terbaru dari rollup tersebut, dan menggunakan bukti ZK untuk verifikasi matematis.
Sekarang setelah kita memahami bukti ZK, mari kembali ke dua proyek yang disebutkan sebelumnya dan jelajahi aspek unik dari desainnya.
BERDAULAT
Sovereign SDK sendiri memiliki tiga tujuan utama. Pertama, ini bertujuan untuk menyediakan antarmuka standar untuk komunikasi antara Rollup dan lapisan DA, sehingga memudahkan Rollup untuk diterapkan pada lapisan DA baru dan memungkinkan rantai baru untuk mendukung Rollup yang ada. Kedua, terintegrasi dengan kompiler kriptografi untuk mengubah logika bisnis kode menjadi bentuk yang dapat diverifikasi secara kriptografis. Terakhir, ia menyediakan implementasi default dari primitif blockchain umum seperti token, token yang tidak dapat dipertukarkan, dan jembatan lintas rantai.
Seperti disebutkan sebelumnya, adaptor DA Chainway dirancang untuk memudahkan aplikasi yang dibangun menggunakan Sovereign SDK untuk terhubung ke Bitcoin. Dengan kata lain, adaptor memungkinkan Sovereign Rollup untuk memanfaatkan Bitcoin sebagai lapisan DA-nya, yang sebelumnya tidak mungkin dilakukan. Ketersediaan data sangat penting bagi Rollup karena memungkinkan verifikasi perhitungan tepercaya yang dilakukan di luar rantai utama, dan merupakan persyaratan bagi pengguna untuk dapat memverifikasi atau mengubah saldo dan menarik dana dari Rollup.
Agar transaksi Sovereign Rollup dapat dimasukkan ke dalam blok Bitcoin, pengguna meneruskan transaksi mereka ke apa yang disebut sequencer. Sequencer dijalankan oleh yayasan itu sendiri dalam desain adaptor DA Chainway dan bertanggung jawab untuk membangun hubungan antara rantai samping dan Bitcoin, memastikan bahwa semua transaksi yang diteruskan oleh pengguna dipublikasikan ke Bitcoin dalam bentuk bukti ZK.
Kedengarannya agak tersentralisasi, dan memang demikian adanya. Namun, mengingat adanya teknologi bukti validitas yang dikenal sebagai ZK-STARKs, sequencer sebenarnya tidak dapat bertindak jahat. Sebab, pengesahan tersebut secara pribadi menegaskan keabsahan transaksi dan dapat diverifikasi oleh siapa pun. Misalnya, sequencer tidak dapat menyalahgunakan dana pengguna atau melakukan transaksi yang tidak sah. Namun, mereka secara teoritis dapat menyensor transaksi pengguna dengan tidak memasukkannya ke dalam blok Bitcoin dan menyimpan data tersebut. Jika hal ini terjadi, pengguna dapat memilih untuk mempublikasikan data transaksinya ke dalam Bitcoin dengan mencatat informasi tersebut ke dalam Bitcoin.
Chainway mengatakan bahwa di masa depan mereka berencana untuk menerapkan penyortiran terdesentralisasi melalui sekelompok kecil penyortir, dan partisipasi akan dilakukan tanpa izin dan berdasarkan pertaruhan.
STARKNET
Seperti Sovereign, Starknet juga dirancang untuk memungkinkan pembangunan Rollup. Namun, Starknet adalah ekosistem yang lebih berpendirian keras yang mencakup komponen yang jelas seperti Kairo, CairoVM, dan Madara yang dapat digunakan oleh pengembang.
Starknet adalah ZK Rollup yang saat ini berjalan di Ethereum, yang berarti Rollup tersebut bergantung pada blockchain yang dibuat oleh Vitalik Buterin sebagai lapisan DA-nya. Ini memanfaatkan bukti STARK untuk memberikan asumsi privasi dan keamanan yang diperlukan kepada pengguna, serta meningkatkan skalabilitas dan mengurangi biaya transaksi dengan mengelompokkan transaksi sebelum menerbitkan bukti dan status baru ke Lapisan-1. Kairo adalah bahasa pemrograman lengkap Turing untuk menulis program yang dapat dibuktikan, di mana satu pihak dapat membuktikan kepada pihak lain bahwa perhitungan tertentu telah dilakukan dengan benar tanpa mengharuskan pihak tersebut menjalankan kembali program yang sama. Ini adalah platform tingkat produksi pertama yang menghasilkan bukti STARK untuk komputasi umum.
Mesin virtual Kairo menerima bytecode yang dihasilkan oleh kompiler dan menjalankannya di komputer. Output dari proses ini adalah jejak program, yang kemudian dapat dikirim ke generator bukti STARK untuk membuktikan validitas pernyataan yang diungkapkan dalam kode Kairo.
Madara adalah sequencer untuk tumpukan Starknet, membantu pengembang mendukung ZK Rollup berbasis Starknet.
Sampai saat ini, semua tumpukan perangkat lunak ini hanya tersedia di Ethereum. Kini, Kasar Labs dan Taproot Wizards telah meluncurkan adaptor DA untuk Bitcoin, yang dirancang untuk memungkinkan pengembang memasang Rollup yang dibuat menggunakan Starknet versi sumber terbuka ke jaringan mata uang kripto asli dan paling aman.
Apakah Bitcoin memerlukan ZK Rollup?
Pada dasarnya, Bitcoin tidak perlu melakukan hal tersebut. Ia bekerja dengan sangat baik pada kondisinya saat ini, dan tidak banyak alasan untuk berpikir bahwa Bitcoin memerlukan perubahan besar. Di sisi lain, skalabilitas adalah kebutuhan nyata, dan teknologi seperti Lightning Network telah terbukti sangat berguna dalam memungkinkan partisipasi lebih besar dari pengguna yang tidak dapat berpartisipasi dalam transaksi ekonomi Bitcoin.
ZK Rollup memberikan cara untuk melihat Bitcoin dari perspektif yang berbeda. Kedua proyek yang disebutkan di atas tidak memerlukan perubahan aktual apa pun pada Bitcoin itu sendiri, namun perubahan konsensus melalui pengenalan opcode baru akan diperlukan jika fungsionalitas penuh dari teknologi ini ingin direalisasikan. Saat ini, tampaknya penelitian teknologi Rollup berbasis tanpa pengetahuan ini mencoba untuk mendorong batas-batas potensial Bitcoin, yang merupakan hal yang baik untuk memperluas basis pengguna Bitcoin, seperti halnya Lightning Network.
Mirip dengan Lightning Network, Rollup berfungsi dengan menggabungkan beberapa transaksi menjadi satu dan menerbitkan satu umpan informasi ke Bitcoin. Tentu saja, ZK Rollup mengambil pendekatan yang sangat berbeda dari Lightning Network, dan memang demikian. Teknologi ini tidak mencoba untuk bersaing dengan pembayaran murah lapis kedua yang sudah terbukti disukai oleh pengguna Bitcoin. Sebaliknya, Rollup berfokus pada masalah lain dan mencoba memberikan solusi lain.
Bagi mereka yang ingin berbuat lebih banyak dengan Bitcoin, teknologi penskalaan ini, yang pada akhirnya memungkinkan penghitungan yang pribadi dan rumit serta mengandalkan bukti matematis, terdengar menarik. Meski begitu, menjembatani masuk dan keluarnya Bitcoin dari Rollup sepenuhnya tanpa kepercayaan akan bergantung pada opcode ini. Namun meski begitu, idenya tetap ada.
Tidak jelas apakah ZK Rollup akan mendapatkan daya tarik pada Bitcoin. Bitcoin sudah memiliki sidechain, dan Liquid telah aktif di Bitcoin selama beberapa tahun, namun volume transaksinya masih kecil. Dapat dikatakan bahwa dalam kasus Liquid, kehadiran model federasi merupakan suatu kelemahan, sedangkan ZK Rollup memiliki lebih banyak kelebihan dalam hal ini. Mungkin Rollup akan mengalami nasib yang sama seperti Liquid, yaitu volume perdagangan rendah dan bunga rendah, karena pengguna Bitcoin terus memilih untuk sekadar “HODL Bitcoin dan bertahan.” Atau bisa juga membuka babak baru dalam pengembangan dan penggunaan Bitcoin.
Terlepas dari keberhasilan atau kegagalan hasil akhirnya, mengeksplorasi pengembangan studi berkualitas tinggi ini adalah upaya yang wajar dan perlu. Apa pun hasilnya, Anda dapat mempelajari sesuatu yang baru darinya. Terlepas dari itu, satu hal yang pasti – Bitcoin akan terus melakukan hash dan menghasilkan blok, memungkinkan semua pengguna menikmati kepastian moneter dari uang tunai tanpa harus mempedulikan hal-hal ini.
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.
Penjelasan mendetail tentang solusi adaptor lapisan Bitcoin DA Chainway dan Kasar Labs: Bagaimana membantu Bitcoin mengimplementasikan ZK Rollup?
Ditulis oleh: Namcios
Disusun oleh: Deep Wave TechFlow
Bitcoin akan mendapatkan Rollup Zero Knowledge (ZK). Baru-baru ini, dua proyek berbeda telah menghidupkan perkembangan ini, sebuah perkembangan yang tidak hanya dapat membantu skala Bitcoin lebih besar lagi, namun juga memberikan jaminan privasi tambahan kepada pengguna yang memutuskan untuk menggunakannya.
Chainway minggu lalu mengumumkan open-source Adaptor Ketersediaan Data (DA), sebuah teknologi yang memungkinkan pengembang memanfaatkan keamanan dan finalitas Bitcoin untuk mengembangkan Rollup menggunakan Sovereign Software Development Kit (SDK). Sovereign memberi pengembang layanan gabungan untuk membuat berbagai jenis Rollup, sementara peluncuran Chainway bertujuan untuk mengaktifkan ZK Rollup pertama Bitcoin.
Kasar Labs, bekerja sama dengan Taproot Wizards, secara kebetulan merilis adaptor DA untuk Bitcoin pada saat yang bersamaan. Adaptor ini memungkinkan pengembang untuk menyambungkan tumpukan Madara ke Bitcoin untuk menjalankan Starknet Rollup berdasarkan bahasa pemrograman Kairo yang dibuat oleh StarkWare.
Apa itu ZK Rollup?
Rollup mengelompokkan dan mempublikasikan transaksi Bitcoin non-standar (seperti transaksi dari sidechain tertentu) ke dalam blok-blok di blockchain yang mendasarinya (seperti Bitcoin). Hal ini sangat mengurangi biaya komputasi untuk memverifikasi transaksi ini, sekaligus mendapatkan manfaat dari keamanan blockchain Layer-1 sampai batas tertentu. Dalam hal ini, transaksi Rollup ada di Bitcoin. Pengguna kemudian akan menjalankan node untuk sidechain tersebut, yang mengetahui cara menafsirkan data yang diposting ke Bitcoin dan membangun saldo akun. Namun, ini berarti setiap orang memerlukan node penuh yang menjalankan protokol lain ini, yang tidak dapat diskalakan. Di sinilah ZK berperan.
ZK Rollup menggunakan bukti tanpa pengetahuan, bukti kriptografi yang memastikan integritas komputasi tanpa mengorbankan privasi. Hal ini memungkinkan pembuktian untuk membuktikan kepada pemverifikasi kebenaran pernyataan komputasi dengan kepastian matematis tanpa mengungkapkan rincian informasi spesifik yang digunakan untuk menghitung pembuktian. Dalam konteks Rollup, hal ini sangat penting karena hanya mengharuskan pengamat mengetahui bukti akhir untuk memverifikasi pernyataan atau transaksi tersebut. Menggunakan bukti ZK memungkinkan orang yang menggunakan Rollup mendapatkan bukti status terbaru dari Bitcoin dengan kepastian matematis dengan tetap menjaga privasi sepenuhnya.
Manfaat ZK Rollup termasuk tidak perlunya pengguna online untuk menerima pembayaran, hanya data pembayaran on-chain jika memungkinkan, tidak perlu mengelola likuiditas, dan tidak bergantung pada biaya rendah dari lapisan dasar Bitcoin. Selain itu, dengan menggunakan ZK Rollup, pengembang dapat menambahkan lingkungan pemrograman apa pun yang diinginkan di atas Bitcoin, seperti kontrak pintar lengkap Turing.
Pembuktian ZK menggunakan dua teknik matematika utama: SNARK dan STARK. Argumen pengetahuan non-interaktif yang ringkas dan ringkas, mendahului yang terakhir dan digunakan dalam mata uang kripto seperti Zcash, sehingga memberikan privasi tingkat tinggi kepada pengguna. Argumen pengetahuan transparan yang dapat diskalakan dikembangkan kemudian untuk memberikan keamanan dan skalabilitas yang lebih baik selain privasi yang diinginkan. Hal ini karena SNARK mengandalkan pengaturan tepercaya untuk menghasilkan bukti, sedangkan STARK bertujuan untuk tidak dapat dipercaya sepenuhnya. Terakhir, SNARK rentan terhadap komputasi kuantum, tetapi STARK aman untuk kuantum.
Mengingat sejarah Bitcoin yang hampir gagal dan resistensi terhadap reorganisasi mendalam, ini adalah mata uang kripto yang paling cocok untuk transaksi rollup, yang mengandalkan rantai utama untuk mengakses data penting yang perlu dibelanjakan pengguna. Rantai utama juga memastikan bahwa Rollup tetap aktif dan tersedia.
Untuk mengimplementasikan ZK Rollup dengan benar pada Bitcoin dan memungkinkan pengguna menjembatani Bitcoin mereka di antara Rollup tanpa kepercayaan, diperlukan soft fork Bitcoin. Soft fork ini akan menambahkan opcode baru ke cryptocurrency tertua, membuat Bitcoin sendiri sadar dan mampu memverifikasi bukti ZK. Jika ini terjadi, pengguna hanya perlu menjalankan node Bitcoin untuk dapat memverifikasi secara kredibel bukti yang dikeluarkan oleh rollup tertentu, mempelajari akun dan saldo mereka, dan dapat menarik dana dari rollup.
Kedua proyek yang disebutkan di bagian pertama tidak berasumsi bahwa Bitcoin akan mengalami perubahan konsensus. Sebaliknya, mereka memanfaatkan protokol Ordinals untuk menghindari kebutuhan akan opcode baru. Lebih khusus lagi, mereka memanfaatkan konsep amplop tertulis yang diperkenalkan oleh Ordinals, sebuah inovasi yang memungkinkan pengembang dan pengguna merangkum semua jenis data dengan menggunakan tanda tertentu dan beberapa opcode. Dalam prasasti Ordinal, tanda ini adalah "ord".
Bendera dan opcode di awal amplop memiliki tujuan ganda. Pertama, mereka memberi tahu node Bitcoin bahwa mereka dapat melewati sejumlah informasi yang tidak relevan dengan jaringan Bitcoin. Kedua, hal ini mempunyai efek sebaliknya pada pengguna dan aplikasi yang mengetahui amplop tersebut, dengan memberi tahu mereka bahwa amplop tersebut berisi konten yang menarik bagi mereka. Dalam kasus ZK Rollup, pengguna dapat memindai blok Bitcoin untuk amplop ini, mempelajari status terbaru dari rollup tersebut, dan menggunakan bukti ZK untuk verifikasi matematis.
Sekarang setelah kita memahami bukti ZK, mari kembali ke dua proyek yang disebutkan sebelumnya dan jelajahi aspek unik dari desainnya.
BERDAULAT
Sovereign SDK sendiri memiliki tiga tujuan utama. Pertama, ini bertujuan untuk menyediakan antarmuka standar untuk komunikasi antara Rollup dan lapisan DA, sehingga memudahkan Rollup untuk diterapkan pada lapisan DA baru dan memungkinkan rantai baru untuk mendukung Rollup yang ada. Kedua, terintegrasi dengan kompiler kriptografi untuk mengubah logika bisnis kode menjadi bentuk yang dapat diverifikasi secara kriptografis. Terakhir, ia menyediakan implementasi default dari primitif blockchain umum seperti token, token yang tidak dapat dipertukarkan, dan jembatan lintas rantai.
Seperti disebutkan sebelumnya, adaptor DA Chainway dirancang untuk memudahkan aplikasi yang dibangun menggunakan Sovereign SDK untuk terhubung ke Bitcoin. Dengan kata lain, adaptor memungkinkan Sovereign Rollup untuk memanfaatkan Bitcoin sebagai lapisan DA-nya, yang sebelumnya tidak mungkin dilakukan. Ketersediaan data sangat penting bagi Rollup karena memungkinkan verifikasi perhitungan tepercaya yang dilakukan di luar rantai utama, dan merupakan persyaratan bagi pengguna untuk dapat memverifikasi atau mengubah saldo dan menarik dana dari Rollup.
Agar transaksi Sovereign Rollup dapat dimasukkan ke dalam blok Bitcoin, pengguna meneruskan transaksi mereka ke apa yang disebut sequencer. Sequencer dijalankan oleh yayasan itu sendiri dalam desain adaptor DA Chainway dan bertanggung jawab untuk membangun hubungan antara rantai samping dan Bitcoin, memastikan bahwa semua transaksi yang diteruskan oleh pengguna dipublikasikan ke Bitcoin dalam bentuk bukti ZK.
Kedengarannya agak tersentralisasi, dan memang demikian adanya. Namun, mengingat adanya teknologi bukti validitas yang dikenal sebagai ZK-STARKs, sequencer sebenarnya tidak dapat bertindak jahat. Sebab, pengesahan tersebut secara pribadi menegaskan keabsahan transaksi dan dapat diverifikasi oleh siapa pun. Misalnya, sequencer tidak dapat menyalahgunakan dana pengguna atau melakukan transaksi yang tidak sah. Namun, mereka secara teoritis dapat menyensor transaksi pengguna dengan tidak memasukkannya ke dalam blok Bitcoin dan menyimpan data tersebut. Jika hal ini terjadi, pengguna dapat memilih untuk mempublikasikan data transaksinya ke dalam Bitcoin dengan mencatat informasi tersebut ke dalam Bitcoin.
Chainway mengatakan bahwa di masa depan mereka berencana untuk menerapkan penyortiran terdesentralisasi melalui sekelompok kecil penyortir, dan partisipasi akan dilakukan tanpa izin dan berdasarkan pertaruhan.
STARKNET
Seperti Sovereign, Starknet juga dirancang untuk memungkinkan pembangunan Rollup. Namun, Starknet adalah ekosistem yang lebih berpendirian keras yang mencakup komponen yang jelas seperti Kairo, CairoVM, dan Madara yang dapat digunakan oleh pengembang.
Starknet adalah ZK Rollup yang saat ini berjalan di Ethereum, yang berarti Rollup tersebut bergantung pada blockchain yang dibuat oleh Vitalik Buterin sebagai lapisan DA-nya. Ini memanfaatkan bukti STARK untuk memberikan asumsi privasi dan keamanan yang diperlukan kepada pengguna, serta meningkatkan skalabilitas dan mengurangi biaya transaksi dengan mengelompokkan transaksi sebelum menerbitkan bukti dan status baru ke Lapisan-1. Kairo adalah bahasa pemrograman lengkap Turing untuk menulis program yang dapat dibuktikan, di mana satu pihak dapat membuktikan kepada pihak lain bahwa perhitungan tertentu telah dilakukan dengan benar tanpa mengharuskan pihak tersebut menjalankan kembali program yang sama. Ini adalah platform tingkat produksi pertama yang menghasilkan bukti STARK untuk komputasi umum.
Mesin virtual Kairo menerima bytecode yang dihasilkan oleh kompiler dan menjalankannya di komputer. Output dari proses ini adalah jejak program, yang kemudian dapat dikirim ke generator bukti STARK untuk membuktikan validitas pernyataan yang diungkapkan dalam kode Kairo.
Madara adalah sequencer untuk tumpukan Starknet, membantu pengembang mendukung ZK Rollup berbasis Starknet.
Sampai saat ini, semua tumpukan perangkat lunak ini hanya tersedia di Ethereum. Kini, Kasar Labs dan Taproot Wizards telah meluncurkan adaptor DA untuk Bitcoin, yang dirancang untuk memungkinkan pengembang memasang Rollup yang dibuat menggunakan Starknet versi sumber terbuka ke jaringan mata uang kripto asli dan paling aman.
Apakah Bitcoin memerlukan ZK Rollup?
Pada dasarnya, Bitcoin tidak perlu melakukan hal tersebut. Ia bekerja dengan sangat baik pada kondisinya saat ini, dan tidak banyak alasan untuk berpikir bahwa Bitcoin memerlukan perubahan besar. Di sisi lain, skalabilitas adalah kebutuhan nyata, dan teknologi seperti Lightning Network telah terbukti sangat berguna dalam memungkinkan partisipasi lebih besar dari pengguna yang tidak dapat berpartisipasi dalam transaksi ekonomi Bitcoin.
ZK Rollup memberikan cara untuk melihat Bitcoin dari perspektif yang berbeda. Kedua proyek yang disebutkan di atas tidak memerlukan perubahan aktual apa pun pada Bitcoin itu sendiri, namun perubahan konsensus melalui pengenalan opcode baru akan diperlukan jika fungsionalitas penuh dari teknologi ini ingin direalisasikan. Saat ini, tampaknya penelitian teknologi Rollup berbasis tanpa pengetahuan ini mencoba untuk mendorong batas-batas potensial Bitcoin, yang merupakan hal yang baik untuk memperluas basis pengguna Bitcoin, seperti halnya Lightning Network.
Mirip dengan Lightning Network, Rollup berfungsi dengan menggabungkan beberapa transaksi menjadi satu dan menerbitkan satu umpan informasi ke Bitcoin. Tentu saja, ZK Rollup mengambil pendekatan yang sangat berbeda dari Lightning Network, dan memang demikian. Teknologi ini tidak mencoba untuk bersaing dengan pembayaran murah lapis kedua yang sudah terbukti disukai oleh pengguna Bitcoin. Sebaliknya, Rollup berfokus pada masalah lain dan mencoba memberikan solusi lain.
Bagi mereka yang ingin berbuat lebih banyak dengan Bitcoin, teknologi penskalaan ini, yang pada akhirnya memungkinkan penghitungan yang pribadi dan rumit serta mengandalkan bukti matematis, terdengar menarik. Meski begitu, menjembatani masuk dan keluarnya Bitcoin dari Rollup sepenuhnya tanpa kepercayaan akan bergantung pada opcode ini. Namun meski begitu, idenya tetap ada.
Tidak jelas apakah ZK Rollup akan mendapatkan daya tarik pada Bitcoin. Bitcoin sudah memiliki sidechain, dan Liquid telah aktif di Bitcoin selama beberapa tahun, namun volume transaksinya masih kecil. Dapat dikatakan bahwa dalam kasus Liquid, kehadiran model federasi merupakan suatu kelemahan, sedangkan ZK Rollup memiliki lebih banyak kelebihan dalam hal ini. Mungkin Rollup akan mengalami nasib yang sama seperti Liquid, yaitu volume perdagangan rendah dan bunga rendah, karena pengguna Bitcoin terus memilih untuk sekadar “HODL Bitcoin dan bertahan.” Atau bisa juga membuka babak baru dalam pengembangan dan penggunaan Bitcoin.
Terlepas dari keberhasilan atau kegagalan hasil akhirnya, mengeksplorasi pengembangan studi berkualitas tinggi ini adalah upaya yang wajar dan perlu. Apa pun hasilnya, Anda dapat mempelajari sesuatu yang baru darinya. Terlepas dari itu, satu hal yang pasti – Bitcoin akan terus melakukan hash dan menghasilkan blok, memungkinkan semua pengguna menikmati kepastian moneter dari uang tunai tanpa harus mempedulikan hal-hal ini.