Tác giả: Ac-Core, nhà nghiên cứu của YBB Capital; Người dịch: Golden Finance xiaozou
Hướng tường thuật chính của ETH đã chuyển từ L1 sang L2. Nếu chúng ta cũng hiểu nó là câu chuyện ERC-20 về “phát hành mã thông báo chỉ bằng một cú nhấp chuột”, thì chúng ta cũng có thể phóng to mô hình lên một chút và tưởng tượng ra một tương lai điên rồ của "chuỗi phát hành chỉ bằng một cú nhấp chuột"! Trọng tài dựa trên thực tế là không ai khác có thể làm được điều đó! Arbitrum đã và đang dẫn đầu bối cảnh cạnh tranh L2 với hệ sinh thái vô song và TVL cao, nhưng liệu chiến thắng tạm thời này có thể kéo dài được lâu? Không giống như Arbitrum Orbit, một giải pháp L3 khác, OP Stack là một “siêu chuỗi” có thể tạo L2 chỉ bằng một cú nhấp chuột. Bài viết này sẽ sử dụng ba phần để tiến hành phân tích toàn diện các vấn đề bảo mật của OP Stack, các phần tử ZK trong OP và Rollup.
1. OP Stack mở ra “Thế giới Superchain”
Câu chuyện về thị trường tăng trưởng tiếp theo sẽ bắt đầu từ đâu? Nó bắt đầu với L1 hiệu suất cao, lớp mạng L3, L2 trong hệ thống ZK hay OP Stack Superchain? Đây là một câu hỏi rất thú vị và kích thích tư duy. Danh hiệu Ether Killer luôn là mục tiêu không thể vượt qua của tất cả các chuỗi công khai, nhưng có rất nhiều siêu nhân ẩn trong đó và OP Stack là một trong số đó.
(1) Ngăn xếp OP là gì?
OP Stack có thể được hiểu là một tập hợp các thành phần phần mềm nguồn mở cho phép mọi người xây dựng chuỗi khối L2 của riêng mình trên Ethereum bằng cách sử dụng Optimisitc Rollup. OP Stack bao gồm bốn thành phần chính:
Mainnet: OP Mainnet là mạng Ethernet L2 nhanh và chi phí thấp tương thích với Máy ảo Ethereum EVM.
Hợp đồng: hợp đồng thông minh triển khai logic và chức năng cốt lõi của OP Stack. Hợp đồng OP bao gồm Hệ thống chuyển đổi trạng thái (STS); Bằng chứng gian lận (FP); Chuỗi cam kết trạng thái (SCC); và Chuỗi giao dịch Canonical (CTC).
Dịch vụ: Các dịch vụ cung cấp tính khả dụng, đồng bộ hóa và liên lạc dữ liệu giữa L1 và L2.
Công cụ: Các công cụ được sử dụng để tạo điều kiện thuận lợi cho việc phát triển, thử nghiệm, triển khai, giám sát và gỡ lỗi các chuỗi khối dựa trên OP Stack.
(2) Sự cởi mở hạng nhất
OP Stack sẽ được xây dựng dưới dạng cơ sở hạ tầng blockchain có thể phân nhánh, mô-đun và có thể mở rộng. Để hiện thực hóa tầm nhìn này, tất cả các loại L2 cần được tích hợp vào một siêu chuỗi duy nhất, tích hợp L2 riêng biệt vào một hệ thống kết hợp có thể tương tác và việc phát hành L2 sẽ đơn giản như việc triển khai các hợp đồng thông minh trên Ethereum ngày nay. Nó có thể chuyển câu chuyện “phát hành mã thông báo bằng một cú nhấp chuột” thành câu chuyện “phát hành chuỗi một cú nhấp chuột”. Về cơ bản, Hyperchain là một mạng blockchain có khả năng mở rộng theo chiều ngang, chia sẻ tính bảo mật của ether, cũng như lớp truyền thông và các công cụ phát triển.
OP Stack sẽ là ngăn xếp phát triển mô-đun thống nhất đằng sau siêu chuỗi và vô số chuỗi khối được kết nối và giao tiếp với nhau. OP Stack được Optimism Collective phát triển và duy trì và hỗ trợ hệ thống nguồn mở dùng chung để triển khai mạng hội tụ mới. Đồng thời, nó cũng là một tập hợp các mô-đun nguồn mở được tiêu chuẩn hóa. Điều này nghe có vẻ như Cosmos hoàn toàn dựa trên bảo mật Ethereum, nhưng giờ đây OP Stack đã trở thành Cosmos Killer và sự bổ sung của ETH và ATOM đã được biết đến rộng rãi. Tiếp theo, chúng ta hãy xem định nghĩa chi tiết về OP Stack:
Mô-đun là các bit dữ liệu mà bất kỳ nhà phát triển nào cũng có thể cắm vào OP Stack. “Tiêu chuẩn hóa” Superchain có nghĩa là có sự đồng thuận về tiêu chuẩn của mô-đun và mọi người đều có thể thực hiện tiêu chuẩn đó. Nó cũng hoàn toàn là nguồn mở, nghĩa là bất kỳ ai cũng có thể phát triển các bước lặp và gửi yêu cầu kéo miễn phí. Các nhà phát triển có thể chuyển đổi các mô-đun giữa các lớp thực thi, đồng thuận, giải quyết và sẵn có dữ liệu khác nhau của chuỗi.
Giống như dYdX đã chọn rời Ethereum và chuyển sang chuỗi ứng dụng Cosmos, lý do cơ bản là họ muốn có mức độ mô-đun hóa cao hơn trong lớp đồng thuận trong chuỗi của họ, điều mà tôi nghĩ là một khởi đầu tốt để cho phép nhiều dapp độc lập hơn được chọn một cách độc lập. đã phát triển chuỗi công khai, nổi tiếng nhất trong số đó là Luna, mặc dù vì một số lý do cuối cùng nó đã thất bại. Rất may, OP Stack đã giải quyết vấn đề này bằng cách thiết kế mã phân nhánh theo cách đơn giản hơn, cho phép các nhà phát triển dễ dàng trích xuất các thành phần khác nhau của chuỗi khối và sửa đổi chúng bằng cách cắm vào các mô-đun khác nhau.
(3) Nguyên tắc thiết kế OP Stack
Hiệu quả: Bạn có thể sử dụng OPStack để xây dựng mọi thứ và xuất bản chuỗi khối chỉ bằng một cú nhấp chuột;
Tính đơn giản: Tận dụng mã có thể tái sử dụng và các công cụ phát triển sẵn có để tăng cường bảo mật và giảm độ phức tạp trong bảo trì, giảm thiểu các rào cản tổng thể;
Khả năng mở rộng: Optimism Collective sẽ mở hoàn toàn mã nguồn chính của OPStack.
Về mặt kiến trúc, OPStack có thể được chia thành sáu lớp từ dưới lên trên, đó là: lớp DA (dữ liệu sẵn có), lớp sắp xếp, lớp phái sinh, lớp thực thi, lớp giải quyết và lớp quản trị. Mỗi lớp của OP Stack là một API mô-đun có thể được kết hợp và tách rời theo ý muốn. Những lớp quan trọng nhất là lớp DA, lớp thực thi và lớp giải quyết, tạo thành quy trình làm việc chính của OP Stack.
Lớp DA: Lớp DA khả dụng là nguồn dữ liệu gốc của OP Stack. Có thể sử dụng một hoặc nhiều mô-đun dữ liệu sẵn có để lấy dữ liệu đầu vào. Hiện tại, lớp DA quan trọng nhất là Ethereum, nhưng sẽ có nhiều chuỗi hơn trong tương lai.
Lớp thực thi: Cấu trúc trạng thái trong OP Stack cung cấp khả năng EVM hoặc sử dụng các VM khác, bổ sung hỗ trợ cho các giao dịch L2 được khởi tạo trên Ethereum, đồng thời tăng tổng chi phí xuất bản giao dịch lên Ethereum cho mỗi giao dịch.
Lớp thanh toán: Lớp này thu thập dữ liệu giao dịch L2 trên OP Stack và gửi thông tin đến chuỗi mục tiêu sau khi L2 xác nhận thông tin để hoàn tất thanh toán. Trong tương lai, dự kiến nó cũng sẽ có quyền truy cập vào ZK và các cơ chế chứng minh tính hợp lệ khác để thu hẹp khoảng cách giữa các chuỗi khác nhau và thậm chí kết nối các đảo silo giữa hệ thống OP L2 và hệ thống ZK L2.
Đánh giá từ một số dự án có thành phần ZK được OP phát hiện gần đây, chúng ta có thể mạnh dạn tưởng tượng. Ví dụ: nếu một bản tổng hợp Lạc quan muốn chuyển đổi thành một bản tổng hợp ZK, không vấn đề gì! Chỉ cần thay thế mô-đun chống gian lận bằng mô-đun bằng chứng hợp lệ của lớp giải quyết. Nếu một chuỗi muốn sử dụng Celestia làm lớp sẵn có dữ liệu thì không vấn đề gì! Thay thế Ethereum bằng Celestia. Nếu bạn muốn thay thế EVM trong lớp thực thi bằng một loại máy ảo khác, rất tiếc đây chỉ là khả năng kỹ thuật với OP Stack. Trong kịch bản chuỗi lớn này, một xu hướng nóng đã ra đời - "Đa giác: Tôi muốn trở thành Vũ trụ của ZK L2! Sự lạc quan: Tôi muốn trở thành Vũ trụ của OP L2! Vũ trụ: Vậy tôi là ai?"
（4）Luật xếp chồng OP
Không gian khối không giới hạn của Ethereum là một bước quan trọng hướng tới việc áp dụng đại trà, nhưng nó cũng mang đến các vấn đề phân mảnh và việc triển khai không được phép tạo ra những thách thức mới. Ngày nay, mỗi chuỗi OP Stack mới đều đi theo quỹ đạo riêng mà không có bất kỳ cách trực tiếp nào để chia sẻ các tiêu chuẩn và cải tiến. Người dùng và nhà xây dựng cũng phải đối mặt với một thách thức lớn: đánh giá riêng lẻ nhiều chuỗi khác nhau dựa trên tính bảo mật, chất lượng và tính trung lập. Để hiện thực hóa superchain, OP Stack cần chuyển đổi từ một không gian khối độc lập, phi tập trung thành một tập thể chuỗi thống nhất, làm việc cùng nhau trên một không gian khối mở, phi tập trung. Luật Chuỗi đặt ra các nguyên tắc hướng dẫn cho quản trị lạc quan và Superchain. Quản trị lạc quan chuyển từ việc quản lý một chuỗi đơn lẻ sang một tiêu chuẩn chung chi phối nhiều chuỗi, từ đó xác định các thuộc tính cần thiết để trở thành một phần của siêu chuỗi, đồng thời ưu tiên bảo vệ người dùng giao dịch trên siêu chuỗi. Về cơ bản, Luật Chuỗi là một hợp đồng xã hội (không phải hợp đồng pháp lý), vì vậy việc thảo luận tích cực trong cộng đồng là rất quan trọng. ” Luật Chuỗi sẽ cho phép Superchain đảm bảo các đặc tính sau:
Đảm bảo rằng không gian khối vẫn đồng nhất, trung lập và cởi mở: cam kết tuân thủ luật pháp của chuỗi là cam kết bảo vệ người dùng chuỗi, nhà phát triển và các bên liên quan khác. Là một phần của siêu chuỗi, các chuỗi thuộc bất kỳ quy mô nào đều có thể được quản trị Optimstic hỗ trợ để chứng minh một cách đáng tin cậy tính đồng nhất, tính trung lập và tính cởi mở của không gian khối của chúng.
Hưởng lợi từ những cải tiến liên tục: Các nâng cấp được chia sẻ có nghĩa là Hyperlink luôn có quyền truy cập vào công nghệ tốt nhất mà không cần phải lo lắng về việc tự mình bảo trì.
Cung cấp cơ sở hạ tầng tốt hơn, dễ tiếp cận hơn: Bởi vì tất cả các chuỗi trong siêu chuỗi đều được cam kết tuân theo một tiêu chuẩn một cách đáng tin cậy, chúng có thể làm việc cùng nhau để đảm bảo tính sẵn có và khả năng chi trả của các dịch vụ chính như lập chỉ mục và sắp xếp.
(5) OP Stack có thể trả lại cho OP không?
Việc sử dụng mã thông báo OP là gì? Nếu họ tuân theo phương pháp Chuỗi cơ sở và họ sẽ trả lại một phần thu nhập cho Tập thể lạc quan, thì nguồn thu nhập của "kho bạc" sẽ dựa vào "giá trị" của chính nó. tạo ra nhiều câu chuyện hơn và cuối cùng phản hồi lại Giá tiền tệ khiến logic hoạt động của OP trên thị trường thứ cấp tương tự như ATOM, nhưng tình huống này có thể là tình huống lý tưởng nhất hiện tại. Optimism Collective cuối cùng sẽ được hưởng lợi từ phản hồi của nhiều chuỗi hơn, lấy Basechain làm đối tượng. một ví dụ. Cảm giác này khiến chúng ta nhớ đến UNI, cả hai đều có các chương trình mạnh mẽ, nhưng bản thân token không có giá trị sử dụng nào ngoài việc bỏ phiếu và quản trị. Không giống như vấn đề đặt hàng tập trung mà L2 hiện đang gặp phải, ngay cả khi mã thông báo L2 chỉ được sử dụng cho một số hình thức lựa chọn người lãnh đạo (thay vì bỏ phiếu đồng thuận), giá trị của quyền đặt hàng vẫn thuộc về mã thông báo Rullop.
Đồng thời, nhóm OP đã đưa ra đề xuất Luật Chuỗi vào ngày 25 tháng 7. Tất cả các chuỗi sử dụng OP Stack đều khởi tạo các mô hình quản trị và trình tự sắp xếp chia sẻ, với hy vọng tiêu chuẩn hóa mô hình "phản hồi lợi nhuận" và mang lại nhiều doanh thu hơn cho toàn bộ hệ thống OP (như ở trên) Như đã mô tả trong bài viết Định luật OP Stack), nó tương đương với mô hình bảo mật chung của Cosmos.
(6) Sự khác biệt giữa OP Stack và ZK Stack
Ngăn xếp OP: Lựa chọn đơn nhiều chuỗi
Ở trên có thể dễ dàng nhận thấy OP Stack áp dụng mô hình đa chuỗi tương tự Cosmos, nhưng chỉ có một lựa chọn duy nhất, vì điều mà OP Stack theo đuổi là mỗi chuỗi cần xác minh giao dịch của các chuỗi khác, nếu không sẽ cần chờ vài giây trên L1. Kết quả sẽ có sau, do đó, một đơn đặt hàng chung, phân phối MEV tập trung và bảo vệ khỏi pháp lý và quản trị là những điều duy nhất cho phép việc tổng hợp Optimistic tương tác liền mạch giữa các chuỗi khác nhau. Tổng hợp lạc quan là cách duy nhất để đạt được khả năng tương tác liền mạch giữa các chuỗi khác nhau.
Ngăn xếp ZK: nhiều chuỗi và nhiều lựa chọn
Không giống như OP Stack, ZK Stack cũng có thể xâu chuỗi nhiều luồng, nhưng có nhiều tùy chọn, có thể chọn trình tự sắp xếp của riêng nó, thực hiện MEV theo cách riêng và được bảo vệ bằng toán học và mã (lưu ý: OP Stack được bảo vệ bởi tiền tệ fiat và bảo vệ quản trị ). Điều này là do nếu ZK sử dụng các luồng chia sẻ được chỉ định hoặc một tập hợp các luồng rất nhỏ thì chúng có thể tin cậy lẫn nhau chỉ dựa trên toán học, khiến cho các bằng chứng không có kiến thức trở nên vô giá trị.
2. Phần tử ZK của OP Stack
OP Stack là một kiến trúc hoàn toàn mở, cho phép có zkvm, zkmips, zkwasm và zkevm trong hệ sinh thái, nhưng so với "ZK chính thống", OP Stack cũng có một số phần tử ZK khác. Chúng tôi không thể không nghĩ rằng có thể có một mối liên hệ tuyệt vời giữa bản tổng hợp OP và bản tổng hợp ZK trong tương lai gần.
(1) Triển khai bằng chứng không kiến thức (ZKP) cho OP
Theo trạng thái phát triển mới nhất, nhóm Mina có kế hoạch sử dụng hệ thống plonk + cam kết kzg + thuật toán gấp nova của riêng họ để triển khai zkmips vm trên OP Stack. Mặc dù đây chỉ là đề xuất gần đây và vẫn còn nhiều khía cạnh chưa trưởng thành nhưng rất đáng để khám phá. Nhiệm vụ của nhóm dự án là đạt được giao tiếp chuỗi chéo an toàn, có độ trễ thấp giữa các chuỗi L2, L1 và OP thông qua các bằng chứng không chỉ số. Đây là bằng chứng không có kiến thức (ZKP) với kiến trúc tập lệnh (ISA) được hỗ trợ tốt để chứng minh hành vi của các chương trình có khả năng chịu lỗi Optimism, đặt nền tảng để có thể chứng minh bất kỳ hệ thống blockchain nào dựa trên OP Stack.
Hoàn thành nhiệm vụ này ngụ ý việc triển khai hệ thống chứng minh không có kiến thức (ZKP) có thể chứng minh các chương trình chống lỗi OP bằng cách sử dụng kiến trúc tập lệnh (ISA) được trình biên dịch golang hỗ trợ, chẳng hạn như MIPS, RISC-V hoặc WASM. Ngoài ra, hệ thống chứng minh phải chứng minh được sự chuyển trạng thái giữa hai khối của chuỗi OP Stack cấu hình tiêu chuẩn, từ đó chứng minh tính khả thi trong thực tế. Ngoài việc chứng nhận các dấu vết thực thi tiêu chuẩn của ISA, việc hỗ trợ các quy trình chống lỗi còn đưa ra các yêu cầu khác.
Cụ thể, chương trình Chứng minh lỗi giới thiệu khái niệm Oracle được ánh xạ trước, sử dụng lệnh gọi hệ thống đặc biệt để tải dữ liệu bên ngoài vào chương trình. Mỗi VM chống lỗi có trách nhiệm triển khai một cơ chế trong đó hàm băm của một số dữ liệu được lưu trữ tại một vị trí cụ thể trong bộ nhớ và được thực thi bằng một lệnh gọi hệ thống, sau đó tiền ảnh của hàm băm đó được tải vào bộ nhớ để sử dụng cho chương trình. Các Oracle được ánh xạ trước cũng được sử dụng làm đầu vào ban đầu cho bộ nạp khởi động.
(2) Nỗ lực phân loại phi tập trung
Espresso Systems chính thức thông báo trên Twitter vào ngày 21 tháng 7 năm 2023 rằng đề xuất thiết lập xác minh phân loại phi tập trung cho cuộc bầu cử lãnh đạo của OP Stack đã được chấp nhận và trở thành một đóng góp cho OP Stack và Superchain. Một trong những giao thức chính của dự án, HotShot, là giao thức đồng thuận tốc độ cao có thể được sử dụng để tái thế chấp, cho phép người xác thực Ethereum tham gia vào giao thức, nhằm đạt được quy mô tương tự như bộ trình xác thực Ethereum. Dự án cũng đã phát triển Espresso Sequencer, tích hợp zk-rollup đầy đủ tính năng, đặc biệt là nhánh Polygon zkEVM.
Bầu cử lãnh đạo là gì?
Việc bầu chọn người lãnh đạo đề cập đến khả năng trong một hệ thống phân tán sử dụng các người lãnh đạo khác nhau chịu trách nhiệm tạo ra quá trình chuyển đổi trạng thái chính tắc tiếp theo. Trong blockchain, việc bầu chọn người lãnh đạo cho phép các nhà sản xuất khối khác nhau tạo ra các khối vào các thời điểm khác nhau và thuật toán bầu chọn người lãnh đạo có thể mang tính cạnh tranh hoặc không cạnh tranh.
Trong trường hợp bằng chứng công việc, thuật toán bầu chọn người lãnh đạo cạnh tranh đề cập đến một thuật toán trong đó nhiều đơn vị tiềm năng cạnh tranh để trở thành người dẫn đầu cùng một lúc. Thuật toán bầu chọn nhà lãnh đạo không cạnh tranh có nghĩa là chỉ có một nhà lãnh đạo được biết đến tại một thời điểm nhất định. Trong trường hợp của Ether Gasper, thuật toán bầu chọn nhà lãnh đạo không cạnh tranh có nghĩa là chỉ có một nhà lãnh đạo được biết đến tại một thời điểm nhất định. . đơn vị đã biết và không có cách nào khác để một đơn vị tiềm năng khác trở thành người dẫn đầu vào thời điểm đó.
Trong trường hợp tách mạng người đề xuất khỏi mạng người xây dựng (tức là mạng người xây dựng khối chỉ chịu trách nhiệm chọn thứ tự giao dịch và mạng người đề xuất chỉ chịu trách nhiệm ký các khối). Nó sẽ biến đổi thực thể duy nhất chịu trách nhiệm tạo khối tại một thời điểm nhất định thành nhiều thực thể có thể có và cho phép chúng cạnh tranh để giành được các khối tiềm năng sinh lời cao nhất trong mạng lưới xây dựng tại thời điểm đó.
Chúng tôi khó có thể hiểu được những tác động phụ khác nhau của cơ chế bầu chọn người lãnh đạo giữa các chuỗi op-stack khác nhau. Hiện tại, bầu cử lãnh đạo là cơ chế phổ biến nhất vì nó cho phép đặt hàng phi tập trung hơn. Lưu ý rằng nó cũng không đảm bảo rằng bộ sắp xếp được phân quyền tuyệt đối, vì vậy cần thận trọng khi xem xét các vấn đề về bộ sắp xếp phi tập trung.
3. Rollup có thực sự an toàn không?
(1) Nguyên lý hoạt động của mạng Ethereum
Nguyên tắc của mạng Ethereum là mỗi nút lưu trữ và thực hiện mọi giao dịch do người dùng gửi tới nó. Phương thức bảo mật cấp cao này cũng khiến toàn bộ mạng trở nên rất tốn kém, do đó cần phải mở rộng dung lượng của toàn bộ mạng và áp dụng một giải pháp mới. Giải pháp cuộn lên. Nói một cách đơn giản, Rollup = một tập hợp các hợp đồng trong L1 + nút mạng riêng của nó trong L2, nghĩa là hợp đồng thông minh trên chuỗi + công cụ tổng hợp ngoài chuỗi, dựa vào Ethereum để giải quyết, đồng thuận và sẵn có dữ liệu và chỉ chịu trách nhiệm về Thực hiện riêng của Rollup.
Hợp đồng thông minh trên chuỗi cho thấy mô hình tin cậy của nó là hợp đồng thông minh trên Ethereum, vay mượn tính bảo mật của Ethereum.
Công cụ tổng hợp ngoài chuỗi có nghĩa là nó sẽ thực hiện và tổng hợp các giao dịch ngoài chuỗi, nén các lô giao dịch lớn và cuối cùng đặt chúng trên mạng chính Ethereum, đạt được mục tiêu nhanh hơn và chi phí thấp hơn.
Các nút mạng L2 có nhiều thành phần, trong đó thành phần trình tự sắp xếp là quan trọng nhất. Nó chịu trách nhiệm nhận các yêu cầu giao dịch trên L2, xác định thứ tự thực hiện của chúng và sắp xếp chuỗi giao dịch để phân phối đến hợp đồng dự án Rollup trên L1. Điều quan trọng cần lưu ý là tất cả các đơn đặt hàng tổng hợp L2 trong Ethereum hiện đang được tập trung hóa, như thể hiện trong hình bên dưới.
(2) Vấn đề sắp xếp tập trung
Nút đầy đủ L2 có thể lấy chuỗi giao dịch theo hai cách: trực tiếp từ trình sắp xếp chuỗi hoặc bằng cách đọc gói giao dịch (Batch) được trình sắp xếp chuỗi gửi đến L1, nhưng cách sau không thể sửa đổi hơn. Do việc thực hiện giao dịch thay đổi trạng thái của sổ cái blockchain, nên để đảm bảo tính nhất quán, ngoài việc có được trình tự giao dịch, nút đầy đủ L2 cũng phải đồng bộ hóa trạng thái sổ cái với trình sắp xếp thứ tự. Do đó, nhiệm vụ của trình tuần tự không chỉ là gửi gói giao dịch đến hợp đồng Rollup của L1 mà còn gửi kết quả cập nhật trạng thái Stateroot/Statediff sau khi thực hiện giao dịch tới L1. Nói chung, nhiệm vụ của trình sắp xếp thứ tự là xử lý các giao dịch và thêm thứ tự giao dịch vào các khối trong chuỗi khối. Nó chịu trách nhiệm phân nhóm các giao dịch và xuất bản các giao dịch lên hợp đồng thông minh L1.
Đối với nút đầy đủ của L2, miễn là thu được chuỗi giao dịch và Stateroot ban đầu của Rollup trên L1, sổ cái blockchain L2 có thể được khôi phục và Stateroot mới nhất có thể được tính toán. Ngược lại, nếu Stateroot được tính toán bởi nút đầy đủ của chính L2 không nhất quán với Stateroot được bộ sắp xếp xuất bản lên L1, điều đó có nghĩa là bộ sắp xếp đã có hành vi gian lận. Do đó, L1 phi tập trung hơn, không cần tin cậy và an toàn hơn mạng của L2.
（3）BẬT ngăn xếp
Vì vậy, câu hỏi đặt ra là liệu L2 có thể giả mạo một số giao dịch không tồn tại hoặc sai, chẳng hạn như chuyển tài sản mã thông báo từ L2 sang địa chỉ người chạy của trình sắp xếp chuỗi, sau đó chuyển các tài sản mã thông báo này sang L1 để đánh cắp tài sản của người dùng? Câu trả lời là: nếu ai muốn làm thì hoàn toàn có thể. Do đó, trước những rủi ro gian lận có thể xảy ra trong bộ phân loại, các loại tổng hợp khác nhau áp dụng các phương pháp phản hồi khác nhau.
Hãy lấy Optimistic Rollup làm ví dụ, cho phép các nút đầy đủ L2 cung cấp bằng chứng gian lận chứng minh rằng dữ liệu do trình sắp xếp chuỗi trong L1 xuất bản là sai. Nhưng đối với Optimism không có bằng chứng gian lận, nếu một người thực sự muốn đánh cắp tài sản của người dùng L2 thông qua trình sắp xếp chuỗi, thì anh ta chỉ cần để người chạy trình sắp xếp giả mạo các lệnh giao dịch và chuyển tài sản của người khác trong L2 đến địa chỉ của chính mình, rồi cuối cùng chuyển mã thông báo bị đánh cắp đến L1 thông qua hợp đồng cầu nối tổng hợp.
Để giải quyết vấn đề có thể xảy ra này, giải pháp hiện tại là dựa vào các thành viên cộng đồng và mạng xã hội để đạt được cái gọi là "sự đồng thuận" và dựa vào OP như sự chứng thực tín dụng chính thức. Do đó, tóm lại, tính bảo mật của OP Rollup ít nhất phụ thuộc vào việc có nút L2 trung thực, nút này có thể đưa ra bằng chứng gian lận để đảm bảo rằng OP Stack được chọn một chuỗi đa chuỗi, như được trình bày ở trên "Sự khác biệt giữa OP Stack và ZK Stack" ” một phần nội dung.
（4)Ngăn xếp ZK
Hãy cùng khám phá ZK Stack. Trong mạng ZK Rollup, có nút Prover, nút này xuất bản các gói giao dịch dành riêng cho trình sắp xếp chuỗi và tạo chứng chỉ hợp lệ. Những bằng chứng hợp lệ này có hợp đồng xác minh chuyên dụng trên L1. Khi gói giao dịch và bằng chứng Stateroot/Statediff tương ứng của nó được xác minh bằng hợp đồng xác thực, giao dịch sẽ hoàn tất. Điểm khác biệt so với OP Stack là ngoài việc dựa vào các nút đầy đủ L2, ZK Rollup còn sử dụng bằng chứng hợp lệ để giải quyết vấn đề gian lận trình tự sắp xếp. Cầu nối chính thức của ZK Rollup cũng chỉ cho phép thực hiện các giao dịch rút tiền được xác minh bằng chứng chỉ hợp lệ, điều này rõ ràng đáng tin cậy hơn nhiều so với Optimism, tức là ZK Stack là đa chuỗi và nhiều lựa chọn, như thể hiện trong phần "Sự khác biệt giữa OP Stack và ZK Stack" ở trên như đã nêu trong nội dung.
Về mặt lý thuyết, tính bảo mật của ZK Rollup được đảm bảo bởi hợp đồng xác minh trên L1 hoặc xác nhận cuối cùng của giao dịch được hoàn thành bởi nút L1. So với bảo mật của OP Rollup, ít nhất dựa vào nút L2 trung thực có thể đưa ra bằng chứng gian lận, cả hai đều kế thừa tính bảo mật của L1 (ETH), nhưng đó có thể không phải là trường hợp theo nghĩa chặt chẽ nhất, nhưng hiện tại đó là trường hợp tối ưu giải pháp và so với các chuỗi công khai khác, Ethereum đã trải qua rất nhiều năm phát triển và tính bảo mật của nó chắc chắn là đáng tin cậy nhất. So với các chuỗi công khai khác, Ethereum chắc chắn là chuỗi đáng tin cậy và an toàn nhất.
Cũng giống như tam giác blockchain, trong trải nghiệm tổng thể của người dùng đối với "sản phẩm", dường như có một tam giác về bảo mật, đơn giản và hiệu quả, và ZK Stack tin tưởng hơn OP Stack rằng việc dựa vào toán học và mã có thể cải thiện tính bảo mật tổng thể, từ đó làm tăng đáng kể độ phức tạp tổng thể. Vì vậy cũng có một số lời nói sáo rỗng về ZK:
Vấn đề về độ trễ: ZK Rollup cũng cần giải quyết vấn đề về độ trễ của các nút L2 xuất dữ liệu lên L1. Giống như các hộp cần được chuẩn bị để chuyển phát nhanh, mỗi lần trình sắp xếp thứ tự hoặc trình chuẩn xác gửi dữ liệu đến L1 đều có một chi phí cố định. Để giảm chi phí, bộ sắp xếp và bộ chuẩn sẽ cố gắng giảm số lượng phát hành dữ liệu thường xuyên trên L1, nhưng đợi một lượng lớn dữ liệu xuất hiện cùng lúc rồi gói chúng lại với nhau để phát hành.
Vấn đề về tốc độ: ZK Rollup phải đối mặt với thách thức là chậm tạo ra bằng chứng hợp lệ. Mặc dù trình sắp xếp thứ tự có thể thực hiện hàng nghìn giao dịch trong 1 giây nhưng việc tạo bằng chứng hợp lệ cho các giao dịch này có thể mất hàng giờ. Để giải quyết vấn đề này, mạng ZK Rollup chính thống áp dụng một phương pháp cải tiến: phân tách nhiệm vụ tạo bằng chứng thành nhiều nhiệm vụ nhỏ, được xử lý song song bởi các nút chứng minh khác nhau, giúp cải thiện đáng kể tốc độ tạo bằng chứng.
Vấn đề chi phí: Để giảm chi phí chung, nhiều giải pháp ZK Rollup áp dụng chiến lược "tổng hợp nhiều bằng chứng và gửi chúng đến L1 cùng một lúc". Điều này có nghĩa là người chứng minh sẽ không gửi bằng chứng đến L1 ngay sau khi tạo ra nó mà sẽ đợi nhiều bằng chứng được tạo ra và tổng hợp chúng lại với nhau để gửi chúng đến hợp đồng người xác minh trên L1. Thông qua việc tổng hợp này, bằng chứng có thể chứa và xác minh các bước tính toán được tạo bởi nhiều bằng chứng, giúp giảm hơn nữa chi phí dữ liệu tổng thể.
Vấn đề về khối lượng giao dịch: Nếu không bắt đầu đủ giao dịch, trình sắp xếp thứ tự có thể trì hoãn việc xuất dữ liệu lên L1. Ví dụ: trong thời gian thị trường hoạt động thấp, một số mạng Tổng hợp chỉ có thể gửi một loạt giao dịch đến L1 cứ sau nửa giờ. Tuy nhiên, vấn đề này có thể được giải quyết một cách hiệu quả trong một số sơ đồ Rollup khác, chẳng hạn như Starknet, giúp giảm chi phí dữ liệu bằng cách giảm tần suất phát hành Statediff.
Liên quan đến câu hỏi đâu là giải pháp phân loại phi tập trung phù hợp hơn, tính mô đun có thể là giải pháp tốt nhất vì tính mô đun có nghĩa là khả năng tùy biến cao hơn. Hiện có năm công cụ phi tập trung chính:
Máy phân loại đơn & POA
Dựa trên tổng hợp
Trình sắp xếp DVT x
Trình sắp xếp được chia sẻ
Bootstrap một bộ sắp xếp mới
Chúng tôi tin rằng không chỉ trong tương lai, nhiều vấn đề trên còn có thể được giải quyết sâu hơn nhờ công nghệ. Ví dụ: để giảm thời gian tạo bằng chứng hợp lệ, Optimism hứa hẹn sẽ phát hành một hệ thống chống gian lận trong tương lai gần và kế hoạch Danksharding của Ethereum cũng sẽ giảm đáng kể chi phí dữ liệu khi tổng hợp và vấn đề phân loại phi tập trung cũng sẽ được khắc phục. Họ sẽ cùng nhau đưa ra những giải pháp hiệu quả cho những vấn đề trên.
4. Câu chuyện sẽ phát triển như thế nào?
Hyperchain và siêu tiện ích mở rộng luôn là hướng mở rộng được mọi người chú ý đến. Mặc dù các dự án này vẫn đang trong giai đoạn phát triển ban đầu nhưng chúng đều mang đến một câu chuyện mạnh mẽ hơn cho Ethereum. Bây giờ chúng ta có thể thấy rằng OP Stack đã nhận được nhiều sự chấp nhận hơn và nhiều chuỗi công khai ngôi sao đã tham gia OP Stack, chẳng hạn như Coinbase, opBNB, Zora, Worldcoin và nhiều chuỗi công khai khác đã chứng thực thương hiệu tốt cho OP Stack. Gần đây, vào tối ngày 26 tháng 6, zkSync đã công bố ra mắt ZK Stack, một khung nguồn mở mô-đun để xây dựng các bản cuộn ZK tùy chỉnh. Nó cũng được nhiều người coi là ứng dụng sát thủ được nhóm zkSync sử dụng để giải quyết vấn đề số một. Ngăn xếp OP. Một bên là OP Stack, có lợi thế là người đi đầu, và một bên là ZK Stack, có lợi thế về mặt toán học. Nói tóm lại, giá trị của L2 có thể được tích lũy thành mã thông báo tổng hợp. Cuộc chiến mở rộng của L2 vừa diễn ra. đã bắt đầu. Bạn nghĩ gì về cuộc chiến không có thuốc súng này?