Tìm hiểu về ZK Rollup và Optimistic Rollup trong một bài viết: hướng mở rộng quan trọng của Ethereum

Lưu ý của biên tập viên: Bài viết này đến từGhi Chú Cáo Xanh (ID: lanhubiji), được in lại bởi Odaily với sự cho phép.

Ghi Chú Cáo Xanh (ID: lanhubiji)

Giới thiệu

, được in lại bởi Odaily với sự cho phép.

Lời nói đầu: Khả năng mở rộng đã cản trở các chuỗi công khai trong nhiều năm. Các giải pháp cho khả năng mở rộng là bằng chứng về khái niệm hoặc trong R&D. Optimistic Rollup và Zk Rollup cũng là những giải pháp về khả năng mở rộng và đã thu hút được sự quan tâm lớn từ cộng đồng tiền điện tử. Vì vậy, chính xác thì Bản tổng hợp lạc quan và Bản tổng hợp ZK là gì? Con đường kỹ thuật nào sẽ giành chiến thắng trong tương lai của quy mô Ethereum? Bất kể con đường quanh co như thế nào và liệu những nỗ lực trước đó có hữu ích hay không (chẳng hạn như giải pháp plasma và các giải pháp kỹ thuật khác), việc mở rộng Ethereum vẫn đang tiến triển và việc đáp ứng các kịch bản chính thống không nằm ngoài tầm với. Tác giả của bài viết này là Alex Gluchowski, được dịch bởi "JOKO" của cộng đồng Blue Fox Notes.

tiêu đề phụ

Giới thiệu

• Optimistic Rollup là một kỹ thuật đầy hứa hẹn để nhân rộng các hợp đồng thông minh có mục đích chung trên Ethereum trong thời gian ngắn. Nếu được xây dựng đủ nhanh, nó có thể cung cấp một cách dễ dàng di chuyển các dApp và dịch vụ hiện có, với sự đánh đổi hợp lý giữa bảo mật và khả năng mở rộng. Điều này sẽ cho phép ETH1.0 đáp ứng nhu cầu ngày càng tăng.

• ZK Rollup là một kỹ thuật phức tạp hơn. Ngày nay, nó có thể được sử dụng để chuyển mã thông báo và các ứng dụng cụ thể. Tuy nhiên, việc triển khai trên các hợp đồng thông minh chung sẽ mất nhiều thời gian hơn và gói EVM trong ZKP một cách hiệu quả sẽ đòi hỏi nhiều công việc nghiên cứu hơn nữa. (Lưu ý Blue Fox: ZKP đề cập đến bằng chứng không kiến ​​thức)

• Tuy nhiên, sau khi ZK Rollup được phát triển đầy đủ, tất cả các ứng dụng và dịch vụ Ethereum hiện có sẽ có thể di chuyển một cách suôn sẻ và dễ dàng.

• ZK Rollup sẽ giải quyết một số vấn đề cơ bản trên Optimistic Rollup:

Rút ngắn thời gian rút tiền từ 1-2 tuần xuống còn vài phút;

Rollup 101

Hỗ trợ xác nhận giao dịch và thoát lệnh nhanh chóng với số lượng không giới hạn;

Quyền riêng tư được giới thiệu theo mặc định.

Optimistic Rollup là tin tốt cho ZK Rollup. Quá trình chuyển đổi sang mở rộng quy mô Lớp 2 yêu cầu những thay đổi lớn đối với ví, oracle, dApp và thói quen của người dùng. Bản tổng hợp lạc quan giúp chuẩn bị hệ sinh thái cho động thái này, mang lại khả năng mở rộng cho các ứng dụng dApp chưa thể xây dựng trên Bản tổng hợp ZK này. Điều này mang lại cho ZK Rollup đủ thời gian để trưởng thành và cho phép áp dụng hoàn toàn liền mạch trong khi vẫn duy trì đà tăng trưởng của Ethereum.

tiêu đề phụ

* Tổng số là gì?

Rollup là một giải pháp khả năng mở rộng Lớp 2 giống như Plasma: một hợp đồng chuỗi chính duy nhất nắm giữ tất cả các khoản tiền và mã hóa ngắn gọn trạng thái của một lời hứa "sidechain" lớn hơn (thường là cây Merkle gồm các tài khoản, số dư và trạng thái của chúng). Trạng thái sidechain được duy trì ngoài chuỗi bởi người dùng và nhà khai thác và không phụ thuộc vào bộ lưu trữ Lớp 1 (là nơi tạo ra các chiến thắng mở rộng quy mô lớn nhất).

Điều khác biệt giữa Rollup với Plasma là nó giải quyết vấn đề lớn của Plasms: tính khả dụng của dữ liệu, bằng cách xuất bản một số dữ liệu cho mỗi giao dịch thông qua mạng Lớp 1 (trong Ethereum, tx CALLDATA được sử dụng riêng cho mục đích này).

Vì vậy, hàng nghìn giao dịch có thể được nhóm lại với nhau trong một khối Tổng số. Mặc dù chi phí của phương pháp này quy mô tuyến tính nghiêm ngặt (O(n) trong số lượng giao dịch), nó thực sự có thể cải thiện thông lượng theo hệ số 100 vì CALLDATA rẻ hơn lưu trữ và tính toán Lớp 1.

Rollup đã nhiều lần được Vitalik Buterin công nhận là giải pháp khả năng mở rộng Lớp 2 yêu thích của anh ấy. Theo cách đảm bảo tính chính xác của quá trình chuyển đổi trạng thái, có hai phương pháp Rollup: Rollup ZK và Rollup lạc quan.

Trong ZK-Rollup, người vận hành phải tạo SNARK (Ghi chú Blue Fox: Đối số kiến ​​thức không tương tác ngắn gọn) cho mỗi lần chuyển đổi trạng thái, được xác minh bằng hợp đồng Rollup trên chuỗi chính. SNARK này chứng minh rằng có một loạt giao dịch được ký chính xác bởi chủ sở hữu đã cập nhật số dư tài khoản theo cách chính xác và chuyển gốc Merkle từ cũ sang mới. Do đó, không thể để các nhà khai thác gửi trạng thái không hợp lệ hoặc bị thao túng.

* Tổng hợp lạc quan là gì?

*Optimistic Rollup

Trong Bản tổng hợp lạc quan, gốc trạng thái mới được nhà điều hành xuất bản và không cần phải kiểm tra bằng hợp đồng thông minh Bản tổng hợp mỗi lần. Thay vào đó, mọi người đều muốn chuyển đổi trạng thái là chính xác. Tuy nhiên, nếu một chuyển đổi trạng thái không chính xác được ban hành, các nhà khai thác hoặc người dùng khác (những người phải quan sát những gì đang xảy ra trong hợp đồng Rollup Lớp 1, thực hiện mọi giao dịch đơn lẻ) sẽ có thể chỉ ra giao dịch sai và hoàn nguyên khối sai, làm giảm Tiền gửi từ các nhà khai thác độc hại. Khái niệm về Tổng số lạc quan ban đầu được đề xuất bởi John Adler.

Tiếp theo, hãy so sánh ZK Rollup và Optimsitc Rollup.

tiêu đề phụ

Tính linh hoạt: Điện toán tổng quát

*ZK Rollup

Mặc dù Optimistic Rollup có thể được sử dụng cho các ứng dụng cụ thể, cải tiến quan trọng nhất của Plasma Group là OVM (Optimistic Vitual Machine). OVM hỗ trợ triển khai logic hợp đồng thông minh tùy ý.

Hầu hết mọi thứ có thể được triển khai trên Ethereum cũng có thể được triển khai trên OVM, bao gồm cả khả năng kết hợp của các hợp đồng thông minh. Nó dựa trên EVM, EWASM hoặc bất kỳ máy ảo nào khác. Điểm hay của OVM là nếu nó được sử dụng với EVM, nó sẽ hỗ trợ viết mã trong Solidity. Do đó, hầu hết các cơ sở mã hiện có có thể dễ dàng được chuyển sang Bản tổng hợp lạc quan.

Sẽ là lý tưởng nếu OVM có thể trực tiếp sử dụng lại mã byte EVM hiện có, nhưng nó có thể không đơn giản như vậy. Việc triển khai đúng cách sẽ yêu cầu thay đổi định dạng dữ liệu giao dịch (CALLDATA) và yêu cầu triển khai giao thức thách thức/phản hồi kiểu Truebit/Plasma Leap phức tạp để cung cấp bằng chứng gian lận.

Điều này có thể dẫn đến sự khác biệt với EVM, dẫn đến các trường hợp cạnh không được xử lý chính xác, điều đó có nghĩa là vẫn cần phải thực hiện một số công việc để phù hợp với hợp đồng OVM hiện tại. Một thách thức triển khai khác là bằng chứng gian lận đối với các khối lớn có thể yêu cầu nhiều gas hơn giới hạn gas cho phép của khối Lớp 1. Chà, những bằng chứng gian lận này phải được chia nhỏ thành nhiều giao dịch ETH.

Cho đến nay, tất cả các triển khai ZK-Rollup hiện có đều tập trung vào các hoạt động cụ thể, chẳng hạn như chuyển mã thông báo hoặc hoán đổi nguyên tử. Có một số lý do chính cho việc này.

Đầu tiên, không có kỹ thuật hiệu quả nào để kết hợp các bằng chứng đệ quy ngắn gọn với các ZKP khác nhau, đòi hỏi phải tổng hợp việc thực thi các hợp đồng thông minh khác nhau thành một khối. Cách tiếp cận tốt nhất của chúng tôi là sử dụng Groth16 (được sử dụng bởi Coda) trên các vòng lặp trên các đường cong elip, yêu cầu tính toán trên các trường dài và hoàn toàn không hiệu quả đối với các phép tính lớn.

Trình xác minh STARK phải thực hiện từng ràng buộc của câu lệnh tính toán đã được chứng minh ít nhất một lần, điều đó có nghĩa là chúng tôi không thể lặp lại các bộ sưu tập hợp đồng thông minh không đồng nhất.

Mọi thứ đã thay đổi với sự ra đời của SNORK. SNORK là một thế hệ ZKP mới dựa trên một bộ mã hóa nguyên thủy hơi khác (sơ đồ cam kết đa thức nổi tiếng). Tiên phong là Sean Bowe trong Sonic, tiếp theo là PLONK và Marlin vào mùa hè 2019. Tất cả những điều này đều có một điểm chung: mặc dù thiết lập đáng tin cậy vẫn được yêu cầu, nhưng hiện tại nó đã trở nên chung chung và có thể cập nhật được. Sau khi hoàn thành một lần, nó sẵn sàng được sử dụng lại cho bất kỳ chương trình nào khác.

*Optimistic Rollup

• Tuy nhiên, sơ đồ cam kết đa thức Kate được sử dụng trong các hệ thống chứng minh này vẫn yêu cầu các vòng lặp đường cong elip hiệu quả để đệ quy, hiện không khả dụng. Đó là lý do tại sao chúng tôi vui mừng về các hệ thống bằng chứng hoàn toàn ngắn gọn và minh bạch (không cần thiết lập đáng tin cậy) mới nhất như Halo, SuperSonic, Fractal và những nội dung thú vị mà nhóm Matter Labs đang nghiên cứu gần đây.

• Tóm lại: rào cản đối với việc xây dựng các hợp đồng thông minh có mục đích chung trên ZKP hiện đã được gỡ bỏ. ZK Rollup hoàn toàn có khả năng hỗ trợ mô hình lập trình giống như EVM, bao gồm khả năng kết hợp liền mạch và khả năng tương tác. Mặc dù thời gian học tập dành cho các nhà phát triển Solidity không được vượt quá một ngày, các hợp đồng ban đầu có thể yêu cầu một DSL chuyên dụng. Cuối cùng, với tốc độ phát triển hiện tại của công nghệ chứng minh ZKP, chúng tôi hy vọng tất cả các hợp đồng ETH (và thậm chí EWASM) hiện có sẽ được chuyển một cách hiệu quả với nỗ lực tối thiểu.

• tiêu đề phụ

• Khả năng mở rộng & Chi phí giao dịch

Theo John Adler, sau EIP2028/Istanbul, ước tính hiện tại là khoảng 4 nghìn gas cho mỗi giao dịch chuyển.

Điều này có nghĩa là, tương đương với khoảng 100tps.

*ZK Rollup

• Sử dụng chữ ký tổng hợp BLS, con số này có thể lên tới khoảng 500tps (tham số tx có thể sẽ được giữ trong một thời gian dài để không phá vỡ khả năng tương thích EVM).

• Nếu khả năng tương thích EVM bị hỏng, về mặt lý thuyết, thông lượng có thể tăng đến giới hạn của ZKP.

• Giới hạn thông lượng thực tế (chuyển mã thông báo): 500tps

• Nó có lẽ là tốt cho bây giờ.

Chi phí dữ liệu công khai của mỗi tx truyền trong Matter Testnet hiện là 16byte, sẽ tốn 272gas sau EIP2028/Istanbul.

Ngoài ra, sẽ có một khoản phí khấu hao để chứng minh, dự kiến ​​​​sẽ vào khoảng 300.000 gas.

Ngay cả khi chúng tôi giả định trường hợp xấu nhất và yêu cầu 1 triệu gas để chứng minh chi phí, giới hạn chuyển nhượng ước tính vẫn sẽ vượt quá 2140tps.

Trong một số cuộc thảo luận, mọi người có thể tranh luận rằng ZKP đắt tiền về mặt tính toán và do đó đắt tiền. Trên thực tế, chi phí tính toán không đáng kể so với chi phí gas, đây là nút cổ chai thực sự do phân cấp chống kiểm duyệt. Chúng tôi cũng kỳ vọng yếu tố này sẽ giảm đáng kể theo thời gian.

• Giới hạn thông lượng thực tế (chuyển mã thông báo): trên 2000 điểm/giây - tương tự như quy mô của Visa.

• Tuy nhiên, trong nhiều trường hợp sử dụng, ZK Rollup thậm chí còn tiết kiệm nhiều hơn, vì các khối lớn có thể được loại bỏ khỏi dữ liệu công khai (bằng cách di chuyển chúng sang bằng chứng mạch ZK) mà không cần phải cấu trúc lại vùng chuyển tiếp trạng thái.

Thông tin chi tiết cốt lõi là mặc dù Bản tổng hợp lạc quan luôn yêu cầu người dùng xuất bản đầu vào giao dịch đầy đủ, nhưng trong Bản tổng hợp ZK, chúng tôi có thể linh hoạt lựa chọn giữa: 1) đầu vào giao dịch trừ nhân chứng không ảnh hưởng đến quá trình chuyển đổi trạng thái 2) đầu ra chỉ giao dịch. Lựa chọn này có thể được thực hiện rất tao nhã mà không có nhiều phức tạp.

Các hợp đồng như Dfusion Dutch DEX của Gnosis yêu cầu đầu vào tập dữ liệu lớn không ảnh hưởng trực tiếp đến việc lưu trữ mà chỉ được sử dụng để xác thực kết quả tính toán.

giao dịch meta

tiêu đề phụ

Sự an toàn

*Optimistic Rollup

giao dịch meta

Cả hai loại Tổng số đều phù hợp để hỗ trợ siêu giao dịch và trừu tượng hóa tài khoản.

tiêu đề phụ

Sự an toàn

Không giống như các kênh thanh toán, tất cả tiền trong Rollup được nắm giữ bởi một hợp đồng thông minh duy nhất. Vì Rollup là hướng mở rộng hứa hẹn nhất nên chúng ta sẽ thấy một số lượng lớn người dùng chuyển sang hướng đó và rất nhiều giá trị tập trung vào loại hợp đồng này. Nắm giữ khối tài sản trị giá hàng chục triệu (thậm chí hàng tỷ USD), các hợp đồng Rollup đang trở thành hũ mật rất hấp dẫn đối với các hacker nổi tiếng và nếu một cuộc tấn công có cơ hội, dù tinh vi đến đâu, cũng có thể cố gắng tiến hành.

Mô hình bảo mật của Optimistic Rollup dựa trên hai giả định:

1. Ít nhất 1 nút trung thực trong số n nút thực hiện tất cả các giao dịch Tổng hợp lạc quan và gửi bằng chứng gian lận khi các chuyển đổi trạng thái không hợp lệ được ban hành;

2. Mạng lớp 1 cơ bản có khả năng chống kiểm duyệt mạnh mẽ

*Ít nhất một người tham gia nút trung thực trong số N nút

Đối với điểm đầu tiên, kỳ vọng thực tế là chỉ những người vận hành Rollup mới thực sự giám sát và thực hiện các giao dịch. Người dùng thông thường không có động cơ cũng như năng lực kỹ thuật để xử lý khối lượng giao dịch cao (nếu họ có thể, quy mô đến từ đâu?) May mắn thay, các nhà khai thác tự nhiên có động lực để kiểm tra tính chính xác của các khối của nhau, bởi vì dựa trên các khối không hợp lệ Ở trên các khối đã xây dựng sẽ bị giảm tài sản.

Với đủ người tham gia đáng tin cậy, 1 nhà điều hành nút trung thực trong số N nút là một giả định hợp lý. Tuy nhiên, do số lượng tác nhân tích cực bị hạn chế (hàng trăm?), một số cuộc tấn công tinh vi có thể bao gồm: nhắm mục tiêu vào cơ sở hạ tầng của tất cả các nhà khai thác (rất khó nhưng không phải là không thể), hối lộ/tống tiền các kỹ sư phát triển để bí mật cài đặt mã độc, nhắm mục tiêu phân phối bản cập nhật phần mềm Rollup các kênh, v.v. Tất nhiên, nó cũng có thể là sự kết hợp của các cuộc tấn công này.

Những cuộc tấn công này rất khó thực hiện, nhưng cần được chủ động phòng chống, nhưng thực tế hơn nhiều so với việc tấn công những người khai thác Ethereum theo cách tương tự, đặc biệt là vì một cuộc tấn công thành công vào Bản tổng hợp lạc quan sẽ không được chú ý cho đến khi nó hoàn tất.

* Chống kiểm duyệt lớp 1 mạnh mẽ

Giả định thứ hai là giả định phức tạp. Trên thực tế, thiết kế của Ethereum cung cấp các cơ chế kinh tế rất hiệu quả để chống lại sự kiểm duyệt thông thường. Tuy nhiên, khi có các cơ chế phản tác dụng thì các cơ chế này ngừng hoạt động. Kẻ tấn công có thể tạo ra một cơ chế hối lộ hoàn toàn tự động để điều phối một cuộc tấn công 51% vào những người khai thác, điều này sẽ ngăn những người khai thác trung thực đưa bằng chứng gian lận vào các khối của họ.

Thật thú vị, đối với những người khai thác có liên quan, chi phí trực tiếp của cuộc tấn công bằng không, không bao gồm chi phí xã hội phát sinh do phản ứng phẫn nộ của cộng đồng nếu nó có thể được quy rõ ràng là do kiểm duyệt. Phần này cũng phức tạp, bởi vì cơ chế cung cấp khả năng từ chối hợp lý cho những người tham gia cuộc tấn công: "Với cam kết đáng tin cậy của đa số kẻ tấn công, nếu tôi không tham gia, khối của tôi sẽ bị hủy, vì vậy tôi phải làm điều đó không vì lợi nhuận , nhưng để tránh mất mát."

Thật không may, dưới PoW, các cuộc tấn công như vậy là rất thực tế. Không có cách nào hiệu quả để trừng phạt những người khai thác ẩn danh vì đã tham gia. Sau khi chuyển sang PoS, cộng đồng sẽ có thể trừng phạt những người khai thác bằng cách cắt cổ phần của họ, nếu đạt được sự đồng thuận xã hội rộng rãi.

Xét cho cùng, một cuộc tấn công kiểm duyệt như vậy có thể được coi là một hành vi gây hấn đối với toàn bộ mạng, mặc dù cũng có thể lập luận rằng những người khai thác chỉ đơn giản là tuân theo giao thức một cách trung thực và không bắt buộc phải hành động trái với lợi ích kinh tế tốt nhất của họ.

Tuy nhiên, sau fork DAO, nó sẽ là một cuộc thảo luận rất gây tranh cãi, ít nhất phải nói rằng, với một kết quả không thể đoán trước. Trong một cuộc thăm dò cộng đồng gần đây do Vitalik thực hiện, 63% cử tri phản đối bất kỳ sự can thiệp nào của con người vào chuỗi khối bất biến để giải cứu người dùng, bất kể mức độ tấn công. Không cần phải nói, rất khó để làm rõ các quyền và lợi ích của ngay cả một người xác nhận (Lưu ý Blue Fox: ở đây đề cập đến các khoản tiền đã cam kết), chứ đừng nói đến việc làm rõ các quyền và lợi ích của hầu hết những người xác nhận.

Gần đây, nhiều nghiên cứu về sự thông đồng đã được công bố, cũng như các cuộc tấn công mới vào bằng chứng gian lận trong môi trường PoS, cho thấy rằng nguy cơ bị kiểm duyệt tấn công trong Bản tổng hợp lạc quan trong PoS ít nhất cũng cao như trong PoW.

*ZK Rollup

Một cách thực tế hơn để chống lại cuộc tấn công này là huy động nhanh chóng cộng đồng trong UASF (Soft Fork do người dùng kích hoạt) để buộc các công ty khai thác bao gồm một số giao dịch nhất định. Kịch bản này rất phức tạp từ cả quan điểm kỹ thuật và xã hội, và chắc chắn sẽ cần khoảng thời gian thử thách tương đối dài để cung cấp bằng chứng gian lận, ít nhất là một tuần, tốt nhất là hai tuần.

Đồng thời, do các nhà khai thác DeFi chính có vị trí thuận lợi để xác định kết quả của một đợt fork như vậy, nên lợi ích tốt nhất của họ là tránh một sự kiện gián đoạn lớn. Vì vậy, lựa chọn tốt nhất của họ có thể là lặng lẽ theo dõi kẻ tấn công (điều này sẽ giữ Ethereum trên chuỗi dài nhất và tạo ra ít tranh cãi hơn so với một soft fork thành công).

Nhìn chung, rủi ro của việc xem xét bằng chứng gian lận là tương đối thấp, nhưng không phải là không đáng kể.

Do đó, ZK Rollup thể hiện đầy đủ hơn ý tưởng cơ bản của thế giới tiền điện tử: thay thế các bên đáng tin cậy thông qua các ưu đãi về tiền điện tử và lý thuyết trò chơi để đạt được khả năng phục hồi. Tuy nhiên, để cho đầy đủ, tôi phải đề cập đến một số rủi ro tiềm ẩn dành riêng cho ZK Rollups.

mật mã

cài đặt đáng tin cậy

Nếu ZKP được sử dụng trong ZK Rollup yêu cầu thiết lập đáng tin cậy toàn cầu, thì chúng tôi sẽ đi đến giả định về "một trong N" những người tham gia trung thực. Tùy thuộc vào số lượng và chất lượng của người tham gia, điều này có thể hoặc không phải là rủi ro chấp nhận được. Nhưng bảo mật là bảo mật, đó là lý do tại sao tôi rất hào hứng với những phát triển mới nhất về SNARK không đáng tin cậy hiệu quả, đặc biệt là những gì Matter Labs đang xây dựng.

mật mã

Thế hệ SNARK mới nhất đang sử dụng nhiều nguyên hàm mật mã đã được chứng minh hơn Groth16. Công việc của Matter Lab dựa trên FRI, vì vậy nó thậm chí có thể được cho là có bảo mật hậu lượng tử. Tuy nhiên, để hoàn toàn bình tĩnh lại, nên áp dụng hai chiến lược giảm nhẹ:

*Optimistic Rollup

*Tương tự như thách thức RSA, tiền thưởng lớn phải được triển khai với các tham số bảo mật thấp hơn so với phiên bản sản phẩm thực tế. Nếu một cuộc tấn công thực sự được phát hiện, các nhà nghiên cứu sẽ vượt qua thử thách nhiều năm trước khi mã sản xuất bị xâm phạm.

*Tất cả các chuyển đổi trạng thái chỉ được gửi bởi người điều hành ZKR, về cơ bản hoạt động như một lớp bảo vệ để xác minh kép.

tiêu đề phụ

Độ trễ (thời gian cần thiết để đạt được kết quả cuối cùng có thể kiểm chứng)

*ZK Rollup

Do các vấn đề được đề cập trong phần bảo mật ở trên, Bản tổng hợp lạc quan chỉ an toàn trong khoảng thời gian thử thách 1-2 tuần để làm bằng chứng gian lận. Không có giao dịch nào có thể được coi là cuối cùng cho đến khi thời gian này trôi qua, cả Rollup tx nội bộ lẫn lần thoát đều không phải là cuối cùng.

Thật không may cho người dùng cuối, không có cách nào nhanh hơn để kiểm tra xem một giao dịch có phải là cuối cùng hay không bằng cách thực hiện tất cả các giao dịch trong toàn bộ giai đoạn thử thách cuối cùng. Điều quan trọng cần lưu ý là người dùng không thể hoàn toàn dựa vào lý thuyết trò chơi để đảm bảo tính hữu hạn của khối, vì một lỗi hoặc (hack) trong một nút vận hành duy nhất vẫn có thể dẫn đến đảo ngược.

Thời gian hoàn thiện (dưới PoS): 1 tuần

Các ZKP hiện tại chuyên sâu về tính toán. Hiện tại, đối với khối 1000tx, chúng tôi có thể có thời gian tạo bằng chứng là 20 phút trên phần cứng máy chủ thông thường. Việc triển khai chương trình chứng minh GPU đang diễn ra (triển khai Matter Labs và Coda) hứa hẹn tăng tốc tx nhanh hơn ít nhất 10 lần. Trong một tương lai không xa, phần cứng chuyên dụng có thể có sức mạnh tính toán cao hơn. Cuối cùng, chúng tôi hy vọng sẽ thấy tính hữu hạn của khối trong vòng một phút.

Thời gian kết thúc (bây giờ): 20 phút

tiêu đề phụ

Xác nhận nhanh trong các giao dịch Rollup

tiêu đề phụ

sự riêng tư

*Optimistic Rollup

Rút tiền nhanh chóng

*ZK Rollup

Thoát nhanh tương tự như Xác nhận tổng số nội bộ nhanh. Các nhà khai thác có thể hợp tác với các nhà cung cấp thanh khoản để rút ngay các mã thông báo có thể thay thế cho người dùng mà không cần đợi giao dịch thoát trở thành giao dịch cuối cùng trong Rollup. Điều này đòi hỏi một lượng lớn tài sản thế chấp, tỷ lệ thuận với thời gian hoàn tất. Giả sử rằng đối với Bản tổng hợp lạc quan, thời gian kết thúc của thực tế trong tương lai gần là 1 tuần và Bản tổng hợp ZK là 5 phút, thì Bản tổng hợp lạc quan sẽ cần gấp 2000 lần tài sản thế chấp của Bản tổng hợp ZK để hỗ trợ cùng số tiền rút hàng tuần.

sự riêng tư

Tóm lại là

Optimistic Rollup có thể hỗ trợ bất kỳ giải pháp bảo mật nào có sẵn trên Ethereum lớp 2 (máy trộn, v.v.). Vì bản thân Bản tổng hợp lạc quan cũng là Lớp 2 nên mọi giải pháp quyền riêng tư được triển khai trên lớp này sẽ là Lớp 3. Điều này có thể dẫn đến các dịch vụ bảo mật phi tập trung hơn và dẫn đến các nhóm ẩn danh nhỏ hơn, khiến cho quyền riêng tư trở nên ít thực tế hơn (thậm chí chúng ta có thể quan sát điều này trên zcash, nơi các giao dịch không bị ẩn theo mặc định)

Để có quyền riêng tư thực sự, hệ thống phải hỗ trợ nó theo mặc định. Từ quan điểm kỹ thuật, ZK Rollup có thể dễ dàng hỗ trợ các giao dịch chuyển mã thông báo riêng tư ở cấp độ giao thức theo mặc định trong một số trường hợp nhất định và cũng có thể phân biệt giữa hợp đồng thông minh công khai và riêng tư.

Đồng thời, việc xây dựng một giao dịch kiểu zcash hoàn toàn ẩn danh (nghĩa là không chỉ ẩn số tiền mà còn ẩn những người tham gia giao dịch), nó sẽ yêu cầu thay đổi mô hình lưu trữ của ZK Rollup từ mô hình dựa trên tài khoản thành mô hình lưu trữ dựa trên tài khoản. một mô hình dựa trên UTXO, sẽ gây ra nhiều vấn đề và Không thể xảy ra.

Tóm lại là

Bản tổng hợp lạc quan hiện đang trong giai đoạn PoC. (Blue Fox Notes: PoC đề cập đến giai đoạn chứng minh khái niệm. Từ góc độ dài hạn và triển khai, Blue Fox Notes lạc quan hơn về ZK Rollup) Chúng tôi hy vọng sẽ sớm đạt được triển khai ở cấp độ sản phẩm. Nếu việc chuyển mã hiện có tương đối dễ dàng, các dự án sẽ dần dần bắt đầu áp dụng mã đó và xây dựng cơ sở hạ tầng mới: hỗ trợ Lớp 2 sẽ xuất hiện trong ví, các nhà tiên tri sẽ bắt đầu phát sóng tới Bản tổng hợp lạc quan, v.v.