BOB mengumumkan bahwa ini akan menjadi proyek rollup pertama yang menggunakan bukti ZK sebagai bukti penipuan dengan mengintegrasikan arsitektur Kailua RISC Zero

Pada 25 Juli, BOB (Build on Bitcoin) mengumumkan kerja sama dengan infrastruktur zero-knowledge proof RISCZero, yang akan menjadi proyek rollup pertama di industri yang menggunakan zero-knowledge proofs sebagai bukti penipuan dengan mengintegrasikan Kailua, kerangka kerja arsitektur hybrid yang diluncurkan oleh RISC Zero. Ini akan secara signifikan menghemat waktu dan biaya pada pengaturan yang ada dan dapat mengurangi waktu penarikan dari 7 hari biasa menjadi 1 jam. Ini adalah langkah kunci bagi BOB untuk mengimplementasikan Rollup Phase 1 dan 2 di L2beat.

Dilaporkan bahwa Kailua adalah ekstensi tumpukan OP yang dibangun oleh RISC Zero menggunakan lapisan komputasi yang dapat diverifikasi Boundless network, yang merupakan arsitektur hybrid (yaitu, Hybrid Rollup) yang dapat meningkatkan Optimistic Rollups ke Hybrid ZK Rollups, yang menggabungkan keunggulan Optimistic Rollups dan ZK Rollups untuk mencapai penyelesaian blockchain dan penyelesaian sengketa yang efisien. Ini mencoba menyeimbangkan menelan daun tinggi, biaya rendah, dan keamanan tinggi dengan menggunakan Optimistic Rollups untuk memproses transaksi dengan cepat secara default dan mengaktifkan bukti ZK jika terjadi perselisihan atau kebutuhan untuk penyelesaian cepat. Secara sederhana, ia memiliki kemampuan untuk mengintegrasikan manfaat rollup ZK untuk Optimistic Rollup yang ada.

Salah satu fitur terpenting adalah dapat mempersingkat siklus penyelesaian dari periode tantangan 7 hari asli menjadi minimal 1 jam, dan untuk jaringan Optimistic Rollup yang mengintegrasikan Kailua, tidak perlu khawatir dengan biaya pembuatan bukti ZK secara berkelanjutan karena diimplementasikan sesuai permintaan.

BOB adalah rantai pertama yang menggunakan bukti pengetahuan nol (ZK). Pendekatan baru ini menawarkan yang terbaik dari kedua dunia melalui Optimistic Rollups, yang lambat ditarik dan mahal untuk anti-penipuan, dan ZK Rollups, yang mahal untuk dijalankan.

BOB dengan sempurna menggabungkan efisiensi (lebih murah untuk mengajukan proposal dibandingkan dengan validitas rollup) dan keamanan (membuktikan kebenaran blok jika terjadi penipuan). Selain itu, bukti ZK harganya jauh lebih murah daripada game biner on-chain di platform Optimism atau Ink (kurang dari $100, dibandingkan dengan sekitar $1 juta untuk yang terakhir).

Tiga keuntungan:

• Siapa pun dapat menantang proposal sequencer BOB dengan margin serendah 0,5 ETH, tanpa memerlukan ratusan ETH seperti bukti penipuan pengetahuan non-nol.

• Jika terjadi tantangan, penyelesaian bukti penipuan dapat diselesaikan hanya dalam satu transaksi di Ethereum, sehingga dapat diselesaikan dalam hitungan menit, dibandingkan dengan jam atau hari dan beberapa transaksi untuk versi non-zero-knowledge.

• Dalam jangka panjang, waktu penarikan BOB dapat dikurangi secara signifikan karena solusi penipuan on-chain cepat dan murah. Perkiraan waktu penarikan awal adalah 4 hari, tetapi setelah sistem stabil, dapat dipersingkat menjadi beberapa jam.

Prinsip kerja:

• Kailua memperkenalkan desain game anti kesalahan baru yang dikembangkan sendiri untuk memberikan keamanan kelas satu untuk pemesanan transaksi rollup.

• BOB akan menggunakan bukti bukti penipuan zero-knowledge proofs (ZK), bukan beberapa transaksi dalam game biner Optimism.

• Bukti tanpa pengetahuan memungkinkan BOB untuk merampingkan mekanisme anti kesalahan ke satu transaksi di Ethereum daripada beberapa transaksi dalam permainan biner.

• Proses khusus:

1. Untuk setiap pos pemeriksaan, sequencer BOB (dijalankan oleh Conduit) akan mengusulkan rantai kanonik baru untuk ketinggian tertentu.

2. Siapa pun dapat menggunakan biner Kailua untuk membuat proposal lain untuk memperdebatkan rantai kanonik. Membuat proposal memerlukan setoran setoran dalam ETH di Layer1. Pengaturan awal adalah 0,5 ETH, yang memudahkan siapa saja untuk menantang dan secara signifikan menurunkan penghalang masuk untuk verifikasi tanpa izin.

3. Ketika ada proposal yang bertentangan pada ketinggian yang sama, penantang atau validator (dijalankan oleh Conduit) akan menghasilkan bukti pengetahuan nol (menggunakan algoritma Boundless) untuk memecahkan masalah rantai kanonik. Karena struktur BOB bergantung pada urutan transaksi dikodekan pada Layer1, hanya satu rantai yang valid yang dapat ada. Uang jaminan pengusul atau penantang yang salah akan hangus.

Alexei Zamyatin, salah satu pendiri BOB dan anggota pendiri BitVM Alliance, mengatakan: "Dengan peluncuran sistem bukti yang berfungsi penuh, BOB L2 akan memiliki keamanan Ethereum penuh. Ini berarti bahwa BOB akan tetap berada di lapisan L2 fase 0, sementara sebagian besar lapisan L2 lainnya akan dipindahkan ke kategori lain di L2Beat. Rollup fase 1 hanya tunduk pada peluncuran Komite Keamanan, yang akan diumumkan dalam waktu dekat. Rollup di Fase 2 cukup membuka proses proposal untuk siapa saja. ”

Tim RISC Zero percaya bahwa Kailua meningkatkan Optimistic Rollup untuk menggunakan bukti pengetahuan nol (ZK Fault Proofs) yang didukung oleh RISC Zero zkVM. Pilihan pasar saat ini untuk solusi rollup adalah Optimistic Rollup atau ZK Rollup. Optimistic Rollup mendominasi pasar saat ini karena biayanya yang rendah dan throughputnya yang tinggi, tetapi memerlukan jendela tantangan 7 hari, yang menunda finalitas dan membatasi interoperabilitas. Rollup ZK dapat memberikan finalitas yang cepat, tetapi menghasilkan bukti ZK untuk setiap blok menimbulkan biaya tambahan yang signifikan, dan rollup throughput tinggi dapat menelan biaya jutaan dolar atau lebih.

Sekarang metode ketiga ditayangkan di BOB, ini adalah solusi yang didukung oleh arsitektur Kailua RISC Zero, yang menggabungkan keunggulan dari kedua pendekatan: Optimistic ZK Rollups memiliki biaya pengoperasian yang rendah dari sistem Optimistic Rollup dan finalitas ZK Rollups yang cepat.