Tác giả gốc: Nhà nghiên cứu vốn YBB Ac-Core
TL;DR
Chức năng chính do OP Succinct cung cấp là tích hợp ZKP vào kiến trúc mô-đun của OP Stack để hoàn tất quá trình chuyển đổi OP Stack Rollup thành ZK Rollup đã được xác minh đầy đủ;
Nếu mục đích cuối cùng của quá trình mở rộng trong tương lai của Ethereum là chuyển đổi mọi Rollup thành ZK Rollup thì mục đích của OP Succinct là kết hợp Rust và SP 1 để triển khai zkEVM Loại 1 của OP Stack (tương đương hoàn toàn với Ethereum);
OP Succinct Proposer chủ yếu hoàn thành việc tạo bằng chứng song song cũng như tổng hợp và xác minh bằng chứng;
Hệ thống hiện tại của OP Stack dựa trên cửa sổ chống gian lận trong 7 ngày. Nếu xảy ra tranh chấp, việc xác minh giao dịch sẽ bị hoãn lại trong một tuần. OP Succinct sử dụng bằng chứng ZK để rút ngắn thời gian cần thiết để hoàn thành giao dịch, loại bỏ nhu cầu thực hiện. cửa sổ chống gian lận mở rộng;
OP Succinct có thể giảm đáng kể chi phí giao dịch.
1. Đánh giá gần đây: Hiện trạng của OP Mainnet và OP Stack và OP Labs
Nguồn: Blockscout
1.1 Điểm nổi bật trong phát triển gần đây của OP Mainnet
Theo tin tức vào ngày 30 tháng 3 năm 2024, OP Labs đã phát hành bằng chứng lỗi trên mạng thử nghiệm OP Sepoila và chính thức phát hành bằng chứng lỗi trên OP Mainnet vào ngày 11 tháng 6 năm 2024, qua đó thúc đẩy quá trình phân cấp lên giai đoạn đầu tiên. cho phép rút mã thông báo ETH và ERC-20 từ OP Mainnet, cho phép người dùng thách thức và xóa các khoản rút tiền không hợp lệ (bao gồm Base, Metal, Mode và Zora) mà không cần bên thứ ba đáng tin cậy.
Để đảm bảo tính bảo mật và tin cậy của tài sản người dùng, Optimism sử dụng bằng chứng thất bại để cải thiện tính chính xác và hiệu quả của các giao dịch trên chuỗi và ngăn chặn hành vi xấu. Các nguyên tắc của nó bao gồm:
Tính khả dụng của dữ liệu: Bằng chứng lỗi trước tiên đảm bảo rằng tất cả dữ liệu trên Lớp-2 đều có thể truy cập được và có thể được xác minh bởi Lớp-1;
Giai đoạn thử thách: Trong giai đoạn thử thách nhất định, bất kỳ ai cũng có thể tranh chấp dữ liệu trên Lớp-2.
Nếu ai đó nhận thấy dữ liệu Lớp 2 không nhất quán với dữ liệu Lớp 1, họ có thể phản đối dữ liệu đó. Gửi chứng nhận: Nếu có phản đối, nhà điều hành Lớp 2 cần gửi chứng nhận để bác bỏ những phản đối này và chứng minh tính chính xác của dữ liệu của mình; Tính hữu hạn: Nếu không có phản đối hợp lệ trong thời gian thử thách hoặc nhà điều hành Lớp 2 thành công. bác bỏ sự phản đối, giao dịch sẽ được hoàn tất và được coi là hợp lệ.
1.2.Mối quan hệ và sự khác biệt giữa OP Stack và OP Labs
OP Labs là một nhóm hoặc tổ chức phát triển các giải pháp Optimism, trong khi OP Stack là một khung kỹ thuật để xây dựng và mở rộng mạng Ethereum Lớp 2. Mối quan hệ giữa OP Labs và OP Stack có thể hiểu là mối quan hệ giữa các nhà phát triển và các công cụ phát triển của họ.
Phòng thí nghiệm OP:
OP Labs là đơn vị đóng góp cốt lõi cho dự án Optimism và chịu trách nhiệm phát triển cũng như duy trì các giải pháp cấp hai của Optimism. Đó là một nhóm hoặc tổ chức tập trung vào việc xây dựng và cải tiến các công cụ kỹ thuật liên quan đến việc mở rộng quy mô Ethereum, chẳng hạn như Optimistic Rollups. Mục tiêu chính của OP Labs là giảm tải cho mạng chính Ethereum, giảm chi phí giao dịch và tăng tốc độ giao dịch thông qua các giải pháp mở rộng quy mô lớp 2. OP Labs cũng hợp tác với các dự án khác, chẳng hạn như Succinct Labs, để nâng cao hơn nữa công nghệ mở rộng quy mô Ethereum, chẳng hạn như OP Succinct, tập trung vào việc tối ưu hóa các bằng chứng không có kiến thức.
OP Labs là nhóm hoặc tổ chức chính phát triển và duy trì Mạng lạc quan. Mục tiêu của họ là xây dựng một giải pháp hiệu quả để mở rộng quy mô Ethereum, tập trung vào việc giảm phí giao dịch và tăng tốc độ giao dịch. Họ không chỉ chịu trách nhiệm phát triển Optimistic Rollups mà còn tích cực quảng bá các công nghệ mới liên quan đến bằng chứng không có kiến thức, chẳng hạn như OP Succiinc phối hợp với Succinct Labs.
Ngăn xếp OP:
OP Stack là một kiến trúc mô-đun hoặc ngăn xếp công nghệ được sử dụng để xây dựng và mở rộng mạng Ethereum Lớp 2. Nó bao gồm nhiều thành phần có thể tùy chỉnh cho phép các nhà phát triển xây dựng Chuỗi lớp 2 của riêng họ theo nhu cầu cụ thể. Nó cung cấp một phương pháp tiêu chuẩn hóa cho phép các nhà phát triển nhanh chóng xây dựng mạng mở rộng Lớp 2 đáp ứng các điều kiện cụ thể.
OP Stack là một khung mô-đun được phát triển bởi OP Labs. Khung này cung cấp cơ sở hạ tầng để xây dựng mạng lớp thứ hai. Nhà phát triển có thể sử dụng OP Stack để nhanh chóng xây dựng các mạng mở rộng khác nhau. Do thiết kế mô-đun của OP Stack, nó cho phép người dùng linh hoạt lựa chọn các cơ chế xác minh khác nhau (chẳng hạn như Optimistic Rollups hoặc ZK Rollups) để đáp ứng nhu cầu của các dự án khác nhau.
OP Labs có thể hiểu là nhà phát triển OP Stack là một công cụ kỹ thuật được OP Labs cung cấp để giúp các nhà phát triển xây dựng và mở rộng mạng lưới lớp thứ hai của Ethereum.
Trước khi hiểu OP Succinct, bạn cần hiểu thêm bốn thành phần chính của mỗi ngăn xếp OP: 1. op-geth: nhận giao dịch từ người dùng và sử dụng các giao dịch này để tạo khối và thực thi khối; Các giao dịch được phân đợt và gửi tới L1; 3. op-node: đọc dữ liệu lô từ L1 và điều khiển op-geth để chuyển trạng thái ở chế độ không tuần tự; xử lý rút tiền dễ dàng.
2. Succinct Labs và OP Labs hợp tác để đưa các phần tử ZK vào OP Stack
Nguồn: Blog ngắn gọn
2.1 OP Bố cục kiến trúc cô đọng
Kết hợp với “Bốn thành phần chính của OP Stack” ở cuối Chương 1.2 ở trên, OP Succinct là bản nâng cấp nhẹ của OP Stack, cho phép chuỗi chỉ sử dụng các khối đã được xác minh ZK trong khi giữ nguyên ba thành phần còn lại (op -geth , op-batcher và op-node), OP Succinct chủ yếu bao gồm bốn phần sau:
Chương trình phạm vi: Đây là chương trình thực thi các khối hàng loạt. Chương trình này được viết bằng Rust và được thiết kế để thực thi trong zkVM;
Chương trình tổng hợp.: Bằng chứng về chương trình phạm vi tổng hợp để giảm chi phí xác minh trên chuỗi Chương trình này cũng được viết bằng Rust và được thiết kế để thực thi trong zkVM;
OP Succinct L2 Output Oracle.: Một hợp đồng thông minh Solidity chứa một loạt các đầu ra trạng thái L2, trong đó mỗi đầu ra là một cam kết đối với trạng thái chuỗi L2. Hợp đồng này đã tồn tại trong hệ thống ban đầu của Optimism nhưng đã được sửa đổi để sử dụng bằng chứng xác minh làm cơ chế xác thực;
OP Người đề xuất ngắn gọn: Quan sát các lô giao dịch được xuất bản trên L1 và kiểm soát bằng chứng của chương trình phạm vi và chương trình tổng hợp.
2.2 OP Succinct kể về loại tường thuật mở rộng Ethereum nào?
zkEVM Rollup rất khó xây dựng do chuyên môn sâu về mật mã Khi xây dựng OP Stack mô-đun, nhóm OP Labs đã xem xét hỗ trợ bằng chứng về các cơ chế hợp lệ khác nhau và đã phát triển Kona (xem liên kết mở rộng 1) làm nguồn mở để vượt qua Rust. Để triển khai chức năng chuyển đổi trạng thái STF (chức năng logic của chuyển đổi trạng thái giao dịch) trong OP Stack Rollup và cuối cùng sử dụng các chương trình Kona và SP 1 để tạo ra bằng chứng không có kiến thức (ZKP) của OP Stack, nghĩa là về mặt lý thuyết, tất cả các chuỗi OP Stack đều có thể được nâng cấp và sử dụng ZKP.
Mục tiêu của SP 1 (Bộ xử lý ngắn gọn 1) là cho phép bất kỳ nhà phát triển nào tích hợp liền mạch quá trình cuộn lên zkEVM loại 1 bằng cách sử dụng mã Rust tiêu chuẩn và liên kết liền mạch bất kỳ Ngăn xếp OP hiện có nào chỉ trong 1 giờ thông qua Nâng cấp OP Succinct lên bản tổng hợp zkEVM loại 1 và cung cấp hiệu suất cao mà ứng dụng yêu cầu. Điều này mang lại những lợi ích sau:
Xác nhận nhanh chóng của ZKP: rút ngắn thời gian trì hoãn chứng nhận xuống còn hàng chục phút để “thay thế” khoảng thời gian 7 ngày thử thách chứng nhận gian lận;
Giảm chi phí và tăng hiệu quả: chi phí trung bình của mỗi giao dịch chỉ thấp vài xu;
Chuyển OP Stack sang ZK: Chỉ cần triển khai hợp đồng thông minh và bắt đầu dịch vụ đề xuất OP Succinct nhẹ (xem bên dưới) để tạo bằng chứng thông qua lệnh gọi API (bao gồm bộ xử lý hàng loạt/bộ sắp xếp chuỗi, nút op, bộ chỉ mục, v.v.);
ZkEVM loại 1: Tất cả các công cụ và hợp đồng thông minh tương thích với OP Stack Rollup đều phù hợp với OP Succinct Rollup;
Cải thiện khả năng mở rộng: Sử dụng tính năng tổng hợp OP Succinct có thể tùy chỉnh, có thể thêm tính năng biên dịch trước mới và có thể sửa đổi logic tổng hợp.
Theo GitHub chính thức, quy trình này chỉ yêu cầu cài đặt Rust, Foundry và Docker để nâng cấp mọi bản cuộn OP Stack hiện có lên bản cuộn zkEVM Loại 1 và quy trình này được đơn giản hóa chỉ còn hai bước: 1. Triển khai hợp đồng ZK L2 OutputOracle.sol ;2. Bắt đầu dịch vụ đề xuất OP Succinct (xem liên kết tiện ích mở rộng GitHub 2 để biết quy trình).
Nâng cấp OP Stack Rollup lên bằng chứng ZK, nguồn: blog Succinct
2.3 Xây dựng zkEVM Loại 1 bằng SP 1 Reth
Succinct tin rằng tương lai của EVM Rollup sẽ là một zkEVM có thể bảo trì được viết bằng ngôn ngữ Rust. Hiện tại, OP Rollup chủ yếu phải đối mặt với ba vấn đề: thời gian chống gian lận trong 7 ngày quá dài, khả năng tương tác phức tạp và sự phụ thuộc vào nhiều nhóm Dữ liệu trong một số trường hợp. không có cơ chế chống gian lận. Ngoài ra, việc tạo zkEVM là một quá trình đòi hỏi thời gian dài nên SP 1 được phát triển để giải quyết những vấn đề này.
SP 1 là zkVM được tùy chỉnh hoàn toàn bằng mã nguồn mở và 100% hiệu suất cao, có thể xác minh việc thực thi bất kỳ chương trình Rust (hoặc ngôn ngữ được biên dịch LVM) nào. Theo dữ liệu công khai, OP Succinct Stack đã được sử dụng thành công trên OP Mainnet, OP. Chuỗi Sepolia và Base đã chạy và đạt được chi phí bằng chứng là 0,01-0,02 USD trong các giao dịch Ethereum (xem liên kết mở rộng 3). Hy vọng rằng trong tương lai, tất cả cơ sở hạ tầng blockchain (bao gồm Rollup, cầu nối, bộ đồng xử lý, v.v.) sẽ được viết bằng Rust (hoặc các ngôn ngữ được biên dịch LLVM khác) và sử dụng ZKP.
Theo bản tóm tắt của blog Succinct và nội dung GitHub nguồn mở, sự khác biệt về hiệu suất giữa SP 1 và các zkVM khác chủ yếu là do một số yếu tố chính:
Kiến trúc tập trung vào tiền biên dịch: SP 1 hỗ trợ hệ thống tiền biên dịch linh hoạt có thể tăng tốc đáng kể nhiều hoạt động khác nhau (chẳng hạn như xác minh chữ ký secp 256 k 1 và ed 25519, hàm băm sha 256 và keccak 256), khiến nhiều chương trình RISC -V giảm bớt số chu kỳ 5-10 lần. Mục tiêu thiết kế của nó là cung cấp hiệu suất tương đương với các mạch ZK trong khi vẫn duy trì tính linh hoạt và trải nghiệm tốt cho nhà phát triển của zkVM;
Nguồn mở hoàn toàn: SP 1 là nguồn mở 100%, cho phép các nhóm như Argument và Scroll triển khai quá trình biên dịch trước tùy chỉnh, giảm đáng kể số lượng chu kỳ và tăng tốc thời gian tạo bằng chứng;
Tiêu chuẩn ngành: Kể từ khi được giới thiệu, khái niệm biên dịch trước trong zkVM đã trở thành tiêu chuẩn ngành, được tích hợp vào các dự án như RISC 0, Valida, Nexus và Jolt. SP 1 là zkVM sẵn sàng sản xuất duy nhất có hỗ trợ biên dịch trước rộng rãi cho các hoạt động mã hóa quan trọng;
Đọc và ghi bộ nhớ hiệu quả: SP 1 áp dụng phương pháp kiểm chứng bộ nhớ cải tiến, sử dụng một thử thách duy nhất để đạt được bộ nhớ nhất quán cho nhiều lần kiểm chứng, tránh chi phí chung do bộ nhớ Merkleized gây ra;
Tối ưu hóa hiệu quả cơ bản: Sử dụng hệ số thổi thấp hơn và thế hệ tham số tìm kiếm mới (chẳng hạn như LogUp dựa trên đạo hàm logarit), cũng như biến thể FRI trong Plonky 3, hiệu quả sử dụng của khu vực theo dõi được cải thiện.
Nguồn hình ảnh: Blog ngắn gọn, xem mô tả phụ lục liên kết mở rộng 4
3. OP Succinct có thể là con át chủ bài của OP Stack trước ZK Stack không?
Nguồn ảnh tác giả: @jtguibas
Nếu kế hoạch mở rộng của Ethereum nhìn vào OP trong ngắn hạn và ZK trong dài hạn thì đó sẽ được coi là một cột mốc quan trọng trong con đường phát triển của Ethereum, giả định rằng OP Succinct có thể thành công. OP Succinct cung cấp một lộ trình có thể nâng cấp để ETH Rollups chuyển đổi từ xác minh lạc quan sang bằng chứng không có kiến thức. Điều này không chỉ giúp giảm chi phí giao dịch mà còn tăng tốc độ giao dịch. Nó cũng duy trì các đặc tính bảo mật và ẩn danh của các bản tổng hợp ZK, cung cấp các giải pháp lớp ứng dụng trong tương lai. Sự bùng phát mang đến những khả năng mới.
Trong số bốn vị vua được công nhận của Lớp 2, OP Stack tốt hơn một chút so với ZK Stack về khả năng phát triển sinh thái dự án ở giai đoạn này. Hiệu ứng Matthew có thể xuất hiện nhiều hơn trong tương lai. Với việc bổ sung OP Succinct, nó cũng đã hấp thụ ZK. ở một mức độ nhất định. Lưu lượng truy cập và tiềm năng của Stack, nếu OP Succinct có thể được hiện thực hóa trong tương lai, cũng có thể có tác động nhất định đến quá trình triển khai zkEVM truyền thống.
Tuy nhiên, theo những gì được tuyên bố công khai ở giai đoạn này, không khó để tìm ra từ logic hoạt động của OP Succinct cách đảm bảo rằng các nhà phát triển phát hiện kịp thời các rủi ro hệ thống do các lỗ hổng chưa xác định gây ra khi sửa đổi các chức năng STF hoặc thêm các chức năng được biên dịch trước mới này. đòi hỏi Chúng tôi phải tập trung lâu dài.
Liên kết mở rộng:
(1) https://github.com/anton-rs/kona?ref=blog.succinct.xyz
(2) https://github.com/succinctlabs/op-succinct
