Bitcoin saat ini tidak memiliki jaringan lapisan-2 yang sebenarnya (seperti istilah yang digunakan pada Ethereum) terutama karena solusi penskalaan yang ada tidak mewarisi model keamanan Bitcoin. Tidak terlalu.*
Gulungan Ethereum yang menyiarkan data transaksi ke mainnet Ethereum secara langsung memanfaatkan keamanannya, memastikan bahwa eksekusi transaksi yang benar pada lapisan ini dijamin oleh mekanisme yang sama yang melindungi lapisan dasar.
Solusi “lapisan-2” Bitcoin, seperti Liquid Network dan Rootstock (RSK), secara teknis rantai samping. Mereka beroperasi secara independen dari Bitcoin, menggunakan validator atau penambang mereka sendiri. Tentu saja, mereka mungkin berbagi tingkat hash penambangan, atau snapshot pos pemeriksaan ke dalam Bitcoin, tetapi pada dasarnya tingkat keamanannya berbeda.
Inovasi seperti BitVM dapat meningkatkan konektivitas yang diminimalkan kepercayaan dari Bitcoin, namun untuk memungkinkan solusi lapisan-2 yang bonafid pada Bitcoin, diperlukan peningkatan protokol. Peningkatan ini akan memperkenalkan perjanjian – sebuah mekanisme yang membatasi bagaimana BTC dapat dibelanjakan – yang memungkinkan interoperabilitas yang aman dan meminimalkan kepercayaan serta memungkinkan Bitcoin untuk mendukung infrastruktur lapisan-2 yang kuat mirip dengan Ethereum.
StarkWare menggambarkan sebuah pencapaian pada hari Rabu dalam keberhasilan memvalidasi bukti tanpa pengetahuan pertama menggunakan validator STARK baru di jaringan pengujian Bitcoin, Signet. Pencapaian ini menyusul penelitian selama tiga bulan mengenai potensi OP_CAT, salah satu proposal peningkatan Bitcoin.
Validator StarkWare, yang dikembangkan bekerja sama dengan Weikeng Chen dari perusahaan ventura L2 Iterative, adalah aplikasi praktis skala besar pertama dari opcode ini, kata StarkWare dalam sebuah pernyataan. Hal ini menunjukkan potensi untuk mendukung pengembangan solusi lapisan-2 berbasis zk untuk Bitcoin.
“Metodologi verifikasi jenis ini benar-benar berbeda dari apa yang telah dieksplorasi oleh solusi penskalaan lain di jaringan Bitcoin karena tidak memerlukan penggunaan bukti penipuan atau keaktifan,” kata perusahaan tersebut, seraya menambahkan bahwa kode untuk validatornya telah diterbitkan melalui Github.
Chen mencatat bahwa penelitiannya berjalan dengan baik. “Kami memulainya dari nol. Tidak ada informasi tentang bukti zk pada Bitcoin atau operasi matematika yang diperlukan. Kami harus membangun xstack penuh yang mengarah pada penerapan validator STARK,” katanya.
Validator baru menggunakan Circle STARKs — bukti kriptografi yang secara signifikan mempercepat proses pemeriksaan. Mereka juga akan digunakan dalam Prover STARK generasi berikutnya dari StarkWare, Stwo.
Demo saat ini hanya memverifikasi solusi untuk masalah matematika diskrit: angka ke-32 masuk Fibonacci urutan kotak — atau 21.783.0922 — namun tim berencana untuk terus mendemonstrasikan berbagai komputasi yang pada akhirnya dapat menjadi dasar mesin virtual.
Sampai saat itu, pemegang bitcoin yang ingin terlibat dalam DeFi dapat melakukannya melalui berbagai pendekatan lain yang bertujuan untuk membawa BTC ke dalamnya jaringan lainmasing-masing dengan pertukarannya sendiri.
*Lawan mungkin berdebat.
