Tổng hợp gốc: 0x 11 , Tin tức tầm nhìn xa

Tổng hợp gốc: 0x 11 , Tin tức tầm nhìn xa

Vào đầu năm 2022, có một cuộc thảo luận về tiềm năng tập trung của việc xây dựng khối và tác động của PBS (tách người đề xuất/người xây dựng) sau MEV và đặt hàng khối. Cá nhân tôi đồng cảm với mối quan tâm này và đã xuất bản một bài báo khám phá những rủi ro của việc tập trung hóa. Cộng đồng bị chia rẽ về vấn đề này, với một số người ủng hộ ý tưởng về mạng lưới trình xác nhận phi tập trung và trình tạo khối tập trung hơn cho Ethereum, như Vitalik Buterin đã viết trong "EndgameBáo cáoBáo cáotiêu đề cấp đầu tiên

Xây dựng khối tập trung như thế nào và tại sao chúng ta cần phân cấp?

Ethereum đã và đang cố gắng trở thành chuỗi khối chống kiểm duyệt, không cần cấp phép và không đáng tin cậy nhất và bất kỳ hình thức tập trung hóa nào cũng có thể làm tổn hại đến các thuộc tính này. Tôi sẽ liệt kê những vấn đề chính và giải thích tại sao một số lại quan trọng còn một số thì không.

Luồng đặt hàng độc quyền:Cả Flashbots và cộng đồng đang tích cực thảo luận về cách luồng đơn đặt hàng độc quyền có thể dẫn đến một trình tạo khối duy nhất độc quyền giành chiến thắng giá thầu và luồng đơn đặt hàng. Liên tục giành chiến thắng trong các cuộc đấu giá, giả sử các nhà xây dựng cung cấp các ưu đãi như chia sẻ MEV, giao dịch riêng tư và đảm bảo chạy ngược MEV để thu thập các luồng đơn đặt hàng mà người khác không thể truy cập để xây dựng các khối có giá trị cao hơn. Tuy nhiên, tôi nghĩ rằng đó là một câu hỏi quá rộng để nhóm tất cả các loại ưu đãi dẫn đến tính độc quyền, vì vậy tôi đã chia chúng thành các danh mục con sau: Luồng đơn hàng độc quyền thông qua phân phối lại MEV và Luồng đơn hàng độc quyền thông qua đảm bảo hoàn trả MEV, giao dịch riêng tư . Lưu ý rằng các danh mục con này không loại trừ lẫn nhau và có ý nghĩa khác nhau.

• Phân phối lại MEV: Mối quan tâm này có thể trở nên ít liên quan hơn khi có nhiều thị trường dòng lệnh hơn được tung ra trong những năm tới. Sự cạnh tranh trên thị trường ngày càng gay gắt và họ sẽ cần đưa ra nhiều khoản giảm giá MEV hơn thông qua đấu giá theo luồng đơn đặt hàng để thu hút người dùng và giao dịch. Sự cạnh tranh này cuối cùng sẽ ảnh hưởng đến nơi người dùng chọn gửi giao dịch.

• Giao dịch riêng tư và đảm bảo chạy ngược MEV: Đây là tính năng tùy chọn mà một số người có thể thích. Tuy nhiên, việc sử dụng loại luồng đặt hàng độc quyền này có thể dẫn đến việc tập trung hóa luồng đặt hàng nếu nó muốn phát triển theo quy mô. Để giảm thiểu điều này, sẽ có lợi cho những người xây dựng khối phi tập trung để liên tục đề xuất các khối có giá trị cao hơn.

kiểm duyệt:Việc phân cấp không đầy đủ cho các trình tạo khối có thể dẫn đến một nhóm nhỏ các trình tạo thông đồng và kiểm duyệt các giao dịch. Mặc dùcrListMô tả hình ảnh

Tỷ lệ thành công trung bình của năm nhà xây dựng khối hàng đầu

Ba nhà xây dựng khối hàng đầu cùng nhau kiểm soát 60% tổng số khối được gửi thành công trong tháng, cho thấy rằng cần phải đặt niềm tin rất lớn vào hành vi không thông đồng hoặc kiểm duyệt giao dịch của họ. Để giải quyết vấn đề này, việc triển khai một khuôn khổ phi tập trung hóa quy trình xây dựng khối sẽ làm tăng chi phí thông đồng và kiểm duyệt, tạo điều kiện cho một hệ thống sản xuất khối đáng tin cậy hơn.

Mô tả hình ảnh

Biểu đồ tỷ lệ chặn thành công

Biểu đồ minh họa tỷ lệ khối thành công trước và sau khi hợp nhất theo thời gian. Đáng chú ý, có thể thấy rằng Flashbots (màu xanh lam đậm) đã giảm tỷ lệ tạo khối thành công và đạt đến điểm cân bằng tương tự như các trình tạo khối chính khác, thay vì hoàn toàn thống trị việc sản xuất khối. Điều này mâu thuẫn với đề xuất tập trung hóa do hiệu ứng mạng và có thể có nhiều cách giải thích cho kết quả này.

• Luồng đặt hàng dành riêng cho đối thủ cạnh tranh: Các nhà xây dựng cạnh tranh khác có thể có luồng đặt hàng độc quyền (giao dịch riêng tư, v.v.) tạo ra các khối có giá trị cao hơn.

• Tắc nghẽn dòng đặt hàng: Quá nhiều đơn đặt hàng muốn được Flashbots đưa vào một khối, gây ra sự chậm trễ. Điều này có thể buộc người dùng thực hiện các giao dịch giữa nhiều nhà xây dựng để tăng cơ hội được cam kết trong một khối, đặc biệt là trong thời gian có lưu lượng truy cập cao.

• Tuân thủ OFAC: Flashbot tuân thủ OFAC, trong khi các Flashbot khác thì không. Người dùng có thể quyết định chọn một trình tạo dựa trên một số vấn đề về quy định.

• Flashbots mã nguồn mở trình xây dựng và mã chuyển tiếp để thu hút nhiều cạnh tranh hơn.

tiêu đề cấp đầu tiên

Chúng ta đang phân cấp cái gì?

Sức mạnh của sản xuất khối là chìa khóa để phân cấp. Thay vì ủy quyền toàn quyền kiểm soát việc xây dựng khối cho một thực thể, có một khuôn khổ cho phép nhiều thực thể hoặc cá nhân tham gia vào quy trình. Hiện tại, có hai cách để đạt được điều này và cần lưu ý rằng những cách này không loại trừ lẫn nhau.

• Người đề xuất tham gia xây dựng khối

• Phân cấp các trình tạo khối với kiến ​​trúc và thuật toán mới, cho phép sản xuất khối cạnh tranh (không gian thiết kế lớn)

tiêu đề cấp đầu tiên

Phương pháp 1: Người đề xuất tham gia sản xuất khối

Hiện nay cómột số phương phápđâyđây。

Mô tả hình ảnh

Sơ đồ quy trình xây dựng khối, nguồn Eigenlayer

Hệ thống PBS tăng cường khả năng chống kiểm duyệt của Ethereum bằng cách hạn chế thẩm quyền của người xác thực đối với các đề xuất cho các khối có giá trị cao hơn. Tuy nhiên, Eigenlayer đã đề xuất một khung quản trị MEV có tên là MEV+, cho phép những người đề xuất khối bao gồm các giao dịch bổ sung trên các khối hiện có. Điều này đạt được bằng cách áp đặt các điều kiện cắt giảm bổ sung.

Mô tả hình ảnh

Sơ đồ của người đề xuất tham gia tạo khối, nguồn Eigenlayer

Cơ chế này cũng hoạt động tốt khi kết hợp với crList, đây là danh sách các giao dịch mà người đề xuất phải đưa vào một khối. Điều này giúp giảm khả năng giao dịch bị kiểm duyệt ở cấp độ người xây dựng. Trong khi các giải pháp khác đã được đề xuất, chẳng hạn như cam kết trước với gốc Merkle hoặc cam kết KZG cho phép người đề xuất tham gia sản xuất khối, EigenLayer cung cấp giải pháp thay thế đơn giản hơn không yêu cầu tài nguyên máy tính bổ sung từ người đề xuất và có thể tham gia sản xuất khối tại cùng một lúc.

tiêu đề cấp đầu tiên

Cách tiếp cận 2: Trình tạo khối phi tập trung

Thiết kế trình tạo khối phi tập trung là một lĩnh vực hấp dẫn để khám phá và các nhóm như Flashbots đã thử nghiệm các thiết kế khác nhau. Khi xem xét làm thế nào để phi tập trung hóa các nhà xây dựng, điều quan trọng là phải nhận thức được những thách thức sau:

• Đánh cắp MEV: Người xây dựng có thể truy cập thông tin trong các giao dịch gói do Người tìm kiếm gửi và đánh cắp MEV từ Người tìm kiếm. Để ngăn chặn điều này, quyền riêng tư của các gói và giao dịch đã gửi phải được bảo vệ theo thiết kế.

• MEV dưới mức tối ưu: Lý tưởng nhất là các công cụ xây dựng nên được phân cấp trong khi vẫn duy trì MEV tối ưu. Do phân cấp, một số thiết kế có thể dẫn đến việc xây dựng khối không hiệu quả và dẫn đến giảm MEV của khối, từ đó dẫn đến giảm khả năng cạnh tranh của khối. Nhưng cũng có thể lập luận rằng việc sản xuất khối dưới mức tối ưu có thể chấp nhận được miễn là các nhà xây dựng phi tập trung thu hút nhiều dòng lệnh hơn các nhà xây dựng khác.

• Cạnh tranh với các nhà xây dựng tập trung: Các nhà xây dựng phi tập trung cần phải cạnh tranh với các nhà xây dựng tập trung trong việc sản xuất MEV. Mục tiêu của các nhà xây dựng phi tập trung là tổng hợp càng nhiều luồng lệnh càng tốt để cạnh tranh với luồng lệnh tập trung giữa các nhà xây dựng tập trung.

• Độ trễ: Quá trình sản xuất khối rất nhạy cảm về thời gian và có thể có các vấn đề nghiêm trọng về độ trễ.

• Quyền tài phán (khả năng chống kiểm duyệt): Các công cụ xây dựng phi tập trung nên trải rộng trên nhiều khu vực pháp lý để họ có thể chống lại sự giám sát của tư pháp (như OFAC). Quy định vẫn là một khu vực màu xám ở hầu hết các quốc gia và người ta không muốn có nguy cơ mạng lưới xây dựng bị gỡ xuống bởi một thực thể quản lý duy nhất.

Với những thách thức này, tôi muốn thảo luận về các thiết kế công cụ xây dựng phi tập trung được đề xuất trong cộng đồng nghiên cứu và đi sâu vào một số vấn đề tiềm ẩn xung quanh chúng. Hiện tại, có hai loại công cụ xây dựng phi tập trung chính:

• Mô hình Người tìm kiếm-Người tổng hợp: Người tìm kiếm gửi các gói giao dịch và Người tổng hợp sẽ xây dựng các khối mà không cần biết nhiều/bất kỳ thông tin nào về gói đã gửi.

• Mô hình đấu giá vị trí: không gian khối được đấu giá tuần tự, các khối được xây dựng dần dần bởi nhiều người xây dựng và không có bộ tổng hợp.

tiêu đề phụ

Thiết kế 1: Mô hình Seeker-Aggregator Sử dụng TEE/TPM

Mô tả hình ảnh

Sơ đồ trình tạo khối dựa trên TEE, nguồn Vitalik

Flashbots đã xuất bản mộtbáo cáo tiến trình, mô tả trải nghiệm của họ khi chạy Geth trong SGX, một TEE do Intel phát triển. Mặc dù có nhiều thách thức về kỹ thuật, nhưng họ đã chạy Geth thành công bằng cách sử dụng không gian trao đổi được mã hóa trong SGX và Gramine, một trong những hệ điều hành thư viện được thiết kế cho SGX, với RAM 500 GB, không gian trao đổi SSD 1 TB và Bộ nhớ được bảo vệ 64 GB. Dưới đây là một số điểm chính rút ra từ cuộc thử nghiệm:

• Chạy Geth trong SGX là khả thi, nhưng tốn nhiều tài nguyên và thời gian, đòi hỏi nhiều bộ nhớ và thời gian khởi động 3 giờ để lưu trữ và mã hóa dữ liệu trên chuỗi.

• Không gian trao đổi được mã hóa cung cấp hiệu suất tốt, nhưng vẫn dễ bị tiết lộ thông tin từ các cuộc tấn công kênh bên, tấn công kênh bí mật và các lỗi lập trình khác.

• Có sự đánh đổi giữa hiệu suất và tài nguyên. Ví dụ: các phương pháp sử dụng ít tài nguyên hơn hoạt động kém và có thể gặp nhiều sự cố rò rỉ thông tin nghiêm trọng hơn.

Ngoài ra, có những vấn đề khác cần xem xét khi sử dụng SGX:

Có vàiphương phápVấn đề rò rỉ thông tin có thể được giảm thiểu, nhưng một số phương pháp có thể làm giảm hiệu suất, đòi hỏi phải thử và sai nhiều hơn để hoàn thiện khung hoạt động tốt nhất để chạy SGX.

Việc thiết lập phức tạp và sự khan hiếm chip tương thích với SGX dẫn đến rào cản gia nhập cao. Các nhà cung cấp dịch vụ đám mây có thể cung cấp khả năng truy cập SGX và có thể được sử dụng như một giải pháp tạm thời, nhưng về lâu dài, các nhà khai thác đám mây sẽ là một yếu tố tập trung quan trọng.

Rò rỉ SGX vẫn là một vấn đề. Nếu một người tìm thấy các lỗ hổng có thể khai thác khác trong SGX, thì bộ tổng hợp phải ngay lập tức thực hiện khôi phục TCB của riêng mình (quy trình được thiết kế để khởi tạo lại môi trường SGX), thay vì đợi phản hồi từ Intel, việc này có thể mất nhiều thời gian.

Không giống như các nhà xây dựng tập trung, về nguyên tắc, các nhà xây dựng phi tập trung nên hoan nghênh và khuyến khích tổng hợp các luồng đơn đặt hàng. Giả sử không có rò rỉ thông tin, mô hình trình tổng hợp tìm kiếm phải có độ tin cậy bảo mật tối thiểu, tin tưởng rằng mã hóa và SGX hoạt động hoàn hảo. Tuy nhiên, nó có thể có mức độ hoạt động đáng tin cậy cao khi chỉ có một số thực thể chạy trình tổng hợp, điều này có thể xảy ra vì các gói được tổng hợp một cách tự nhiên cho các trình tổng hợp thành công nhất. Trong trường hợp này, sẽ không có vấn đề kiểm duyệt trong luồng/gói đặt hàng, nhưng có thể có vấn đề về tính sống động.

Nếu số lượng thực thể chạy trình tổng hợp nhỏ, thì có thể không đủ phân phối địa lý dẫn đến các khu vực pháp lý bị sai lệch, khiến mạng dễ bị kiểm tra theo quy định hơn.

tiêu đề phụ

Thiết kế 2: Mô hình Seeker-Aggregator với Mã hóa ngưỡng và ZK-SNARK

Mô tả hình ảnh

Sơ đồ của trình tạo khối dựa trên TE và ZKP

Có khả năng thông đồng giữa người tổng hợp và người đề xuất trong thiết kế này. Mã hóa ngưỡng chỉ đảm bảo quyền riêng tư của các gói trước khi gốc trạng thái được tính toán và các bộ tổng hợp tính toán gốc trạng thái yêu cầu quyền truy cập vào thông tin giao dịch hoặc cập nhật trạng thái. Quyền truy cập này cho phép đánh cắp MEV bằng cách theo dõi các giao dịch tương ứng. Thiết kế này loại bỏ nhu cầu về TEE/TPM, nhưng nó không thể ngăn chặn sự thông đồng như vậy mà không làm tăng thêm độ phức tạp, chẳng hạn như yêu cầu người đề xuất cam kết với các khối trước khi cho phép tính toán giải mã gốc trạng thái. Dưới đây là một số vấn đề với kiểu thiết kế này:

• Cam kết sớm của những người đề xuất đối với các khối có thể đạt được thông qua cơ sở hạ tầng đặt cược lại (chẳng hạn như Eigenlayer), nhưng phải chịu thêm chi phí hoạt động, vì những người đặt cược ETH cần được khuyến khích đầy đủ để cân bằng các điều kiện cắt giảm liên quan.

• Người đề xuất có thể bỏ lỡ các khối có giá trị cao hơn bằng cách gửi khối sớm.

• Chi phí tính toán bổ sung và độ trễ của việc tạo ZK-SNARK và mã hóa ngưỡng khiến mô hình này có khả năng không khả thi trong thực tế.

• Liên quan đến câu hỏi ai sẽ là người nắm giữ khóa đủ điều kiện cho gói được mã hóa theo ngưỡng, nếu Người tìm kiếm giữ khóa, kẻ tấn công giả dạng Người tìm kiếm có thể ngăn chặn quá trình giải mã và trì hoãn việc tạo khối. Ngược lại, các bộ tổng hợp không thể giữ khóa, vì mỗi bộ trong số chúng đang cạnh tranh để sản xuất khối và có thể được khuyến khích chặn các bộ tổng hợp khác. Điều này có thể yêu cầu một bên thứ ba, không phải là người tìm kiếm cũng không phải là người tổng hợp, và đưa ra các giả định về độ tin cậy bổ sung có thể làm giảm các đặc tính không cần độ tin cậy/giảm thiểu độ tin cậy của việc trở thành một công cụ xây dựng phi tập trung.

• tiêu đề phụ

Thiết kế 3: Mô hình đấu giá vị trí dựa trên tìm kiếm lặp lại hỗn loạn

Mô tả hình ảnh

Sơ đồ của trình tạo khối dựa trên đấu giá vị trí

Thiết kế nhằm mục đích cho phép nhiều nhà xây dựng khối tham gia xây dựng một khối bằng cách chia lượng khí tối đa của khối thành n vị trí, cho x nhà xây dựng, trong đó n = f(x) và n

• Khi một vị trí tiền điện tử được công khai sẽ xác định hiệu quả của phiên đấu giá (giá thầu càng gần với MEV tương ứng thì phiên đấu giá sẽ càng hiệu quả, vì MEV sẽ là giá "thực" của vị trí đó). Nếu vị trí tiền điện tử N-1 được công khai trước phiên đấu giá vị trí N, thì phiên đấu giá sẽ hiệu quả vì các nhà xây dựng sẽ có thể đặt giá thầu dựa trên MEV dự kiến ​​của họ. Tuy nhiên, điều này có thể gây ra các vấn đề về độ trễ trong thực tế, vì quá trình đấu giá và giải mã các vị trí theo trình tự nghiêm ngặt có thể mất một khoảng thời gian. Do đó, một tùy chọn khác là yêu cầu các nhà xây dựng đặt giá thầu trước để có quyền xây dựng các khối cho tất cả các vị trí và giải mã các khối theo trình tự khi các nhà xây dựng lấp đầy các vị trí. Đấu giá có thể không hiệu quả do các nhà xây dựng không biết MEV của một vị trí trước khi đặt giá thầu (các giao dịch trong vị trí N-1 cần được biết để xác định MEV cho vị trí N) và các nhà xây dựng thậm chí có thể bất cẩn do thiếu MEV được thực hiện. cho khe cắm. Tuy nhiên, vấn đề này có thể được giảm thiểu bằng cách thực hiện phân tích thống kê về giá thầu lịch sử cho các vị trí tại một vị trí nhất định trong khối.

• Để ngăn người xây dựng sửa đổi giao dịch trong các vị trí trước đó, những người xây dựng khác phải đóng vai trò là nhân chứng và cung cấp một số hình thức chứng minh gian lận.

• Khi các vị trí được giải mã theo thứ tự, trình tạo tập trung có thể đánh cắp một số MEV. Nếu người dùng chỉ gửi luồng đơn đặt hàng qua mạng lưới các nhà xây dựng này dựa trên đấu giá vị trí, thì vấn đề ăn cắp MEV không quá nghiêm trọng, nhưng nếu luồng đơn đặt hàng được gửi qua các nhà xây dựng tập trung và mạng lưới các nhà xây dựng này, thì việc ăn cắp MEV có thể là vấn đề .

• tiêu đề phụ

Thiết kế 4: Đấu giá vị trí tuần tự với các cam kết của người đề xuất

tiêu đề cấp đầu tiên

Quan điểm về tương lai của xây dựng khối

Phân cấp là một khía cạnh quan trọng của công nghệ chuỗi khối và việc đảm bảo rằng các trình tạo khối được phân cấp là rất quan trọng. Trong bài viết này, chúng tôi thảo luận về một số cách tiếp cận khả thi để xây dựng khối phi tập trung. Tuy nhiên, đây vẫn là một không gian thiết kế mở cho cộng đồng nghiên cứu khám phá và hợp tác.

Việc thiết kế một trình tạo khối phi tập trung cạnh tranh đòi hỏi nhiều thử nghiệm và các nhóm như Flashbots đã khám phá SGX và các công nghệ hỗ trợ quyền riêng tư khác. Tuy nhiên, cần có nhiều đổi mới và nghiên cứu hơn để nhận ra tiềm năng đầy đủ của những công nghệ này.

Nhìn chung, việc xây dựng khối phi tập trung là một thách thức đang diễn ra đòi hỏi sự hợp tác và chuyên môn của cộng đồng nghiên cứu rộng lớn hơn ngoài tiền điện tử. Thông qua thử nghiệm, thử nghiệm và đổi mới, chúng tôi có thể cố gắng tạo ra một trình tạo khối cạnh tranh, phi tập trung giúp tăng cường khả năng chống kiểm duyệt của mạng.