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

Bài viết này là phần thứ ba của "Kế hoạch mở rộng quan trọng của Ethereum: Báo cáo trạng thái tổng hợp lạc quan". Vui lòng tham khảo các bài viết trước của chúng tôi để biết phần thứ nhất và thứ hai.

sản xuất khối sản xuất khối

Hầu hết các dự án áp dụng 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, các thuộc tính không đáng tin cậy có thể được duy trì nếu người dùng có thể rút tiền mà không cần sự cho phép của nhà điều hành (tức là rút tiền bằng cách trực tiếp phát hành giao dịch trên chuỗi mẹ). Nếu không có tùy chọn này, người dùng sẽ bất lực khi gặp phải một nhà điều hành độc hại, vì nhà điều hành sẽ kiểm duyệ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 số một cách hiệu quả vô thời hạn. Tương tự như vậy, trong một hệ thống được phép, không khó để các nhà khai thác dần dần làm chậm 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 cung cấp cho người dùng tùy chọn thoát khỏi khởi chạy chuỗi chính. Một điều phức tạp: những lựa chọn không tham gia 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 đi kèm với bảo đảm chống lại thiệt hại có hại. Nhưng 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 ở trạng thái quy định (các chuỗi không có quyền khác cũng có kế hoạch áp dụng chuỗi chính để khởi chạy tùy chọn thoát trong các trường hợp đặc biệt).

Ngoài ra, hầu hết các hoạt động đều có một số thông tin chi tiết về việc chia sản xuất khối thành hai bước: các đầu vào riêng biệt để đưa vào giao dịch và đặt hàng giao dịch. Các mô hình này giải quyết các câu hỏi về khả năng chống kiểm duyệt và cơ hội giảm các giao dịch chạy trước.

đâyđây）。 

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 một nhóm giao dịch được bảo hiểm, quyền giao dịch sẽ thuộc về bên sẵn sàng đốt cháy nhiều cổ phần Ether nhất. Mục đích của việc này là để giảm chi phí và cạnh tranh mở để giảm thiểu tỷ suất lợi nhuận từ các cơ hội ăn bám của người đi trước và lý tưởng là giảm rủi ro tổng thể. Vui lòng tham khảo trước "Miner Extractable Value Auctions”。

Mô hình Nhiên liệu có một chu kỳ sản xuất khối, trong đó có một cửa sổ thời gian mà một bên (ví dụ: một công ty/nhóm) có thể xin phép các quyền sắp xếp. 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 của họ mà không 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à duy nhất ở chỗ bản thân quá trình 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 cấp chứng chỉ về quyền chuỗi bên Ethereum (mạng bảo vệ trạng thái "State Guardian Network") hoạt động như một tháp canh cho mạng lưới kênh quốc gia của họ. Việc tham gia sản xuất khối không được phép và yêu cầu hỗ trợ cho mã thông báo của Celer. Các chuỗi bên 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 chuỗi bên này để đề xuất và xuất bản ORU khối (để biết thêm chi tiết, vui lòng tham khảohere）。

giả định tin tưởng

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.

Sự phụ thuộc của IDEX 2.0 vào các thách thức về tính sẵn có 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 các 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 định rằng họ sẽ chia sẻ dữ liệu khối có liên quan với 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 trình xác thực, trình xác thực 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 ban đầu trong cấu trúc ORU điển hình). Nếu khối hóa ra là hợp lệ, những người xác thực sẽ bị phạt vì những thách thức tranh chấp không hợp lệ và bị cắt cổ phần của họ.

Vấn đề hiện tại là: sự bất đồng được nêu ở trên về cơ bản là tranh cãi về việc bên nào trong hai bên thực sự sở hữu dữ liệu;speaker/listener fault equivalence）,Không thể giải quyết các tranh chấp như vậy một cách khách quan. Do đó, IDEX cần phải được ngăn chặn để gây ra thiệt hại độc hại và cuối cùng là trừng phạt những người xác thực do lo ngại về danh tiếng và động cơ để tiếp tục tham gia và kiếm phí trong hệ sinh thái trao đổi. 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à sự đảm bảo an ninh cho chính ORU hoặc Ethereum, vì vậy thách thức và hình phạt này đố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 (được cho là) ​​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 một thiết lập đáng tin cậy để tạo các mạch giật của nó. Các dự án như ZCash và Aztec vượt qua một buổi lễ công phu (elaborate ceremony) để giải quyết vấn đề này, miễn là ít nhất một trong số n người tham gia cư xử trung thực, nó có bảo mật mã hóa; ANON có kế hoạch làm điều gì đó tương tự như ZK-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 tùy chọn thanh toán nhanh dựa trên niềm tin; người dùng, nếu họ chọn, có thể xem xét hoàn tất thanh toán trước khi đưa nó vào một khối. Nếu lời hứa bị phá vỡ, hành vi gian lận này sẽ không được chứng minh với chuỗi mẹ, nhưng nó có thể được chứng minh với bất kỳ bên thứ ba nào. Điều quan trọng: tùy chọn này không bắt buộc và có một sự khác biệt đáng chú ý trong giao diện người dù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 khối. 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 được thông báo ngay lập tức trong khối tổng số hoặc sidechain có thể chấp nhận cửa sổ tin cậy được tham số hóa trước khi chuỗi hoàn thành trở nên nhỏ hơn và tầm quan trọng của nhiệm vụ sẽ giảm đi.

lợi nhuận

lợi nhuận

Tất cả các dự án đều có kế hoạch phát hành sản phẩm của họ dưới dạng phần mề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 túc như một thành tựu phúc lợi công cộng và hiện tại không có kế hoạch để trực tiếp nắm bắt giá trị. PinkieBell (nhà phát triển ẩn danh duy nhất hỗ trợ Nutberry) cũng không có kế hoạch kiếm tiền, nhưng hiện đang xem xét một khoản phí dành cho nhà phát triển, một khoản phí 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 này: 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: triển khai các ví dụ về dự án, kiếm tiền bằng cách tính phí giao dịch và cung cấp thanh khoản cho người dùng để rút tiền nhanh chóng.

Mặc dù việc sản xuất khối trong Fuel, Optimism và Interstate không được phép, nhưng nếu họ (tức là: các công ty) là nhà sản xuất khối chính thì mọi thứ đều ổ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à người 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à bên xử lý thanh toán và đang chờ làm rõ thêm về vấn đề này.

Phòng thí nghiệm Offchain 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ủa công ty và hỗ trợ cho dự án, cũng như một số đảm bảo mạnh mẽ hơn về mặt kinh tế và bảo mật để đạt được lợi nhuận.

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

Trải nghiệm người dùng / Xác thực

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

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

Một động cơ trực tiếp khác để xác minh là tin tưởng vào trình xác thực sẽ nhanh chóng đảm bảo rằng giao dịch mà mọi người quan tâm được hoàn tất; nghĩa là không cần phải đợi cửa sổ thoát xuất hiện. Kết quả dự kiến ​​là các bên được hưởng lợi từ việc này sẽ là 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ó khả năng chấp nhận chuyển khoản lớn và quan trọng, người dùng/người đam mê cấp cao và người tạo dự án. Một nhóm đã gợi ý rằng những người khai thác có thể thực hiện công việc của họ là xác thực chuỗi tổng số, đặt những câu hỏi thú vị về tác động qua lại của các ưu đãi giữa lớp 1 và lớp 2 của dữ liệu đượ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 tại thời điểm này; với chữ ký BLS, các nhà sản xuất khối có thể lấy chữ ký từ mỗi khối tổng số 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à nếu được xác minh, việc xác minh chữ ký BLS sẽ tiêu tốn nhiều gas hơn so với chữ ký ECDSA điển hình. Barry Whitehat cho biết: Ông đã xác định một cấu trúc khả thi để chuẩn bị cho khu vực tập trung của ORU, nhưng vẫn chưa đạt được sự đồng thuận về sơ đồ tổng hợp chữ ký tốt nhất.

“Post-Data”

Có thể hình dung rằng nếu việc sử dụng công nghệ rollup trên Ethereum trở thành chuẩn mực thì tương lai sẽ như thế nào khi phần lớn dữ liệu chuỗi tồn tại ở dạng “cuộn lên”; tức là có thể sử dụng được về mặt thực tế nhưng không trực tiếp có thể sử dụng để triển khai; Thay đổi này có thể có ý nghĩa kinh tế và kỹ thuật quan trọng đố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 một tương lai như vậy bằng cách giới thiệu một trường dữ liệu giao dịch đặc biệt, tạm thời được gọi là "dữ liệu sau", chỉ dành cho khả năng sử dụng và không cần 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 tối ưu hơn, và lý tưởng nhất là giá gas cuối cùng sẽ giảm.EIPCó nhiều phác thảo về cách tiếp cận này, nhưng nó đang ở giai đoạn đầu.

Quy mô trái phiếu và thông số giai đoạn thử thách

Các tham số lý tưởng cho các liên kết cần thiết để sản xuất khối và cửa sổ thời gian

Vì hầu hết các nhóm vẫn chưa giải quyết được các con số cuối cùng, nên nó vẫn đang trong giai đoạn thảo luận công khai cho đến khi các khối được hoàn thiện (và do đó có thể rút lại chuỗi chính). Thời gian 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à tạo á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, tốt nhất là ở trong khoảng thời gian an toàn từ vài ngày đến một tuần, vì chúng sẽ tiến gần đến mức an toàn hơn và người dùng thường sẽ rút tiền nhanh hơn, bằng cách chuyển đổi nguyên tử thành chuỗi hoặc mã thông báo, hoặc bằng cách không phải chỉ để bán tùy chọn rút lui và sử dụng nó như một trái phiếu (trongPlasmacấu trúc đã được thảo luận). Phân tích của Ed Feltenanalysis, khoảng 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. (có lẽ cũng là phần thưởng cho việc làm chứng thành công chống lại những kẻ lừa đảo). Các yêu cầu trái phiếu được đề xuất nằm trong khoảng từ 32ETH đến 1ETH tương đương với yêu cầu vốn chủ sở hữu ETH2.0, nhưng một số gợi ý rằng nó phải tương đương với giá trị kinh tế trên chuỗi tổng số (phòng thí nghiệm ngoài chuỗikế hoạch"1 Eth hoặc 2% tổng giá trị trên chuỗi, tùy theo giá trị nào lớn hơn")

sự riêng tư

Một nhược điểm của các bản tổng hợp so với cấu trúc kênh và Plasma là chúng không nhận được lợi ích về quyền riêng tư do dữ liệu hoàn toàn nằm ngoài chuỗi; dự án duy nhất được đề cập ở đây cung cấp 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ư theo hai cách: triển khai các kỹ thuật bảo mật nổi tiếng khác trên kết cấu (ví dụ: Tornado Cash - bộ trộn esque hoặc lớp quyền riêng tư Aztrec-esque) hoặc tạo các mô hình dữ liệu tổng hợp/liên kết kết hợp sao cho 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 việc xuất bản trên chuỗi.

Mô hình sản xuất khối

Ngoài việc phân chia đầy đủ EVM/dành riêng cho ứng dụng, một trong những cuộc tranh luận chính giữa các nhóm dường như là mô hình sản xuất khối không cần xin phép nào được chấp nhận và mô hình khác nhau sẽ mang lại kết quả gì, cụ thể là:

• Có phải mô hình tổng hợp ưu tiên đơn chỉ khuyến khích chạy trước đột phá hơn khi chạy trước giảm.

• Liệu một bên giàu có có ác ý phá vỡ và kiểm duyệt hiệu quả quá trình sản xuất khối bằng chứng cổ phần thuần túy hay không?

• Giá trị thị trường có thể được phản ánh và thể hiện đầy đủ như thế nào trong phiên đấu giá bằng chứng cháy.

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

Optimistic Game Semantics

Nghiên cứu của nhóm Optimism về các tính chất lý thuyết của cấu trúc lớp 2 đã đạt đến đỉnh cao trongOptimistic Game SemanticsTóm lại là

Tóm lại là

Các nhóm sử dụng mẫu Tổng hợp lạc quan rút ra kết luận từ các quan điểm khác nhau: khám phá không gian thiết kế lý thuyết của các cấu trúc lớp 2 khác nhau, tìm cách chạy hiệu quả các công cụ thực thi trong EVM và cố gắng tạo các phiên bản có thể mở rộng hơn của các ứng dụng hiện có của Ethereum, v.v. để 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.

Chúng tôi chỉ có thể trả lời những câu hỏi mở này sau khi chúng tôi thấy những sự cố 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; Một cái gì đó thực tế hơn để sử dụng thực tế, cộng với một số điểm 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 trong giao dịch. Nhưng với một số dự án đã có trên mạng thử nghiệm và không có nghiên cứu bí mật hoặc thách thức về khả năng sử dụng nào được tìm thấy, có thể an toàn khi cho rằng chúng ta sẽ sớm thấy các ứng dụng thực tế. Các hợp đồng thông minh tự trị có thể mở rộng đang nổi lên.

*Điều chỉnh: Một phiên bản trước của bài đăng này đã chỉ ra rằng mô hình sản xuất khối theo kế hoạch của Optimism cho phép họ được ưu tiên làm người định vị; giao thức đấu giá MEV của họ không thực sự đặc quyền cho bất kỳ ai. Cảm ơnBen Jones。

Cảm ơn tất cả các đội đã tham gia phỏng vấn, cảm ơn các bạn về một cuộc thảo luận rất bổ ích.

Daniel GoldmanĐịa chỉ gốc:đây。

Địa chỉ gốc:https://medium.com/