Làm cách nào để sử dụng ZK và VDF để hiện thực hóa ý tưởng "mempool riêng tư"?

Hầu hết các L2 Sequencer hiện tại về cơ bản đều áp dụng phương thức đặt hàng giao dịch "vào trước, ra trước" (FIFS) để bảo vệ người dùng khỏi MEV, nhưng điều này cũng làm suy yếu giá trị của các khối.

Và thông qua giải pháp Blockspace phân chia này, chúng ta có thể có cả cá và chân gấu.

Quy trình cụ thể là: người dùng sử dụng "câu đố thời gian" để mã hóa giao dịch của mình, đồng thời tính toán "bằng chứng zk" để chứng minh rằng câu đố thời gian "có lời giải", sau đó sử dụng "câu đố thời gian" và bằng chứng "Zk proof" tương ứng và gửi đến "Sequencer".

Sau khi Sequencer nhận được "giao dịch được mã hóa":

1. Xác minh xem "bằng chứng zk" có hợp lệ hay không, nếu nó hợp lệ, có nghĩa là "câu đố thời gian" này có thể được giải sau một thời gian tính toán;
2. Đặt nó vào "Không gian khối hàng đầu" và đưa cho "Ủy ban đặt hàng" trong khối nơi giao dịch được đặt;
3. Sequencer sẽ tính toán "câu đố thời gian" trong một khoảng thời gian và cuối cùng đưa ra câu trả lời;
4. Sau khi nhận được câu trả lời, Sequencer có thể giải mã "giao dịch được mã hóa" của người dùng và lấy dữ liệu "giao dịch gốc";
5. Sau khi Sequencer lấp đầy "Không gian khối hàng đầu", nó sẽ ném "khối bán thành phẩm" mà chỉ "Không gian khối hàng đầu" mới có giao dịch tới mạng L2 p2p;
6. Sau khi MEV Searcher nhận được "khối bán thành phẩm", nó có thể xây dựng "gói giao dịch" có lợi nhuận của riêng mình theo thứ tự giao dịch trong "Không gian khối hàng đầu";
7. MEV Searcher gửi "gói giao dịch" và "giá thầu" của nó tới Trình tạo khối L2;
8. Tại thời điểm này, Người xây dựng đã nhận được "khối bán thành phẩm" và anh ta sẽ đặt "Gói giao dịch" của "giá thầu cao nhất" vào "Không gian khối Botton";
9. Cuối cùng, Builder cần trải qua quy trình L2 Mev Boost và Sequencer sẽ chấp nhận "khối có giá trị cao nhất" với "Không gian khối hàng đầu" được chỉ định của nó.

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

Tóm tắt

Bằng cách chia "Không gian khối" thành hai phần, các giao dịch của người dùng có thể được bảo vệ trong "Không gian khối trên cùng" và Người tìm kiếm Mev có thể cùng nhau chuyển đến "Không gian khối dưới cùng", điều này bảo vệ các giao dịch của người dùng khỏi bị quấy rối và Sequencer có thể tối đa hóa "khối thu nhập". Tuy nhiên, giải pháp này trả thêm chi phí tính toán, chủ yếu là do người dùng cần tính toán "bằng chứng zk" cho câu đố thời gian của riêng họ và Sequencer cần giải "câu đố thời gian" do mỗi người dùng cung cấp.

Chúng ta có thể so sánh với chiến lược xếp hạng giao dịch trước đây của Arbitrum cho phép Mev Searcher có được mức độ ưu tiên cao nhất là 0,5 giây thông qua giá thầu cao hơn. So với sơ đồ được đề xuất trong bài viết này, phương pháp Arbitrum được đặc trưng bởi:

1. Tiết kiệm tài nguyên máy tính;
2. MEV Searcher không thể nhìn thấy các giao dịch trong khối (Mempool riêng tư);
3. Giao dịch của người dùng sẽ vẫn được xếp hàng đợi.

Cuối cùng, nhân tiện: Lý do của "bằng chứng zk" là để ngăn trình tự sắp xếp chuỗi bị tấn công bởi DDOS.