Cảm ơn Kev, Maryam, Mike, Thomas Thiery, Thomas Coratger, Maria, Caspar, Ladislaus, Marios, George, Mary, và Dmitry vì những phản hồi và cuộc thảo luận dẫn đến bài viết này (phản hồi ≠ xác nhận).
Khi Ethereum triển khai một zkEVM trên L1, sẽ cần thiết phải có nguồn chứng minh cho các block. Bài viết này đề xuất triển khai một thị trường chứng minh trên Ethereum: Nó cho phép các nhà xây dựng kết nối với một tập hợp các nhà chứng minh không cần cho phép. Các nhà xây dựng, với sự trợ giúp từ giao thức Ethereum, sẽ gửi một phần thưởng cho các chứng minh vào một hợp đồng hệ thống trong khi xây dựng block. Bất kỳ ai gửi một chứng minh đều có thể thu một phần thưởng trong slot tiếp theo. Các nhà chứng thực đảm bảo rằng các khoản thanh toán được thực hiện.
Đề xuất này giải quyết vấn đề trao đổi công bằng giữa các nhà xây dựng và nhà chứng minh. Vấn đề trao đổi công bằng ngụ ý rằng các nhà xây dựng chỉ trả tiền cho các chứng minh nếu các chứng minh được cung cấp, và các nhà chứng minh chỉ chứng minh nếu họ có thể yêu cầu một phần thưởng. Hơn nữa, đề xuất này loại bỏ nhu cầu về một relay để xử lý lượng lớn thông tin liên lạc, đôi khi được gọi là multiplexing an toàn, giữa nhà xây dựng và các nhà chứng minh. Đó là một trong những ưu điểm lớn nhất của đề xuất này: không cần các relay bên thứ ba đáng tin cậy. Thay vào đó, giao thức Ethereum quản lý vấn đề trao đổi công bằng và giao tiếp giữa nhà xây dựng và nhà chứng minh.
(Bản dịch tiếp tục theo cùng nguyên tắc)- Các bằng chứng phải bao gồm
recipient_addresstrong ngữ cảnh, siêu dữ liệu không mô tả bằng chứng mà là việc sử dụng bằng chứng. Nếu ngữ cảnh thay đổi thì bằng chứng sẽ trở nên không hợp lệ. Nghĩa là, các bằng chứng phải không thể thay đổi. - Người chứng minh không được phép tạo ra nhiều bằng chứng với các trường
recipient_addresskhác nhau với chi phí của một bằng chứng duy nhất.
Các hệ thống chứng minh dựa trên FRI là những hệ thống được sử dụng nhiều nhất cho zkEVMs ngày nay và đáp ứng hai thuộc tính này.
Thực thi Người chứng thực
Những người chứng thực đóng băng quan điểm của họ về các bằng chứng có sẵn tại thời điểm quan sát. Họ tạo một danh sách recipient_address từ tất cả các bằng chứng mà họ đã quan sát. Người đề xuất đóng băng quan điểm của mình muộn hơn so với những người chứng thực và phải bao gồm một danh sách tất cả các trường recipient_address mà họ đã thấy trong khối beacon. Nếu quan điểm của người chứng thực về danh sách recipient_address chứa các giá trị không có trong khối beacon, người chứng thực sẽ không bỏ phiếu cho khối đó.
Hệ thống này dựa trên view-merge, như được mô tả bởi Francesco, đã được sử dụng cho kiến trúc chứng minh cùng slot này. Độ phức tạp được thêm vào ở đây bao gồm giao tiếp giữa lớp đồng thuận và thực thi để sử dụng danh sách recipient_address từ khối beacon trong một hợp đồng hệ thống.
Tại sao Thị trường Chứng minh của Ethereum đơn giản hơn PBS
Phân tách Người đề xuất-Người xây dựng (PBS) đã được thảo luận trong nhiều năm trong cộng đồng Ethereum, nhưng vẫn chưa có sự đồng thuận về một triển khai thị trường thỏa đáng. Đã có những lo ngại về việc các relay vẫn tồn tại ngay cả với phiên bản PBS được nhúng (ePBS). Đề xuất ePBS hiện tại, EIP-7732, giải quyết một số lo ngại một cách khéo léo, nhưng các nhà xây dựng và relay vẫn kỳ vọng các relay sẽ tiếp tục hoạt động ngay cả khi 7732 được triển khai.
Tuy nhiên, tôi không kỳ vọng Thị trường Chứng minh của Ethereum sẽ phức tạp như PBS vì những lý do chính sau:
Các bằng chứng nằm ngoài đường dẫn quan trọng. Do một số hình thức thực thi chậm trễ, hoặc thông qua EIP-7732 hoặc EIP-7886, các bằng chứng có thể được gửi trong slot tiếp theo, thay vì trước khi khối được cam kết. Điều đó có hai lợi thế quan trọng cho thị trường chứng minh.
Thứ nhất, nghĩa là việc thanh toán cho các bằng chứng có thể diễn ra trong slot tiếp theo. Không cần phải có thỏa thuận giữa người xây dựng hoặc giao thức và người chứng minh trước khi khối được cam kết. Trong PBS, người đề xuất phải thực hiện thỏa thuận với người xây dựng trong đường dẫn quan trọng, có nghĩa là Ethereum không thể được sử dụng như bên thứ ba đáng tin để giải quyết vấn đề trao đổi công bằng và các relay là cần thiết.
Thứ hai, nghĩa là tốc độ lan truyền không phải là yếu tố quan trọng để xác định một bằng chứng có kịp thời hay không. Trong MEV-Boost, các relay rất tối ưu hóa việc lan truyền để chơi các trò chơi thời gian. Nếu những người chứng minh có thể chứng minh các khối trong thời gian thực, có lẽ những cuộc đua độ trễ nhỏ như vậy sẽ không đủ ý nghĩa để trở thành một vector cạnh tranh.
**Các luồng tiền được đảo ngược.** Trong MEV-Boost, người xây dựng trả tiền cho người đề xuất để được quyền đề xuất một khối. Trong Thị trường Chứng minh của Ethereum, có khả năng giao thức sử dụng phí giao dịch để trả cho những người chứng minh để tạo một bằng chứng. Nếu phí giao dịch của người dùng (không phải người xây dựng) trả cho những người chứng minh, thị trường sẽ đơn giản hóa vì ngay lập tức nó tương thích với động cơ để người xây dựng tham gia, vì họ không phải trả bất cứ thứ gì. Nếu người xây dựng không cung cấp các phần thưởng bên ngoài, những người chứng minh cũng phải tham gia vào Thị trường Chứng minh của Ethereum.
Không có việc tách rời. Các khối trong MEV-Boost phải được người đề xuất ký trước khi người đề xuất nhìn thấy nội dung của khối để ngăn chặn việc người đề xuất đánh cắp MEV từ khối. Việc tách rời không phải là mối lo ngại trong thị trường chứng minh. Đầu tiên, những người xây dựng cam kết khối của họ và lan truyền công khai trước khi các bằng chứng được giao, mà không làm mất MEV. Thứ hai, những người chứng minh có thể gửi các bằng chứng công khai trước khi nhận tiền vì các khoản thanh toán của họ được những người chứng thực thực thi và các bằng chứng của họ không thể dễ dàng được sửa đổi để chứa một recipient_address khác (các bằng chứng không thể thay đổi). Do không có rủi ro tách rời, cả khối và bằng chứng đều có thể được lan truyền công khai mà không cần relay.
Nhược điểm của Đề xuất này
- Lãng phí. Có thể có nhiều bằng chứng hơn mức cần thiết được lan truyền trên mạng, điều này sẽ làm tăng yêu cầu về băng thông cho việc lan truyền bằng chứng hoặc thời gian cần thiết được phân bổ cho việc lan truyền bằng chứng, làm giảm thời gian chứng minh.
- Các Slot bị bỏ lỡ Tiềm năng. Nếu giải thưởng được đặt quá thấp, có thể sẽ có ít người chứng minh được khuyến khích để chứng minh, gây ra các slot bị bỏ lỡ. Do đó, việc đảm bảo rằng giải thưởng đủ cao là vô cùng quan trọng.
Ưu điểm của Đề xuất này
- Liveness của Người chứng minh. Đề xuất này tạo ra động cơ cho những người chứng minh tạo ra các bằng chứng, bất kể người xây dựng là ai.
- Không có relay. Đề xuất này giải quyết vấn đề trao đổi công bằng và giao tiếp giữa người chứng minh và người xây dựng mà không cần các relay bên thứ ba đáng tin.
- Không cần cho phép. Tất cả những người chứng minh đều có thể nhận giải thưởng cho các bằng chứng.
- Những Người chứng minh 0-Stake và Không Trốn tránh. Những người chứng minh không cần phải gửi stake để bù đắp các hình phạt tiềm ẩn do không hoạt động vì hệ thống không dựa vào một người chứng minh cụ thể để cung cấp bằng chứng. Từ đó, không có rủi ro một người chứng minh hứa sẽ giao hàng nhưng lại trốn tránh.
- Không Yêu cầu Tính ngẫu nhiên. Giải thưởng được trả theo phần bằng nhau cho tất cả những người chứng minh thay vì một người chứng minh được chọn ngẫu nhiên. Điều này không ảnh hưởng đến quyết định của người chứng minh về việc có nên chứng minh hay không, nhưng nó loại bỏ nhu cầu về một oracle ngẫu nhiên tốt, như Maryam lập luận ở đây.
- Được Kiểm soát bởi Ethereum. Ethereum có thể kiểm soát các tham số của thị trường, chẳng hạn như xác suất xuất hiện quá ít bằng chứng. Không có sự phụ thuộc vào quản trị bên ngoài.
