Kế hoạch mở rộng quan trọng cho Ethereum: Báo cáo trạng thái tổng hợp lạc quan (Phần 2)

Đọc bài viết này mất 32 phút

Hầu hết các dự án đều áp dụng mô hình sản xuất khối mở, không cần cấp phép; nghĩa là bất kỳ bên nào cũng có quyền phát hành trái phiếu và mở rộng chuỗi ORU bằng cách đề xuất các khối mới.

Nguồn gốc: DAOSquare

Sản xuất khối

Hầu hết các dự án Cả hai đều áp dụng một mô hình sản xuất khối mở, không cần xin phép; nghĩa là bất kỳ bên nào cũng có quyền phát hành trái phiếu và mở rộng chuỗi ORU bằng cách đề xuất các khối mới.

Ngoại lệ duy nhất là IDEX 2.0, vì IDEX có quyền duy nhất để tạo khối. Trong trường hợp này, thuộc tính không tin cậy được duy trì nếu người dùng có thể rút tiền mà không cần xin phép nhà điều hành (tức là rút tiền bằng cách xuất bản giao dịch trực tiếp trên chuỗi gốc). Nếu không có tùy chọn này, người dùng sẽ bất lực nếu gặp phải một nhà điều hành độc hại, vì nhà điều hành sẽ xem xét tất cả các nỗ lực rút tiền của người dùng, khóa tiền của người dùng trên chuỗi tổng hợp vô thời hạn một cách hiệu quả. Tương tự như vậy, trong một hệ thống được cấp phép, sẽ không khó để người vận hành làm chậm dần quá trình sản xuất khối hoặc thậm chí ngừng sản xuất hoàn toàn; trong trường hợp này, người dùng sẽ cần phải rút tiền của họ.

IDEX 2.0 thực sự có thể cung cấp cho người dùng tùy chọn thoát để khởi động chuỗi chính. Một điều phức tạp hơn nữa: các tùy chọn thoát này phải được xác minh/có thể được khôi phục trong trường hợp gian lận và do đó phải kèm theo bảo hành để bảo vệ khỏi hành vi phá hoại có ác ý. Nhưng xem xét rằng các tùy chọn thoát này được hỗ trợ, bản thân mô hình cấp phép của IDEX không đảm bảo rằng hệ thống đang ở trạng thái quản lý (các chuỗi không được cấp phép khác cũng có kế hoạch sử dụng chuỗi chính để khởi chạy các tùy chọn thoát trong các trường hợp đặc biệt).

Ngoài ra còn có một số hiểu biết sâu sắc về việc chia sản xuất khối thành hai bước cho hầu hết các hoạt động: đầu vào riêng biệt để đưa vào giao dịch và đặt hàng giao dịch. Những mô hình này giải quyết các vấn đề liên quan đến khả năng chống kiểm duyệt và kiểm soát các cơ hội giao dịch sớm.

Trong mô hình Trọng tài, bất kỳ bên nào cũng có thể thêm giao dịch vào hàng đợi (họ gọi đó là "hộp thư đến"); nhà sản xuất khối buộc phải kéo các giao dịch từ cuối hàng đợi và đưa chúng vào khối tiếp theo . Chỉ những giao dịch không hợp lệ mới được áp dụng nhưng không có chuyển đổi trạng thái nào được thực hiện. Cho dù giao dịch không hợp lệ được thực hiện hay giao dịch hợp lệ không thành công, nó có thể bị coi là tội phạm trừng phạt thông qua chứng chỉ chống hàng giả, từ đó loại bỏ các vấn đề xem xét đơn giản (xem tại đây để biết thêm chi tiết).

Những người khác, chẳng hạn như Optimism* và WCL, có kế hoạch sử dụng mô hình đấu giá bằng chứng đốt cháy để đặt hàng các giao dịch; sau khi bao gồm một tập hợp các giao dịch, quyền giao dịch sẽ thuộc về bên sẵn sàng đốt cháy nhiều nhất Cổ phần Ether. Mục đích của việc này là để giảm chi phí và cạnh tranh cởi mở nhằm giảm thiểu tỷ suất lợi nhuận do các cơ hội đi đầu ký sinh mang lại và lý tưởng nhất là giảm thiểu rủi ro tổng thể. Vui lòng xem "Đấu giá giá trị có thể trích xuất của máy khai thác" để biết chi tiết về những thay đổi trong cách hoạt động của các kế hoạch tương tự.

Mô hình Nhiên liệu có chu kỳ sản xuất khối và trong chu kỳ này, có một khoảng thời gian trong đó một bên (tức là: công ty/nhóm) có thể xin phép các quyền sắp xếp theo thứ tự. Trong mô hình này, các nhóm ở vị trí thuận lợi để nắm bắt giá trị và kiếm tiền từ các ứng dụng mà không cần phải giới hạn việc sản xuất khối ở mức được phép.

Cuối cùng, Celer's Rollup là sản phẩm duy nhất ở chỗ bản thân việc sản xuất khối chứa cơ chế đồng thuận độc lập của riêng nó. Trước khi phát triển bản tổng hợp, Celer đã lên kế hoạch phát hành bằng chứng vốn chủ sở hữu chuỗi bên Ethereum (Mạng lưới giám hộ nhà nước) để đóng vai trò là tháp canh cho mạng kênh quốc gia của họ. Không được phép tham gia sản xuất khối và yêu cầu mã thông báo được hỗ trợ bởi Celer. Sidechains sẽ sử dụng sự đồng thuận BFT --- chẳng hạn như Tendermint hoặc tương tự. Celer có kế hoạch tận dụng cơ sở hạ tầng sidechain này để đề xuất và xuất bản các khối ORU (chi tiết tại đây).

Giả định về độ tin cậy

Hầu hết các dự án đều tuân thủ nghiêm ngặt các yêu cầu về độ tin cậy của giao thức lớp 2 được mô tả ở đầu bài viết .

Việc IDEX 2.0 phụ thuộc vào những thách thức về tính khả dụng của dữ liệu khiến giao thức này trở thành một trường hợp đặc biệt và nằm ngoài phạm vi được xác định rõ ràng của ORU. Khi một nhà sản xuất khối đề xuất một khối, ban đầu họ chỉ xuất bản gốc Merkle, với giả định ngầm rằng họ sẽ chia sẻ dữ liệu khối có liên quan với các trình xác thực ngoài chuỗi. Ví dụ: nếu dữ liệu khối không bao giờ được chia sẻ với người xác thực, người xác nhận có thể đưa ra thách thức về tính khả dụng của dữ liệu, buộc người đề xuất khối xuất bản dữ liệu dưới dạng dữ liệu cuộc gọi (như được thực hiện trong cấu trúc ORU điển hình ban đầu). Nếu khối này hợp lệ, người xác nhận sẽ bị phạt vì khiếu nại tranh chấp không hợp lệ và bị cắt một số cổ phần.

Câu hỏi hiện tại là: Sự bất đồng được nêu ở trên về cơ bản là tranh chấp về việc bên nào trong hai bên thực sự sở hữu dữ liệu; nói một cách khách quan, theo lỗi tương đương của người nói/người nghe. Không thể giải quyết vấn đề như vậy tranh luận. Do đó, trước những lo ngại về danh tiếng và động cơ trong hệ sinh thái sàn giao dịch để tiếp tục tham gia và kiếm phí, cần phải ngăn IDEX gây ra thiệt hại ác ý và cuối cùng là trừng phạt những người xác nhận. Bất kể liệu nó có đủ để ngăn chặn hành vi nguy hiểm trong thực tế hay không, những giả định này là đảm bảo an ninh cho chính ORU hoặc Ethereum, vì vậy thách thức và hình phạt đối với tính khả dụng của dữ liệu có thể được sử dụng như một giả định tin cậy bổ sung.

Dự án duy nhất khác (không thể chối cãi) yêu cầu các giả định về độ tin cậy bổ sung là ZK-ORU, dự án này yêu cầu thiết lập đáng tin cậy để tạo các dòng báo động của nó. Các dự án như ZCash và Aztec giải quyết vấn đề này thông qua một buổi lễ phức tạp (lễ phức tạp), có bảo mật bằng mật mã miễn là ít nhất một trong n người tham gia cư xử trung thực; ANON có kế hoạch thực hiện điều gì đó tương tự như ZK- Động thái tương tự của ORU.

Cuối cùng, một số dự án, bao gồm Fuel, Optimism và Nutberry, đã thảo luận về việc cung cấp cho người dùng các tùy chọn thanh toán nhanh chóng đáng tin cậy; người dùng, nếu họ chọn, có thể cân nhắc hoàn tất thanh toán trước khi được đưa vào khối khu vực. Nếu lời hứa bị phá vỡ, hành vi gian lận này không thể được chứng minh với chuỗi mẹ nhưng có thể được chứng minh với bất kỳ bên thứ ba nào. Điều quan trọng là tùy chọn này không bắt buộc và được phân biệt rõ ràng trong giao diện người dùng; những người dùng hoàn toàn không tin tưởng vào nó vẫn có thể chọn chờ xác nhận chặn. Tương tự, Celer có kế hoạch cung cấp cho người dùng một loạt các tham số bảo mật/tin cậy.Người dùng có thể yêu cầu tất cả các giao dịch phải được xuất bản ngay lập tức trong các khối tổng hợp hoặc các chuỗi bên có thể chấp nhận các cửa sổ tin cậy được tham số hóa sẽ trở nên nhỏ hơn trước khi hoàn thành trên chuỗi. cũng sẽ được giảm bớt.

Xác nhận tức thì không đáng tin cậy bằng cách cho phép các nhà sản xuất khối cắt giảm tài sản thế chấp nếu và/khi các cam kết thanh toán không thể được thực hiện; một số nhóm đang xem xét triển khai triển khai và áp dụng tính năng này.

Vì lợi nhuận

Tất cả các dự án đều có kế hoạch phát hành tác phẩm của mình dưới dạng phần mềm nguồn mở miễn phí.

ANON đang có kế hoạch phát hành và triển khai nó một cách nghiêm ngặt như một kết quả phúc lợi công cộng và hiện tại không có kế hoạch trực tiếp thu được giá trị. PinkieBell (nhà phát triển ẩn danh duy nhất ủng hộ Nutberry) cũng không có kế hoạch kiếm tiền nhưng hiện đang xem xét phí dành cho nhà phát triển, lấy một tỷ lệ nhỏ từ các nhà sản xuất khối để trả cho các nhà phát triển làm việc trong dự án.

Năm trong số các dự án: Fuel Labs, Optimism, Interstate, WCL và IDEX đang lên kế hoạch kiếm tiền từ công việc của họ theo ba cách: các trường hợp triển khai dự án, thu lợi nhuận từ phí giao dịch và cung cấp cho người dùng khả năng rút vốn thanh khoản nhanh chóng .

Mặc dù việc sản xuất khối trong Fuel, Optimism và Interstate là không được phép, nhưng nếu họ (tức là: công ty) là nhà sản xuất khối chính thì mọi thứ sẽ ổn. Họ có kế hoạch kiếm tiền bằng cách tính phí vì họ đang ở vị trí thuận lợi với tư cách là đơn vị tổng hợp ưu tiên (đã thảo luận trước đó).

Ít nhất một dự án đã bày tỏ sự không chắc chắn về tình trạng pháp lý của công ty với tư cách là đơn vị xử lý thanh toán và hiện đang chờ làm rõ thêm về vấn đề này.

Offchain Lab không có kế hoạch liệt kê các ví dụ về Artibrum Rollup, nhưng có kế hoạch sử dụng công việc của chính mình để cung cấp kế hoạch công ty và hỗ trợ cho dự án, cũng như một số đảm bảo về kinh tế và an ninh mạnh mẽ hơn để đạt được lợi nhuận.

Kế hoạch kinh tế của IDEX là kế hoạch chi tiết nhất; kết quả kiếm tiền từ thiết lập kinh tế tiền điện tử bao gồm tính phí trao đổi và giá trị vốn có của mã thông báo gốc. Các nhà sản xuất khối (IDEX) và người xác thực đều được trả thù lao, khiến IDEX trở thành dự án duy nhất cố gắng khuyến khích trực tiếp việc xác thực. IDEX và Celer là những dự án duy nhất có kế hoạch hợp nhất các token ứng dụng. Một số nhóm khác khinh miệt khái niệm mã thông báo vốn có trong hệ thống Lớp 2, những nhóm khác cởi mở hơn với các mô hình mã thông báo kinh tế khả thi, nhưng tin rằng cần phải nghiên cứu thêm và không có thông tin cụ thể nào liên quan đến dự án.

Trải nghiệm/xác minh người dùng

Hầu hết các dự án đều có kế hoạch hỗ trợ các giao dịch tổng hợp trên chuỗi thông qua plugin metamask. để xuất bản riêng của họ Ngoài giao diện mặt trước, các công cụ cơ sở hạ tầng cho trình cắm thêm siêu dữ liệu về cơ bản đã sẵn sàng.

Tất cả các dự án đều có thể hoạt động nếu không phải tất cả người dùng đều cần duy trì thời gian hoạt động và xác thực tất cả các khối; tức là họ mong muốn có hai loại người dùng: người dùng cuối thông thường và người dùng thành thạo (tức là người xác nhận). Bản chất của tất cả ORU là tất cả người dùng đều được an toàn miễn là có ít nhất một bên trung thực xác minh và cấp chứng chỉ chống hàng giả tại bất kỳ thời điểm nào. Phương pháp khuyến khích kinh tế để xác minh là trực tiếp công bố phần thưởng (chỉ trong trường hợp IDEX), đồng thời có cơ hội sản xuất khối và thu phí cũng như cơ hội xuất bản chứng chỉ chống hàng giả và nhận phần thưởng. Tất nhiên, nguyên tắc thứ 22 của bằng chứng chống hàng giả là nếu hệ thống được thiết kế phù hợp thì vẫn hy vọng rằng gian lận sẽ không xảy ra nhiều nhất có thể (nếu nó xảy ra).

Một động lực trực tiếp khác để xác minh là không tin tưởng vào người xác thực, người có thể nhanh chóng đảm bảo rằng giao dịch mà mọi người quan tâm đã được hoàn thành; tức là không cần phải đợi cửa sổ thoát xuất hiện. Kết quả mong đợi là: các bên được hưởng lợi từ việc này bao gồm sàn giao dịch, nhà cung cấp ví, nhà cung cấp thanh khoản với các tùy chọn thoát nhanh, người dùng có thể chấp nhận chuyển khoản lớn và quan trọng, người dùng/người đam mê cao cấp và người tạo dự án. Một nhóm đã gợi ý rằng những người khai thác có thể chịu trách nhiệm xác thực chuỗi tổng hợp, đặt ra một số câu hỏi thú vị về sự tương tác giữa các ưu đãi giữa lớp 1 và lớp 2 của dữ liệu đang được sử dụng.

Chủ đề mở để nghiên cứu/thảo luận

◉ Chữ ký BLS
đã dễ dàng trở thành chủ đề nóng hổi thời điểm hiện tại ; Với chữ ký BLS, nhà sản xuất khối có thể lấy chữ ký từ mỗi khối cuộn lên và thay thế chúng bằng một chữ ký tổng hợp duy nhất, đưa các yêu cầu dữ liệu trên chuỗi đến gần hơn với các bản tổng hợp ZK. Một trong những vấn đề rắc rối hơn là việc xác minh chữ ký BLS tiêu tốn nhiều gas hơn chữ ký ECDSA thông thường, nếu được xác minh. Barry Whitehat cho biết: Ông đã xác định được một cấu trúc khả thi để chuẩn bị cho khu vực trọng tâm ORU, nhưng chưa có sự thống nhất về sơ đồ tổng hợp chữ ký tối ưu.

◉ 「Dữ liệu sau」
Có thể hình dung rằng nếu việc sử dụng công nghệ cuộn lên trên Ethereum trở thành chuẩn mực, thì tương lai sẽ ra sao khi hầu hết dữ liệu chuỗi tồn tại ở dạng "cuộn lên "; Nghĩa là, có thể sử dụng được về mặt thực tiễn, nhưng không thể sử dụng trực tiếp để triển khai; thay đổi này có thể có tác động đáng kể về mặt kinh tế và kỹ thuật đối với việc triển khai ứng dụng khách Ethereum. Một giải pháp là chuẩn bị cho tương lai như vậy bằng cách giới thiệu trường dữ liệu giao dịch đặc biệt, tạm gọi là "dữ liệu sau", chỉ được sử dụng cho tính khả dụng và không thể chạm vào mô-đun trạng thái hoặc EVM. Với điều này, khách hàng có thể xử lý và lưu trữ dữ liệu một cách tối ưu hơn và lý tưởng nhất là giá xăng cuối cùng sẽ giảm. EIP có một phác thảo rộng rãi về kế hoạch này, nhưng hiện tại nó đang ở giai đoạn đầu.

◉ Kích thước trái phiếu và thông số giai đoạn thử thách
Thông số lý tưởng cho trái phiếu cần thiết cho quá trình sản xuất khối và khoảng thời gian

Vì hầu hết các đội vẫn chưa hoàn thiện những con số cuối cùng nên trước khi khối được hoàn thành Trước đây (vì vậy việc rút tiền về chuỗi chính là có thể) nó vẫn đang được thảo luận công khai. Giai đoạn thử thách dài hơn sẽ đảm bảo tốt hơn rằng người dùng có nhiều thời gian hơn để phát hiện gian lận và gây áp lực tốt hơn cho những người khai thác đang cố gắng xem xét bằng chứng xác thực. Đối với một số dự án, điều tốt nhất là đảm bảo an toàn trong vài ngày đến một tuần, vì chúng sẽ tiến gần hơn đến mức an toàn và người dùng thường sẽ rút tiền nhanh hơn, thông qua chuyển đổi nguyên tử sang on-chain hoặc token hóa, hoặc không nó chỉ để bán quyền chọn thoát và sử dụng nó như một trái phiếu (đã được thảo luận trong cấu trúc Plasma). Theo phân tích của Ed Felten, thời gian tranh chấp ngắn hơn như 3 giờ là đủ.

Trong cấu trúc lớp 2, nếu khoản bồi thường không hợp lệ, trái phiếu có thể được sử dụng làm tài sản thế chấp cần thiết để bồi thường cho người dùng, nhưng trái phiếu trong ORU thì khác, ngoài việc ngăn chặn lãng phí khí, chúng chỉ được dùng để ngăn chặn sự vô hiệu. sản xuất khối (có lẽ cũng là phần thưởng cho việc xác định thành công những kẻ lừa đảo). Nhu cầu trái phiếu được đề xuất dao động từ 32 ETH, tương đương với nhu cầu đặt cược ETH2.0, đến 1 ETH, nhưng một số người cho rằng nó phải tương đương với lượng giá trị kinh tế trên chuỗi tổng hợp (kế hoạch phòng thí nghiệm ngoài chuỗi " 1 Eth hoặc tổng giá trị 2% trên chuỗi, tùy theo giá trị nào lớn hơn")

◉ Quyền riêng tư
So với cấu trúc Plasma và kênh, một nhược điểm của việc tổng hợp là chúng không thể có được lợi ích về quyền riêng tư của dữ liệu hoàn toàn ngoài chuỗi; được đề cập ở đây Dự án duy nhất có thể mang lại lợi ích về quyền riêng tư là ZK-ORU. Các dự án khác đang thảo luận về việc tạo các bản tổng hợp tập trung vào quyền riêng tư, bằng cách triển khai có cấu trúc các công nghệ bảo mật nổi tiếng khác (ví dụ: bộ trộn Tornado Cash-esque hoặc các lớp bảo mật kiểu Aztrec-esque) hoặc bằng cách tạo các mô hình dữ liệu tổng hợp/dữ liệu liên kết kết hợp mà Người dùng có thể dựa vào một lượng lớn dữ liệu có sẵn, do đó làm giảm lượng dữ liệu được công bố trên chuỗi.

◉ Mô hình sản xuất khối
Bên cạnh sự phân chia cụ thể về EVM/ứng dụng cụ thể, một trong những tranh chấp lớn giữa các nhóm dường như là mô hình sản xuất khối không được phép nào có thể chấp nhận được, Hậu quả của các mô hình khác nhau là gì, đó là:

Có phải một mô hình tổng hợp ưu tiên duy nhất chỉ kích thích hoạt động chạy trước mang tính phá hoại nhiều hơn khi hoạt động chạy trước giảm đi?
Liệu một bên giàu có có ác ý phá hoại và kiểm duyệt một cách hiệu quả việc sản xuất khối bằng chứng cổ phần thuần túy hay không.
Làm cách nào để giá trị thị trường có thể được phản ánh và hiển thị đầy đủ trong cuộc đấu giá bằng chứng đốt cháy.

Một số nghiên cứu và mô hình hóa có thể làm sáng tỏ những vấn đề này, nhưng có lẽ chúng ta sẽ không thể đưa ra bất kỳ kết luận nào cho đến khi chúng ta thấy chúng được thử nghiệm trên thực tế.

◉ Ngữ nghĩa trò chơi lạc quan
Nghiên cứu của nhóm Lạc quan về các đặc tính lý thuyết của cấu trúc lớp 2 cuối cùng đã dẫn đến khái niệm Ngữ nghĩa trò chơi lạc quan, cố gắng xây dựng các cấu trúc khác nhau của lớp 2 trong khuôn khổ ngữ nghĩa thống nhất gian lận/tranh chấp. Được thiết kế để tạo cơ sở hạ tầng và logic hợp đồng dùng chung giữa các loại ứng dụng lớp 2 khác nhau (không chỉ các bản cuộn mà còn cả các kênh, plasma, v.v.). Cả Optimism và Phòng thí nghiệm kinh tế tiền điện tử (hiện tập trung vào cấu trúc Plasma, nhưng có thể phát triển các hoạt động tổng hợp trong tương lai) đang cố gắng phát triển các công cụ trong khuôn khổ thống nhất như vậy.

Kết luận

Nhóm sử dụng mô hình Optimistic Rollup đã rút ra kết luận từ nhiều góc độ khác nhau: khám phá các cấu trúc khác nhau của Lớp 2 Lý thuyết không gian thiết kế, tìm cách chạy các công cụ thực thi trong EVM một cách hiệu quả, cố gắng tạo ra các phiên bản có khả năng mở rộng cao hơn của các ứng dụng Ethereum hiện có, v.v., hội tụ vào ORU để có đủ lợi ích về khả năng mở rộng với độ phức tạp thực tế tối thiểu, đó là cách tốt nhất để tiến về phía trước .

Chúng tôi sẽ chỉ có thể trả lời những câu hỏi mở này khi chúng tôi thấy những vấn đề này xuất hiện trên mạng chính và xem hệ sinh thái chọn sử dụng các công cụ này như thế nào; tức là liệu dự án có áp dụng cơ sở hạ tầng cho một bản tổng hợp rộng hơn hay không giải pháp hoặc thiết kế thứ gì đó phù hợp hơn với mục đích sử dụng trong thế giới thực, cộng với một số tiêu chuẩn cụ thể hơn về chi phí gas và gánh nặng xác minh để đưa ra con số chính xác cho các giao dịch. Nhưng đã có một số dự án trên mạng thử nghiệm và không có bất kỳ thách thức tiềm ẩn nào về nghiên cứu và khả năng sử dụng được phát hiện, có một điều chắc chắn là chúng ta sẽ sớm thấy nó hoạt động. Các hợp đồng thông minh tự trị có khả năng mở rộng đang nổi lên.

*Sửa: Phiên bản trước của bài viết này đã tuyên bố rằng mô hình sản xuất khối của Dự án Lạc quan cho phép họ được ưu tiên làm người định vị; giao thức đấu giá MEV của họ thực sự sẽ không đặc quyền cho bất kỳ ai. Cảm ơn Ben Jones.

Xin cảm ơn tất cả các nhóm đã tham gia cuộc phỏng vấn và cảm ơn vì những cuộc thảo luận rất hữu ích của các bạn.

Daniel Goldman Daniel Goldman là kỹ sư phần mềm tự do, nhà tư vấn kỹ thuật và tác giả. Để biết thông tin cập nhật về công việc của anh ấy, hãy nhấp vào đây.