Як за допомогою ZK і VDF реалізувати ідею «mempool privacy»?

Більшість секвенсорів L2 тепер в основному використовують метод упорядкування транзакцій «першим прийшов, першим вийшов» (FIFS), щоб захистити користувачів від MEV, але це також послаблює цінність блоку.

І через це розділене рішення Blockspace ми можемо мати і рибу, і ведмежу лапу.

Конкретний процес такий: користувач використовує «головоломку часу», щоб зашифрувати свою транзакцію, і в той же час обчислює «підтвердження zk», щоб довести, що головоломка часу «має рішення», а потім використовує «головоломку часу» і відповідний «Zk proof» Proof» і відправлений до «Sequencer».

Після того, як секвенсор отримає «зашифровану транзакцію»:

1. Перевірте, чи дійсний «доказ zk». Якщо він виявиться дійсним, це означає, що цю «головоломку часу» можна вирішити після певного періоду розрахунку;
2. Помістіть його в «Top Blockspace» і дайте «Order Committee» у блоці, де знаходиться транзакція;
3. Секвенсор обчислить «головоломку часу» за певний проміжок часу та, нарешті, придумає відповідь;
4. Отримавши відповідь, Секвенсор може розшифрувати «зашифровану транзакцію» користувача та отримати дані «оригінальної транзакції»;
5. Після того, як секвенсор заповнює «Верхній простір блоків», він викидає «напівготовий блок», що тільки «Верхній простір блоків» має транзакції для трансляції мережі L2 p2p;
6. Після того, як MEV Searcher отримає «напівготовий блок», він може створити власний прибутковий «набір транзакцій» відповідно до порядку транзакцій у «Верхньому просторі блоків»;
7. MEV Searcher надсилає свій «пакет транзакцій» і «ставку» до L2 Block Builder;
8. У цей час Будівельник отримав «напівготовий блок», і він помістить «Торговий комплект» із «найвищою ставкою» в «Нижній блоковий простір»;
9. Нарешті, Builder має пройти процес L2 Mev Boost, і Sequencer прийме «блок найвищого значення» з позначеним «Top Blockspace».

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

Підведіть підсумки

Розділивши "Blockspace" на дві частини, транзакції користувача можна захистити у "Top Blockspace", а Mev Searcher може перейти до "Bottom Blockspace" разом, що захищає транзакції користувача від шкідливого mev, а Sequencer може максимізувати "блок дохід». Однак це рішення сплачує додаткові обчислювальні витрати, головним чином тому, що користувачам потрібно обчислити «zk-доказ» для власних головоломок часу, а Sequencer має вирішити «головоломки часу», надані кожним користувачем.

Ми можемо порівняти з попередньою стратегією ранжирування транзакцій Arbitrum, яка дозволяє Mev Searcher отримати найвищий пріоритет у 0,5 с за рахунок вищих ставок. У порівнянні зі схемою, запропонованою в даній роботі, метод Arbitrum характеризується:

1. Економія обчислювальних ресурсів;
2. MEV Searcher не може бачити транзакції в блоці (Private Mempool);
3. Транзакція користувача все ще буде в черзі.

Нарешті, до речі: причина "zk proof" полягає в тому, щоб запобігти DDOS-атакам на секвенсор.