Chính xác thì Rollup là gì? Làm thế nào để sử dụng nó?

Tiêu đề gốc: "Giới thiệu | Hướng dẫn cuộn lên chưa đầy đủ"

Nguồn gốc: Sở thích Ethereum

Lưu ý của người dịch: Trong văn bản gốc, "Rollup" xuất hiện nhiều lần ở cả dạng số ít và số nhiều. , "Rollup" xuất hiện ở dạng đầu tiên. Rollup bằng chữ in hoa.

Rollup đã rất nổi tiếng trong cộng đồng Ethereum hiện tại. Trong tương lai gần, Rollup là giải pháp quan trọng để Ethereum đạt được sự mở rộng . Nhưng chính xác Rollup là gì? Bạn có thể nhận được gì từ công nghệ này và bạn có thể sử dụng nó như thế nào? Bài viết này sẽ cố gắng trả lời một số câu hỏi chính.

Kiến thức nền tảng: Mở rộng lớp một và mở rộng lớp hai là gì?

Có hai cách để mở rộng hệ sinh thái blockchain. Cách đầu tiên để mở rộng là cho phép chính blockchain có khả năng xử lý giao dịch cao hơn. Ví dụ: làm cho các khối "lớn hơn" sẽ khiến quá trình xác minh chuỗi khối trở nên khó khăn hơn và có thể khiến các nút tập trung hơn. Để tránh những rủi ro như vậy, các nhà phát triển có thể nâng cao hiệu quả của phần mềm máy khách. Một cách mở rộng bền vững hơn là sử dụng các công nghệ như sharding để truyền bá công việc xây dựng và xác minh blockchain đến nhiều nút khác nhau -  "eth4"  đang cố gắng sử dụng phương pháp này để nâng cấp Ethereum Square.

Cách thứ hai để mở rộng là thay đổi phương thức sử dụng blockchain. Người dùng không cần đưa tất cả hoạt động trực tiếp lên chuỗi chính của blockchain. Thay vào đó, họ thực hiện hầu hết các hoạt động trong giao thức "lớp thứ hai" bên ngoài chuỗi chính và tạo ra bằng chứng. Tất cả các hoạt động đó xảy ra bên ngoài chuỗi tuân theo các quy tắc. Một hợp đồng thông minh được triển khai trên chuỗi chính, chỉ có hai nhiệm vụ: xử lý tiền gửi và rút tiền và xác minh bằng chứng trên. Có nhiều cách để triển khai bằng chứng và xác minh, nhưng tất cả đều có một đặc điểm chung, đó là việc xác minh bằng chứng trên chuỗi ít tốn kém hơn nhiều so với thực hiện các phép tính ban đầu ngoài chuỗi.

Kênh trạng thái, huyết tương và tổng hợp

Có ba tùy chọn chính để mở rộng lớp 2: kênh trạng thái, Plasma và tổng hợp. Ba tùy chọn đại diện cho ba mô hình khác nhau và mỗi tùy chọn đều có những ưu điểm và nhược điểm riêng. Tất cả các bản mở rộng lớp thứ hai gần như rơi vào ba loại này (có tranh cãi về cách phân loại một số giải pháp thỏa hiệp, chẳng hạn như  "validium") (Ghi chú của biên tập viên: Bản dịch tiếng Trung) .

Xem thêm https://www.jeffcoleman.ca/state-channels ,statechannels.org

Hãy tưởng tượng rằng Alice cung cấp dịch vụ kết nối mạng cho Bob. Đổi lại, Bob trả cho Alice 0,001 USD/MB cho lưu lượng truy cập do Internet tạo ra. Bob không cần phải trả mọi khoản phí trên chuỗi chính lớp 1. Cả hai bên đều sử dụng giải pháp lớp thứ hai sau.

Đầu tiên, Bob gửi 1 đô la Mỹ (đồng tiền ổn định hoặc ETH tương đương) vào một hợp đồng thông minh. Để thực hiện khoản thanh toán đầu tiên cho Alice, Bob ký một "ghi chú" (một tin nhắn ngoài chuỗi) có nội dung "0,001 USD" và gửi nó cho Alice. Để thực hiện khoản thanh toán thứ hai, Bob ký một ghi chú khác có nội dung "$0,002" và gửi cho Alice. Bằng cách tương tự, quá trình này được lặp lại cho mỗi lần thanh toán. Sau khi Alice và Bob hoàn tất giao dịch, Alice có thể bọc tờ tiền có giá trị cao nhất bằng chữ ký của mình và xuất bản nó lên chuỗi chính (đóng kênh). Hợp đồng thông minh sẽ xác minh chữ ký của Alice và Bob. Sau khi xác minh thành công, số tiền được đánh dấu trên vé của Bob sẽ được trả cho Alice và số tiền còn lại (Lưu ý của người dịch: 1 đô la Mỹ trừ đi số tiền trước) sẽ được trả lại cho Bob . Nếu Alice không muốn đóng kênh (vì ác ý hoặc lỗi kỹ thuật), Bob có thể bắt đầu giai đoạn thử thách rút tiền (ví dụ: 7 ngày) - nếu Alice không thể cung cấp vé mà Bob đã thanh toán trong khoảng thời gian này thì Bob có thể lấy lại vé trước đó Tất cả tiền được lưu trữ trong hợp đồng thông minh.

Công nghệ kênh trạng thái rất mạnh mẽ: kênh trạng thái tổng quát có thể hỗ trợ thanh toán hai chiều, thực hiện hợp đồng thông minh (ví dụ: Alice và Bob ký hợp đồng tài chính trong kênh) và có Khả năng kết hợp (nếu có một kênh mở giữa Alice và Bob và một kênh mở giữa Bob và Charlie thì Alice có thể tương tác với Charlie một cách đáng tin cậy). Tuy nhiên, vai trò của các kênh bị hạn chế: tiền không thể được gửi ngoài chuỗi cho người dùng chưa tham gia kênh; chúng không thể được sử dụng cho các đối tượng không có chủ sở hữu logic rõ ràng (chẳng hạn như hợp đồng thông minh Uniswap). Ngoài ra, nếu các giao dịch được xử lý bằng kênh phức tạp hơn so với các kịch bản thanh toán vi mô, thì một lượng lớn tiền cần phải được khóa trong kênh.

Cơ chế hoạt động của Plasma

Xem thêm sách trắng gốc của Plasma, Plasma Cash

Để gửi tài sản từ chuỗi chính đến chuỗi Plasma, Người dùng cần gửi tài sản trên chuỗi chính tới hợp đồng thông minh quản lý chuỗi Plasma. Chuỗi Plasma sẽ gán cho nội dung một ID duy nhất mới (ví dụ: 537). Mỗi chuỗi Plasma có một toán tử (đây có thể là vai trò tập trung hoặc được kiểm soát bởi nhiều chữ ký hoặc có thể phức tạp hơn, chẳng hạn như chuỗi PoS hoặc chuỗi DPoS). Thỉnh thoảng (có thể là 15 giây, có thể là một giờ hoặc khoảng thời gian tương đương), người vận hành sẽ tạo ra một "lô" chứa tất cả dữ liệu nhận được trong khoảng thời gian này. Toán tử tạo cây Merkle. Tại nút lá có chỉ mục  X , nếu nội dung có ID nội dung là  X  nằm trong đợt này Nếu một giao dịch xảy ra, giao dịch tương ứng tồn tại trên nút lá, nếu không thì nút lá bằng 0. Nhà điều hành xuất bản gốc Merkle của cây này lên chuỗi chính. Nhà điều hành cũng cần gửi nhánh Merkle của từng chỉ mục X  cho chủ sở hữu hiện tại của nội dung. Nếu bạn cần rút tài sản từ chuỗi Plasma sang chuỗi chính, người dùng cần gửi chi nhánh Merkle tương ứng với giao dịch gần đây nhất của tài sản tới hợp đồng thông minh của chuỗi chính. Sau đó, hợp đồng thông minh sẽ bắt đầu một giai đoạn thử thách (ví dụ: 7 ngày), trong thời gian đó bất kỳ ai cũng có thể thử sử dụng các nhánh Merkle khác để chứng minh rằng: (i) người dùng không sở hữu tài sản khi rút nó hoặc (ii) người dùng không sở hữu tài sản khi rút nó.Tại một thời điểm nào đó, tài sản đã được gửi cho người khác, do đó yêu cầu rút tiền bị vô hiệu. Nếu không ai chứng minh được rằng việc rút tiền là gian lận trong vòng 7 ngày, người dùng có thể lấy lại tài sản của mình thành công.

Plasma cung cấp chức năng mạnh hơn các kênh trạng thái: bạn có thể gửi tài sản cho những người dùng chưa bao giờ tham gia lớp thứ hai và số tiền bị khóa thấp hơn nhiều. Nhưng điều này phải trả giá: kênh trạng thái không cần lưu trữ bất kỳ dữ liệu nào vào chuỗi chính khi "chạy bình thường", nhưng Plasma yêu cầu mỗi chuỗi thỉnh thoảng xuất bản một giá trị băm lên chuỗi chính. Ngoài ra, các giao dịch trong chuỗi Plasma không diễn ra ngay lập tức, tức là chúng phải chờ bằng chứng (tức là giá trị gốc Merkle) của một lô giao dịch (còn gọi là khối Plasma) mới được gửi đến chuỗi chính.

Ngoài ra, cả kênh Plasma và kênh trạng thái đều có một lỗ hổng quan trọng: lý thuyết trò chơi tương ứng với các mô hình bảo mật của chúng đều dựa trên ý tưởng rằng tài sản được kiểm soát bởi cả hai hệ thống là hợp lý. một người chủ". Chỉ cần chủ sở hữu tài sản quan tâm đến tài sản của mình thì khi thay đổi trạng thái liên quan đến tài sản đó là "không hợp lệ", chủ sở hữu tài sản sẽ tìm cách chứng minh rằng thay đổi đó là "không hợp lệ". Điều này không thành vấn đề đối với một số ứng dụng, nhưng lại là vấn đề đối với nhiều ứng dụng khác (chẳng hạn như Uniswap) (Lưu ý của người dịch: Đối với các ứng dụng giao dịch DEX như Uniswap, các hợp đồng thông minh của nó không thuộc về bất kỳ ai, điều này không phù hợp với điều trên- bảo mật đã đề cập Giả sử mâu thuẫn trong ý tưởng về sự phụ thuộc). Ngay cả khi trạng thái của một đối tượng trong hệ thống có thể được thay đổi mà không có sự đồng ý của chủ sở hữu hệ thống (ví dụ: trong hệ thống dựa trên tài khoản, một đối tượng có thể được thêm vào mà không cần sự đồng ý của chủ sở hữu); số dư của nó), cũng là không tương thích tốt với Plasma. Điều này có nghĩa là khi triển khai các kênh plasma hoặc trạng thái trong thực tế, cần phải suy ra các giải pháp tùy chỉnh thiết kế logic tiềm năng cho "các ứng dụng cụ thể" và khó có thể tạo ra một plasma có thể mô phỏng hoàn toàn môi trường vận hành Ethereum (tức là "EVM") Hoặc hệ thống kênh trạng thái. Tiếp theo hãy xem rollup giải quyết vấn đề này như thế nào.

Cuộn lại

Xem thêm: Lời giới thiệu của EthHub về tổng hợp lạc quan,Giới thiệu về ZK rollup của EthHub

Giải pháp plasma và kênh trạng thái đều là giải pháp lớp 2 "hoàn chỉnh" vì chúng sẽ Cả dữ liệu và tính toán đều đã chuyển ra khỏi chuỗi (tức là vào hệ thống lớp thứ hai của chính nó). Tuy nhiên, các nguyên tắc lý thuyết trò chơi cơ bản về tính sẵn có của dữ liệu có nghĩa là một hệ thống như vậy khó có thể an toàn cho tất cả các ứng dụng. Các kênh plasma và trạng thái giải quyết vấn đề này bằng cách làm rõ mối quan hệ giữa đối tượng tài sản và chủ sở hữu, nhưng điều này ngăn cản chúng trở thành mục đích hoàn toàn chung. Rollup khác với hai giải pháp đầu tiên, đó là giải pháp hai lớp với "bản chất lai". Rollup di chuyển tính toán (và lưu trữ toàn bộ trạng thái) ra khỏi chuỗi, nhưng giữ lại một phần dữ liệu cho mỗi giao dịch trên chuỗi. Để nâng cao hiệu quả, Rollup sử dụng một loạt thủ thuật nén lạ mắt và thay thế dữ liệu bằng tính toán bất cứ khi nào có thể. Do đó, khả năng mở rộng của hệ thống này vẫn bị hạn chế bởi băng thông dữ liệu của chuỗi khối cơ bản, nhưng bội số mở rộng đạt được trên cơ sở này là rất ấn tượng: việc thực hiện chuyển mã thông báo ERC-20 trên chuỗi chính Ethereum tiêu tốn khoảng 45.000 gas , nhưng trong Rollup, mỗi giao dịch chỉ cần lưu trữ 16 byte dữ liệu trên chuỗi chính và lượng gas tiêu thụ ít hơn 300.

Lưu trữ dữ liệu trên chuỗi chính là yếu tố chính trong Rollup (xin lưu ý: điều này khác với việc lưu trữ dữ liệu trên "IPFS", vì IPFS không đồng ý với dữ liệu được lưu trữ. Dữ liệu tổng hợp phải được lưu trữ trên blockchain). Việc lưu trữ dữ liệu trong chuỗi chính và thực hiện đồng thuận cho phép mọi người xử lý cục bộ tất cả các hoạt động trong Rollup, bao gồm phát hiện gian lận, bắt đầu rút tiền, tạo lô, v.v. Vì không có vấn đề về tính khả dụng của dữ liệu nên tổn thất mà các nhà khai thác gây ra nếu họ làm điều xấu hoặc ngoại tuyến là tương đối nhỏ (ví dụ: họ không thể gây ra sự chậm trễ thoát lên tới 1 tuần) và nó cũng cung cấp hướng dẫn về ai có quyền xuất bản hàng loạt. Nhiều khả năng hơn, đồng thời làm cho Rollup dễ hiểu hơn. Quan trọng hơn, việc không có các vấn đề về tính sẵn có của dữ liệu có nghĩa là tài sản không cần phải có mối quan hệ ánh xạ logic rõ ràng với chủ sở hữu của chúng. So với các giải pháp mở rộng lớp thứ hai khác, đây là yếu tố quan trọng khiến cộng đồng Ethereum hào hứng hơn với Rollup: Rollup có tính phổ quát, ví dụ EVM có thể chạy trong Rollup, để các ứng dụng Ethereum hiện có có thể được sử dụng mà không cần viết ứng dụng mới . Di chuyển sang Rollup mà không cần mã.

Rollup hoạt động chính xác như thế nào?

Có một hợp đồng thông minh trên chuỗi chính và có một gốc trạng thái - gốc Merkle đại diện cho trạng thái Rollup. (Nội dung trạng thái bao gồm số dư tài khoản trong Rollup, mã hợp đồng, v.v.)

Bất kỳ ai cũng có thể Bắt đầu một giao dịch hàng loạt (giao dịch) cho hợp đồng thông minh trên chuỗi chính. Lô này là một lô giao dịch nội bộ Rollup được nén ở mức độ cao. Nó cũng bao gồm gốc trạng thái cũ và gốc trạng thái mới (được thực thi dựa trên gốc trạng thái cũ). A gốc trạng thái mới được tạo sau khi giao dịch theo đợt). Hợp đồng chuỗi chính sẽ kiểm tra xem gốc trạng thái cũ có khớp với gốc trạng thái mới hay không (Lưu ý của người dịch: liệu gốc trạng thái mới có thể được tạo bởi quá trình chuyển đổi trạng thái được kích hoạt bởi loạt bộ giao dịch này hay không). Nếu quá trình xác minh thành công, trạng thái gốc cũ trên chuỗi chính sẽ được cập nhật lên trạng thái gốc mới.

Để hỗ trợ việc gửi tiền (Lưu ý của người dịch: gửi tài sản vào hợp đồng Rollup từ nơi khác trong chuỗi chính) và rút tiền (Lưu ý của người dịch: giải phóng quyền kiểm soát tài sản của chính hợp đồng Rollup , Trả lại nó ở những nơi khác trên chuỗi), đầu vào hoặc đầu ra của giao dịch trong lô có thể ở trạng thái Rollup "bên ngoài" (Lưu ý của người dịch: nghĩa là ở nơi khác trong chuỗi chính). Nếu đầu vào của một giao dịch trong lô đến từ bên ngoài Tổng hợp thì thao tác lô này sẽ chuyển nội dung ở nơi khác trong chuỗi chính sang hợp đồng Tổng hợp. Nếu đầu ra của một giao dịch trong lô đến từ bên ngoài Rollup thì lô đó sẽ kích hoạt hoạt động rút tiền trong hợp đồng thông minh và lấy tài sản từ Rollup trở lại chuỗi chính.

Toàn bộ quá trình thật đơn giản! Nhưng có một chi tiết. Làm thế nào để bạn biết rằng trạng thái gốc sau khi hoàn thành việc thực thi hàng loạt là chính xác?   Nếu ai đó có thể gửi gốc trạng thái giả mà không gây ra bất kỳ hậu quả nào, họ có thể chuyển tất cả tài sản cho chính mình. Câu hỏi này rất quan trọng vì có hai giải pháp riêng biệt cho vấn đề này, dẫn đến hai loại Bản tổng hợp.

Bản tổng hợp lạc quan so với bản tổng hợp ZK

Hai loại Tổng hợp bao gồm:

1. Tổng hợp lạc quan, sử dụng  bằng chứng gian lận Để giải quyết vấn đề trên: hợp đồng Rollup của chuỗi chính ghi lại bản ghi đầy đủ về các thay đổi gốc trạng thái nội bộ của Rollup, cũng như giá trị băm của mỗi lô (điều này kích hoạt thay đổi gốc trạng thái). Nếu ai đó phát hiện ra rằng gốc trạng thái mới tương ứng với một lô bị sai, họ có thể xuất bản bằng chứng trên chuỗi chính rằng gốc trạng thái mới do lô đó tạo ra là sai. Hợp đồng xác minh bằng chứng và nếu quá trình xác minh thành công, tất cả các giao dịch hàng loạt sau lô đó sẽ được khôi phục.
2. ZK Rollup sử dụng bằng chứng hợp lệ để giải quyết các vấn đề trên: mỗi lô chứa một bằng chứng mật mã có tên là ZK-SNARK (ví dụ: sử dụng giao thức PLONK để chứng minh rằng trạng thái mới có thể được lấy từ trạng thái cũ thông qua lô này Được chuyển đổi sau các thao tác xử lý (Lưu ý của người dịch: Trong ZK Rollup, bằng chứng mật mã đã gửi chỉ cần có kích thước nhỏ và nhanh chóng để xác minh. Không cần phải có kiến thức bằng 0, vì vậy chỉ cần SNARK để triển khai ZK Rollup. ZK-SNARK không nhất thiết phải có. Trên thực tế, trong ZK Rollup, vì thông tin giao dịch hàng loạt được lưu trữ trên chuỗi chính và thông tin này chính xác là những gì đã được chứng minh trong hệ thống chứng minh mật mã nên bản thân ZK Rollup không có thuộc tính kiến thức bằng 0 , ZK Rollup không có kiến thức được gọi là ZK ZK Rollup). Cho dù quy trình hàng loạt yêu cầu tính toán bao nhiêu thì bằng chứng vẫn có thể được xác minh một cách hiệu quả trên chuỗi chính.

Sự cân bằng về mặt thiết kế giữa hai loại Bản tổng hợp này rất phức tạp

Nhìn chung, quan điểm của riêng tôi là trong ngắn hạn Optimisitc Rollup có thể sẽ thắng trong việc triển khai EVM phổ quát, còn ZK Rollup có thể sẽ thắng trong việc đơn giản thanh toán, chuyển khoản và giành chiến thắng khác trong các ứng dụng cụ thể. Nhưng trong trung và dài hạn, với sự cải tiến của công nghệ ZK-SNARK, ZK Rollup sẽ giành chiến thắng trong mọi kịch bản ứng dụng.

Phân tích bằng chứng gian lận

Tính bảo mật của Optimistic Rollup phụ thuộc vào ý tưởng rằng nếu ai đó xuất bản một lô không hợp lệ vào Rollup, bất kỳ ai đã đồng bộ hóa chuỗi sẽ chỉ phát hiện ra Hành vi gian lận có thể cấp chứng chỉ gian lận cho hợp đồng trên chuỗi chính, chứng minh rằng lô không hợp lệ và nên được khôi phục (Lưu ý của người dịch: Không rõ "chuỗi" của tác giả ở đây có ám chỉ đến chuỗi chính hay không. Vẫn đề cập đến Rollup, mặc dù cả hai đều đúng).

Bằng chứng gian lận khẳng định rằng một lô không hợp lệ cần phải bao gồm lô được hiển thị màu xanh lục trong hình ảnh phía trên Dữ liệu: chính lô đó (có thể được kiểm tra dựa trên các giá trị băm được lưu trữ trên chuỗi) và đường dẫn cây Merkle chứng minh rằng lô đó đã đọc hoặc sửa đổi một tài khoản cụ thể. Các nút màu vàng có thể được xây dựng lại từ các nút màu xanh lá cây và do đó không cần phải đưa vào chứng minh. Dữ liệu này đủ để thực hiện xử lý hàng loạt và tính toán gốc trạng thái mới (lưu ý rằng đây hoàn toàn giống cách một máy khách không trạng thái xác thực một khối duy nhất). Nếu gốc trạng thái mới được tính toán khác với gốc trạng thái mới được cung cấp trong lô thì lô đó được chứng minh là gian lận.

Điều được đảm bảo là nếu có lỗi trong một lô, và tất cả các lô trước đó đều đúng, thì có thể tạo bằng chứng gian lận rằng lô được xây dựng không chính xác. Lưu ý rằng nếu có nhiều lô không hợp lệ trong một bản tổng hợp, tốt nhất bạn nên cố gắng chứng minh rằng lô sớm nhất là không hợp lệ. Tất nhiên, điều được đảm bảo là nếu một lô đúng thì không bao giờ có thể tạo ra bằng chứng gian lận rằng lô đó không hợp lệ.

Việc nén được thực hiện như thế nào?

Việc chuyển Ethereum đơn giản nhất (gửi ETH) mất khoảng 110 byte, nhưng trong Rollup chỉ cần khoảng 12 byte để thực hiện chuyển ETH:

Thông số (đơn vị: số byte) Chuỗi chính Ethereum Hợp đồng cuộn lên Nonce (số sê-ri) ~30Gasprice~80- 0,5Gas30-0,5To (địa chỉ đích) 214Value (giá trị chuyển giao) ~9~3Chữ ký (chữ ký) ~68 (2 + 33 + 33) ~0,5Từ (địa chỉ gốc) 0 (được khôi phục từ chữ ký) 4Tổng cộng ~112~12

Một phần lý do cho điều này là Rollup có thể sử dụng các kỹ thuật mã hóa nâng cao đơn giản hơn và RLP hiện tại của Ethereum lãng phí 1 về độ dài của mỗi giá trị. byte. Rollup cũng sử dụng một số thủ thuật nén rất thông minh.

• Nonce: Mục đích của tham số này là để ngăn chặn việc phát lại. Nếu số nonce hiện tại của trạng thái tài khoản là 5 thì tham số nonce của giao dịch tiếp theo của tài khoản phải là 5, nhưng sau khi giao dịch được xử lý, số nonce trong trạng thái tài khoản sẽ tăng lên 6, do đó giao dịch với nonce 5 sẽ không được đóng gói lại. Trong Rollup, chúng ta có thể bỏ qua hoàn toàn nonce vì chúng ta chỉ cần khôi phục nonce từ trạng thái cập nhật trước; nếu ai đó cố gắng phát lại giao dịch với nonce trước đó, chữ ký sẽ không được xác minh vì việc xác minh chữ ký sẽ sử dụng dữ liệu nonce lớn hơn.

• Giá gas: Chúng tôi có thể cho phép người dùng thanh toán bằng cách sử dụng một phạm vi giá Gas cố định, ví dụ: phạm vi là 0 - 2 được nâng lên lũy thừa thứ 16. Ngoài ra, chúng tôi chỉ có thể tính một khoản phí cố định cho mỗi đợt hoặc thậm chí chuyển hoàn toàn các khoản thanh toán gas ra ngoài Rollup, cho phép các nhà giao dịch thanh toán cho người tạo lô thông qua một kênh cụ thể.

• Gas: Chúng ta cũng có thể chỉ cần chọn tổng phạm vi Gas là lũy thừa của 2. Ngoài ra, chúng tôi cũng chỉ có thể đặt giới hạn gas ở cấp độ lô. (Lưu ý của người dịch: Giá Gas và Gas ở đây là để so sánh lượng dữ liệu được tạo ra bằng cách chuyển thông qua hợp đồng tổng hợp và mạng Ethereum. Điều đó không có nghĩa là giao thức tổng hợp phải bao gồm các khái niệm này. Ví dụ: Nhiên liệu là một Tổng hợp lạc quan Giao thức dựa trên UTXO và hoàn toàn không chứa các khái niệm này.)

• Tới: Chúng tôi có thể sử dụng chỉ mục thay vì địa chỉ 20 byte (ví dụ: nếu một địa chỉ là địa chỉ thứ 4527 được thêm vào cây, chúng tôi sử dụng chỉ mục 4527. Chúng tôi sẽ thêm một cây con vào trạng thái để lưu trữ ánh xạ chỉ mục tới địa chỉ).

• Giá trị: Chúng ta có thể sử dụng ký hiệu khoa học để lưu trữ Giá trị. Trong hầu hết các trường hợp, chuyển khoản chỉ yêu cầu 1-3 chữ số hợp lệ.

• Chữ ký: Chúng ta có thể sử dụng BLS để tổng hợp chữ ký để tổng hợp nhiều chữ ký thành một trong khoảng 32 - 96 byte (kích thước cụ thể tùy thuộc vào trên giao thức được sử dụng). Chữ ký này sau đó có thể được sử dụng để xác minh chữ ký hàng loạt của toàn bộ bộ tin nhắn và người gửi cùng một lúc. Con số ~0,5 trong bảng biểu thị rằng số lượng chữ ký tổng hợp có thể được xác minh trong một khối chuỗi chính là có hạn, vì vậy nếu có nhiều giao dịch trong một đợt thì cần phải tạo một chữ ký tổng hợp khoảng 100 giao dịch một lần. (Ghi chú của người dịch: Ý tưởng chung là lượng tính toán cần thiết để xác minh chữ ký tổng hợp sẽ tăng theo số lượng chữ ký gốc được tổng hợp và có giới hạn trên về lượng Gas có thể được sử dụng trong khối chuỗi chính Ethereum , do đó, không thể tổng hợp các chữ ký tổng hợp cùng một lúc. Quá nhiều chữ ký gốc.)

ZK Rollup có một thủ thuật nén quan trọng đặc biệt: nếu một phần của giao dịch chỉ được sử dụng để xác minh, so với cập nhật trạng thái tính toán. Bất kể, phần dữ liệu này không cần phải được lưu trữ trên chuỗi chính. Điều này là không thể trong Optimisitc Rollup, vì dữ liệu vẫn cần được lưu trữ trên chuỗi để chuẩn bị cho việc xác minh bằng chứng gian lận tiếp theo. các bên liên quan đã cung cấp tất cả dữ liệu cần thiết để xác minh. Một ví dụ quan trọng là việc triển khai Rollup với các thuộc tính bảo vệ quyền riêng tư: để triển khai bảo vệ quyền riêng tư trong Optimisitc Rollup, khoảng 500 byte ZK-SNARK được sử dụng để bảo vệ quyền riêng tư trong mỗi giao dịch cần phải được tải lên chuỗi và bảo vệ quyền riêng tư được triển khai trong ZK Rollup , bao gồm toàn bộ lô ZK-SNARK có thể chứng minh rằng ZK-SNARK "nội bộ" là hợp lệ. (Lưu ý của người dịch: Vì SNARK có thể được lồng vào nhau nên để đạt được sự bảo vệ quyền riêng tư trong ZK Rollup, bạn chỉ cần gửi SNARK ngoài cùng được tạo cuối cùng cho chuỗi. Khi xác minh SNARK bên ngoài, SNARK bên trong hợp lệ. Độ ổn định có thể được xác minh tại cùng lúc.)

Những kỹ thuật nén này là chìa khóa cho sự mở rộng của Rollup. Nếu không có những kỹ thuật này, Rollup chỉ có thể mở rộng dựa trên chuỗi chính. Đạt được khoảng Khả năng mở rộng gấp 10 lần (mặc dù trong một số ứng dụng chuyên sâu tính toán cụ thể, khả năng mở rộng đạt được bằng Rollup đơn giản đã rất mạnh), nhưng sau khi sử dụng kỹ thuật nén, hệ số mở rộng của hầu hết tất cả các ứng dụng có thể vượt quá 100 lần.

Ai có thể gửi hàng loạt?

Có nhiều trường phái quan điểm về việc ai có thể gửi các đợt trong Optimistic Rollup hoặc ZK Rollup. Nói chung, người dùng tin rằng gửi lô phải cam kết một khoản tiền gửi lớn, nếu người dùng gửi lô gian lận (ví dụ: gửi gốc trạng thái không hợp lệ), thì một phần khoản tiền gửi này sẽ bị mất, nó sẽ bị đốt và tiêu hủy. và phần còn lại được thưởng cho người dùng đã gửi bằng chứng gian lận. Nhưng ngoài ra, còn có nhiều khả năng:

(Ghi chú của người dịch, người dùng có thể xuất bản lô lên chuỗi chính được gọi là trình sắp xếp chuỗi (sequencer) ), thuật ngữ này được đặt tên vì vai trò này yêu cầu sắp xếp các giao dịch theo lô)

• Trình sắp xếp trình tự hoàn toàn không cần cấp phép: bất kỳ ai cũng có thể gửi quy trình xử lý hàng loạt bất kỳ lúc nào. Phương pháp này là đơn giản nhất, nhưng có một số thiếu sót nghiêm trọng, chẳng hạn như vấn đề nhiều người tham gia tạo ra và cố gắng gửi các lô cùng lúc và chỉ một trong số chúng có thể được đưa vào thành công. Điều này sẽ dẫn đến lãng phí một lượng lớn chi phí tính toán trong việc tạo ra bằng chứng hoặc chi phí gas khi gửi bằng chứng.

• Trình sắp xếp tập trung: Gửi xử lý hàng loạt thông qua vai trò của người sắp xếp (ngoại trừ hoạt động rút tiền: trong hoạt động rút tiền, trước tiên Người dùng gửi tự mình yêu cầu rút tiền. Nếu người đặt hàng không xử lý giao dịch rút tiền trong đợt tiếp theo, người dùng có thể tự mình gửi đơn đăng ký theo đợt chỉ chứa một giao dịch rút tiền). Phương pháp này là "hiệu quả" nhất nhưng đòi hỏi vai trò tập trung.

• Đấu giá máy phân loại: Một cuộc đấu giá (chẳng hạn như mỗi ngày) được sử dụng để xác định ai có quyền trở thành người phân loại cho lần tiếp theo ngày. Ưu điểm của giải pháp này là nó có thể gây quỹ và có thể phân phối thông qua DAO của Rollup (xem đấu giá MEV).

• Được chọn ngẫu nhiên từ bộ sưu tập PoS: bất kỳ ai cũng có thể gửi ETH (hoặc mã thông báo được đặt bởi giao thức Rollup) vào Rollup Trong hợp đồng, người đặt hàng mỗi đợt sẽ được chọn ngẫu nhiên từ những người gửi tiền này và xác suất được chọn tỷ lệ thuận với số tiền gửi. Nhược điểm chính của phương pháp này là cần phải khóa một lượng lớn tài sản.

• Biểu quyết DPoS: Một số người đặt hàng nhất định được chọn thông qua đấu giá để thực hiện các đợt, nhưng nếu họ hoạt động kém, chủ sở hữu mã thông báo có thể bỏ phiếu cho họ ra và tổ chức một cuộc đấu giá mới để thay thế chúng.