TLDR

Chức năng chính của OP Succinct là tích hợp ZKP vào kiến trúc module của OP Stack, chuyển đổi OP Stack Rollups thành ZK Rollups được xác minh đầy đủ.

Nếu giải pháp mở rộng tương lai của Ethereum là chuyển tất cả Rollups thành ZK Rollups, OP Succinct nhằm triển khai Type-1 zkEVM (hoàn toàn tương đương Ethereum) trong OP Stack, sử dụng Rust và SP1.

OP Succinct Proposer đạt được việc tạo ra chứng minh song song, cùng với việc tổng hợp và xác minh chứng minh.

Hệ thống OP Stack hiện tại dựa vào một “cửa sổ chứng minh gian lận trong vòng 7 ngày,” điều này gây ra các sự chậm trễ giao dịch nếu có tranh chấp phát sinh. OP Succinct rút ngắn thời gian hoàn tất giao dịch bằng cách sử dụng chứng minh ZK, loại bỏ nhu cầu cho cửa sổ chứng minh gian lận được kéo dài.

OP Succinct có thể giảm chi phí giao dịch đáng kể.

1. Đánh Giá Gần Đây: Cập Nhật Mainnet OP và Mối Quan Hệ Giữa OP Stack và OP Labs

Nguồn ảnh: Blockscout

1.1 Các Phát Triển Quan Trọng trên Mạng Lưới Chính OP

Vào ngày 30 tháng 3 năm 2024, OP Labs đã thông báo việc phát hành “chứng minh lỗi” trên mạng thử nghiệm OP Sepolia, đã chính thức ra mắt trên OP Mainnet vào ngày 11 tháng 6 năm 2024. Điều này đánh dấu bước đầu tiên hướng tới phân quyền, cho phép người dùng rút ETH và các token ERC-20 từ OP Mainnet mà không cần đến bên thứ ba đáng tin cậy. Cơ chế này cho phép người dùng thách thức và thu hồi các giao dịch rút không hợp lệ (bao gồm Base, Metal, Mode và Zora).

Để đảm bảo an toàn và tin cậy cho tài sản của người dùng, Optimism sử dụng bằng chứng lỗi để xác minh sự chính xác và tính hợp lệ của giao dịch trên chuỗi và ngăn chặn các hành động độc hại. Các nguyên tắc chính bao gồm:

• Khả năng sẵn có dữ liệu: Bằng chứng lỗi đảm bảo rằng tất cả dữ liệu trên Layer-2 có thể truy cập và được xác minh bởi Layer-1.
• Thời gian Thách thức: Trong một thời gian thách thức cụ thể, bất kỳ ai cũng có thể tranh cãi dữ liệu trên Layer-2.

Nếu phát hiện sự không đồng nhất giữa dữ liệu Layer-2 và dữ liệu Layer-1, bên tranh chấp có thể đưa ra thách thức. Nhà điều hành Layer-2 phải nộp bằng chứng để đối phó với thách thức và xác minh tính chính xác của dữ liệu. Sự hoàn thành: Nếu không có thách thức hợp lệ xảy ra trong thời gian thách thức hoặc nhà điều hành Layer-2 thành công đối phó với thách thức, giao dịch được hoàn thành 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 hoặc tổ chức phát triển giải pháp Optimism, trong khi OP Stack là một khung kỹ thuật được sử dụng để xây dựng và mở rộng mạng lưới Ethereum Layer 2. Mối quan hệ giữa OP Labs và OP Stack có thể được hiểu như 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ọ.

• OP Labs: OP Labs là người đóng góp chính cho dự án Optimism, có trách nhiệm phát triển và duy trì các giải pháp Layer 2 của Optimism. Đó là một nhóm hoặc tổ chức tận tâm trong việc tạo ra 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 Ethereum mainnet, 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 bộ trong các công nghệ mở rộng Ethereum như OP Succinct, tập trung vào tối ưu hóa chứng minh không chứng minh.

OP Labs là nhóm 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 mở rộng hiệu quả cho Ethereum, tập trung vào giảm phí giao dịch và tăng tốc độ giao dịch. Họ không chỉ phát triển Optimistic Rollups mà còn đẩy mạnh các công nghệ mới liên quan đến chứng minh không có tri thức, như OP Succinct phối hợp với Succinct Labs.

• OP Stack: OP Stack là một kiến trúc modul hoặc kỹ thuật 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 xây dựng các chuỗi Layer 2 riêng theo yêu cầu cụ thể. Nó cung cấp một phương pháp tiêu chuẩn cho nhà phát triển để nhanh chóng thiết lập các mạng mở rộng Layer 2 phù hợp với điều kiện cụ thể.

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

Về bản chất, OP Labs có thể được coi là nhà phát triển của OP Stack, và OP Stack là công cụ kỹ thuật được cung cấp bởi OP Labs để giúp các nhà phát triển xây dựng và mở rộng mạng lưới Ethereum Layer 2.

Trước khi bắt đầu OP Succinct, quan trọng phải giới thiệu bốn thành phần chính của mỗi OP Stack:

• op-geth: Tập hợp giao dịch từ người dùng và tạo và thực hiện các khối dựa trên những giao dịch đó.
• op-batcher: Gom nhóm giao dịch người dùng và gửi chúng đến Layer 1.
• op-node: Đọc dữ liệu theo lô từ Layer 1 và điều khiển op-geth cho quá trình chuyển trạng thái ở chế độ không phụ thuộc thứ tự.
• op-proposer: Định kỳ xuất bản các gốc đầu ra đến Lớp 1, bắt trạng thái Lớp 2 và tạo điều kiện cho việc rút tiền.

2. Succinct Labs hợp tác với OP Labs để giới thiệu ZK Elements vào OP Stack

Nguồn Ảnh: Succinct Blog

2.1 OP Các thành phần kiến trúc súc tích

Xây dựng trên cơ sở các thành phần của OP Stack được đề cập trong phần 1.2, OP Succinct là một bản nâng cấp nhẹ cho OP Stack cho phép các chuỗi sử dụng các khối được xác minh ZK trong khi giữ nguyên các thành phần khác (op-geth, op-batcher, và op-node). OP Succinct bao gồm bốn thành phần chính sau đây:

• Chương trình Range: Một chương trình xử lý các khối hàng loạt, được viết bằng Rust và thiết kế để chạy trong zkVM.
• Chương Trình Tập Hợp: Tập hợp các bằng chứng từ Chương Trình Phạm Vi để giảm chi phí xác minh trên chuỗi, cũng được viết bằng Rust và được thiết kế để chạy trên zkVM.
• OP Succinct L2 Output Oracle: Một hợp đồng thông minh Solidity chứa một mảng các đầu ra trạng thái L2, mỗi đầu ra cam kết với trạng thái của chuỗi L2. Hợp đồng này tồn tại trong hệ thống Optimism ban đầu nhưng đã được sửa đổi để sử dụng xác thực chứng minh làm cơ chế xác thực.
• OP Người Đề Xuất Súc Tích: Quan sát các lô giao dịch được xuất bản trên L1 và quản lý việc tạo ra bằng chứng cho các chương trình Phạm Vi và Tổng Hợp.

2.2 Làm thế nào OP Succinct phù hợp với câu chuyện về việc mở rộng Ethereum?

Xây dựng Rollups zkEVM đã gặp nhiều thách thức do yêu cầu kiến thức mật mã sâu rộng. Khi OP Labs phát triển OP Stack modular, họ dự đoán sẽ hỗ trợ các cơ chế chứng minh khác nhau. Để đạt được mục tiêu này, họ đã công bố mã nguồn mở của việc phát triển Kona (xem liên kết mở rộng 1) để triển khai STF của OP Stack Rollups bằng Rust, cuối cùng là cho phép tạo ra chứng minh không bằng chứng (ZKP) cho OP Stack thông qua Kona và chương trình SP1. Điều này có nghĩa là, về lý thuyết, bất kỳ chuỗi OP Stack nào cũng có thể được nâng cấp để sử dụng ZKP.

Mục tiêu của SP1 (Succinct Processor 1) là cho phép các nhà phát triển tích hợp Type-1 zkEVM rollups một cách dễ dàng bằng cách sử dụng mã Rust tiêu chuẩn. Với OP Succinct, quá trình 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 trong vòng một giờ, mang lại những lợi ích sau:

• Xác nhận ZKP nhanh: Giảm thiểu độ trễ của bằng chứng xuống còn vài phút, thay thế cho cửa sổ tranh chấp chứng minh gian lận 7 ngày.
• Hiệu quả chi phí: Chi phí giao dịch trung bình đượ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 và khởi chạy dịch vụ đề xuất OP Succinct nhẹ, chứng minh có thể được tạo ra thông qua cuộc gọi API (bao gồm xử lý theo lô/trình tự, op-node, bộ chỉ mục, v.v.).
• Type-1 zkEVM: Tất cả các công cụ và hợp đồng thông minh tương thích với OP Stack Rollups đều tương thích với OP Succinct Rollups.
• Tăng Khả năng Mở rộng: OP Succinct rollup có thể được tùy chỉnh để thêm các bước tiền xử lý mới và điều chỉnh logic Rollup theo nhu cầu.

Theo tài liệu chính thức trên GitHub, quá trình chỉ đòi hỏi cài đặt Rust, Foundry và Docker để nâng cấp bất kỳ Stack rollup OP hiện có nào thành một Type-1 zkEVM rollup. Quá trình đơn giản hóa bao gồm hai bước:

• Triển khai hợp đồng ZK L2OutputOracle.sol.
• Khởi chạy dịch vụ đề xuất ngắn gọn OP (xem liên kết mở rộng GitHub 2 để biết các bước chi tiết).

Nguồn ảnh: Succinct Blog - Nâng cấp OP Stack Rollup thành ZK Proofs

2.3 Xây dựng một zkEVM Loại 1 bằng cách sử dụng SP1 Reth

Succinct tin rằng tương lai của EVM Rollups nằm trong zkEVM được viết bằng ngôn ngữ Rust, cho phép bảo trì tốt hơn. Hiện nay, OP Rollups đối mặt với ba thách thức lớn: cửa sổ chứng minh gian lận dài 7 ngày, tương tác phức tạp và phụ thuộc vào cơ chế dữ liệu đa nhóm trong một số trường hợp thay vì chứng minh gian lận. Phát triển zkEVM là một nỗ lực dài hạn, vì vậy SP1 được tạo ra để giải quyết những thách thức này.

SP1 là một zkVM có hiệu suất cao, có thể tùy chỉnh hoàn toàn và 100% mã nguồn mở. Nó có thể xác minh việc thực thi các chương trình Rust (hoặc được biên dịch bằng LLVM) bất kỳ. Theo dữ liệu công khai, OP Succinct Stack đã thành công trong việc chạy trên OP Mainnet, OP Sepolia và Base chain, với chi phí chứng minh giao dịch dao động từ $0.01 đến $0.02 (xem liên kết mở rộng 3). Trong tương lai, tất cả cơ sở hạ tầng blockchain, bao gồm Rollups, cầu nối và bộ xử lý phụ, có thể được viết bằng Rust (hoặc ngôn ngữ biên dịch LLVM khác) và tận dụng ZKP.

Dựa trên các tóm tắt từ blog Succinct và nội dung GitHub mã nguồn mở, ưu điểm về hiệu suất của SP1 so với các zkVM khác bắt nguồn từ một số yếu tố chính:

• Kiến trúc tập trung vào việc biên dịch trước: SP1 hỗ trợ một hệ thống biên dịch trước linh hoạt, giúp tăng tốc đáng kể các hoạt động như xác minh chữ ký secp256k1 và ed25519, băm sha256 và keccak256, và giảm số chu kỳ RISC-V từ 5-10 lần cho nhiều chương trình. Mục tiêu của nó là cung cấp hiệu suất tương đương với mạch ZK trong khi vẫn duy trì tính linh hoạt của zkVM và trải nghiệm phát triển tuyệt vời.
• Hoàn toàn mã nguồn mở: SP1 là 100% mã nguồn mở, cho phép các nhóm như Argument và Scroll triển khai các tiền xử lý tùy chỉnh, giảm số lần chạy vòng lặp và tăng tốc độ tạo ra chứng minh.
• Tiêu chuẩn ngành: Kể từ khi ra mắt, ý tưởng về precompiles nội bộ cho zkVMs đã trở thành một tiêu chuẩn ngành, ảnh hưởng đến các dự án như RISC0, Valida, Nexus và Jolt. SP1 là duy nhất zkVM sẵn sàng cho sản xuất, hỗ trợ một loạt các hoạt động mật mã quan trọng.
• Đọc/Ghi Bộ nhớ Hiệu quả: SP1 sử dụng một phương pháp chứng minh bộ nhớ đổi mới đột phá đạt được bộ nhớ nhất quán trên nhiều chứng minh với một thách thức duy nhất, tránh chi phí phụ của bộ nhớ Merkleized.
• Tối ưu hóa hiệu suất cơ bản: Sử dụng một hệ số phóng đại thấp hơn và các tham số tìm kiếm thế hệ tiếp theo (ví dụ: các đạo hàm dựa trên log như LogUp), cùng với biến thể FRI trong Plonky3, SP1 cải thiện hiệu suất sử dụng vùng dấu.

Nguồn ảnh: Succinct Blog - Xem Giải thích ở Phụ lục trong Liên kết Mở rộng 4

3. OP Succinct có thể trở thành lá bài trụ cột của OP Stack chống lại ZK Stack không?

Image credit: @jtguibas

Nếu các giải pháp mở rộng của Ethereum được coi là OP trong ngắn hạn và ZK trong dài hạn, thành công tiềm năng của OP Succinct có thể đánh dấu một cột mốc quan trọng trong con đường phát triển của Ethereum. OP Succinct cung cấp một con đường nâng cấp cho ETH Rollups để chuyển từ xác nhận lạc quan sang chứng minh không chứng minh (ZKP). 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 bảo tồn các thuộc tính an toàn và riêng tư của ZK Rollups, mở ra những khả năng mới cho việc mở rộng tầng ứng dụng trong tương lai.

Trong bốn giải pháp Layer 2 lớn được công nhận, OP Stack hiện tại dường như có một lợi thế nhỏ hơn so với ZK Stack trong việc phát triển hệ sinh thái. Tương lai có thể sẽ thấy hiệu ứng Matthew rõ ràng hơn, khi sự bao gồm của OP Succinct có thể lấy đi một phần lưu lượng và tiềm năng từ ZK Stack. Nếu OP Succinct chứng minh thành công, nó có thể thậm chí đặt ra thách thức đối với Rollups dựa trên zkEVM truyền thống.

Tuy nhiên, từ logic vận hành đã được trình bày cho đến nay, một khía cạnh quan trọng nổi lên: làm thế nào các nhà phát triển có thể đảm bảo rằng các rủi ro toàn hệ thống, do các lỗ hổng không xác định khi sửa đổi chức năng chuyển trạng thái (STF) hoặc thêm các precompiles mới, được phát hiện kịp thời? Điều này là một lĩnh vực đòi hỏi sự chú ý lâu dài.

Tuyên bố từ chối trách nhiệm:

1. Bài viết này được in lại từ [YBB Capital]. Tất cả bản quyền thuộc về tác giả gốc [ Ac-Core]. Nếu có ý kiến ​​phản đối về việc tái in này, vui lòng liên hệ Gate Họcđội và họ sẽ xử lý nhanh chóng.
2. Miễn trừ trách nhiệm về trách nhiệm: Các quan điểm và ý kiến được thể hiện trong bài viết này chỉ thuộc về tác giả và không đại diện cho 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 đội ngũ Gate Learn. Trừ khi được đề cập, việc sao chép, phân phối hoặc đạo văn các bài viết dịch là không được phép.