Menurut Blockworks, Bitcoin saat ini tidak memiliki jaringan lapisan-2 yang serupa dengan yang ada di Ethereum, terutama karena solusi penskalaan yang ada tidak mewarisi model keamanan Bitcoin. Rollup Ethereum yang memposting data transaksi ke mainnet Ethereum secara langsung memanfaatkan keamanannya, memastikan bahwa eksekusi transaksi yang benar pada lapisan ini diamankan oleh mekanisme yang sama yang melindungi lapisan dasar. Sebaliknya, solusi “lapisan-2” Bitcoin, seperti Liquid Network dan Rootstock (RSK), secara teknis merupakan sidechain. Mereka beroperasi secara independen dari Bitcoin, menggunakan validator atau penambang mereka sendiri. Meskipun mereka mungkin membagikan tingkat hash penambangan atau snapshot pos pemeriksaan ke dalam Bitcoin, mereka pada dasarnya menawarkan tingkat keamanan yang berbeda. Inovasi seperti BitVM dapat meningkatkan jembatan kepercayaan yang diminimalkan dari Bitcoin, namun untuk memungkinkan solusi lapisan-2 yang bonafid pada Bitcoin, peningkatan protokol diperlukan. Peningkatan ini akan memperkenalkan perjanjian – 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 seperti Ethereum.

StarkWare menggambarkan tonggak penting pada hari Rabu dalam keberhasilan memverifikasi bukti nol-pengetahuan pertama menggunakan pemverifikasi STARK baru di jaringan pengujian Bitcoin, Signet. Pencapaian ini menyusul penelitian selama tiga bulan tentang potensi OP_CAT, salah satu usulan peningkatan Bitcoin. Verifikator 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 verifikasi telah diterbitkan melalui Github.

Chen mencatat bahwa penelitian ini sungguh luar biasa. “Kami memulainya dari nol. Tidak ada informasi tentang bukti zk pada Bitcoin atau operasi matematika yang diperlukan. Kami harus membangun tumpukan penuh yang mengarah pada penerapan verifikator STARK,” katanya. Verifikator baru ini menggunakan Circle STARK — bukti kriptografi yang secara signifikan mempercepat proses pembuktian. 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 dalam deret kuadrat Fibonacci — atau 21.783.0922 — namun tim berencana untuk terus mendemonstrasikan berbagai macam perhitungan yang pada akhirnya dapat menjadi dasar dari masalah virtual. mesin. Sampai saat itu tiba, pemegang bitcoin yang ingin terlibat dalam DeFi dapat melakukannya melalui serangkaian pendekatan lain yang bertujuan membawa BTC ke jaringan lain, yang masing-masing memiliki keuntungannya sendiri.