Como usar ZK e VDF para concretizar a ideia de "mempool de privacidade"?

Question

A maioria dos sequenciadores L2 atuais adota basicamente o método de ordem de transação "primeiro a entrar, primeiro a sair" (FIFS) para proteger os usuários do MEV, mas isso também enfraquece o valor dos blocos.

E através desta solução de Blockspace dividida, podemos ter peixes e pata de urso.

O processo específico é: o usuário usa um "puzzle de tempo" para criptografar sua transação e, ao mesmo tempo, calcula uma "prova zk" para provar que o quebra-cabeça de tempo "tem uma solução" e, em seguida, usa o "puzzle de tempo" e correspondente "Zk proof" Proof" e enviado para "Sequencer".

Após o sequenciador receber a "transação criptografada":

Verifique se a "prova zk" é válida. Se for válida, significa que este "puzzle do tempo" pode ser resolvido após um período de cálculo;
Coloque-o em "Top Blockspace" e dê o "Order Committee" no bloco onde está localizada a transação;
O sequenciador calculará o "quebra-cabeça do tempo" por um período de tempo e, finalmente, apresentará uma resposta;
Depois de obter a resposta, o Sequencer pode descriptografar a "transação criptografada" do usuário e obter os dados da "transação original";
Após o Sequencer preencher o "Top Blockspace", ele lança o "bloco semi-acabado" que apenas o "Top Blockspace" possui transações para o broadcast da rede L2 p2p;
Após o MEV Searcher receber o "bloco semi-acabado", ele pode construir seu próprio "pacote de transações" lucrativo de acordo com a ordem das transações no "Top Blockspace";
O MEV Searcher envia seu "pacote de transações" e "lance" para o L2 Block Builder;
Neste momento, o Construtor recebeu o "bloco semiacabado" e colocará o "Pacote de negociação" do "lance mais alto" no "Botton Blockspace";
Finalmente, o Construtor precisa passar pelo processo L2 Mev Boost, e o Sequencer aceitará o "bloco de valor mais alto" com seu "Top Blockspace" designado.

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

Resumir

Ao dividir o "Blockspace" em duas partes, as transações do usuário podem ser protegidas no "Top Blockspace", e o Mev Searcher pode ir para o "Bottom Blockspace" juntos, o que protege as transações do usuário de serem prejudiciais, e o Sequencer pode maximizar o "bloco renda". No entanto, esta solução paga custos computacionais extras, principalmente porque os usuários precisam calcular uma "prova zk" para seus próprios quebra-cabeças de tempo e o Sequencer precisa resolver os "puzzles de tempo" fornecidos por cada usuário.

Podemos fazer uma comparação com a estratégia anterior de ordenação de transações da Arbitrum que permite que o Mev Searcher obtenha a prioridade mais alta de 0,5s por meio de lances mais altos. Em comparação com o esquema proposto neste trabalho, o método Arbitrum é caracterizado por:

Economize recursos de computação;
MEV Searcher não pode ver as transações no bloco (Private Mempool);
A transação do usuário ainda estará na fila.

Finalmente, a propósito: A razão para "zk proof" é evitar que o sequenciador seja atacado por DDOS.

Ver original