Nguồn ban đầu: Phòng thí nghiệm Offchain

Biên soạn nguyên văn: James

ZK Rollups có phải là tương lai của các hệ thống hợp đồng thông minh đa năng không? Chúng ta dường như đã nghe quá nhiều thảo luận về vấn đề này. Tuy nhiên, theo kinh nghiệm thực tế của chúng tôi từ Lớp 2 mở, an toàn, tương thích với EVM chạy hàng trăm DApp, hàng trăm nghìn người dùng và hàng triệu giao dịch, ZK Rollups sẽ không trở thành một hệ thống hợp đồng thông minh đa năng. lý do, sẽ được giải thích chi tiết trong bài viết này.

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

chữ

1. Mọi người muốn có một chuỗi khối đáng tin cậy cung cấp tính bảo mật, tiến độ được đảm bảo, khả năng hiển thị và kết quả cuối cùng nhanh chóng — họ muốn các giao dịch trên chuỗi khối này rẻ hơn và tương thích với các công cụ hiện có.

2. Khi cung cấp các dịch vụ và chức năng trên, so với ZK Rollup, chúng tôi đã đi sâu vào chi tiết cách sử dụng Optimistic Rollup.

3. Bản tổng hợp lạc quan có thể cung cấp các chức năng mà người dùng muốn với chi phí thấp hơn, vì chi phí ngoài chuỗi để xây dựng bằng chứng Bản tổng hợp ZK là rất cao.

4. Vì bằng chứng ZK rất tốn kém, nên việc tham gia đầy đủ vào giao thức ZK có thể yêu cầu phần cứng chuyên dụng và/hoặc tính song song lớn, khiến mạng trở nên tập trung hơn.

5. Cái gọi là "ưu điểm" của ZK Rollup, hoặc là Optimistic Rollup cũng có thể được hỗ trợ, hoặc các tính năng bảo mật hoặc khả năng sử dụng quan trọng cần phải hy sinh.

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

hãy bắt đầu lại từ đầu

Đầu tiên, chúng ta phải nói về Ethereum. Người dùng Ethereum tạo giao dịch để triển khai hoặc tương tác với hợp đồng thông minh và bạn có thể nghĩ về giao dịch Ethereum theo một số cách khác nhau. Một mặt, bạn có thể coi nó như một khối dữ liệu không rõ ràng, nhưng nếu bạn nhìn vào nội dung của dữ liệu, bạn sẽ thấy rằng một giao dịch tất nhiên còn hơn thế nữa; cái gọi là giao dịch thực ra phải là một yêu cầu, yêu cầu hợp đồng thông minh thực hiện điều gì đó, chẳng hạn như: Ghi lại một số thông tin, di chuyển một số nội dung, v.v.

Khi một giao dịch được xuất bản trên chuỗi khối Ethereum, có hai điều quan trọng xảy ra -

Điều đầu tiên trước tiên: Sau khi một giao dịch được đưa vào chuỗi khối, Ethereum sẽ đạt được sự đồng thuận dựa trên một tập hợp các giao dịch được sắp xếp theo thứ tự.

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

Tổng số: Tổng số lạc quan và ZKRollups có điểm gì chung?

Nếu mỗi nút Ethereum thực hiện mỗi giao dịch, chi phí chắc chắn sẽ rất cao và Rollups thực sự là một loại giải pháp mở rộng có thể giảm đáng kể tải mạng, việc thực hiện giao dịch thực tế không được hoàn thành trên chuỗi khối Ethereum, thay vào đó, hãy di chuyển đến Lớp 2 ("L2").

Nhưng đợi một chút - Các bản tổng hợp được cho là được bảo mật bằng Ethereum, phải không? Thật vậy, tính bảo mật của các giải pháp mở rộng quy mô này không thể tách rời khỏi Ethereum, điều đó có nghĩa là ngay cả khi giao dịch xảy ra trên Lớp 2, chúng tôi vẫn cần Ethereum để đảm bảo tính chính xác của việc thực hiện giao dịch theo một cách nào đó. Vì vậy, làm thế nào Ethereum có thể phê duyệt trạng thái Rollups?

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

Tổng hợp: Sự khác biệt giữa Tổng hợp Lạc quan và ZKRollup là gì?

Những "bằng chứng" này có vẻ giống như ma thuật: cho phép Ethereum xác minh trạng thái Rollup mà không thực sự thực hiện giao dịch. Bạn có thể thắc mắc những bằng chứng này trông như thế nào và cách chúng được triển khai trong thực tế—và đó là điều làm nên sự khác biệt của các kiểu Tổng số khác nhau.

Giấy chứng nhận hiệu lựcGiấy chứng nhận hiệu lực(bằng chứng hợp lệ), dựa vào một bên đưa ra bằng chứng mã hóa ngắn gọn rằng "bằng chứng" này có thể chứng minh rằng bên đó biết tính hợp lệ của chuỗi khối kết thúc ở một trạng thái cụ thể. Điều đó có nghĩa là, "bên cung cấp bằng chứng" cần thực hiện các giao dịch chuỗi khối để biết cách xây dựng bằng chứng, sau đó xây dựng "bằng chứng" thông qua một loạt các hoạt động mã hóa phức tạp. Những "bằng chứng" này sẽ được kiểm tra bởi các hợp đồng trên chuỗi Lớp 1. "Bằng chứng" của ZK Rollups tương đối đơn giản và việc xác minh các giao dịch tương đối rẻ, vì vậy có thể thực hiện trực tiếp thông qua các giao dịch Ethereum.

bằng chứng gian lậnbằng chứng gian lận(bằng chứng lừa đảo). Đúng như tên gọi, Optimistic Rollups mang tính "tích cực, lạc quan" vì khi họ công bố trạng thái cập nhật lên chuỗi khối Ethereum, họ không công bố bất kỳ "bằng chứng" nào cả. Bất kỳ ai cũng có thể xuất bản khối Tổng số, khối này chứa tuyên bố về kết quả chính xác của việc thực hiện một giao dịch nhất định. Khi các nút khác thực hiện cùng một giao dịch, họ có thể phản đối giao dịch đó miễn là họ không đồng ý với tuyên bố của nút đầu tiên. Một giao thức tranh chấp hiệu quả có thể giải quyết bất kỳ sự bất đồng nào, đảm bảo rằng bên phù hợp sẽ giành chiến thắng trong thử thách. Tất cả các bên đều có động cơ mạnh mẽ để chỉ đưa ra yêu cầu đúng và không phản đối những yêu cầu sai, vì vậy, trong trường hợp chung, tất cả các nút "đơn giản" thực hiện tất cả các giao dịch và không bao giờ cần gọi mã bằng chứng - toàn bộ quá trình được thực hiện bởi các hợp đồng Lớp 1 chịu trách nhiệm cho sự quản lý.

tiêu đề phụ

Tổng hợp lạc quan so với Tổng hợp ZK: Chi phí

trị giátrị giá。

Bản tổng hợp lạc quan yêu cầu các nút thực hiện hợp đồng một cách đơn giản, ví dụ: nếu hợp đồng thực hiện thao tác thêm, nút sẽ thực hiện thao tác thêm đó.

Ngược lại, ZK Rollup cần tạo bằng chứng mật mã phức tạp, yêu cầu hàng trăm hoặc hàng nghìn thao tác trên đường cong elip để bao gồm các thao tác bổ sung trong bằng chứng, do đó, nó rất tốn kém.Quan trọng hơn, ZK Rollup phát sinh chi phí cho mỗi lệnh trong mỗi hợp đồng, khiến ZK Rollup gặp bất lợi về chi phí vốn có do nhu cầu tạo bằng chứng mật mã phức tạp cho mỗi lệnh chứ không chỉ thực hiện lệnh —và một bất lợi lớn.

Những người đề xuất ZK Rollup đôi khi lập luận rằng giải pháp chỉ yêu cầu một bên tạo "bằng chứng", trong khi Optimistic Rollup yêu cầu hệ thống phải có nhiều nút. Tuy nhiên, nếu bạn đang chạy một chuỗi khối lớn, nó sẽ có nhiều nút bất kể bạn sử dụng hệ thống bằng chứng nào. Một chuỗi khối thực sự cần nhiều nút để phục vụ các hoạt động khác nhau như lệnh gọi không thay đổi, tìm kiếm nhật ký sự kiện, hiển thị dữ liệu giao dịch cho người dùng, cung cấp cho người dùng dữ liệu cần thiết để rút tiền về Lớp 1, v.v. Tính bảo mật của chuỗi khối Optimistic Rollup phụ thuộc vào việc các nút này thực hiện những gì chúng cần làm — thực hiện các giao dịch và theo dõi trạng thái chính xác của chuỗi khối.

Mặt khác, với ZK Rollup, các bằng chứng dựa trên đường cong elip đắt tiền được tạo ra, điều này gây ra chi phí bổ sung rất lớn. Để hy vọng chứng minh được ZK Rollup trên quy mô lớn, bạn cần có thiết bị phần cứng chuyên dụng hoặc bạn cần hỗ trợ xử lý song song lớn - hoặc cả hai, đều rất đắt tiền.

tiêu đề phụ

chữ

Một cân nhắc quan trọng khi chúng tôi xây dựng Arbitrum là khả năng tương thích với Máy ảo Ethereum (EVM). Arbitrum hoàn toàn tương thích với EVM và có cùng giao diện RPC và chấp nhận cùng mã byte như EVM, điều đó có nghĩa là bất kỳ mã nào được viết cho Ethereum đều có thể chạy trên Arbitrum"cắm và chơi”。

Optimistic Rollup đã chạy các chuỗi khối mở, tương thích với EVM (bao gồm cả mạng thử nghiệm) trong hơn một năm nay và chúng tôi đã biết rằng việc thực sự tương thích với Ethereum là một thách thức. Khả năng tương thích 95% lúc đầu không quá khó, nhưng trên thực tế, điều đó vẫn chưa đủ tốt và khả năng tương thích chỉ có thể được cải thiện khi có nhiều nỗ lực và xây dựng một kiến ​​trúc không cản trở sản phẩm.

Về khả năng tương thích, hệ thống ZK Rollup hoạt động trong phạm vi rộng. Nhưng một số người nghĩ rằng ZK Rollup là một công cụ "trường học cũ", bởi vì họ vẫn khuyến khích mọi người học ngôn ngữ tùy chỉnh của họ. Ngoài ra, một số hệ thống ZK Rollup không cố gắng tương thích với Ethereum, điều này tất nhiên là tốt cho các nhà phát triển và người dùng không quan tâm đến khả năng tương thích với Ethereum.

Khách quan mà nói,EVM là công cụ on-chain tốt nhất từ ​​trước đến nay. Chúng tôi tin rằng bản thân EVM có lợi thế thực tế rất lớn, dựa trên số lượng nhà phát triển, mã và công cụ dành cho nhà phát triển đã làm việc với nó. Hãy xem xét một dự án được triển khai trên Ethereum. Nếu dự án muốn mở rộng sang Rollup, các nhà phát triển phải viết lại mã của họ bằng ngôn ngữ mới, thực hiện kiểm tra bảo mật mới và duy trì nhiều cơ sở mã. Những nhiệm vụ này không chỉ tẻ nhạt và dễ bị lỗi. Nhưng ngay cả đối với các dự án mới chưa viết bất kỳ mã nào, khả năng tương thích với EVM cũng rất quan trọng vì tương thích với EVM có nghĩa là các dự án này có thể tận dụng mã, công cụ và nhóm tài năng tồn tại xung quanh EVM.

hệ thốnghệ thốngKhả năng tương thích thực sự không tốt lắm, hệ thống——

• Không thể triển khai khả năng tương thích opcode ADDMOD, SMOD, MULMOD, EXP, SELFDESTRUCT và CREATE2;

• Đang xem xét loại bỏ hỗ trợ cho XOR, AND và OR;

• Các định dạng giao dịch tiêu chuẩn không được hỗ trợ;

• Không hỗ trợ bất kỳ biên dịch trước nào;

• Có thể giới hạn số lần gọi hợp đồng trong một giao dịch.

Có vẻ như chế độ ZK Rollup về cơ bản không tương thích với EVM, điều này rõ ràng là khác xa so với khả năng tương thích hoàn toàn mà Optimistic Rollup đạt được.

Để làm rõ, vẫn còn nhiều ví dụ về các hệ thống ZK Rollup dành riêng cho ứng dụng (ví dụ: Zcash, ZKSync 1.0, Loopring). Trên thực tế, các hệ thống này hoạt động tốt, nhưng điểm khác biệt cốt lõi là chúng được tinh chỉnh và tối ưu hóa đặc biệt cho các ứng dụng cụ thể rất phù hợp để triển khai ZK Rollup. Mặc dù một số nhóm tuyên bố đang làm việc trên trình biên dịch đa năng cho phép "chuyển" EVM sang ZK Rollup theo cách tương thích,Tuy nhiên, không có mã công khai hoặc điểm chuẩn nào để minh họa chi phí bằng chứng của hợp đồng ZK-EVM do người dùng xác định và dựa trên kiến ​​thức hiện tại cũng như tất cả dữ liệu có sẵn công khai, chúng tôi tin rằng chi phí này sẽ rất cao.

tiêu đề phụ

Bản tổng hợp lạc quan so với Bản tổng hợp ZK: Khả năng nén và hiển thị không đáng tin cậy

Khi thiết kế kinh doanh chênh lệch giá thương mại, một trong những thuộc tính chính của Bản tổng hợp lạc quan là khả năng hiển thị không đáng tin cậy. Nói tóm lại, khả năng hiển thị không tin cậy có nghĩa là bất kỳ ai cũng có thể xem hoặc lấy nội dung của chuỗi khối mà không cần sự trợ giúp của một tổ chức tập trung. Quan trọng hơn, điều này không chỉ có nghĩa là mọi người thỉnh thoảng có thể xem ảnh chụp nhanh trạng thái — mà còn có nghĩa là mọi người có thể xem toàn bộ lịch sử của chuỗi — cách chuỗi đạt đến trạng thái hiện tại. Một chuỗi khối thực tế cho phép mọi người chạy một nút, trong khi các nút cũng có thể hỗ trợ các cuộc gọi không thay đổi, tìm kiếm lịch sử sự kiện và xem mọi giao dịch - mà không cần dựa vào các nhà cung cấp dữ liệu tập trung và khả năng hiển thị đáng tin cậy giúp điều này trở nên khả thi.

Thành thật mà nói, một số hệ thống ZK Rollup dường như đang cắt giảm khả năng hiển thị và cố gắng nói về thực tế là chúng không cung cấp chức năng blockchain đầy đủ. Khi bạn nghe nói về "nén", hãy nghĩ về nó - họ có nói rằng họ đang mã hóa nội dung của chuỗi hiệu quả hơn không? (Arbitrum làm và sẽ làm tốt hơn trong bản phát hành Nitro của chúng tôi) Hay họ đang nói rằng một số phần của lịch sử chuỗi khối đơn giản là không có sẵn trừ khi nhà cung cấp dữ liệu tập trung sẵn sàng chia sẻ nó với bạn sau này?

Hãy nhớ lại rằng bằng chứng ZK Rollup thực sự chỉ chứng minh một chuỗi hợp lệ mà "người chứng minh" biết, nhưng bản thân "bằng chứng" không cho bạn biết chuỗi đó là gì và ngay cả khi bạn có đủ dữ liệu để xác minh "bằng chứng", có lẽ là không đủ Dữ liệu để tái tạo lại dữ liệu lịch sử của chuỗi khối.

Ví dụ: giả sử Alice gửi giao dịch 1 ETH trả cho Bob và ngay sau đó Bob gửi giao dịch 1 ETH trả cho Charlie. Tiếp theo, bạn cần xác minh bằng chứng rằng Alice có ít hơn 1 ETH so với trước đây, số dư của Bob không thay đổi và Charlie có nhiều hơn 1 ETH so với trước đây.

Nhưng chuyện gì đã xảy ra? Alice có trả tiền cho Bob không? Bob có trả tiền cho Charlie không? Có thể Alice đã trực tiếp trả tiền cho Charlie, có thể Alice đã phá hủy 1 ETH và 1 ETH mà Charlie nhận được là do người khác trả, có thể "người khác" này tên là Diana chứ không phải Bob. Nếu chúng tôi tìm kiếm bằng chứng thanh toán của Bob từ chuỗi khối, nhưng đối với một số Bản tổng hợp ZK không cung cấp khả năng hiển thị chuỗi khối, thì không thể phân biệt và tìm thấy giao dịch thanh toán của Bob.

Nhiều ứng dụng hợp đồng thông minh yêu cầu kiến ​​thức không chỉ về một vài điểm kiểm tra mà còn về toàn bộ chuỗi — hiểu điều gì đã xảy ra và cách đạt được trạng thái cuối cùng.Bản tổng hợp ZK đôi khi tự hào về khả năng "nén" tốt hơn Bản tổng hợp lạc quan, nhưng chúng ẩn dữ liệu của chuỗi khối, điều đó có nghĩa là chỉ "người chứng minh" biết rằng dữ liệu không được nén và thậm chí họ có thể xóa dữ liệu quan trọng một cách mơ hồ.Nếu các nhà cung cấp ZK nói rằng họ "không cần" xuất bản lịch sử của toàn bộ chuỗi khối, thì điều họ thực sự muốn nói là họ không thể đảm bảo khả năng hiển thị của chuỗi khối và việc từ bỏ đảm bảo khả năng hiển thị của chuỗi khối không phải là điều Lạc quan Rollup sẵn sàng làm.

tiêu đề phụ

Bản tổng hợp lạc quan so với Bản tổng hợp ZK: Không đáng tin cậy, Kết thúc đúng lúc

Khi đánh giá Rollup, chúng tôi cần xác định một yêu cầu chính: liệu Rollup có cần cung cấp bản hoàn thiện kịp thời, không đáng tin cậy hay không. Nói một cách đơn giản, điều này có nghĩa là sau khi bạn gửi giao dịch, bạn và những người khác sẽ biết kết quả của giao dịch một cách kịp thời và chắc chắn, và không ai có thể thay đổi hoặc đảo ngược giao dịch.

Theo ý kiến ​​của chúng tôi, cách tốt nhất để đạt được tính chính xác kịp thời là tách thứ tự của các giao dịch khỏi việc thực hiện chúng. Sắp xếp tạo ra chuỗi cuối cùng của các giao dịch được đề xuất và cố gắng thực hiện các giao dịch theo chuỗi đó. Nếu việc thực hiện các giao dịch là xác định, vì nó dựa trên Arbitrum, thì việc xác định thứ tự giao dịch là đủ để xác định kết quả, vì kết quả là một chức năng xác định của thứ tự giao dịch. Nếu mọi người biết thứ tự giao dịch, mọi người có thể dễ dàng xác định kết quả.

Hoàn thành một trình tự yêu cầu đăng trình tự lên chuỗi Lớp 1 với đủ thông tin để cho phép bất kỳ ai tự thực hiện giao dịch biết kết quả mà không cần tin tưởng. Tổng số lý tưởng là xuất bản dữ liệu giao dịch được sắp xếp lên chuỗi Lớp 1 thường xuyên nhất có thể.

Trong hệ thống Tổng hợp lạc quan, chi phí xuất bản lên chuỗi Lớp 1 là thấp nhất. Trên thực tế, Arbitrum thường xuất bản dữ liệu giao dịch được sắp xếp lên chuỗi Lớp 1 mỗi phút hoặc lâu hơn, mang lại cho người dùng sự chắc chắn nhanh chóng và đảm bảo rằng không ai có thể hoàn tác thương mại của họ. Ngoài ra, Arbitrum cũng tạo ra một Xác nhận kết quả tổng hợp lạc quan mới mỗi giờ hoặc lâu hơn, nhưng vì trình tự đã được hoàn thiện và việc thực thi mang tính quyết định, nên nó hoàn toàn không làm chậm quá trình hoàn thiện.

Về nguyên tắc, hệ thống ZK Rollup cũng có thể hoạt động theo cách tương tự; tức là bằng cách tách thứ tự giao dịch (thường có thể được xuất bản lên Lớp 1) khỏi xác minh sau này và bằng chứng về tính hợp lệ không thường xuyên. Tuy nhiên, ZK Rollup hoạt động theo cách này sẽ cần phải xuất bản về cơ bản cùng một dữ liệu lên chuỗi Lớp 1 khi hệ thống Optimistic Rollup xuất bản dữ liệu, không được hỗ trợ bởi kỹ thuật (cái gọi là) "nén" đã thảo luận ở trên. Để ZK Rollup làm cho kỹ thuật "nén" hoạt động, nó phải chứng minh tính hợp lệ của một loạt giao dịch Lớp 2 trong thời gian thực, trong cùng một giao dịch Lớp 1 và nó phải làm như vậy mỗi lần một loạt giao dịch Lớp 2 được phát hành.

Do đó, mặc dù cái gọi là công nghệ "nén" được ZK Rollup quảng cáo rầm rộ nhưng khi gặp phải tình huống trên, họ phải đưa ra hai lựa chọn:

1) Xuất bản các giao dịch được sắp xếp và bằng chứng thực thi mỗi phút hoặc lâu hơn: Điều này duy trì tính chính xác nhanh, nhưng yêu cầu bằng chứng ZK phải được tạo ngoài chuỗi mỗi phút và được xác minh trên chuỗi Lớp 1. Tùy thuộc vào việc triển khai, chi phí phát hành bằng chứng ZK trên chuỗi blockchain được ước tính là từ 500.000 đến 5 triệu gas.

2) Xuất bản các giao dịch và bằng chứng được sắp xếp mỗi giờ: Cách tiếp cận này làm cho chi phí kiểm tra bằng chứng ZK hơi hợp lý, nhưng kéo dài thời gian hoàn tất lên một giờ. Trong khoảng thời gian giữa người dùng gửi giao dịch cho nhà điều hành ZK Rollup và đăng giao dịch đó lên chuỗi trạng thái, người dùng không đảm bảo rằng giao dịch của họ sẽ được đưa vào và chỉ có thể tin tưởng nhà điều hành ZK Rollup.

Nếu bạn đang xây dựng hệ thống ZK Rollup, bạn sẽ thấy rằng hai tùy chọn trên thực sự không thể chấp nhận được -Chi phí đầu tiên quá cao và thứ hai không đóng cửa kịp thời. Vì vậy, nếu bạn sử dụng cùng một loại trình sắp xếp thứ tự, về cơ bản, bạn cần xuất bản cùng một dữ liệu trong phiên bản Tổng hợp ZK của Arbitrum với phiên bản Tổng hợp Lạc quan của chúng tôi.

Nếu bạn nghe ai đó quảng cáo rằng ZK Rollup có thể nén hàng giờ dữ liệu vào một điểm duy nhất, đừng lo lắng. Nếu họ chỉ xuất bản một điểm dữ liệu duy nhất vào cuối một khoảng thời gian dài, thì điều đó có nghĩa là họ đã không cung cấp thông tin cuối cùng trong khoảng thời gian đó.

tiêu đề phụ

Bản tổng hợp lạc quan so với Bản tổng hợp ZK: hoạt động không đáng tin cậy

Sự sống động không đáng tin cậy có nghĩa là bất kỳ ai cũng có thể buộc hệ thống phải tiến bộ. (Một tài sản bảo đảm đáng tin cậy đảm bảo tiến độ là chính xác.)

Bản tổng hợp lạc quan cho phép bất kỳ nút nào tuyên bố rằng giao dịch đã được thực hiện chính xác. Việc đưa ra tuyên bố này chỉ yêu cầu nút thực hiện giao dịch của chuỗi, sau đó gửi một khoản cam kết có thể được hoàn lại sau khi thỏa thuận xác nhận tuyên bố.

Trên hệ thống ZK Rollup, quy trình yêu cầu bất kỳ nút nào cũng có thể tạo và đưa ra bằng chứng ZK cần thiết để nâng cao trạng thái của chuỗi khối, nhưng không phải ai cũng có thể thực hiện được bằng phần cứng và phần mềm thông thường. Do đó, nếu bạn muốn hoàn thành bằng chứng ZK, bạn phải xây dựng hoặc mua phần cứng chuyên dụng cụ thể và thực hiện tính toán song song hàng loạt. Ngay cả trên các thiết bị thông thường, cần phải xây dựng một đường dẫn bằng chứng ZK phù hợp. Nhà cung cấp ZK không cung cấp chức năng này hoặc xuất bản mã để tạo bằng chứng cho hệ thống của họ không thể cung cấp quy trình đáng tin cậy và hệ thống không có bất kỳ sự đảm bảo nào về tính sống động . Nghĩa là, hệ thống của ZK Rollup được tập trung hóa vì chỉ những người chuẩn hóa với thiết bị đặc biệt mới có thể thúc đẩy quy trình. (Không rõ liệu bản tổng hợp ZK hàng đầu cung cấp điều này có cung cấp bằng chứng khả thi cho người dùng bình thường hay không.)

tiêu đề phụ

Tổng hợp lạc quan so với Tổng hợp ZK: Bắc cầu

Tất nhiên, ZK Rollup không phải là vô dụng, nó có những lợi thế lớn trong một lĩnh vực, đó là:Kết nối chuỗi chéo EthereumCần nhấn mạnh rằng,

Cần nhấn mạnh rằng,Lợi thế bắc cầu của ZK Rollups thực sự không lớn lắm: bởi vì nó chỉ có thể được sử dụng để bắc cầu trở lại Ethereum từ Lớp 2.Đã có một thời (khoảng năm 2019), nhiều người nghĩ rằng các giải pháp mở rộng quy mô Ethereum sẽ không xuất hiện nhanh như vậy và có thể sẽ chỉ có một hoặc hai DApp từ từ ra mắt. Nhưng trong các ứng dụng thực tế, người dùng Rollup sẽ thấy mình cần phải chuyển đổi qua lại giữa Lớp 1 và Lớp 2, điều thực sự không được ZK Rollup hỗ trợ. và nhiều người dùng đang kết nối với Arbitrum và ở đó trong một thời gian dài. Ngoài ra, về mặt cung cấp hỗ trợ chuỗi chéo cho người dùng, Arbitrum không chỉ hỗ trợ Ethereum mà còn kết nối với Lauer 1 và các chuỗi bên khác. .

tóm tắt

tóm tắt

Sau khi so sánh toàn diện giữa hệ thống Tổng hợp Lạc quan và Hệ thống Tổng hợp ZK, chúng tôi tin rằng hệ thống Tổng hợp Lạc quan rõ ràng là người chiến thắng. Optimistic Rollup tốn ít chi phí hơn, hoàn toàn tương thích với EVM và các công cụ hiện có, và nhược điểm thực sự duy nhất trong thực tế là tốc độ bắc cầu Lớp 1 chậm hơn nếu không có dịch vụ bắc cầu liên chuỗi nhanh. Nhiều lợi thế được cho là của ZK Rollup yêu cầu hy sinh khả năng hiển thị blockchain hoặc thời gian hoàn thiện, điều mà chúng tôi không nghĩ rằng người dùng muốn.

Không chỉ vậy, có vẻ như ZK Rollup sẽ không muốn thực hiện thay đổi. Bằng chứng ZK về việc thực thi hợp đồng tương thích với EVM sẽ vẫn đắt hơn đáng kể so với thực thi Bản tổng hợp lạc quan và Bản tổng hợp ZK cũng sẽ gặp khó khăn để đạt được tiến độ được đảm bảo, khả năng hiển thị chuỗi khối và các yêu cầu phân cấp. Chúng tôi sẵn sàng chuyển Arbitrum sang thực hiện giao dịch dựa trên ZK Rollup nếu tình hình thay đổi, nhưng chúng tôi không nghĩ rằng họ sẽ thực hiện thay đổi tối ưu hóa.

Điều cuối cùng muốn nói là mọi người có xu hướng so sánh những gì Arbitrum hiện đang cung cấp với những gì hệ thống ZK tuyên bố họ sẽ cung cấp trong tương lai, nhưng sự so sánh này thực sự vô nghĩa, bởi vì chúng tôi muốn so sánh, so sánh với các hệ thống hiện có. Các giải pháp mở rộng quy mô Tổng số lạc quan như Arbitrum là hệ thống triển khai mở duy nhất hỗ trợ các hợp đồng thông minh chung. Hoặc, nếu các hệ thống trong tương lai được so sánh, thì chúng ta nên so sánh Arbitrum trong tương lai với các hệ thống ZK trong tương lai.

Chúng tôi không ngừng cải thiện Arbitrum. Ví dụ: trong phiên bản Nitro sắp tới của chúng tôi, chúng tôi sẽ cung cấp cho người dùng chi phí giao dịch thấp hơn và tối ưu hóa tốt hơn trên chuỗi dữ liệu nén không mất dữ liệu. Không chỉ vậy, chúng tôi đang làm việc không mệt mỏi để Cải thiện chênh lệch giá thương mại và giảm chi phí để giới hạn lý thuyết. Khi chúng tôi phân tích trong bài đăng này, chúng tôi tin rằng Bản tổng hợp lạc quan rõ ràng là người chiến thắng thực sự khi xem xét hai hệ thống hiện đang tồn tại và các ràng buộc lý thuyết tương ứng của chúng.