Как с помощью ZK и VDF реализовать идею «мемпула приватности»?

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

И с помощью этого разделенного решения Blockspace мы можем получить как рыбу, так и медвежью лапу.

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

После того, как Sequencer получит «зашифрованную транзакцию»:

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

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

Подведем итог

Разделив «блочное пространство» на две части, пользовательские транзакции могут быть защищены в «верхнем блочном пространстве», а Mev Searcher может вместе перейти в «нижнее блочное пространство», что защищает пользовательские транзакции от вредоносного мев, а Sequencer может максимизировать «блочное пространство». доход". Однако это решение требует дополнительных вычислительных затрат, главным образом потому, что пользователям необходимо вычислить «zk доказательство» для своих собственных головоломок времени, а Sequencer должен решать «головоломки времени», предоставленные каждым пользователем.

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

1. Экономьте вычислительные ресурсы;
2. MEV Searcher не видит транзакции в блоке (Private Mempool);
3. Транзакция пользователя по-прежнему будет стоять в очереди.

Наконец, между прочим: причина «zk proof» состоит в том, чтобы предотвратить DDOS-атаку на секвенсор.