Bagaimana cara menggunakan ZK dan VDF untuk mewujudkan gagasan "privacy mempool"?

Sebagian besar Pengurut L2 saat ini pada dasarnya mengadopsi metode pemesanan transaksi "masuk pertama, keluar pertama" (FIFS) untuk melindungi pengguna dari MEV, tetapi ini juga melemahkan nilai blok.

Dan melalui solusi Blockspace terpisah ini, kita dapat memiliki cakar ikan dan beruang.

Proses spesifiknya adalah: pengguna menggunakan "teka-teki waktu" untuk mengenkripsi transaksinya, dan pada saat yang sama menghitung "bukti zk" untuk membuktikan bahwa teka-teki waktu "memiliki solusi", dan kemudian menggunakan "teka-teki waktu" dan Bukti "Zk proof" yang sesuai" dan dikirim ke "Sequencer".

Setelah Sequencer menerima "transaksi terenkripsi":

1. Verifikasi apakah "bukti zk" valid Jika terbukti valid, berarti "teka-teki waktu" ini dapat diselesaikan setelah periode perhitungan;
2. Taruh di "Top Blockspace" dan berikan "Order Committee" di blok tempat transaksi berada;
3. Sequencer akan menghitung "teka-teki waktu" untuk jangka waktu tertentu, dan akhirnya memberikan jawaban;
4. Setelah mendapatkan jawaban, Sequencer dapat mendekripsi "transaksi terenkripsi" pengguna dan mendapatkan data "transaksi asli";
5. Setelah Sequencer mengisi "Top Blockspace", ia melempar "blok setengah jadi" yang hanya "Top Blockspace" yang memiliki transaksi ke siaran jaringan L2 p2p;
6. Setelah MEV Searcher menerima "blok setengah jadi", ia dapat membuat "bundel transaksi" yang menguntungkan sesuai dengan urutan transaksi di "Blockspace Teratas";
7. MEV Searcher mengirimkan "bundel transaksi" dan "penawaran" ke L2 Block Builder;
8. Saat ini, Builder telah menerima "blok setengah jadi", dan dia akan menempatkan "Bundel Perdagangan" dari "tawaran tertinggi" ke dalam "Blockspace Botton";
9. Terakhir, Builder harus melalui proses L2 Mev Boost, dan Sequencer akan menerima "blok bernilai tertinggi" dengan "Ruang Blok Teratas" yang ditentukan.

! [scale70] (https://img-cdn.gateio.im/resized-social/moments-40baef27dd-430469c41e-dd1a6f-7649e1)

Ringkas

Dengan membagi "Blockspace" menjadi dua bagian, transaksi pengguna dapat dilindungi di "Blockspace Atas", dan Mev Searcher dapat pergi ke "Bottom Blockspace" bersama-sama, yang melindungi transaksi pengguna dari mev yang berbahaya, dan Sequencer dapat memaksimalkan "blok penghasilan". Namun, solusi ini membayar biaya komputasi tambahan, terutama karena pengguna perlu menghitung "bukti zk" untuk teka-teki waktu mereka sendiri dan Sequencer perlu menyelesaikan "teka-teki waktu" yang disediakan oleh setiap pengguna.

Kita dapat membuat perbandingan dengan strategi pemeringkatan transaksi Arbitrum sebelumnya yang memungkinkan Mev Searcher mendapatkan prioritas tertinggi 0,5 detik melalui penawaran yang lebih tinggi. Dibandingkan dengan skema yang diusulkan dalam makalah ini, metode Arbitrum dicirikan oleh:

1. Hemat sumber daya komputasi;
2. Pencari MEV tidak dapat melihat transaksi di blok (Mempool Pribadi);
3. Transaksi pengguna akan tetap dalam antrian.

Terakhir, omong-omong: Alasan "bukti zk" adalah untuk mencegah sequencer diserang oleh DDOS.