Tại sao Optimistic Rollup, giải pháp mở rộng lớp thứ hai của Ethereum, lại được thiết kế theo cách này?

Tiêu đề gốc: "Tại sao Optimistic Rollup lại được thiết kế như thế này?" 》
Nguồn gốc: Những người đam mê Ethereum

Nếu bạn đang đọc bài viết này ngay bây giờ, chắc hẳn bạn đã nghe nói về Lạc quan Rollup Bar. Đó là một giải pháp mở rộng quy mô mới đầy hứa hẹn đã gây ra một cuộc thảo luận sôi nổi tại DevCon 2019. Đã có nhiều bài viết giải thích cách thức hoạt động của công nghệ này, nhưng không có bài nào giải thích lý do đằng sau nó. Điều này dẫn đến việc nhiều nhóm cố gắng triển khai mô hình tổng hợp lạc quan theo cách riêng của họ. Mô hình phát triển phân mảnh này thường không có lợi cho tính bảo mật của toàn bộ hệ thống kinh tế tiền điện tử.

Bài viết này tập trung vào một vấn đề đã bị công chúng bỏ qua: giải thích lý do tại sao việc tổng hợp lạc quan có thể đạt được sự mở rộng một cách an toàn và bền vững , đồng thời cũng có thể duy trì các đặc tính phân quyền.

Bản tổng hợp lạc quan là gì?

Tôi đã viết thông số kỹ thuật khả thi tối thiểu đầu tiên cho bản tổng hợp lạc quan vào tháng 6 năm 2019, tạo tiền đề cho công việc trước đây của tôi với The bài viết "Xây dựng hệ thống thanh toán phi tập trung có thể mở rộng" do Mikerah đồng tác giả cung cấp thông số kỹ thuật cấp cao được tham số hóa cụ thể. Thông số kỹ thuật này nhằm mục đích đạt được sidechain không cần tin cậy đầu tiên với các thuộc tính không được phép và có thể mở rộng trong lịch sử phát triển blockchain.

Hóa ra là có một số khác biệt nhỏ giữa kế hoạch triển khai lạc quan và kế hoạch mở rộng trước đó, khiến kế hoạch triển khai lạc quan trước đây trở thành kế hoạch mở rộng ngắn hạn và trung hạn hứa hẹn nhất ... Hãy để cái sau trở thành lịch sử. Phần này giải thích lý do đằng sau những khác biệt quan trọng này.

Hợp nhất sự đồng thuận

Một trong những tính năng nổi bật nhất của tổng hợp lạc quan là sự đồng thuận hợp nhất. Sự đồng thuận hợp nhất là một giao thức đồng thuận có thể kiểm chứng được trên chuỗi (ngoài việc xác minh khối thực sự, được thực hiện thông qua các bằng chứng ngầm về lỗi). Nhưng giao thức đồng thuận phi tập trung là gì?

Giao thức đồng thuận phi tập trung bao gồm các chức năng độc lập sau:

Quy tắc lựa chọn ngã ba (cách chọn chuỗi giữa hai chuỗi được hình thành bằng cách tuân thủ các quy tắc đồng thuận)
Chức năng hợp lệ khối (chức năng chuyển đổi trạng thái)
Thuật toán bầu chọn người lãnh đạo (sử dụng thuật toán này để bầu ra người lãnh đạo để tạo một khối mới, được liên kết với phần cuối của chuỗi khối, từ đó tăng chiều cao của chuỗi khối hoặc tăng chiều dài của nó)
Cơ chế chống Sibyl (Bằng chứng công việc, Bằng chứng cổ phần, v.v.)
các chức năng trên đảm bảo an ninh kinh tế của blockchain: phải trả giá cho việc thao túng lịch sử. (Lưu ý: Để đơn giản, tôi đã bỏ qua một số thông tin thực tế ở đây, ví dụ: một số giao thức đồng thuận phi tập trung không có chỉ dẫn).

Trong sơ đồ tổng hợp lạc quan, chuỗi bên sẽ không phân nhánh nên không cần có quy tắc lựa chọn phân nhánh. Tính hợp lệ của khối được tính toán ngoài chuỗi và tính không chính xác của nó có thể được chứng minh trên chuỗi bằng cách sử dụng bằng chứng lỗi. Vẫn còn những vấn đề cần giải quyết liên quan đến việc bầu chọn người lãnh đạo và khả năng chống lại các cuộc tấn công của Sybil.

Đặc điểm kỹ thuật được đề xuất của tôi đề xuất cơ chế "ai đến trước được phục vụ trước", nghĩa là, ở bất kỳ độ cao nào, người đầu tiên kéo dài độ dài của chuỗi bên Giao dịch sẽ được chấp nhận. Việc bầu chọn người lãnh đạo là ngầm định và chỉ được tiết lộ sau khi thực tế xảy ra, trong khi mức kháng cự Sybil đạt được thông qua chuỗi chính (tức là phí giao dịch và kích thước khối/giới hạn Gas). Tại sao quy tắc bầu cử lãnh đạo đơn giản như vậy lại có tác dụng? Bởi vì chuỗi khối Ethereum đã cung cấp bảo mật. Một khối trên chuỗi bên chỉ có thể bị biến thành khối mồ côi khi xảy ra ba trường hợp sau: 1) Khối không hợp lệ; 2) Khối tổ tiên của khối không hợp lệ; 3) Chuỗi khối Ethereum đang được tổ chức lại. Do đó, các khối hợp lệ cũng có mức độ chắc chắn và bảo mật tương tự như Ethereum! Vì vậy, chúng ta không cần các thuật toán bầu chọn lãnh đạo phức tạp hay các cơ chế kháng Sybil tốn kém để đảm bảo an ninh. Sidechain cung cấp bảo mật mà không mất thêm chi phí, vì vậy chúng tôi có thể đơn giản hóa rất nhiều việc thiết lập các tham số hệ thống.

Tuy nhiên, nếu chúng ta muốn một giải pháp có thể biết trước về người lãnh đạo thì làm cách nào để chuyển đổi nó? Một gợi ý là PoS + RANDAO có thể được chạy trực tuyến để bầu chọn người lãnh đạo. Trong trường hợp này, không cần phải thêm một mã thông báo khác, nếu không sẽ gây ra hậu quả tiêu cực. Như đã nêu trong sách trắng Bitcoin:

Nếu kẻ tấn công tham lam có sức mạnh tính toán CPU nhiều hơn tất cả các nút trung thực, Với tổng số tiền của hắn quyền hạn, anh ta có thể chọn thực hiện một cuộc tấn công chi tiêu gấp đôi hoặc tạo mã thông báo mới. Lẽ ra anh ta phải thấy rằng việc tuân theo các quy tắc là điều có lợi nhất cho anh ta, bởi vì việc tuân theo các quy tắc sẽ cho phép anh ta nhận được nhiều phần thưởng khối hơn tất cả những người khai thác khác cộng lại, thay vì làm gián đoạn toàn bộ hệ thống và làm sai lệch tài sản cá nhân của anh ta.

Như Satoshi Nakamoto đã nói, mục đích chung của token gốc là khuyến khích "đa số trung thực" bảo vệ toàn bộ hệ thống. Không có cái gọi là "đa số trung thực" trong tổng hợp lạc quan và không có khái niệm bảo mật độc lập với chuỗi chính, do đó, không cần bao gồm mã thông báo gốc, nếu không nó sẽ không giúp ích được gì. So với chỉ sử dụng Ethereum thì càng bất tiện hơn.

Cần lưu ý rằng bất kỳ cơ chế bầu chọn người lãnh đạo nào chạy hoàn toàn trên chuỗi đều có thể được sử dụng, không chỉ cơ chế tôi đề xuất trong phần này bài viết trong số đó. Ví dụ, Proof-of-Burn là một trong số đó.

tổng hợp lạc quan Mặc dù có nhiều điểm tương đồng với các đề xuất như việc thực thi trạng thái bị trì hoãn và chuỗi bóng, Nhưng một điểm khác biệt chính là khái niệm hợp nhất đoàn kết. Giao thức đồng thuận của tổng hợp lạc quan chạy hoàn toàn trong hợp đồng thông minh trên chuỗi; do đó, nó không ảnh hưởng đến các quy tắc đồng thuận của chuỗi chính và không cần được nó hỗ trợ. Ngược lại, việc thực thi trạng thái bị trì hoãn và chuỗi bóng thực hiện chuyển đổi trạng thái tự động trên chuỗi, đòi hỏi sự hỗ trợ rõ ràng từ giao thức đồng thuận chuỗi chính cũng như cơ chế khen thưởng và trừng phạt trong giao thức.

Mở rộng bền vững

Giờ chúng ta đã hiểu cách triển khai tổng hợp lạc quan đạt được tình trạng không cần cấp phép thông qua sự đồng thuận hợp nhất và những lý do đằng sau việc đó, làm cách nào để triển khai tổng hợp lạc quan đạt được sự mở rộng bền vững? Vải len?

Tại thời điểm viết bài, kích thước trạng thái Ethereum không nén (số dư người dùng và dung lượng lưu trữ hợp đồng) là khoảng 45GB. Không giống như dữ liệu lịch sử (chẳng hạn như giao dịch và khối), trạng thái không thể bị xóa - nó phải được bảo toàn nguyên vẹn bởi các nút đầy đủ để xác minh (tức là thực thi) các giao dịch mới trong các khối mới. Tệ hơn nữa, để xác minh giao dịch, trạng thái phải được truy cập ngẫu nhiên nhiều lần, do đó yêu cầu trạng thái phải được lưu trữ trong RAM—nằm ngoài tầm với của hầu hết phần cứng cấp độ người tiêu dùng—hoặc trên ổ SSD NVMe nhanh. Tăng trưởng trạng thái là nút thắt mở rộng lớn nhất mà Ethereum gặp phải.

Tất nhiên, chúng tôi có thể đặt giới hạn trên cố định cho quy mô tiểu bang để không phải lo lắng về sự phát triển của tiểu bang. Giải pháp thực sự là Thực hiện cơ chế cho thuê nhà nước để liên tục thu phí đối với người sử dụng nhà nước. Tuy nhiên, việc triển khai cơ chế này trên Ethereum khó khăn hơn tưởng tượng và đã bị hoãn vô thời hạn (Ghi chú của biên tập viên: Đối với bản dịch tiếng Trung, hãy xem siêu liên kết “Về tiền thuê nhà nước và Ethereum không quốc tịch” ở cuối bài viết).

Có một giải pháp thiết thực cho vấn đề này bằng cách làm chậm tốc độ tăng trưởng của bang. Đó là sử dụng blockchain làm lớp sẵn có của dữ liệu. Mô hình này ban đầu được phổ biến bởi zk rollup: xuất bản dữ liệu giao dịch sidechain lên chuỗi chính dưới dạng dữ liệu cuộc gọi, sau đó sử dụng bằng chứng hợp lệ hoặc bằng chứng lỗi để đảm bảo tính chính xác của dữ liệu. Hóa ra việc lưu trữ dữ liệu lịch sử rẻ hơn nhiều (theo bậc độ lớn) so với việc lưu trữ trạng thái. Sau đó, chuỗi chính có thể được sử dụng để đảm bảo tính khả dụng của dữ liệu, theo dõi các tiêu đề khối chuỗi tổng hợp, xử lý tiền gửi và rút tiền cũng như xác minh bằng chứng về tính hợp lệ/bằng chứng về lỗi, tất cả đều không yêu cầu sử dụng rộng rãi trạng thái. Bằng cách làm chậm tốc độ tăng trưởng của bang, việc mở rộng quy mô có thể đạt được tính bền vững lâu dài. Vitalik trước đây đã viết một bài viết hay tóm tắt cách áp dụng tính khả dụng của dữ liệu trên chuỗi cho tổng hợp zk và tổng hợp lạc quan.

Cần lưu ý rằng mặc dù một số người chỉ ra rằng chuỗi bóng hoàn toàn tương đương với tổng hợp lạc quan, nhưng điều này rõ ràng là sai.

Bây giờ, ý tưởng của tôi là tạo một "chuỗi bóng" hoàn chỉnh và đặt các phép tính theo chuỗi, nhưng nó sẽ được tạo ra. Gửi cam kết chuyển trạng thái sang chuỗi chính sau 100 khối. Nhà tiên tri có thể thêm các khối mới vào cuối chuỗi, trong đó mỗi khối chứa danh sách các giao dịch và quá trình chuyển đổi trạng thái do các giao dịch này gây ra [[k1, v1], [k2, v2 ] ... ]. Sau khi một khối được tạo, sẽ có một khoảng thời gian thử thách lên tới các khối 100. Nếu không có thử thách nào trong khoảng thời gian này, quá trình chuyển đổi trạng thái sẽ tự động được áp dụng cho chuỗi chính.

Ngoài việc không được xác định rõ ràng, chuỗi bóng còn tự động thực hiện chuyển đổi trạng thái trên chuỗi và không thúc đẩy sự phát triển của trạng thái. Bản tổng hợp lạc quan sẽ không thực hiện bất kỳ chuyển đổi trạng thái nào trừ khi người dùng thanh toán cho việc đó (tức là rút tiền).

FTW không tương tác

Việc kiểm tra lỗi không tương tác là rất quan trọng đối với các bản tổng hợp lạc quan. Tại sao?

Lý do tại sao các bằng chứng về khả năng có thể sai không tương tác lại quan trọng đến vậy là để tránh một trong những cạm bẫy của Plasma Cash, đó là khả năng vô hiệu Cơ chế thách thức thoát tương tác lịch sử. Cơ chế thử thách nhiều bước tương tác này làm cho Plasma Cash ít có khả năng chống lại các cuộc tấn công tắc nghẽn chuỗi hơn. Cái gọi là cuộc tấn công tắc nghẽn chuỗi đề cập đến việc kẻ tấn công gửi một số lượng lớn giao dịch "thoát" đến chuỗi chính để đánh cắp tất cả số tiền trong hợp đồng Plasma (tuy nhiên, Plasma Cash có khả năng chống lại các cuộc tấn công này tốt hơn Plasma M( quặng)VP). Tất cả những gì cần là bằng chứng lỗi không tương tác để biến bất kỳ số khối tổng hợp lạc quan không hợp lệ nào (trên một chuỗi bên) thành khối mồ côi, giúp hệ thống có khả năng chống lại các cuộc tấn công tắc nghẽn chuỗi tốt hơn. Lưu ý: Vì tổng hợp lạc quan sử dụng bằng chứng lỗi nên nếu chuỗi chính không có khả năng chống kiểm duyệt thì vẫn có nguy cơ tiền bị đánh cắp.

Trong tổng hợp lạc quan, việc rút tiền cũng được xử lý theo cách không tương tác: đầu tiên, việc rút tiền được bắt đầu trên chuỗi bên và sau đó Tạo bằng chứng bao gồm không tương tác cho khối cuối cùng trên chuỗi chính, sau đó sử dụng bằng chứng này để hoàn tất việc rút tiền. Tuy nhiên, điều này đòi hỏi sidechain phải không được phép và do đó cần có sự đồng thuận hợp nhất thay vì toán tử giống như Plasma.

So với các trò chơi xác minh tương tác, bằng chứng lỗi không tương tác có nhiều lợi thế hơn. Trò chơi xác minh tương tác mất nhiều thời gian hơn. Vì tổng hợp lạc quan sẽ không tạo ra các nhánh nên kẻ tấn công có thể tạo một khối không hợp lệ và sử dụng trò chơi xác minh để khiến chuỗi bên ngừng hoạt động, từ đó phát động một cuộc tấn công DoS vào hệ thống. Với các bằng chứng về khả năng có thể sai không tương tác, gian lận có thể được chứng minh ngay lập tức (tuy nhiên, một điều cần lưu ý là bằng chứng về khả năng có thể sai có phạm vi bằng chứng hẹp hơn so với các trò chơi xác minh tương tác - về việc liệu hạn chế này có thực sự áp dụng cho các khối hay không). tác động, điều này vẫn chưa được thảo luận).

Vấn đề về độ trễ giao dịch

Việc tổng hợp lạc quan không làm giảm độ trễ giao dịch. Mỗi khối chuỗi bên cần phải được đưa vào chuỗi chính nên thời gian sản xuất khối sẽ không thấp hơn chuỗi chính. Hiện tại không có cách nào an toàn và không đáng tin cậy để giảm độ trễ này ngoài việc sử dụng các kênh trạng thái được thế chấp hoàn toàn.

Tuy nhiên, bạn không cần phải đợi cho đến khi khối chuỗi bên được hoàn tất trước khi chấp nhận giao dịch từ nó. Vì tổng hợp lạc quan sẽ không tạo ra các nhánh, nên một khối hợp lệ được tải lên thành công vào chuỗi cuối cùng chắc chắn sẽ được xác nhận và tất cả dữ liệu của khối sẽ có sẵn (vì tất cả các khối hợp lệ đều được xuất bản trên chuỗi). Xác minh rằng các giao dịch trong khối này được chấp nhận ngay lập tức.

Thoạt nhìn, sự chậm trễ khi rút tiền cũng có vẻ là một vấn đề, nhưng thực tế không phải vậy. Thông thường, người dùng không cần đợi xác nhận cuối cùng về việc rút tiền của mình. Trên thực tế, thời gian thử thách dài hơn chủ yếu nhằm đảm bảo an ninh kinh tế của tiền điện tử và thường không được sử dụng. Một cách đơn giản để có thể rút tiền ngay lập tức là thực hiện hoán đổi nguyên tử trên chuỗi chính hoặc chuỗi khác với nhà cung cấp thanh khoản (hoặc những người dùng khác muốn gửi tiền vào chuỗi tổng hợp này) [xem "Rút tiền nhanh" trong liên kết : phần Nhà cung cấp thanh khoản".

Thách thức về tính khả dụng của dữ liệu

Bài viết gốc của tôi đề xuất ba cách để giải quyết vấn đề về tính khả dụng của dữ liệu:

Luôn xuất bản tất cả dữ liệu lên chuỗi
Tận dụng các thách thức về tính sẵn có của dữ liệu và chỉ xuất bản dữ liệu lên chuỗi khi cần thiết
Tận dụng các bằng chứng về tính sẵn có của dữ liệu

Thách thức về tính sẵn có của dữ liệu dường như có một giải pháp tương đối đơn giản và đáng tin cậy. Thật không may, nếu bên bị tấn công trả phí thử thách, họ sẽ bị tổn thất; nếu kẻ tấn công trả phí thử thách, toàn bộ hệ thống sẽ xuất bản tất cả dữ liệu lên chuỗi mọi lúc. Do đó, khi thiết kế đặc tả, lựa chọn tổng hợp lạc quan là luôn xuất bản tất cả dữ liệu lên chuỗi và triển khai nó theo cách hiệu quả cao và chi phí thấp. Nhưng sau đó, việc sử dụng bằng chứng về tính khả dụng của dữ liệu trên các bản tổng hợp lạc quan đã trở nên khả thi.

Cải tiến hơn nữa

Tôi đã viết một kế hoạch cải tiến hiệu suất dựa trên phiên bản ban đầu của đặc tả tối thiểu và tóm tắt nó như sau. Lưu ý rằng trọng tâm là các khoản thanh toán dựa trên UTXO, không phải việc thực hiện hợp đồng thông minh nói chung.

Tính khả dụng của dữ liệu đa luồng trên Ethereum 1.0 - xác thực dữ liệu (tức là băm) và các bước tiền xử lý khác là các chức năng thuần túy vì chúng không liên quan đến bất kỳ trạng thái nào cả. Vì vậy, các bước này có thể được thực hiện song song. Sử dụng Ethereum theo cách này sẽ làm giảm đáng kể việc sử dụng và tăng trưởng trạng thái và nếu sử dụng máy tính lõi tứ, thông lượng sẵn có của dữ liệu có thể tăng lên bốn lần. Kế hoạch của tôi là đạt được điều này thông qua một số EIP, trong đó đầu tiên là EIP-2242: Trading Postdata.

Bằng chứng lỗi nhỏ gọn của chuỗi UTXO mà không cần tuần tự hóa trạng thái trung gian - một bằng chứng lỗi phổ biến cho hợp đồng thông minh Ethereum Chi phí cao. Trong mô hình dữ liệu UTXO, mỗi UTXO chỉ có thể được tạo và sử dụng tối đa một lần và mỗi giao dịch sẽ mô tả đầy đủ quá trình chuyển đổi trạng thái. Nhà sản xuất khối có thể thêm siêu dữ liệu vào mỗi đầu vào và tuyên bố rằng đầu vào được tạo bởi một đầu ra cụ thể. Nếu tuyên bố như vậy là sai, thì tính sai có thể được chứng minh một cách không tương tác. Tôi đã phân tích lại cơ chế chứng minh khả năng có thể sai được đề cập trong BIP-141 trong một bài viết khác.

Xác minh giao dịch song song truy vấn không trạng thái bằng cách sử dụng bộ tích lũy Merkle (phía máy khách của truy vấn không trạng thái) - truy vấn có trạng thái rất tốn kém. Khách hàng không quốc tịch giảm chi phí bằng cách loại bỏ việc sử dụng trạng thái. Nhưng chúng ta có thể làm cho nó đơn giản hơn: chỉ cần loại bỏ truy vấn trạng thái. "Dữ liệu nhân chứng (nhân chứng)" không hết hạn ngay lập tức và hiệu lực của nó sẽ kéo dài trong một số khối. Những "dữ liệu chứng kiến" này phải được so sánh dựa trên sự chuyển đổi trạng thái của các khối mới nhất, có thể được tính toán thông qua các phép tính không trạng thái trong mô hình dữ liệu UTXO.

Bằng chứng về tính khả dụng của dữ liệu không tương tác trên chuỗi - nếu dữ liệu được tải lên chuỗi từ đầu đến cuối, nó sẽ mang lại lợi nhuận khổng lồ chi phí và cả Điều này sẽ khiến việc tổng hợp lạc quan chỉ đạt được sự mở rộng tuyến tính (công nghệ như Plasma hoàn toàn ngoài chuỗi sẽ không gặp phải vấn đề này và cơ chế điểm kiểm tra của Plasma Cash cũng là tuyến tính). Chúng tôi có thể thể hiện khả năng của nút đồng thuận trong việc thực hiện kiểm tra tính khả dụng thông qua chức năng FFI (ví dụ: thông qua quá trình biên dịch trước) và chúng tôi có thể có được khả năng mở rộng bậc hai mà không cần phân đoạn. Đây là ý tưởng cốt lõi của các hệ thống như LazyLedger, nhằm tăng đáng kể tính khả dụng của dữ liệu theo cách chi phí thấp. Tuy nhiên, không giống như LazyLedger, việc triển khai ý tưởng này trên Ethereum sẽ không có các đặc tính về khả năng mở rộng theo chiều ngang như trước đây.

Sidechain cầu hai chiều không đáng tin cậy cho đến khi ngừng hoạt động - một sidechain cầu hai chiều sử dụng bằng chứng lỗi phải luôn trực tuyến mọi lúc, Dots có thể gây bất tiện đôi chút cho người dùng. Mặc dù Tháp Canh không áp dụng cho Plasma Cash, nhưng nó áp dụng cho các khoản tổng hợp lạc quan. Tuy nhiên, chúng tôi có thể làm tốt hơn: chúng tôi có thể tắt hoàn toàn sidechain sau khi chạy một khoảng thời gian và sau đó cung cấp cho người dùng khoảng thời gian dài hơn (tối đa vài tháng) để người dùng gửi bằng chứng lỗi nhằm xác định vùng hợp lệ. . Khoảng thời gian mà người dùng phải trực tuyến đã được biết và bị giới hạn. Việc rút tiền sẽ không được phép cho đến khi thời gian cửa sổ kết thúc. Nếu người dùng muốn rút tiền sớm hơn, họ có thể thực hiện hoán đổi nguyên tử với các nhà cung cấp thanh khoản.

Việc xây dựng nhóm OBản tổng hợp lạc quan

Kể từ khi phiên bản đầu tiên của đặc tả tối thiểu Optimistic Rollup được viết cách đây vài tháng, tôi rất vui khi thấy rằng nhiều nhóm phát triển đã bắt đầu xây dựng Optimistic Triển khai tổng hợp. , đã trải qua nhiều thay đổi và sửa đổi. Dưới đây là danh sách không đầy đủ các nhóm phát triển mà chúng tôi hiện thấy đang xây dựng Tổng hợp lạc quan (không theo thứ tự cụ thể).

Fuel - mô hình dữ liệu UTXO tập trung vào thanh toán stablecoin. Nó có thể được sử dụng để chuyển bất kỳ mã thông báo ERC-20 hoặc ETH nào hoặc thực hiện các giao dịch hoán đổi nguyên tử và cũng có thể được sử dụng để viết các tập lệnh "xác nhận" trong tương lai. Mô hình này sẽ sớm được ra mắt trên mạng thử nghiệm công khai dài hạn (Lưu ý của người biên tập: Fuel hiện đã ra mắt mạng thử nghiệm công khai).

Plasma Group - một hợp đồng thông minh giống EVM có mục đích chung trong môi trường OVM (Optimistic Virtue Machine), đã được công bố tại Devcon 5 Đạt được sự hợp tác với Uniswap.

Arbitrum - một hợp đồng thông minh có mục đích chung sử dụng cơ chế trò chơi xác minh tương tác. Mặt khác, thiết kế tổng hợp Arbitrum mới phần lớn giống với thiết kế tổng hợp lạc quan.

Mạng liên bang - Một hợp đồng thông minh giống EVM có mục đích chung sử dụng bằng chứng có thể sai.

SKALE - Tổng hợp lạc quan bằng cách sử dụng tổng hợp chữ ký BLS.

NutBerry - một hợp đồng thông minh giống EVM có mục đích chung sử dụng cơ chế trò chơi xác minh tương tác.

IDEX—Đã xây dựng một "Bản tổng hợp lạc quan được tối ưu hóa" cho sàn giao dịch IDEX.

Kết luận

Với nhiều dự án triển khai triển khai tích cực khác nhau sắp ra mắt, Ethereum sẽ trải qua những thay đổi lớn trong năm tới và thông lượng của nó sẽ tăng đáng kể. Cải thiện và tiếp tục đạt được sự bền vững mở rộng về mặt sẵn có của dữ liệu.

Tôi không so sánh tổng hợp lạc quan với tổng hợp zk trong bài viết này (khái niệm này ban đầu được gọi là roll_up, do Barry Whitehat đề xuất và sau đó của Vitalik đã cải tiến thành zk rollup) để so sánh. Nếu bạn quan tâm đến vấn đề này, bạn có thể xem bài viết này của Alex Gluchowski (Ghi chú của biên tập viên: Để biết bản dịch tiếng Trung, hãy xem "Bản tổng hợp lạc quan so với bản tổng hợp ZK: Tìm hiểu").

Cảm ơn Mikerah Quintyne-Collins, James Prestwich, Robert Drost và Joseph Chow đã đánh giá.

(End)

Liên kết gốc: https://medium.com/@adlerjohn/the-why- s-of-optimistic-rollup-7c6a22cbb61a
Tác giả: John Adler
Dịch và hiệu đính: Min Min & amp; A Jian

Liên kết nguồn: https://ethfans.org/posts/the -why-s-of-optimistic-rollup

Chào mừng bạn tham gia cộng đồng chính thức của BlockBeats:

Nhóm Telegram đăng ký: https://t.me/theblockbeats

Nhóm Telegram thảo luận: https://t.me/BlockBeats_App

Tài khoản Twitter chính thức: https://twitter.com/BlockBeatsAsia