TL;DR

●Các chức năng chính được cung cấp bởi OP Succinct đang 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 kết thúc của quá trình mở rộng trong tương lai của Ethereum đang chuyển đổi mỗi bản tổng hợp thành một bản tổng hợp ZK, 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 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 vào "7 ngày ngăn chặn gian lận " cửa sổ", 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 gia hạn 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: Blockscout

blockquote>

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 Mạng thử nghiệm OP Sepoila đã đưa ra "bằng chứng thất bại" và chính thức công bố bằng chứng về sự thất bại trên OP Mainnet vào ngày 11 tháng 6 năm 2024, từ đó thúc đẩy quá trình phân cấp lên giai đoạn đầu tiên, cho phép rút ETH và ERC-20 khỏi OP Mainnet Token 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 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 và 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 ;< /p>

●    Giai đoạn 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 đó thấy rằng 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 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 nhóm hoặc tổ chức giải pháp Optimism 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 đang 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 mô-đun An ngăn xếp kiến ​​trúc hoặc công nghệ để 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. 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 phối hợp với nhau để đưa các phần tử ZK vào OP Stack

< img src ="https://img.jinse.cn/7302257_watermarknone.png" alt="" data-href="">

Nguồn: Blog ngắn gọn

2.1OP Bố cục kiến ​​trúc cô đọng

Kết hợp với nội dung cuối chương 1.2 trên "Bốn yếu tố của OP Stack" "Một thành phần chính", 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 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ế để thực thi trong zkVM;

●    Chương trình tổng hợp.: Chương trình phạm vi tổng hợp Bằng chứng để giảm bớt -chi phí xác minh 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. .: 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 đă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 thấp đến vài xu;

p>

●      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) Bằng chứng có thể được tạo thông qua lệnh gọi API (bao gồm bộ xử lý/phân loại hàng loạt, nút op, người lập 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, 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 bằng chứng ZK, nguồn: Blog ngắn gọn

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

Succinct tin rằng EVM Rollup sẽ là một zkEVM có thể bảo trì được viết bằng ngôn ngữ Rust trong tương lai. Hiện tại, OP Rollup chủ yếu gặp phải ba vấn đề: quá dài 7 ngày. cửa sổ chống gian lận, khả năng tương tác phức tạp và các cơ chế trong một số trường hợp dựa vào nhiều bộ dữ liệu thay vì bằng chứng gian lận. 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 lấy tiền biên dịch làm trung tâm: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, sha256 và hàm băm keccak256), giảm thời gian chu kỳ RISC-V xuống hệ số 5-10 cho nhiều chương trình. 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 của zkVM và trải nghiệm tốt cho nhà phát triển;

2. /strong>SP1 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 trình và tăng tốc thời gian tạo bằng chứng;

3. 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 và đượ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 Áp dụng phương pháp chứng minh 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 bằng chứng, tránh chi phí chung do bộ nhớ Merkleized gây ra;

5. Tối ưu hóa hiệu quả cơ bản:Việc áp dụng các 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 Plonky3, cải thiện hiệu quả sử dụng của khu vực theo dõi.

Nguồn ả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ể trở thành OP không? Con át chủ bài của Stack chống lại ZK Stack?

Tác giả nguồn hình ảnh: @jtguibas

Nếu kế hoạch mở rộng của Ethereum xem xét OP trong ngắn hạn và ZK trong về lâu dài, thì Chúng tôi cho rằng nếu 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 tốt 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 và Hiệu ứng Matthew có thể còn hơn thế nữa được nâng cao trong tương lai Có vẻ như với việc bổ sung OP Succinct, lưu lượng truy cập và tiềm năng của ZK Stack đã bị giảm đi ở 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 truyền thống. tổng hợp zkEVM.

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.