Penulis: @yyy

Coinbase mengumumkan bahwa mereka akan memasuki pasar dan membangun L2 berdasarkan OP Stack - @BuildOnBase Sentimen "Bullish on Optimism" sekali lagi tersulut. Mengambil kesempatan ini, tweet ini akan berbicara tentang masa tantangan Optimisme.

Seperti yang kita ketahui bersama, penarikan dana lapis kedua Optimism ke mainnet Ethereum memerlukan periode tantangan 7 hari.

Jadi kenapa tepatnya 7 hari? 3 hari? Bukan 5 hari?

Sebelum menjawab pertanyaan ini, mari kita pahami dulu mengapa periode tantangan diperlukan.

Rollup meningkatkan kinerja mainnet Ethereum dengan memisahkan lapisan eksekusi dari Ethereum. Artinya transaksi dieksekusi di lapisan kedua, namun untuk mewarisi keamanan jaringan utama Ethereum, transaksi yang terjadi di lapisan kedua harus diverifikasi di jaringan utama.

Sederhananya, mainnet Ethereum perlu mengonfirmasi bahwa transaksi yang dikirimkan oleh sequencer benar-benar terjadi pada lapisan kedua, yaitu validitas transaksi.

Rollup dibagi menjadi zk-Rollup dan Optimistic Rollup karena perbedaan metode verifikasi validitas transaksi.

Metode verifikasi terutama diklasifikasikan menjadi dua kategori: bukti tanpa pengetahuan dan bukti penipuan. Di bawah mekanisme bukti tanpa pengetahuan (zero-knowledge proof), transaksi memiliki penyelesaian yang hampir instan.

Untuk ORU berdasarkan bukti penipuan, penyelesaian transaksi bergantung pada lamanya periode tantangan, yang menjelaskan mengapa dana Optimisme memerlukan waktu 7 hari untuk ditarik dari lapisan kedua ke jaringan utama.

Melalui mekanisme ORUs, seluruh transaksi Rollup yang dikirimkan oleh sequencer optimistis valid. Kemudian selama periode tantangan, verifikator dapat melakukan pembuktian penipuan jika menemukan transaksi yang tidak valid.

Jika tidak ada yang menantang setelah periode tantangan, transaksi akan dianggap sah secara default, dan transaksi tersebut akan bersifat final pada saat ini.

Tapi apakah periode tantangannya benar-benar memakan waktu tujuh hari? Mari kita sederhanakan seluruh proses tantangan terlebih dahulu: pemverifikasi menemukan transaksi yang tidak valid dengan merekonstruksi akar status, lalu mengeluarkan bukti penipuan. Rangkaian tindakan ini membutuhkan waktu, artinya periode tantangan tidak boleh 0.

Kami berasumsi bahwa proses tantangan di atas sangat cepat, selesai 10 blok (sekitar 2 menit).

Tentu saja, tidak mungkin mendapatkan respons secepat itu, jadi jika kita memperlambat waktu sebanyak 10 kali lipat, menjadi 100 blok (sekitar 20 menit), waktu ini akan jauh lebih singkat daripada 50.400 blok (7 hari).

Pembahasan di atas didasarkan pada situasi yang paling ideal. Bagaimana jika seseorang melakukan kejahatan di jaringan? Berapa lama waktu yang dibutuhkan untuk menemukan kesalahan?

Atau dengan kata lain, berapa lama periode tantangan perlu diperpanjang setidaknya untuk mencegah perilaku jahat? Perilaku buruk di sini adalah mencegah bukti palsu diterima oleh validator dengan menerbitkan transaksi dalam jumlah besar untuk meningkatkan gas selama periode waktu tertentu.

Di sini kita membuat asumsi lain, dengan asumsi bahwa ada eksposur risiko sebesar 2 miliar dolar AS pada Optimisme, dan pelaku bersedia mengeluarkan 1 juta dolar AS dalam tip gas (biaya prioritas) per blok untuk transaksi "front-run" yang mengandung bukti penipuan.

Lalu, waktu maksimum jaringan dapat “dibajak” adalah 2000 blok (6,67 jam). Tentu saja, contoh-contoh sebelumnya didasarkan pada beberapa asumsi yang sangat sederhana dan kasar.

Tampaknya bagaimanapun Anda melihatnya, periode tantangan tidak perlu selama 7 hari. Sulit untuk memahami hubungan non-linier antara lamanya periode tantangan dan keamanan.

Mungkin 7 adalah angka yang sangat berarti bagi pendiri Optimisme, sama seperti dugaan semua orang bahwa Satoshi Nakamoto adalah penggila sepak bola selama siklus separuh Bitcoin 4 tahun.

Jadi, bisakah periode tantangan ORU dipersingkat menjadi 3-5 hari tanpa mengorbankan keamanan? Ya, tapi itu tidak terlalu optimal untuk pengalaman pengguna.

Bagaimana dengan memperpendek periode tantangan menjadi 1-2 hari? Tampaknya masuk akal untuk mengoptimalkan pengalaman pengguna secara efektif.

@0xMantle, ORU yang diinkubasi oleh BitDAO, dapat mempersingkat periode tantangan menjadi 1-2 hari. Logika optimasi periode tantangan didasarkan pada skema MPC.

Sederhananya, sequencer tidak secara langsung mengirimkan kumpulan transaksi ke Ethereum, tetapi terlebih dahulu mengirimkannya ke jaringan MPC, yang ditandatangani bersama oleh node MPC. Setelah mengonfirmasi bahwa transaksi tersebut valid, maka dikirimkan ke Ethereum.

Jadi perbedaan intinya adalah:

Optimisme mengirimkan kumpulan yang berisi root negara ke Ethereum sebagai hasil eksekusi;

Mantle mengirimkan batch yang berisi akar negara yang ditandatangani bersama oleh node MPC sebagai hasil eksekusi ke Ethereum.

Tujuannya adalah untuk mengurangi risiko kepercayaan terhadap hasil eksekusi Rollup.

Namun dalam analisis akhir, verifikasi MPC masih merupakan solusi verifikasi off-chain, yang lebih baik daripada tidak sama sekali dan memberikan kenyamanan psikologis ekstra bagi pengguna.

Untuk menggunakan metafora yang tidak tepat, skema verifikasi MPC seperti skema zk yang terdesentralisasi. Keamanan yang pertama didasarkan pada asumsi ekonomi, sedangkan yang kedua didasarkan pada verifikasi kriptografi.

Di atas adalah beberapa pemikiran dan diskusi mengenai masa tantangan ORU. Hal ini sangat tidak logis dan patut dijadikan saran. Ngomong-ngomong, saya masih berharap untuk melihat ORU (tingkat pembagian waktu) dengan periode tantangan yang dipersingkat secara signifikan di masa depan.