Comment utiliser ZK et VDF pour concrétiser l'idée de "privacy mempool" ?

La plupart des séquenceurs L2 actuels adoptent essentiellement la méthode de commande des transactions "premier entré, premier sorti" (FIFS) pour protéger les utilisateurs du MEV, mais cela affaiblit également la valeur des blocs.

Et grâce à cette solution Blockspace divisée, nous pouvons avoir à la fois des poissons et des pattes d'ours.

Le processus spécifique est le suivant : l'utilisateur utilise un "puzzle temporel" pour chiffrer sa transaction, et calcule en même temps une "preuve zk" pour prouver que le puzzle temporel "a une solution", puis utilise le "puzzle temporel" et le "Zk proof" Proof correspondant" et envoyé au "Sequencer".

Une fois que le Sequencer a reçu la "transaction chiffrée" :

1. Vérifiez si la "preuve zk" est valide. Si elle s'avère valide, cela signifie que ce "casse-tête temporel" peut être résolu après une période de calcul ;
2. Mettez-le dans "Top Blockspace" et donnez le "Order Committee" dans le bloc où se trouve la transaction ;
3. Le séquenceur calculera le "puzzle temporel" pendant un certain temps et trouvera finalement une réponse ;
4. Après avoir obtenu la réponse, le séquenceur peut décrypter la "transaction cryptée" de l'utilisateur et obtenir les données de la "transaction d'origine" ;
5. Une fois que le séquenceur a rempli le "Top Blockspace", il lance le "bloc semi-fini" que seul "Top Blockspace" a des transactions vers la diffusion du réseau p2p L2 ;
6. Une fois que MEV Searcher a reçu le "bloc semi-fini", il peut construire son propre "groupe de transactions" rentable selon l'ordre des transactions dans le "Top Blockspace" ;
7. MEV Searcher envoie son « ensemble de transactions » et son « offre » à L2 Block Builder ;
8. À ce moment, le Constructeur a reçu le "bloc semi-fini", et il placera le "Trading Bundle" de "l'offre la plus élevée" dans le "Botton Blockspace" ;
9. Enfin, le constructeur doit passer par le processus L2 Mev Boost, et le séquenceur acceptera le "bloc de valeur la plus élevée" avec son "Top Blockspace" désigné.

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

Résumer

En divisant "Blockspace" en deux parties, les transactions des utilisateurs peuvent être protégées dans le "Top Blockspace", et Mev Searcher peut aller ensemble dans le "Bottom Blockspace", ce qui empêche les transactions des utilisateurs d'être hamful mev, et Sequencer peut maximiser le "bloc revenu". Cependant, cette solution entraîne des coûts de calcul supplémentaires, principalement parce que les utilisateurs doivent calculer une "preuve zk" pour leurs propres énigmes temporelles et que Sequencer doit résoudre les "énigmes temporelles" fournies par chaque utilisateur.

Nous pouvons faire une comparaison avec la précédente stratégie de classement des transactions d'Arbitrum qui permet à Mev Searcher d'obtenir la priorité la plus élevée de 0,5 s grâce à des offres plus élevées. Par rapport au schéma proposé dans cet article, la méthode Arbitrum se caractérise par :

1. Économisez des ressources informatiques ;
2. MEV Searcher ne peut pas voir les transactions dans le bloc (Private Mempool);
3. La transaction de l'utilisateur sera toujours mise en file d'attente.

Enfin, au fait : la raison de "zk proof" est d'empêcher le séquenceur d'être attaqué par DDOS.