"Gizlilik mempool" fikrini gerçekleştirmek için ZK ve VDF nasıl kullanılır?

Mevcut L2 Sıralayıcıların çoğu, kullanıcıları MEV'den korumak için temel olarak "ilk giren ilk çıkar" (FIFS) işlem sıralama yöntemini kullanır, ancak bu aynı zamanda blokların değerini de zayıflatır.

Ve bu bölünmüş Blockspace çözümü sayesinde hem balığa hem de ayının pençesine sahip olabiliriz.

Spesifik süreç şudur: kullanıcı, işlemini şifrelemek için bir "zaman bulmacası" kullanır ve aynı zamanda zaman bulmacasının "bir çözümü olduğunu" kanıtlamak için bir "zk kanıtı" hesaplar ve ardından "zaman bulmacasını" kullanır ve ilgili "Zk kanıtı" Kanıtı" ve "Sequencer"a gönderilir.

Sıralayıcı "şifreli işlemi" aldıktan sonra:

1. "zk kanıtının" geçerli olup olmadığını doğrulayın. Geçerli olduğu kanıtlanırsa, bu "zaman bulmacasının" bir hesaplama süresinden sonra çözülebileceği anlamına gelir;
2. "Üst Blok Boşluğu"na koyun ve işlemin bulunduğu blokta "Emir Komitesi"ni verin;
3. Sequencer, "zaman bulmacasını" belirli bir süre için hesaplayacak ve sonunda bir cevap bulacaktır;
4. Sıralayıcı, yanıtı aldıktan sonra kullanıcının "şifreli işleminin" şifresini çözebilir ve "orijinal işlem" verilerini alabilir;
5. Sequencer "Üst Blok Alanı"nı doldurduktan sonra, L2 p2p ağ yayınına yalnızca "Üst Blok Alanı"nın işlem yaptığı "yarı mamul bloğu" fırlatır;
6. MEV Searcher "yarı mamul bloğu" aldıktan sonra, "Üst Blok Alanı"ndaki işlem sırasına göre kendi karlı "işlem paketini" oluşturabilir;
7. MEV Searcher, "işlem paketini" ve "teklifini" L2 Block Builder'a gönderir;
8. Şu anda, İnşaatçı "yarı bitmiş bloğu" almıştır ve "en yüksek teklifin" "Ticaret Paketi"ni "Botton Blockspace"e koyacaktır;
9. Son olarak, Oluşturucunun L2 Mev Boost sürecinden geçmesi gerekir ve Sıralayıcı, belirlenen "Üst Blok Alanı" ile "en yüksek değerli bloğu" kabul edecektir.

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

Özetle

"Blockspace"i ikiye bölerek "Top Blockspace"te kullanıcı işlemleri korunabilir ve Mev Searcher birlikte "Bottom Blockspace"e giderek kullanıcı işlemlerini hamful mev olmaktan korur ve Sequencer "block"u maksimize edebilir. gelir". Ancak bu çözüm, esas olarak kullanıcıların kendi zaman bulmacaları için bir "zk kanıtı" hesaplaması ve Sequencer'ın her kullanıcı tarafından sağlanan "zaman bulmacalarını" çözmesi gerektiğinden ekstra hesaplama maliyetleri öder.

Arbitrum'un Mev Searcher'ın daha yüksek tekliflerle 0,5 sn'lik en yüksek önceliği elde etmesini sağlayan önceki işlem sıralama stratejisiyle bir karşılaştırma yapabiliriz. Bu yazıda önerilen şema ile karşılaştırıldığında, Arbitrum yöntemi aşağıdakilerle karakterize edilir:

1. Bilgi işlem kaynaklarından tasarruf edin;
2. MEV Searcher bloktaki (Private Mempool) işlemleri göremez;
3. Kullanıcının işlemi yine de kuyruğa alınır.

Son olarak bu arada: "zk proof" olmasının sebebi sıralayıcının DDOS tarafından saldırıya uğramasını engellemektir.