TL;DR

• Tính năng chính của OP Succinct là khả năng tích hợp chứng minh không biết (ZKP) vào thiết kế mô đun của OP Stack, biến OP Stack Rollup thành một ZK Rollup được xác minh hoàn toàn.
• Nếu mục tiêu tương lai cho sự mở rộng của Ethereum là chuyển đổi tất cả Rollups thành ZK Rollups, nhiệm vụ của OP Succinct là hợp nhất Rust và SP1 để triển khai Type-1 zkEVM của OP Stack, hoàn toàn tương thích với Ethereum.
• Người Đề Xuất Súc Tích OP chịu trách nhiệm tạo ra các chứng minh song song và tổng hợp và xác minh chúng.
• Hệ thống OP Stack hiện tại sử dụng một “cửa sổ phòng ngừa gian lận trong 7 ngày,” giúp trì hoãn xác minh giao dịch trong một tuần nếu có tranh chấp xảy ra. OP Succinct sử dụng ZK proofs để giảm thời gian cần thiết để hoàn thành giao dịch, loại bỏ yêu cầu về thời gian phòng ngừa gian lận kéo dài.
• OP Succinct có tiềm năng giảm thiểu đáng kể các chi phí giao dịch.

1. Tổng quan gần đây: Tình hình hiện tại của Mainnet OP và vai trò của OP Stack và OP Labs

Nguồn: Blockscout

1.1 Những phát triển mới nhất trên OP Mainnet

Ngày 30 tháng 3 năm 2024, OP Labs công bố việc phát hành phiên bản “fault proof” trên mạng thử nghiệm OP Sepoila, với việc ra mắt chính thức trên OP Mainnet vào ngày 11 tháng 6 năm 2024. Điều này đánh dấu một bước tiến quan trọng trong việc phi tập trung, cho phép người dùng rút ETH và các token ERC-20 từ OP Mainnet mà không cần phải phụ thuộc vào một bên thứ ba tin cậy. Người dùng hiện có thể thách thức và vô hiệu hóa các giao dịch rút tiền không chính xác (bao gồm cả từ Base, Metal, Mode và Zora).

Để nâng cao an toàn và sự tin tưởng của tài sản người dùng, Optimism sử dụng bằng chứng lỗi để cải thiện độ chính xác và hiệu quả của các giao dịch trên chuỗi và ngăn chặn các hoạt động độc hại. Những nguyên tắc chính là:

• Khả năng truy cập dữ liệu: Đảm bảo rằng tất cả dữ liệu trên Layer 2 có thể truy cập và có thể xác minh bởi Layer 1.
• Thời gian Thách thức: Trong thời gian thách thức được chỉ định, bất kỳ ai cũng có thể tranh chấp dữ liệu trên Tầng 2. Nếu phát hiện sai lệch giữa dữ liệu Tầng 2 và dữ liệu Tầng 1, có thể đưa ra thách thức.

Nếu có một tranh chấp nảy sinh, người vận hành Layer 2 phải cung cấp bằng chứng để đối phó với thách thức và xác nhận tính chính xác của dữ liệu của họ.

Tính khách quan: Nếu không có tranh chấp hợp lệ được đề raised trong thời hạn thách thức, hoặc nếu nhà điều hành Layer 2 thành công giải quyết các thách thức, giao dịch sẽ được hoàn tất và 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à nhóm chịu trách nhiệm phát triển các giải pháp Optimism, trong khi OP Stack là khung công nghệ hỗ trợ xây dựng và mở rộng mạng lưới Layer 2 của Ethereum. Bạn có thể nghĩ về OP Labs như là các nhà phát triển và OP Stack là bộ công cụ của họ.

● OP Labs:

OP Labs là một nhà đóng góp chính cho dự án Optimism, chịu trách nhiệm phát triển và duy trì giải pháp Layer 2 của Optimism. Đây là một nhóm hoặc tổ chức tập trung vào việc xây dựng và cải thiện các công cụ kỹ thuật liên quan đến việc mở rộng Ethereum, như Optimistic Rollups. Mục tiêu chính của OP Labs là giảm tải trên mạng Ethereum chính thông qua các giải pháp mở rộng Layer 2, giảm chi phí giao dịch và tăng tốc độ giao dịch.

OP Labs cũng hợp tác với các dự án khác, như Succinct Labs, để tiến xa hơn trong công nghệ mở rộng Ethereum, tập trung vào việc tối ưu hóa bằng chứng không chứng minh với các sáng kiến như OP Succinct.

OP Labs là đội hoặc tổ chức chính chịu trách nhiệm phát triển và duy trì mạng lưới Optimism. Mục tiêu của họ là tạo ra một giải pháp hiệu quả cho việc mở rộng Ethereum, tập trung vào 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 chứng minh không biết, như OP Succinct phối hợp với Succinct Labs.

● Ngăn xếp OP:

OP Stack là một kiến trúc modular hoặc technology stack được sử dụng để xây dựng và mở rộng các mạng Ethereum Layer 2. Nó bao gồm nhiều thành phần có thể tùy chỉnh cho phép nhà phát triển tạo ra các chuỗi Layer 2 riêng dựa trên nhu cầu cụ thể. Nó cung cấp một phương pháp tiêu chuẩn giúp nhà phát triển nhanh chóng thiết lập các mạng mở rộng Layer 2 thỏa mãn yêu cầu cụ thể.

OP Stack là một khung công việc có tính chất mô đun được phát triển bởi OP Labs. Khung công việc này cung cấp cơ sở hạ tầng cho việc xây dựng các mạng Layer 2, cho phép các nhà phát triển nhanh chóng tạo ra các mạng mở rộng khác nhau bằng cách sử dụng OP Stack. Nhờ thiết kế mô đun của nó, OP Stack cho phép người dùng linh hoạt lựa chọn các cơ chế xác thực khác nhau (như Optimistic Rollups hoặc ZK Rollups) để đáp ứng nhu cầu cụ thể của các dự án khác nhau.

OP Labs có thể hiểu là nhà phát triển của OP Stack, đó là một bộ công cụ kỹ thuật do OP Labs cung cấp để hỗ trợ các nhà phát triển xây dựng và mở rộng mạng lưới Layer 2 của Ethereum.

Trước khi đào sâu vào OP Succinct, quan trọng là hiểu rõ bốn thành phần chính của OP Stack:

1. op-geth: Bộ phận này truy xuất giao dịch từ người dùng, tạo ra các khối từ những giao dịch này và thực thi chúng.
2. op-batcher: Nó phân lô các giao dịch của người dùng và gửi chúng đến Lớp 1 (L1).
3. op-node: Điều này đọc dữ liệu lô từ Layer 1 và điều hành op-geth cho các chuyển đổi trạng thái ở chế độ không theo thứ tự.
4. op-proposer: Định kỳ công bố các gốc đầu ra đến Layer 1 để bắt lấy trạng thái Layer 2 (L2), tạo điều kiện cho quá trình rút tiền.

2. Sự hợp tác giữa Succinct Labs và OP Labs để tích hợp ZK Elements vào OP Stack

Nguồn: Blog Súc tích

2.1Cấu trúc của OP Succinct

Liên kết lại với cuối mục 1.2, nói về 'bốn thành phần chính của OP Stack', OP Succinct là một cải tiến nhẹ cho OP Stack. Nó cho phép chuỗi sử dụng chỉ các khối đã được xác minh bằng chứng minh không biết (ZK), trong khi ba thành phần còn lại (op-geth, op-batcher và op-node) không thay đổi. OP Succinct chủ yếu bao gồm bốn yếu tố sau:

• Chương trình Range: Chương trình này, được viết bằng Rust, được thiết kế để thực thi các khối hàng loạt trong zkVM.
• Chương trình Tổng hợp: Cũng được viết bằng Rust, chương trình này tổng hợp các chứng minh được tạo ra bởi Chương trình Phạm vi để giảm chi phí của việc xác minh trên-chain và được thiết kế để chạy trong zkVM.
• OP Succinct L2 Output Oracle: Đây là một hợp đồng thông minh Solidity nắm giữ một mảng đầu ra trạng thái L2, với mỗi đầu ra đại diện cho một bản gửi của trạng thái chuỗi L2. Trong khi hợp đồng này đã tồn tại trong hệ thống Optimism gốc, nó đã được chỉnh sửa để sử dụng bằng chứng xác minh như một phương thức xác thực.
• OP Succinct Proposer: Thành phần này theo dõi các lô giao dịch được xuất bản trên L1 và quản lý các bằng chứng cho cả Chương trình Phạm vi và Chương trình Tổng hợp.

2.2 OP Succinct trình bày câu chuyện gì về Ethereum Scaling?

Việc tạo ra một zkEVM Rollup là một thách thức đáng kể do yêu cầu kiến thức mật mã rộng lớn. Nhóm OP Labs đã xem xét điều này khi xây dựng OP Stack modular, đảm bảo nó hỗ trợ các cơ chế tính hợp lệ khác nhau. Họ đã phát triển một dự án mã nguồn mở gọi là Kona (xem liên kết mở rộng 1), mà thực hiện Chức năng Chuyển đổi Trạng thái (STF) cho OP Stack Rollup bằng Rust. Điều này cho phép tạo ra các bằng chứng không mô tả (ZKP) cho OP Stack thông qua Kona và chương trình SP1, lý thuyết cho phép tất cả các chuỗi trong OP Stack được nâng cấp để sử dụng ZKP.

SP1 (Succinct Processor 1) nhằm mục đích cho phép bất kỳ nhà phát triển nào có thể dễ dàng tích hợp Type-1 zkEVM Rollup bằng cách sử dụng mã Rust tiêu chuẩn. Với OP Succinct, việc nâng cấp bất kỳ chuỗi OP Stack hiện có nào thành Type-1 zkEVM Rollup có thể hoàn thành chỉ trong một giờ, cung cấp hiệu suất cao cần thiết cho các ứng dụng. Phương pháp này mang lại nhiều lợi ích:

• Xác nhận ZKP nhanh chóng: Proof delays có thể được rút ngắn chỉ trong vài phút, thay thế cho giai đoạn thách thức chứng minh gian lận kéo dài 7 ngày.
• Hiệu quả chi phí: Chi phí giao dịch trung bình có thể được giảm xuống chỉ còn vài xu.
• Chuyển OP Stack sang ZK: Bằng cách triển khai một hợp đồng thông minh duy nhất và khởi chạy dịch vụ đề xuất OP Succinct nhẹ (như đã mô tả dưới đây), các chứng minh có thể được tạo ra thông qua các cuộc gọi API (bao gồm các thành phần như batchers/sorters, op-node, indexers, v.v.).
• Tương thích 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 Stack Rollup OP cũng sẽ hoạt động với OP Succinct Rollup.
• Khả năng mở rộng cải tiến: OP Succinct rollup có thể được tùy chỉnh cho phép thêm các bản dịch mới và điều chỉnh logic Rollup.

Theo tài liệu chính thức trên GitHub, nâng cấp bất kỳ OP Stack Rollup hiện có thành một Type-1 zkEVM Rollup đơn giản: cài đặt Rust, Foundry và Docker, và làm theo hai bước sau: 1. Triển khai hợp đồng ZK L2OutputOracle.sol; 2. Khởi chạy dịch vụ đề xuất OP Succinct (thêm thông tin chi tiết có thể được tìm thấy trong liên kết mở rộng 2 trên GitHub).

Nâng cấp OP Stack Rollup lên ZK Proofs; Nguồn hình ảnh: Succinct Blog

2.3 Xây dựng Loại-1 zkEVM với SP1 Reth

Succinct hình dung rằng tương lai của EVM Rollups sẽ liên quan đến việc phát triển zkEVM có thể duy trì được bằng Rust. Hiện tại, OP Rollup đối mặt với ba thách thức lớn: cửa sổ chứng minh gian lận kéo dài 7 ngày, vấn đề tương tác phức tạp và sự phụ thuộc vào nhiều nguồn dữ liệu thay vì chứng minh gian lận trong một số trường hợp cụ thể. Ngoài ra, việc tạo ra một zkEVM là một quá trình kéo dài, điều này đã dẫn đến việc phát triển SP1 để giải quyết những vấn đề này.

SP1 là một zkVM mã nguồn mở hoàn toàn hiệu năng cao có thể xác minh việc thực thi bất kỳ chương trình nào được viết bằng Rust (hoặc các ngôn ngữ được biên dịch bằng LLVM khác). Dữ liệu công khai cho thấy OP Succinct Stack đã chạy thành công trên OP Mainnet, OP Sepolia và Base chains, đạt được chi phí chứng minh từ 0,01 đến 0,02 đô la cho giao dịch Ethereum (xem liên kết mở rộng 3). Có khát vọng phát triển tất cả cơ sở hạ tầng blockchain (bao gồm Rollups, cầu nối và bộ xử lý phụ) bằng Rust (hoặc các ngôn ngữ được biên dịch bằng LLVM khác) và tận dụng ZKP trong tương lai.

Theo tóm tắt từ blog Succinct và nội dung GitHub mã nguồn mở, sự khác biệt về hiệu suất giữa SP1 và các zkVM khác có thể được quy cho một số yếu tố chính:

1. Kiến trúc Trước biên: SP1 có tính năng hệ thống trước biên linh hoạt giúp tăng tốc độ đáng kể cho nhiều hoạt động (như xác minh chữ ký secp256k1 và ed25519, cũng như các chức năng băm sha256 và keccak256), giảm số vòng lặp cho nhiều chương trình từ 5-10 lần. Thiết kế nhằm cung cấp hiệu suất tương đương với mạch ZK trong khi bảo tồn tính linh hoạt của zkVM và đảm bảo trải nghiệm tích cực cho nhà phát triển.
2. Hoàn toàn mã nguồn mở: SP1 hoàn toàn mã nguồn mở, cho phép các nhóm như Argument và Scroll triển khai các bản tùy chỉnh trước biên dịch, giúp giảm đáng kể số lần chu kỳ và tăng tốc thời gian tạo chứng minh.
3. Tiêu chuẩn ngành: Kể từ khi được giới thiệu, khái niệm precompile nội bộ trong zkVM đã trở thành tiêu chuẩn ngành, được áp dụng trong các dự án như RISC0, Valida, Nexus và Jolt. SP1 nổi bật là zkVM sẵn sàng cho sản xuất duy nhất hỗ trợ rộng rãi các hoạt động mật mã cần thiết thông qua precompiles.
4. Các hoạt động Bộ nhớ Hiệu quả: SP1 sử dụng một kỹ thuật chứng minh bộ nhớ đổi mới sáng tạo sử dụng một thách thức duy nhất để đảm bảo bộ nhớ nhất quán qua nhiều chứng minh, loại bỏ overhead liên quan đến bộ nhớ Merkleized.
5. Các Tối ưu Hiệu suất Cơ bản: Nó tích hợp một yếu tố nổ thấp hơn và các tham số tìm kiếm thế hệ tiếp theo (ví dụ: LogUp dựa trên đạo hàm logarithmic), cùng với một biến thể FRI trong Plonky3, nâng cao hiệu suất theo dõi các khu vực.

Nguồn hình ảnh: Blog Succinct, xem liên kết mở rộng 4 mô tả phụ lục

3. Có thể OP Succinct trở thành lợi thế chính của OP Stack so với ZK Stack không?

Người tác giả ảnh: @jtguibas

Nếu chúng ta coi các giải pháp mở rộng của Ethereum là hướng tới OP trong ngắn hạn và hướng tới ZK trong dài hạn, thì giả sử OP Succinct thành công, nó sẽ đánh dấu một cột mốc quan trọng trong sự phát triển của Ethereum. OP Succinct cung cấp một con đường cho ETH Rollups để chuyển từ xác minh lạc quan sang chứng minh không-tin cậy. Sự chuyển đổi này không chỉ giảm chi phí giao dịch mà còn tăng tốc độ giao dịch trong khi duy trì các tính năng bảo mật và ẩn danh của ZK rollups, mở đường cho một sự bùng nổ tiềm năng trong các ứng dụng trong tương lai.

Hiện tại, trong bốn nhà cung cấp hàng đầu của cảnh quan Layer 2 được công nhận, OP Stack dường như vượt trội hơn ZK Stack về phát triển hệ sinh thái. Hiệu ứng Matthew (khi người giàu càng giàu) có thể trở nên rõ rệt hơn theo thời gian; với OP Succinct tham gia, nó có thể thu hút một số lưu lượng và tiềm năng khỏi ZK Stack. Nếu OP Succinct được triển khai thành công, nó cũng có thể làm đảo lộn một phần zkEVM Rollups truyền thống.

Tuy nhiên, dựa trên thông tin có sẵn ở giai đoạn này, rõ ràng từ logic hoạt động của OP Succinct rằng việc đảm bảo các nhà phát triển có thể nhanh chóng phát hiện ra các lỗ hổng không rõ origin có thể phát sinh từ sự thay đổi chức năng STF hoặc việc thêm các chức năng mới của precompile là rất quan trọng. Điều này là một vấn đề mà sẽ cần sự chú ý liên tục.

Disclaimer:

1. Bài viết này được sao chép từ[blockbeatChuyển tiếp tiêu đề ban đầu OP Stack's path to advancement: OP Succinct mở khóa tiềm năng của ZK Rollup, Tất cả các bản quyền thuộc về tác giả ban đầu [Ac-Core, YBB Capital Researcher]. Nếu có ý kiến ​​phản đối về việc tái bản này, vui lòng liên hệ với Gate.Gate Họcđội ngũ và họ sẽ xử lý nhanh chóng.

2. Tuyên bố từ chối trách nhiệm: Các quan điểm và ý kiến được trình bày trong bài viết này chỉ là của tác giả và không cấu thành bất kỳ lời khuyên đầu tư nào.

3. Các bản dịch của bài viết sang các ngôn ngữ khác được thực hiện bởi nhóm Gate Learn. Trừ khi được đề cập đếnGate.io Việc sao chép, phân phối hoặc đạo văn các bài viết đã được dịch là không được phép.