Con đường thăng tiến của OP Stack: OP Succinct mở ra tiềm năng của ZK Rollup

Tiêu đề gốc: "Con đường thăng tiến của OP Stack: OP Succinct mở ra tiềm năng của ZK Rollup"

Tác giả gốc: Ac-Core, Nhà nghiên cứu vốn của YBB

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 Ngăn xếp Để 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 việc mở rộng trong tương lai của Ethereum là chuyển đổi mỗi Rollup All được chuyển đổi thành ZK Rollup, mục đích của OP Succinct là kết hợp Rust và SP1 để triển khai việc triển khai zkEVM Loại 1 của OP Stack (tương đương hoàn toàn với Ethereum);

●    OP Người đề xuất ngắn gọn chủ yếu hoàn thành việc tạo bằng chứng song song và tổng hợp và xác minh bằng chứng;

●  OP Ngăn xếp hiện có Hệ thống 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. mở rộng thời gian chống gian lận;

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

1. Đánh giá gần đây: tình hình hiện tại của OP Mainnet và OP Stack và OP Labs

Nguồn hình ảnh: Blockscout

1.1 Điểm nổi bật trong quá trình phát triển gần đây của OP Mainnet

Theo tin tức 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ản bằng chứng lỗi trên OP Mainnet vào ngày 11 tháng 6 , 2024. Điều này thúc đẩy quá trình phân quyền lên giai đoạn đầu tiên, cho phép rút mã thông báo ETH và ERC-20 khỏi OP Mainnet, cho phép người dùng thách thức và xóa các giao dịch rút tiền không hợp lệ (bao gồm Base, Metal, Mode và Zora).

Để đảm bảo tính bảo mật 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 để 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 cũng như ngăn chặn hành vi xấu.

●    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;

●    Thời gian thử thách: Trong khoảng thời gian thử thách nhất định, bất kỳ ai cũng có thể đưa ra phản đối đối với 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ể gửi khiếu nại. 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 khoảng 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à nhà phát triển của nhóm hoặc tổ chức giải pháp Optimism A và OP Stack là một khung kỹ thuật để xây dựng và mở rộng mạng lớp thứ hai Ethereum. 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ọ.

●    OP Labs:

OP Labs là một phần của Dự án Optimism Người đóng góp cốt lõi, chịu trách nhiệm phát triển và duy trì 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ưới 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 hợp tác với Succinct Labs.

●    OP Stack:

OP Stack là một ngăn xếp công nghệ hoặc kiến trúc mô-đun dành cho xây dựng và nhân 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. 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 Ethereum. Mạng cấp hai của Square.

Trước khi hiểu OP Succinct, bạn cần hiểu thêm về bốn thành phần chính của mỗi ngăn xếp OP: 1. - geth: Nhận các 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 các khối; 2.
op-batcher: Sắp xếp các giao dịch của người dùng và gửi chúng đến L1; op-node: Đọc từ L1 Lấy dữ liệu hàng loạt và điều khiển op-geth ở chế độ không tuần tự để chuyển đổi trạng thái 4.
op-proposer: Xuất bản định kỳ các gốc đầu ra lên L1 để nắm bắt trạng thái L2 nhằm tạo điều kiện thuận lợi cho việc xử lý rút tiền.

2. Succinct Labs và OP Labs hợp tác để đưa các phần tử ZK vào OP Stack

Nguồn ảnh: Blog ngắn gọn

2.1OP Bố cục kiến trúc ngắn gọn

Dựa trên “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 bởi 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 thành phần sau:

●    Range Program: Đâ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ế để sử dụng trong zkVM <. /p>

●    Chương trình tổng hợp.: Bằng chứng về chương trình phạm vi tổng hợp nhằm 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 mảng chứa đầu ra trạng thái L2 Hợp đồng thông minh Solidity, trong đó mỗi đầu ra là một cam kết 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 đăng 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 có chuyên môn sâu về mật mã. Nhóm OP Labs đã cân nhắc việc hỗ trợ nhiều cơ chế xác thực khác nhau khi xây dựng OP Stack mô-đun. mã nguồn mở đã phát triển Kona (xem liên kết mở rộng 1) để 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 thông qua Rust, và cuối cùng đã tạo OP với sự trợ giúp của các chương trình Kona và SP1 Stack's zero- bằng chứng kiến thức (ZKP) có nghĩa là về mặt lý thuyết, tất cả các chuỗi của OP Stack có thể được nâng cấp và sử dụng ZKP.

Mục tiêu của SP1 (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 bản tổng hợp zkEVM Loại 1 bằng cách sử dụng mã Rust tiêu chuẩn và vượt qua OP Succinct Nâng cấp liền mạch bất kỳ chuỗi OP Stack hiện tại thành bản tổng hợp zkEVM Loại 1 chỉ trong
1 giờ và mang lại hiệu suất cao mà ứng dụng của bạn yêu cầu. Bằng cách này, bạn có thể đạt được những lợi ích sau:

●   thời gian thử thách bằng chứng gian lận trong 7 ngày;

●    Giảm chi phí và cải thiện hiệu quả: chi phí trung bình của mỗi giao dịch chỉ còn 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ý/phân loại hàng loạt, op-node, trình lập chỉ mục, v.v.);

●    ZkEVM loại 1: Tất cả đều tương thích với OP Stack Rollup Cả công cụ và hợp đồng thông minh 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, Biên dịch trước mới và sửa đổi logic Rollup.

Theo GitHub chính thức, quy trình này chỉ yêu cầu cài đặt Rust, Foundry và Docker, có thể nâng cấp mọi bản cuộn OP Stack hiện có lên Type- 1 zkEVM và quy trình được đơn giản hóa chỉ còn hai bước: 1. Triển khai hợp đồng ZK L2OutputOracle.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 ZK proof, nguồn: Succinct Blog

2.3 Sử dụng SP1 Reth để xây dựng zkEVM Loại 1

Succinct tin rằng tương lai của EVM Rollup là Để sử dụng Rust Một zkEVM có thể bảo trì được viết bằng ngôn ngữ, OP Rollup hiện phải đối mặt với ba vấn đề chính: thời gian chống gian lận kéo dài 7 ngày quá dài, khả năng tương tác phức tạp và cơ chế dựa trên nhiều bộ dữ liệu thay vì bằng chứng gian lận trong một số trường hợp. Ngoài ra, việc tạo zkEVM là một quá trình lâu dài, vì vậy SP1 được phát triển để giải quyết những vấn đề này.

SP1 là một zkVM được tùy chỉnh hoàn toàn bằng mã nguồn mở và 100% nguồn mở 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ữ biên dịch LVM) nào, theo đối với dữ liệu công khai, OP Succinct Stack đã chạy thành công trên các chuỗi OP Mainnet, OP Sepolia và Base 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). Và hy vọng rằng trong tương lai, tất cả cơ sở hạ tầng blockchain (bao gồm Rollups, cầu nối, bộ đồng xử lý, v.v.) sẽ được viết bằng Rust (hoặc các ngôn ngữ do LLVM biên dịch khác) và sử dụng ZKP.

Theo 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 SP1 và các zkVM khác chủ yếu là do một số yếu tố chính:

1. Kiến trúc tập trung vào tiền biên dịch: SP1 hỗ trợ hệ thống tiền biên dịch linh hoạt có thể tăng tốc đáng kể các hoạt động khác nhau (chẳng hạn như xác minh chữ ký secp256k1 và ed25519, hàm băm sha256 và keccak256 ha ), giảm số lượng chu kỳ RISC-V cho nhiều chương trình xuống 5-10. 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, đồng thời duy trì tính linh hoạt của zkVM và trải nghiệm tốt cho nhà phát triển;

2. Nguồn mở hoàn toàn:SP1 là 100. % nguồn mở, 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 trình và tăng tốc thời gian tạo bằng chứng;

3 Tiêu chuẩn ngành:Tự động kể từ đó. Khi được giới thiệu, khái niệm biên dịch trước trong zkVM đã trở thành một tiêu chuẩn công nghiệp, được tích hợp vào các dự án như RISC0, Valida, Nexus và Jolt. SP1 là zkVM sẵn sàng sản xuất duy nhất có hỗ trợ rộng rãi cho việc biên dịch trước các hoạt động mã hóa quan trọng;

4 Đọc và ghi bộ nhớ hiệu quả:SP1 sử dụng bộ nhớ cải tiến. phương pháp chứng minh, Sử dụng một thử thách duy nhất để đạt được bộ nhớ nhất quán cho nhiều bằng chứng, tránh chi phí do bộ nhớ Merkleized gây ra;

5. Tối ưu hóa hiệu quả cơ bản: Áp dụng đòn đánh thấp hơn-. up các yếu tố và tham số tìm kiếm thế hệ mới (chẳng hạn như LogUp dựa trên đạo hàm logarit), cũng như biến thể FRI trong Plonky3, cải thiện hiệu quả sử dụng vùng theo dõi.

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: @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, giả sử OP Succinct có thể thành công thì đó sẽ được coi là 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 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 Lớp 2 được công nhận, OP Stack nhỉnh hơn ZK Stack một chút 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. Việc bổ sung OP Succinct cũng đã thu hút lưu lượng truy cập và tiềm năng của ZK Stack ở một mức độ nhất định. Nếu OP Succinct có thể được hiện thực hóa trong tương lai, nó cũng có thể có tác động nhất định đến quá trình triển khai zkEVM truyền thống.

Nhưng theo những gì được tuyên bố công khai ở giai đoạn này, không khó để tìm ra logic vận hành của OP Succinct cách đảm bảo rằng các nhà phát triển sửa đổi các chức năng STF hoặc bổ sung những cái mới. 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 các chức năng biên dịch trước đòi hỏi sự quan tâm lâu dài của chúng tô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

(3)https://blog.succinct.xyz/sp1-reth/

(4) https://blog.succinct.xyz/introducing-sp1/

Bài viết này là từ một bài gửi và không đại diện cho quan điểm của BlockBeats.