Analisis protokol verifikasi BOLD: bagaimana membuat Arbitrum lebih terdesentralisasi?

Penulis: @francescoweb3 / Sumber:

Terjemahan: Huohuo/Blockchain dalam bahasa sehari-hari

**Arbitrum menjadi lebih terdesentralisasi: menggunakan BOLD untuk verifikasi tanpa izin. **Meskipun ini mungkin bukan minggu dengan nama seperti BALD, ini adalah pembaruan besar untuk desain Arbitrum ⬇️

BOLD adalah singkatan dari Bounded Liquidity Delay, dan seperti namanya, ini adalah “protokol perselisihan” yang memberi Arbitrum kemampuan verifikasi tanpa izin.

1. Mengapa Anda membutuhkan BOLD?

Secara sederhana, semua Rollup yang optimis menyelesaikan keadaan mereka di Ethereum. **Bagaimana mereka memastikan transaksi itu valid? Melalui apa yang disebut sistem bukti penipuan. **

Dalam praktiknya, ini terjadi melalui sekumpulan entitas yang disebut validator. Validator ini mengeluarkan pernyataan tentang status L2 dan mengonfirmasi melalui kontrak pintar bahwa pernyataan ini benar.

Kemudian, ada periode tantangan 7 hari (atau periode jeda) di mana validator lain benar-benar dapat menggugat klaim ini, dan jika ada ketidaksesuaian, proses penyelesaian sengketa dimulai.

Jika klaim dikonfirmasi, status L2 dianggap benar dan penyelesaian selesai di Ethereum.

Ini adalah proses verifikasi melalui bukti penipuan yang menyebabkan penundaan ~7 hari dalam menjembatani secara alami antara Arbitrum dan Ethereum ⏰.

Protokol perselisihan melibatkan pihak yang mengirimkan bukti penipuan ke Ethereum untuk menentukan hasil yang valid dari transaksi L2.

**Apa masalahnya? Saat ini, verifikasi melalui bukti penipuan memerlukan izin di Arbitrum One dan Nova. **

Alasannya adalah untuk melindungi protokol perselisihan dari penolakan serangan layanan. Jika validator jahat terus membelanjakan dana untuk mencegah klaim dikonfirmasi, penarikan L2 ke Ethereum akan diblokir, dan meskipun mereka memiliki cukup dana, proses ini dapat berlanjut hampir dalam waktu yang lama.

Ini disebut serangan tunda, dan mencoba menghentikan progres protokol Rollup dengan “mencoba mencegah atau menunda konfirmasi hasil apa pun.” Serangan ini dirancang untuk mencegah validator mengirimkan bukti penipuan, sehingga status L2 tidak dapat dikonfirmasi dan diselesaikan ke Ethereum.

Memang, beralih ke verifikasi tanpa izin memerlukan protokol yang tahan terhadap serangan tunda, seperti BOLD.

BOLD adalah metode verifikasi L2 tanpa izin baru.

Ini memungkinkan Arbitrum untuk:

• 💓 Menjamin keamanan dan keaktifan rantai
• 🛰️ Meminimalkan keterlambatan pelunasan negara
• ✋ Mencegah pihak yang tidak jujur menaikkan biaya kepada pihak yang jujur.

Faktanya, BOLD dapat membantu mendesentralisasi rantai Arbitrum dengan memberikan “konfirmasi tertunda tambahan tetap selama 7 hari” yang kebal terhadap serangan tunda.

Ini dicapai dengan mengaktifkan “sengketa all-to-all” yang efisien, di mana bahkan satu validator yang jujur pun dapat memenangkan sengketa dengan sejumlah klaim jahat.

Oleh karena itu, BOLD dapat secara efisien menyelesaikan perselisihan antara banyak pihak dalam satu proses tanpa bergantung pada tantangan satu lawan satu sebelumnya.

BOLD meminta semua pihak pendukung pernyataan tertentu untuk berjuang bersama “sebagai satu tim”.

Oleh karena itu, setiap perselisihan dalam BOLD terkait dengan eksekusi “deterministik” dari status L2, bukan dengan staker atau entitas tertentu.

Ini berarti bahwa siapa pun yang setuju dengan suatu negara dapat membenarkannya sebelum menemukan satu titik ketidakkonsistenan.

Oleh karena itu, karena perselisihan dalam BOLD dilakukan sebagai bagian dari keseluruhan tim, setiap tindakan yang disepakati atas nama tim didukung oleh setiap anggota tim yang jujur.

Sifat deterministik dari status L2 yang benar berarti bahwa pihak yang jujur akan selalu menang jika mereka berpartisipasi, karena pihak jahat tidak dapat memalsukan bukti pelaksanaan transaksi.

Rancangan ini lebih efisien karena masing-masing pihak dapat “diam-diam mengandalkan pihak lain untuk mewakili posisinya tanpa khawatir pihak tersebut akan dengan sengaja menggagalkan tantangan”.

Pemahaman mendalam tentang BOLD⬇️

Alih-alih dipandang sebagai protokol tantangan antara pihak yang berbeda, protokol BOLD harus dipahami sebagai kompetisi antara “tepi”, di mana tujuan peserta adalah memilih sisi yang benar sebagai pemenang.

Bagaimana proses ini bekerja di latar belakang?

1. “Edge” adalah struktur data utama dalam protokol tantangan.
2. Tujuan dari BOLD adalah untuk mengonfirmasi tepi yang sesuai dengan perhitungan yang benar dan mencegah tepi yang salah dikonfirmasi.
3. BOLD melacak keadaan tepi, tetapi tidak mengikat tepi ke pihak tertentu.
4. Tepi diklasifikasikan menurut hubungannya dengan eksekusi yang benar.
5. Protokol tidak mengetahui kategori mana yang termasuk dalam edge, tetapi peserta yang jujur \u200b\u200bdapat mengetahuinya.
6. Sebuah edge memiliki “Komitmen Sejarah Awal” dan “Komitmen Sejarah Akhir”.
7. Suatu sisi dapat dibuktikan jika awal dan akhir keduanya benar, menyimpang jika hanya awal yang benar, dan tidak relevan jika keduanya salah.
8. Untuk membenarkan protokol: 8.1 Teorema Keamanan: Tidak ada penyimpangan dari margin yang dapat diidentifikasi. 8.2 Teorema Waktu Penyelesaian: Honest edge dapat dikonfirmasi sebelum tenggat waktu tertentu.

BOLD Infrastruktur

2. Kesimpulan

BOLD mencapai latensi optimal yang terikat pada hasil konfirmasi, dan juga secara linier membatasi pekerjaan yang diminta oleh pihak yang jujur dalam hal keuntungan yang disita oleh pihak lawan.