Bagaimana cara mencapai urutan transaksi yang adil dengan MEV modular?

Penulis: Maven11

Kompiler: Luffy, Berita Foresight

Dalam dua bagian pertama seri ini, kami berfokus pada masalah teknis yang muncul saat memisahkan tumpukan, dan peningkatan yang perlu dilakukan di dunia modular. Kami telah membahas sejumlah kemajuan pekerjaan untuk mengatasi masalah yang secara alami muncul dalam penyiapan lintas domain. Namun, di bagian akhir seri, kami ingin lebih fokus pada pengalaman pengguna. Kami ingin melihat bagaimana modularisasi, kustomisasi, dan spesialisasi dapat membantu membuat aplikasi yang lebih baik. Bab terakhir dari seri ini akan melihat kreativitas dan kemungkinan yang menarik dan unik dalam modularitas bagi pengembang untuk menciptakan pengalaman pengguna Web2 dengan verifikasi Web3.

Alasan di balik membangun modularitas seharusnya tidak hanya untuk memenuhi narasi atau hanya untuk menjadi modular, tetapi karena memungkinkan kita untuk membangun aplikasi yang lebih baik, lebih efisien, dan lebih dapat disesuaikan. Saat membangun sistem modular dan khusus, sejumlah fitur unik muncul. Beberapa dari mereka jelas, sementara yang lain kurang jelas. Oleh karena itu, tujuan kami adalah memberikan gambaran umum tentang kemampuan sistem modular yang tidak Anda ketahui, seperti skalabilitas.

Kami percaya bahwa salah satu kemampuan yang diberikan modularitas kepada pengembang adalah kemampuan untuk membangun aplikasi profesional yang sangat dapat disesuaikan yang mengarah pada pengalaman yang lebih baik bagi pengguna akhir. Kami sebelumnya telah membahas kemampuan untuk menetapkan aturan atau menyusun ulang urutan di mana perdagangan dieksekusi.

Pemeriksaan yang dapat diverifikasi (selanjutnya disebut sebagai VSR) adalah salah satu peluang menarik yang ditawarkan oleh penyortiran terkontrol, terutama bagi pengembang yang tertarik untuk membangun sistem perdagangan yang lebih adil dalam hal eksekusi. Jelas, hubungan antara kerugian Penyedia Likuiditas dan penyeimbangan kembali (LVR) berada di luar cakupan artikel ini, jadi kami akan menghindari menyentuh terlalu banyak hal ini. Perlu diingat bahwa pengaturan yang akan kami jelaskan terutama untuk AMM dan bukan untuk model buku pesanan. Selain itu, CLOB (dan bahkan CEX) juga akan mendapat manfaat besar dari memanfaatkan pemeriksaan yang dapat diverifikasi yang sesuai dengan pengaturan spesifik mereka. Dalam pengaturan off-chain, ada kebutuhan yang jelas untuk beberapa konsep eksekusi tanpa pengetahuan atau optimis yang didukung oleh keamanan ekonomi kripto.

VSR sangat menarik ketika kita mempertimbangkan fakta bahwa mayoritas investor ritel belum (atau tidak mungkin) mengadopsi pendekatan konservasi. Sebagian besar Wallet/DEX juga tidak menerapkan mempool pribadi, RPC, atau metode serupa. Sebagian besar transaksi dikirimkan langsung melalui frontend (apakah itu agregator atau frontend DEX). Akibatnya, kecuali aplikasi secara langsung mengganggu prosesnya dan cara pesanan diproses, pengguna akhir mungkin mengalami eksekusi yang kurang memuaskan.

Ketika kita berpikir tentang di mana rantai pasokan transaksi dipesan, peran VSR menjadi jelas. Itu duduk di mana peserta profesional mengurutkan (atau memasukkan) transaksi, biasanya berdasarkan beberapa lelang atau biaya dasar. Urutan ini sangat penting karena menentukan perdagangan mana yang dieksekusi dan kapan. Pada dasarnya, orang yang memiliki otoritas penyortiran memiliki kemampuan untuk mengekstrak MEV, biasanya dalam bentuk biaya prioritas (atau tip).

Akibatnya, mungkin menarik untuk menulis aturan tentang cara menangani penyortiran untuk memberikan eksekusi perdagangan yang lebih adil (dalam pengaturan DEX) kepada pengguna akhir. Namun, jika Anda membangun jaringan tujuan umum, Anda harus mencoba untuk menghindari mengikuti aturan tersebut.

Selain itu, ada beberapa MEV yang penting, seperti Arbitrase, likuidasi, dll. Salah satu idenya adalah membuat saluran "jalan raya" di bagian atas blok, yang secara khusus menargetkan Arbitrase dan likuidator di Daftar Izin, yang membayar biaya lebih tinggi dan berbagi sebagian dari pendapatan dengan protokol.

Dalam makalah "Desain Pertukaran DEX Tepercaya dengan Kolasi yang Dapat Diverifikasi," Matheus V., X. Ferreira, dan David C. Parkes mengusulkan model di mana sequencer blok tunduk pada serangkaian kendala yang mengeksekusi pemeriksaan (dan kendala tersebut dapat diverifikasi). Tanpa mematuhi aturan yang ditetapkan, pengamat dapat menghasilkan bukti kegagalan (atau karena kendala dapat diverifikasi secara matematis, Anda juga dapat membayangkan rangkaian ZK dengan kendala ini, yang menggunakan ZKP sebagai bukti validitas). Ide utamanya pada dasarnya adalah untuk memberikan jaminan harga eksekusi kepada pengguna akhir (trader). Jaminan ini memastikan bahwa transaksi dieksekusi sebaik satu-satunya transaksi di blok (jelas, jika kita mengasumsikan pesanan beli / jual / beli / jual berdasarkan siapa cepat dia dapat, ada sejumlah penundaan yang terlibat di sini). Ide dasar dari proposal dalam makalah ini adalah bahwa jika mereka tampil dengan harga yang lebih baik daripada harga yang tersedia di bagian atas blok, pemeriksaan ini akan membatasi pembangun (dalam skenario PBS) atau sequencer dari hanya memasukkan transaksi dalam arah yang sama (katakanlah jual / jual). Selain itu, jika ada situasi di mana Anda melakukan penjualan pada akhir serangkaian pembelian, maka penjualan tidak akan dieksekusi (misalnya, beli, beli, beli, jual), yang mungkin menunjukkan bahwa pencari (atau pembangun / sequencer) menggunakan pembelian ini untuk mendorong harga menguntungkan mereka. Ini pada dasarnya berarti bahwa aturan protokol menjamin bahwa pengguna tidak akan digunakan untuk menawarkan harga yang lebih baik (yaitu, MEV) kepada orang lain, atau menyebabkan harga turun karena biaya prioritas. Jelas, kelemahan aturan di sini (dalam hal menjual lebih dari membeli, dan sebaliknya) adalah bahwa Anda mungkin mendapatkan harga ekor panjang yang relatif buruk.

Untuk platform Kontrak Cerdas umum, hampir tidak mungkin untuk membuat aturan ini sebagai murni on-chain karena Anda tidak memiliki kendali atas eksekusi dan pemesanan. Pada saat yang sama, Anda bersaing dengan banyak orang lain, jadi mencoba memaksa mereka yang berada di puncak blok untuk membayar biaya prioritas tidak perlu mahal. Salah satu fitur dari pengaturan modular adalah memungkinkan pengembang aplikasi untuk menyesuaikan bagaimana lingkungan eksekusi mereka harus berperilaku. Baik itu pemeriksaan, menggunakan komputer virtual yang berbeda, atau membuat perubahan kustom ke komputer virtual yang ada, seperti menambahkan Kode Operasi baru atau mengubah batas gas, itu benar-benar terserah pengembang, tergantung pada produk mereka.

Dalam kasus rollup menggunakan ketersediaan data, tingkat Konsensus, dan tingkat LiquiditySettlement, pengaturan yang mungkin adalah sebagai berikut:

Ide lain yang mungkin adalah pemisahan transaksi. Bayangkan kumpulan transaksi, bagaimana melakukan transaksi pesanan besar (yang menyebabkan banyak slippage) dan jika transaksi ini dieksekusi di blok berturut-turut (atau di akhir blok jika sesuai dengan VSR), apakah ini adil untuk pengguna akhir?

Jika pengguna akhir khawatir tentang latensi, maka pengguna itu mungkin tidak ingin pesanannya dibagi. Namun, ini kurang umum, dan mengoptimalkan pemisahan perdagangan pesanan yang lebih besar dapat menghasilkan eksekusi yang lebih efisien untuk sebagian besar pengguna. Either way, satu kekhawatiran adalah bahwa pencari MEV dapat menyadari perdagangan berurutan ini dan mencoba memposisikan perdagangan mereka sebelum atau sesudah pedagang tersebut. Namun, karena transaksi split skala kecil pada serangkaian blok, nilai total MEV yang diekstraksi mungkin jauh lebih kecil.

Ide menarik lainnya yang kami sebutkan sebelumnya di pos adalah menggunakan lelang massal yang sering (FBA), yang dianjurkan oleh Eric Budish yang legendaris dan rekan-rekannya, untuk memproses transaksi dengan cara lelang massal daripada mode serial. Ini untuk membantu mengidentifikasi permintaan yang tumpang tindih (KK) dan mengintegrasikan peluang arbitrase ke dalam desain mekanisme pasar. Ini juga membantu "melawan" game yang ditangguhkan dalam build Blok berkelanjutan (atau pertempuran biaya prioritas dalam Blok serial). Terima kasih kepada Michael Jordan (DBA) karena telah membawa makalah ini menjadi perhatian kami dan untuk karyanya dalam mengurangi Latency Roast. Menerapkannya sebagai bagian dari pemilihan dan pemeriksaan garpu Rollup juga merupakan pengaturan menarik yang dapat digunakan pengembang, dan kami telah melihat daya tariknya yang signifikan selama setahun terakhir, terutama untuk Penumbra dan CoWSwap. Satu kemungkinan pengaturan akan terlihat seperti ini:

Dalam pengaturan ini, tidak ada perang biaya gas pertama datang, pertama dilayani atau prioritas, melainkan Blok untuk mengakhiri lelang massal dalam waktu antara setiap Blok berdasarkan pesanan kumulatif.

Secara umum, di mana sebagian besar transaksi telah pindah ke dunia "on-chain" non-penahanan, FBA mungkin menjadi salah satu cara yang lebih efisien untuk penemuan harga "nyata", tergantung pada waktu blok. Memanfaatkan FBA juga berarti bahwa karena semua pesanan massal bersifat massal dan tidak akan terungkap sampai lelang berakhir (dengan asumsi ada beberapa pengaturan kripto), akan ada pengurangan yang signifikan dalam perdagangan yang berjalan di depan. Harga penyelesaian adalah kuncinya di sini, karena tidak ada gunanya memesan ulang transaksi.

Penting juga untuk dicatat bahwa pada tahun 2018, desain seperti yang baru saja kita bahas dibahas di forum Ethresear.ch (lihat di sini). Dalam posting tersebut, mereka menyebutkan dua makalah yang menyediakan mekanisme lelang massal pada Plasma (sedikit seperti prekuel Rollups modern), di mana setiap batch menerima pesanan untuk membeli Token ERC20 tambahan dengan harga batas maksimum tertentu. Pesanan ini dikumpulkan pada interval tertentu dan memberikan harga penyelesaian yang seragam untuk semua pasangan perdagangan Token. Ide keseluruhan di balik model ini adalah bahwa hal itu akan membantu menghilangkan fenomena front-running yang umum di AMM populer.

Hal penting lain yang perlu diperhatikan adalah bahwa dalam pengaturan ini, sequencer mungkin memerlukan beberapa insentif untuk menegakkan (dan menegakkan) aturan di atas. Ini sering diabaikan, tetapi banyak infrastruktur jaringan Blockchain dijalankan oleh perusahaan khusus, yang biayanya sangat berbeda dari rata-rata peserta rumah tangga. Secara umum, insentif merupakan bagian penting dari implementasi infrastruktur keamanan. Sequencer dan pembangun juga lebih mungkin untuk melakukan upaya yang lebih besar ketika insentif selaras dengan aturan yang diberlakukan. Ini berarti bahwa pengaturan ini juga harus memiliki pasar yang aktif. Jelas, jenis pasar ini menjadi lebih terpusat, karena biaya modal untuk spesialisasi bisa tinggi. Akibatnya, Satoshi (dan terkaya) cenderung berkonsolidasi dan berspesialisasi untuk menangkap nilai sebanyak mungkin. Di sini, aliran urutan eksklusivitas mungkin menjadi panah di lutut bagi beberapa peserta, yang mengarah ke peningkatan sentralisasi. Biaya Benchmark umum mungkin cukup, tetapi itu tidak benar-benar mendorong peserta peringkat menuju spesialisasi. Akibatnya, Anda mungkin ingin memperkenalkan beberapa konsep yang membuat trader senang dengan hasilnya melalui insentif yang disesuaikan dengan situasi khusus Anda.

Ini jelas bagi kebanyakan orang, tetapi masih perlu disebutkan ketika membahas urutan level Rollup. Jika Anda dapat mengontrol pemesanan, akan lebih mudah untuk "mengekstrak" nilai protokol. Ini karena Anda mengontrol kekuatan untuk memesan ulang transaksi, yang biasanya didasarkan pada biaya prioritas (pengaturan MEV-boost-esque) pada sebagian besar L1. Ini memberi Anda biaya prioritas yang dibayarkan oleh peserta kompleks yang mengekstrak nilai on-chain. Para peserta ini biasanya bersedia membayar dalam jumlah yang cukup besar (sampai tidak lagi mampu memberikan nilai). Namun, sebagian besar rollup saat ini terutama berdasarkan siapa cepat dia dapat. Sebagian besar ekstraksi MEV dilakukan melalui perang yang tertunda, yang memberi tekanan serius pada infrastruktur Rollup. Sebagai hasil dari hal di atas, kita cenderung melihat semakin banyak rollup mulai menerapkan struktur penyortiran dengan konsep biaya prioritas (misalnya, mekanisme peningkatan waktu Arbitrum).

Contoh lain yang kami sukai adalah Uniswap. Saat ini, Uniswap sebagai protokol "menciptakan" banyak inefisiensi. Inefisiensi ini dimanfaatkan oleh peserta yang ingin mengekstrak MEV (Arbitrase dengan mengorbankan Penyedia Likuiditas). Pada saat yang sama, para peserta ini membayar banyak biaya untuk mengekstrak nilai, tetapi tidak satu pun dari nilai itu jatuh ke tangan protokol Uniswap atau pemegang Tokennya. Sebagai gantinya, sebagian besar dari nilai yang diekstraksi ini dibayarkan biaya prioritas kepada pengusul Ethereum (validator) melalui MEV-Boost untuk mendapatkan hak untuk dimasukkan dalam blok yang memungkinkan untuk menangkap nilai di beberapa titik. Akibatnya, meskipun ada banyak peluang MEV untuk aliran pesanan Uniswap, tidak ada yang ditangkap oleh Uniswap.

Jika Uniswap dapat mengontrol pemesanan dalam protokol (dan kemampuan untuk mengekstrak biaya prioritas dari pencari), Uniswap dapat dikomersialkan dan bahkan dapat membayar sebagian dari keuntungan ini kepada pemegang Token, Penyedia Likuiditas, atau lainnya. Dengan perubahan pada Uniswap (misalnya UniswapX, dll.) pindah ke eksekusi off-chain (dan Ethereum sebagai lapisan penyelesaian), mekanisme ini terlihat semakin mungkin.

Jika kita mengasumsikan rollup dengan mekanisme PBS parsial, aliran pesanan dan proses komersialisasi mungkin terlihat seperti ini:

Akibatnya, komersialisasi sequencer rollup dan pengusul dapat mengikuti rumus berikut:

Penerbitan (PoS) + Pendapatan Biaya (+prioritas) - Biaya DA, pub negara, penyimpanan

Cara yang baik untuk melihat berapa banyak nilai yang saat ini ditarik di Ethereum (terutama Arbitrase) dapat ditemukan di Mevboost.pics, yang memberikan gambaran yang baik tentang berapa banyak nilai yang sebenarnya dapat diekstraksi dari inefisiensi.

Selain itu, memisahkan perang gas biaya prioritas dari struktur off-chain dapat membantu menahan gangguan rantai pasokan dengan mengisolasi ekstraksi MEV ke dalam lingkungan eksekusi. Namun, mengingat bahwa jika pemilihan pemimpin berlangsung pada Rollup, mayoritas MEV akan ditarik pada Rollup, ini menyisakan sedikit ruang untuk struktur yang mendasarinya kecuali lapisan DA dimasukkan, biaya prioritas lapisan Penyelesaian berasal dari konsolidasi likuiditas atau skala ekonomi lainnya.

Untuk memperjelas, banyak dari struktur ini dapat berfungsi sebagai struktur off-chain murni tanpa perlu jembatan verifikasi atau jaminan keamanan yang kuat. Namun, ada beberapa trade-off yang harus dilakukan di sana. Kami mulai melihat lebih banyak dari hal-hal ini bermunculan, baik yang ada maupun yang tidak terlihat. Satu hal yang ingin saya tunjukkan adalah bahwa modularitas tidak selalu berarti rollup.

Pemeriksaan di atas merupakan contoh di mana fine-tuning infrastruktur dapat secara dramatis meningkatkan aplikasi yang dibangun di atasnya.