Giải thích chi tiết về kiến trúc zkSync và những điểm giống và khác nhau của nó với OP-Stack

Tác giả: xpara, Four Pillars; dịch: Jinse Finance xiaozou

Những điểm chính:

Matterlabs, công ty phát triển zkSync, đã và đang nỗ lực phát triển zkEVM độc đáo của mình và tạo ra những sản phẩm tuyệt vời.

Hiện tại, Kỷ nguyên zkSync đang cho thấy sự tăng trưởng, bằng chứng là các số liệu ấn tượng và triển khai phát triển trên các dự án.

Chúng ta có thể hiểu kiến trúc zkSync thông qua ba lớp chính của zkSync: lớp thực thi, lớp giải quyết và lớp khả dụng của dữ liệu.

ZK-Stack (cơ sở mã cơ bản của zkSync) và OP-Stack có thể có triết lý tương tự. Tuy nhiên, có những khác biệt rõ ràng có thể được nhìn thấy từ quan điểm của các nhà phát triển dapp, nhà phát triển cốt lõi và nhà điều hành doanh nghiệp.

1**, lịch sử phát triển của zkSync******

1.1 Sơ lược về lịch sử zkSync

Sự phát triển của zkSync bắt đầu trong EthCC vào năm 2019. Vào thời điểm đó, đây vẫn là một nhóm nhỏ chuyên phát triển và triển khai Rollup cùng với zkSNARK. Họ đã đưa ra một bằng chứng về khái niệm vào tháng 1 năm 2019 bằng cách sử dụng zkSNARK để vận hành một sidechain trong Ethereum. Kể từ đó, họ đã biến phi tập trung thành một nguyên tắc cốt lõi. Họ tập trung vào việc lưu trữ tất cả dữ liệu giao dịch trong Ethereum và tạo ra một mô hình đa toán tử để xử lý mô hình phân quyền của bộ sắp xếp.

Vào tháng 6 năm 2020, nhóm đã đạt được tiến bộ đáng kể với việc ra mắt mạng chính zkSync v1. zkSync v1 là một cột mốc quan trọng trong quá trình phát triển zkSync, đại diện cho việc triển khai thực tế khái niệm ban đầu của nó trên quy mô lớn hơn. Một năm sau, vào tháng 6 năm 2021, họ đã tạo ra một bước đột phá hơn nữa và phát hành mạng thử nghiệm zkSync 2.0, còn được gọi là Era.

Đến tháng 3 năm 2023, mạng chính hoàn chỉnh của zkSync đã được phát hành thành công, đánh dấu một thành tựu lớn cho nhóm. Sự phát triển này cho thấy rằng nền tảng này đã đạt đến mức trưởng thành cao và sẵn sàng để áp dụng rộng rãi hơn. Đây là lần phát hành mainnet zkEVM đầu tiên được triển khai trong hệ sinh thái Ethereum Rollup.

Hiện tại, nhóm đang làm việc để tạo mã nguồn mở zkSync. Điều này sẽ cho phép triển khai riêng chuỗi tổng số zk từ bên trong ZK-Stack, cho phép các nhóm khởi chạy các bản tổng số tùy chỉnh của riêng họ. Thông tin chi tiết về sự phát triển thú vị này dự kiến sẽ sớm được công bố.

*** **** *' *** **

Matterlabs, nhóm phát triển đằng sau zkSync, đã gây quỹ đáng kể để thúc đẩy sứ mệnh của mình. Với vòng Series C gần đây nhất của họ vào tháng 11 năm 2022, tổng số tiền tài trợ của họ lên tới 458 triệu đô la, bao gồm nhiều vòng và quỹ dành riêng cho hệ sinh thái, chẳng hạn như quỹ hệ sinh thái chuyên dụng trị giá 200 triệu đô la, Series C trị giá 200 triệu đô la, Series B trị giá 50 triệu đô la dẫn đầu bởi a16z, và một vòng Series A và hạt giống trị giá 8 triệu đô la.

· Vòng hạt giống: Trong vòng hạt giống, Matterlabs đã nhận được 2 triệu đô la tài trợ từ PlaceholderVC, Hashed và các nhà đầu tư khác. Kích thích tài chính ban đầu này đã cung cấp nền tảng cần thiết cho công việc của họ để bắt đầu dự án zkSync.

Series A: Sau vòng hạt giống, Matterlabs đã huy động được thêm 6 triệu đô la tài trợ cho Series A. Dòng vốn mới này cung cấp động lực để thúc đẩy R&D của họ và đưa zkSync đến gần hơn với mục tiêu cuối cùng của nó.

Sê-ri B: Matterlabs đang đạt được đà phát triển khi họ đã huy động được 50 triệu đô la trong vòng Sê-ri B, chủ yếu do a16z dẫn đầu.

· Series C: Vòng tài trợ C của Matterlabs là 200 triệu USD.

Cuối cùng, ngoài các vòng đầu tư trên, Matterlabs đã ra mắt quỹ hệ sinh thái chuyên dụng trị giá 200 triệu USD. Quỹ này được dành riêng để thúc đẩy sự tăng trưởng và phát triển của hệ sinh thái zkSync rộng lớn hơn.

Tất cả các tài nguyên này cung cấp cho Matterlabs sự hỗ trợ tài chính cần thiết để thúc đẩy sứ mệnh của zkSync, đẩy nhanh tốc độ phát triển và thúc đẩy sự phát triển của hệ sinh thái rộng lớn hơn. Nói chung, Matterlabs có một số tiền tài trợ lớn trong các dự án blockchain quan trọng.

2**、Trạng thái hệ sinh thái zkSync hiện tại**

2.1 Tình trạng chung

Trong những năm qua, zkSync đã có những bước phát triển đáng kể. zkSync v1, bây giờ là zkSync Lite, đã đạt đến một mốc phát triển vào tháng 12 năm 2020, vượt qua 1 triệu USD về Tổng giá trị bị khóa (TVL). Kể từ đó, TVL của hệ sinh thái zkSync đã tăng theo cấp số nhân. Tính đến thời điểm hiện tại, TVL của zkSync đã vượt quá 650 triệu đô la, khiến nó trở thành L2 Rollup lớn thứ ba trong hệ sinh thái Ethereum.

Đến tháng 6 năm nay, zkSync đã có một số chỉ số quan trọng ấn tượng. Mặc dù zkSync kém hơn một chút so với Arbitrum vào tháng 6, nhưng nó đã xếp hạng đầu tiên trong TPS. Nó có tốc độ tăng TVL nhanh nhất và dẫn đầu về tổng số phí thanh toán trên Cấp 1.

Ngoài ra, số lượng ví duy nhất cũng đang tăng lên, cho thấy sự chấp nhận của người dùng ngày càng tăng. Đồng thời, số lượng ETH được kết nối với zkSync cũng đang tăng lên.

2.2 Các hạng mục chính

2.2.1 Bạc

Argent là ví di động không giam giữ dành cho tiền điện tử dựa trên Ethereum, cung cấp trải nghiệm an toàn và thân thiện với người dùng để quản lý tài sản kỹ thuật số.

Argent có thiết kế chế độ bảo mật độc đáo, ngay cả khi điện thoại di động của người dùng bị mất hoặc bị đánh cắp, nó cũng có thể bảo vệ tài sản của người dùng. Mô hình bảo mật bao gồm các tính năng như xác thực sinh trắc học, phục hồi xã hội và ví hợp đồng thông minh trên chuỗi. V God, người sáng lập Ethereum, cũng nói rằng Argent là một chiếc ví có chức năng phục hồi xã hội và bảo mật đa chữ ký.

2.2.2 Hoán đổi đồng bộ

SyncSwap là giao thức DeFi lớn nhất trong Kỷ nguyên zkSync. Đây là một DEX dựa trên AMM cung cấp nhiều tính năng quan trọng khác nhau trong thiết kế AMM. Nó cung cấp một nhóm AMM cho các mã thông báo khác nhau, các thuộc tính quan trọng như sau.

Stableswap: Đa nhóm cho phép SyncSwap tổng hợp nhiều mô hình nhóm khác nhau, mỗi mô hình có kịch bản tối ưu riêng, giúp giao dịch hiệu quả. Mô hình nhóm đầu tiên được triển khai sẽ là Nhóm ổn định. So với Nhóm cổ điển có mục đích chung, Nhóm ổn định hỗ trợ các giao dịch stablecoin hiệu quả, cho phép SyncSwap tham gia vào thị trường stablecoin quy mô lớn.

· Bộ định tuyến thông minh: Nó hoạt động như một nền tảng tổng hợp thanh khoản tổng hợp các nhóm thanh khoản khác nhau và các mô hình nhóm khác nhau để cung cấp mức giá tốt nhất một cách dễ dàng. Cung cấp multi-hop và chia tách đường dẫn.

Phí động: SyncSwap đã giới thiệu các khoản phí động trên DEX của mình, cho phép người dùng tùy chỉnh phí giao dịch dựa trên điều kiện thị trường và sở thích của cộng đồng. Bao gồm phí biến đổi, phí mục tiêu, chiết khấu phí và ủy thác phí. Những tính năng này cung cấp cho người dùng sự linh hoạt và khả năng thích ứng để tối ưu hóa các chiến lược giao dịch của họ và bắt kịp với các thị trường và cộng đồng luôn thay đổi.

2.2.3 Tevaera

Hệ sinh thái trò chơi của Tevaera mang đến sự pha trộn độc đáo giữa phiêu lưu và công nghệ cho thế giới trò chơi. Teva Games cung cấp các trò chơi thuộc nhiều thể loại khác nhau, lấy bối cảnh trong môi trường tự nhiên và được kết nối bởi cốt truyện trung tâm về các nhân vật Người giám hộ. Trò chơi nhiều người chơi đầu tiên sẽ ra mắt cùng với việc phát hành Tevaera 2.0, mang đến lối chơi thú vị bao gồm nâng cấp theo chủ đề tiền điện tử và nhiều chế độ trò chơi.

Cơ sở hạ tầng trò chơi trực tuyến bao gồm Teva Core, Teva Chain, Teva Dex và Teva Market giúp tăng cường hơn nữa hệ sinh thái.

· Teva Core là một khung trò chơi nhiều người chơi tiên tiến.

· Teva Chain là một siêu chuỗi trò chơi lớp thứ ba tạo điều kiện thuận lợi cho việc chuyển đổi sang trò chơi toàn chuỗi.

· Teva DEX đóng góp vào nền kinh tế trò chơi bền vững thông qua dex trò chơi tự động.

· Teva Market cho phép đúc và giao dịch các ký tự NFT độc đáo.

3**, Kiến trúc zkSync**

zkSync Era là một giao thức L2 được thiết kế để giải quyết vấn đề về khả năng mở rộng của Ethereum, sử dụng cấu trúc cuộn lên không có kiến thức (ZK). Được phát triển bởi Matter Labs, đây là một nền tảng zk-rollup tập trung vào nhu cầu của người dùng. Nền tảng này được thiết kế để tương thích rộng rãi với Máy ảo Ethereum (EVM) trong một máy ảo tùy chỉnh, được tối ưu hóa cho các bằng chứng không có kiến thức.

Hoạt động của zkSync rollup có thể được tóm tắt trong các giai đoạn sau:

(1) Ban đầu, các giao dịch hoặc hành động ưu tiên được tạo bởi người dùng.

(2) Sau đó, nhà điều hành đảm nhận trách nhiệm xử lý yêu cầu của người dùng. Sau khi xử lý thành công, người vận hành tạo một thao tác tổng số và đưa nó vào khối.

(3) Sau khi hoàn thành khối, nhà điều hành sẽ gửi nó tới hợp đồng thông minh zkSync dưới dạng gửi khối. Điều đáng chú ý là hợp đồng thông minh xác minh một phần logic mà các bản tổng hợp nhất định chạy.

(4) Cuối cùng, bằng chứng về khối được cung cấp cho hợp đồng thông minh zkSync và bước này là xác minh khối. Nếu hợp đồng trình xác thực coi việc xác thực thành công, nó sẽ xác thực trạng thái mới là trạng thái cuối cùng. Đây là vòng đời hoạt động của zkSync rollup.

Phần này sẽ đi sâu vào cách zkSync hoạt động, tập trung vào ba lớp cơ bản:

(1) Lớp thực thi: Lớp thực thi đề cập đến quá trình dẫn đến thay đổi hoặc chuyển đổi trạng thái của chuỗi khối. Nói một cách đơn giản, đó là nơi các giao dịch được nhận và áp dụng cho trạng thái trước đó.

(2) Lớp giải quyết: Lớp giải quyết sử dụng hệ thống bằng chứng để đảm bảo rằng những thay đổi được thực hiện trong giai đoạn thực thi phản ánh chính xác trạng thái chung của hệ thống.

(3) Tầng sẵn sàng của dữ liệu: Tầng sẵn sàng của dữ liệu là phần lưu giữ hồ sơ của hệ thống. Đó là nơi lưu trữ tất cả dữ liệu giao dịch (đầu vào), cập nhật hệ thống (đầu ra) và bằng chứng. Mục đích là để đảm bảo rằng trạng thái hiện tại của hệ thống luôn có thể được tạo lại từ đầu khi cần thiết.

3.1 Lớp thực thi

3.1.1 Lớp thực thi cấp máy ảo

Nó chạy trên zkEVM type4, có nghĩa là nó lấy mã hợp đồng thông minh được viết bằng ngôn ngữ cấp cao (ví dụ: Solidity, Vyper) rồi biên dịch nó thành ngôn ngữ thân thiện với zk-SNARK.

Ngoài ra, một tính năng độc đáo của Kỷ nguyên zkSync là nó sử dụng trình biên dịch dựa trên LLVM mà cuối cùng sẽ cho phép các nhà phát triển viết hợp đồng thông minh bằng C++, Rust và các ngôn ngữ phổ biến khác.

Khung LLVM là trình biên dịch để xây dựng chuỗi công cụ ngôn ngữ hợp đồng thông minh. Biểu diễn trung gian cấp cao (IR) của nó cho phép các nhà phát triển thiết kế, triển khai và cải thiện các tính năng dành riêng cho ngôn ngữ hiệu quả đồng thời tận dụng lợi thế của hệ sinh thái LLVM rộng lớn.

Trong chuỗi công cụ đã thiết lập, LLVM xử lý LLVM IR, giới thiệu các tối ưu hóa đầy đủ và cuối cùng chuyển IR được tối ưu hóa tới trình tạo mã phụ trợ zkEVM.

3.1.2 Tổng quan về lớp thực thi

Trong zkSync, Core App (ứng dụng lõi) đóng vai trò chính trong việc quản lý lớp thực thi.

Trách nhiệm chính của nó là theo dõi tiền gửi hoặc hoạt động ưu tiên của hợp đồng thông minh L1. Cơ chế này rất quan trọng để đảm bảo sự tích hợp liền mạch của zkSync với mạng Ethereum, vì tất cả các thay đổi bắt đầu từ mạng Ethereum cần được theo dõi và phản ánh trong môi trường zkSync Lớp 2 (L2).

Ứng dụng Core cũng chịu trách nhiệm quản lý nhóm bộ nhớ (mempool) thu thập các giao dịch đến. Tập hợp các giao dịch này sau đó nằm trong hàng đợi để được xử lý, hoạt động hiệu quả như một khu vực chờ trước khi các giao dịch được xác nhận và thêm vào một khối.

Các trách nhiệm của Ứng dụng lõi cũng bao gồm tìm nạp các giao dịch từ mempool, thực thi chúng trong một máy ảo (VM) và điều chỉnh trạng thái khi cần. Về cơ bản, quy trình bao gồm thu thập các giao dịch, xử lý chúng và phản ánh kết quả trong hệ thống.

Sau khi thực hiện giao dịch, Ứng dụng cốt lõi sẽ tạo một khối chuỗi. Các khối này bao gồm các gói giao dịch được thực hiện và xác minh. Sau đó, Ứng dụng cốt lõi sẽ gửi các khối và bằng chứng này cho hợp đồng thông minh L1. Quá trình này đảm bảo rằng trạng thái của chuỗi L1 Ethereum được giữ đồng bộ với chuỗi L2 zkSync.

Để hỗ trợ tương tác liền mạch giữa các ứng dụng dựa trên Ethereum, nó cung cấp API web3 tương thích với Ethereum. Điều này làm cho zkSync trở nên dễ tiếp cận và thân thiện hơn đối với các nhà phát triển và người dùng có kỹ năng trong hệ sinh thái Ethereum.

3.2 Lớp lún

Lớp dàn xếp chịu trách nhiệm đảm bảo tính toàn vẹn của quá trình chuyển đổi trạng thái zkSync. Quá trình xác minh này được thực hiện trong một hợp đồng thông minh được triển khai trên Ethereum. Có hai hợp đồng quan trọng trong quá trình này.

(1) Hợp đồng thực thi: Hợp đồng này lấy dữ liệu khối từ trình xác thực và bằng chứng zk về chuyển đổi trạng thái trong zkSync.

(2) Hợp đồng xác minh: Đây là hợp đồng logic cho phép hệ thống xác minh dữ liệu khối và bằng chứng zk được cung cấp bởi hợp đồng thực thi.

3.2.1 Hợp đồng thực hiện

Chức năng ProveBlocks đóng vai trò trung tâm trong việc đảm bảo tính toàn vẹn và bảo mật của hệ thống zkSync. Trách nhiệm công việc chính của nó là xác minh bằng chứng zk-SNARK về các khối đã gửi. Dưới đây là một mô tả ngắn gọn về cách thức hoạt động của nó:

Đầu tiên,ProvenBlocks đảm bảo rằng các khối đang được xác minh theo đúng thứ tự. Nó thực hiện điều này bằng cách kiểm tra xem khối trước đó đã nhận được có phải là khối tiếp theo trong chuỗi chuỗi khối cần được xác minh hay không.

· Tiếp theo, chức năng bắt đầu lặp qua từng khối đã gửi. Nó kiểm tra xem giá trị băm của các khối này có khớp với giá trị dự kiến tại một vị trí cụ thể trong chuỗi khối hay không. Điều này đảm bảo rằng khối đang được xác minh thực sự là khối chính xác.

Sau đó, hàm bắt đầu xây dựng mảng proofPublicInput, mảng này trở thành giá trị đầu vào công khai cho quy trình xác minh bằng chứng zk-SNARK. Số khối cho mỗi khối đã cam kết được chứa trong mảng này.

Sau đó, sử dụng mảng proofPublicInput và một số tham số được lưu trữ, hàm sẽ kiểm tra bằng chứng zk-SNARK. Nó tương tự như việc giải một câu đố, tất cả các mảnh phải khớp với nhau một cách hoàn hảo.

· Nếu bằng chứng được xác minh, chức năng sẽ cập nhật hệ thống để phản ánh rằng các khối hiện đã được xác minh. Nó giống như đánh dấu vào một mục trong danh sách kiểm tra.

Cuối cùng, đối với mỗi khối được xác minh, chức năng sẽ kích hoạt một sự kiện đặc biệt có tên là Xác minh khối. Nó giống như gửi thông báo rằng số khối, hàm băm và cam kết đã được xác minh.

Tóm lại, chức năngProverBlocks hoạt động giống như một người gác cổng thận trọng, đảm bảo các khối được xác minh theo đúng thứ tự, đảm bảo bằng chứng zk-SNARK là chính xác và cập nhật trạng thái hệ thống tương ứng. Mục tiêu của nó là ngăn chặn việc thực thi các khối không hợp lệ, đảm bảo tính bảo mật và tính toàn vẹn tổng thể của hệ thống zkSync.

3.2.2****Hợp đồng xác minh

Hợp đồng xác minh là nơi thực hiện logic xác minh trên. Nó hoạt động như một người bảo vệ zkSync bằng cách kiểm tra bằng chứng zk-SNARK để xác minh dữ liệu đã gửi. Hợp đồng trình xác thực được sử dụng để xác minh xem dữ liệu được gửi tới zkSync có hợp lệ hay không.

Hợp đồng xác minh lưu trữ "khóa xác minh", được sử dụng để xác minh bằng chứng zk-SNARK. Bất cứ khi nào zkSync muốn thực hiện một bản cập nhật, nó sẽ tạo bằng chứng zk-SNARK và gửi nó tới hợp đồng xác thực thông qua hợp đồng thực thi.

Sau đó, hợp đồng trình xác thực sẽ sử dụng khóa xác thực để kiểm tra xem bằng chứng có hợp lệ không. Nếu nó hoạt động, bạn biết bản cập nhật là hợp pháp mà không cần xem dữ liệu thực tế. Nếu không hợp lệ, bản cập nhật sẽ bị từ chối.

Bằng cách xác minh những bằng chứng này, hợp đồng xác thực đảm bảo rằng chỉ những dữ liệu chính xác và hợp lệ mới được nhận vào zkSync. Điều này rất quan trọng đối với bảo mật và ngăn chặn các cập nhật trạng thái không hợp lệ.

3.3 Lớp khả dụng của dữ liệu

Lớp dữ liệu sẵn sàng của hệ thống đóng vai trò như một kho lưu trữ, lưu trữ tất cả thông tin giao dịch (đầu vào), thay đổi hệ thống (đầu ra) và bằng chứng. zkSync sử dụng giao diện hợp đồng thông minh để đặt chính sách về tính khả dụng của dữ liệu (DA). zkSync có kế hoạch cung cấp nhiều tùy chọn về tính khả dụng của dữ liệu để giảm chi phí và bảo vệ quyền riêng tư.

3.3.1 zkPorter

zkSync đã ra mắt giải pháp cung cấp dữ liệu ngoại tuyến có tên là "zkPorter". Công cụ này được thiết kế để tích hợp với hệ thống rollup của zkSync, tạo điều kiện tương tác giữa các rollup và tài khoản zkPorter. Để đảm bảo tính bảo mật của dữ liệu trong zkPorter, "người giám hộ" - những cá nhân đóng góp mã thông báo zkSync và xác minh tính khả dụng của dữ liệu bằng cách ký các khối - được bật.

zkPorter hoạt động như một giao thức đồng thuận nội bộ, tạo điều kiện thuận lợi cho thông lượng giao dịch lớn. Để so sánh, chế độ ZK Rollup tiêu chuẩn trong zkSync 2.0 có khả năng xử lý khoảng 1.000 đến 5.000 giao dịch mỗi giây (TPS). zkPorter có thể quản lý 20.000 đến 100.000 TPS, tùy thuộc vào mức độ phức tạp của giao dịch.

Một sự đánh đổi khi sử dụng zkPorter là người dùng phải tin tưởng vào cơ chế đồng thuận nội bộ của zkSync. Điều này dẫn đến một giải pháp tổng số ít phi tập trung hơn. Sự cân nhắc của người dùng là lựa chọn giữa zkPorter (chi phí thấp hơn nhưng kém an toàn hơn) hoặc chế độ ZK-rollup (an toàn nhất).

Ngoài ra, zkSync 2.0 tạo điều kiện thuận lợi cho khả năng tương tác, cho phép hoán đổi liền mạch giữa các tài khoản ZK-rollup và zkPorter. Sự khác biệt cơ bản giữa zkPorter và Starkware Volition là việc xác định tính khả dụng của dữ liệu: trong zkPorter, quyết định này được đưa ra trên cơ sở tài khoản, trong khi ở Volition, quyết định này được đưa ra trên cơ sở giao dịch cá nhân trong một tài khoản được thực hiện trên đó.

4**、Ngăn xếp ZK và ngăn xếp OP**

Gần đây, Matter Labs đã công bố bản phát hành sắp tới của ZK-Stack. ZK-Stack sẽ cung cấp một phần mềm tương tự như OP-Stack để tùy chỉnh và vận hành tổng số.

Các tính năng chung của OP-Stack và ZK-Stack như sau:

Nguồn mở và miễn phí: Cả hai đều được phát triển theo giấy phép nguồn mở, đảm bảo quyền truy cập miễn phí. Họ khuyến khích các nhà phát triển đóng góp bằng cách xây dựng trên phần mềm.

Khả năng tương tác: Khái niệm siêu chuỗi Hyperchain của ZK Stack có thể được kết nối dễ dàng trong một mạng không tin cậy với độ trễ thấp và tính thanh khoản được chia sẻ. Ngoài ra, OP-Stack hình dung ra một khái niệm Superchain để kết nối tất cả các chuỗi dựa trên OP-Stack.

· Phân cấp: Để đạt được một mạng lưới và cộng đồng phi tập trung hơn, cả OP-Stack và ZK-Stack đã đề xuất rõ ràng một kế hoạch phân cấp trong lộ trình gần đây. Động thái này không chỉ làm tăng khả năng phục hồi của mạng mà còn đảm bảo phân phối quyền lực và kiểm soát công bằng hơn.

Mặc dù có những điểm tương đồng từ góc độ khái niệm, nhưng có những khác biệt từ góc độ kỹ thuật và kinh doanh. Phần này sẽ đi sâu vào sự khác biệt giữa các quan điểm sau đây.

(1) Nhà phát triển Dapp

(2) Nhà phát triển cốt lõi

(3) Kinh doanh

4.1****Quan điểm của nhà phát triển Dapp

4.1.1 Tương đương EVM

Triển khai EVM của OP-Stack: EVM của OP-Stack được triển khai bằng cách thực hiện các thay đổi nhỏ đối với geth của Ethereum, làm cho hệ thống gần như tương thích hoàn toàn với EVM. Mặt khác, ZK-Stack kết hợp một số thay đổi trong opcode EVM và một số opcode chưa được hỗ trợ. Bất chấp những thay đổi này, tác động là rất nhỏ và các dự án đã được kiểm tra và xác nhận nghiêm ngặt trong thế giới thực.

Tuy nhiên, đã có sự cố do ZK-Stack không tương đương với EVM. Một ví dụ đáng chú ý là 921 ETH bị mắc kẹt trong hợp đồng thông minh vì hợp đồng sử dụng chức năng chuyển khoản. Vấn đề này đã được giải quyết hiệu quả.

4.1.2 Tóm tắt tài khoản gốc

Không giống như ERC-4337, kiến trúc của ZK-Stack bao gồm chức năng trừu tượng hóa tài khoản gốc (AA). Trong một hệ thống như ERC-4337, cần có một mempool UserOps riêng để cho phép trừu tượng hóa tài khoản trong mạng.

4.1.3 Hỗ trợ quyền riêng tư

Bằng cách sử dụng hợp lệ, việc lưu trữ dữ liệu trong cơ sở dữ liệu bí mật khác đảm bảo quyền riêng tư với tiền đề là người vận hành giữ bí mật dữ liệu khối. Tính năng này đặc biệt có lợi cho người dùng doanh nghiệp.

4.2 Quan điểm của nhà phát triển cốt lõi

4.2.1 Vận hành cơ sở hạ tầng: OP-Stack trực quan hơn

Hoạt động: Cả zkSync và OP-Stack đều sử dụng Sequencer để điều phối các giao dịch và lưu trữ dữ liệu trong Ethereum. Tuy nhiên, zkSync yêu cầu một bộ chứng thực để hoạt động. Ứng dụng chứng minh này xử lý các khối do máy chủ tạo và siêu dữ liệu được liên kết để xây dựng bằng chứng về tính hợp lệ mà không cần kiến thức. Ngược lại, OP-Stack không yêu cầu một cơ sở hạ tầng phức tạp riêng biệt để tham gia vào trò chơi thử thách bằng chứng.

4.2.2 Các lựa chọn thay thế VM: ZK-Stack có nhiều tiềm năng hơn để cung cấp các tùy chọn khác nhau

zkSync chạy với trình biên dịch LLVM, dịch sang mã byte zkEVM, cho thấy khả năng tạo môi trường thực thi bằng các ngôn ngữ khác, chẳng hạn như C++.

4.2.3 Tính khả dụng của dữ liệu: ZK-Stack cung cấp nhiều tùy chọn

Lớp dữ liệu sẵn có của OP-Stack chủ yếu dựa vào Ethereum, nơi lưu trữ tất cả thông tin giao dịch và gốc trạng thái đầu ra. Điều này dẫn đến chi phí vận hành chuỗi OP-Stack cao. Tuy nhiên, đã có những nỗ lực bù đắp chi phí này bằng cách lưu trữ dữ liệu giao dịch trong Celestia DA.

ZK-Stack đang nghiên cứu và phát triển rất nhiều giải pháp thay thế cho các giải pháp cung cấp dữ liệu như zkPorter. Cách tiếp cận này cho phép người dùng xác định tính khả dụng của dữ liệu của riêng họ dựa trên sở thích của họ về bảo mật cao hơn hoặc chi phí thấp hơn. Ngoài ra, các doanh nghiệp muốn duy trì quyền riêng tư của dữ liệu có thể sử dụng các giải pháp như Validium hỗ trợ lưu trữ dữ liệu không bị xâm phạm.

4.3 Quan điểm kinh doanh: Chi phí và lợi ích

Ngày nay, khởi chạy các bản tổng hợp độc lập là một lựa chọn khả thi, đặc biệt là khi phần mềm nguồn mở như ZK-Stack và OP-Stack đang được phát triển và duy trì công khai. Ngoài ra, các nền tảng Rollup-as-a-Service (RaaS) như Caldera và Conduit đơn giản hóa rất nhiều quy trình.

Ngoài quan điểm của nhà phát triển, điều quan trọng là phải đánh giá thực tế chi phí và lợi ích tiềm năng liên quan đến hoạt động tổng số. Tuy nhiên, việc dự báo những số tiền này có thể phức tạp do một số biến số.

Do các cải tiến lớn đối với cơ sở mã đang được thực hiện thường xuyên, như đã thấy trong bản nâng cấp Bedrock gần đây của Optimism, chi phí liên quan đến việc chạy các bản tổng hợp đang giảm nhanh chóng. Động lực này làm cho việc ước tính chính xác chi phí và lợi ích trở nên khó khăn. Ngoài ra, các chi phí cụ thể liên quan đến máy chủ và cơ sở hạ tầng không được biết đến rộng rãi vì một thực thể duy nhất thường quản lý toàn bộ tổng số. Cuối cùng, sự biến động về giá của mã thông báo cơ bản (như ETH của zkSync và Optimism) tạo thêm một lớp không chắc chắn khác, vì chi phí có thể dao động dựa trên tâm lý thị trường.

Một số chi phí và lợi ích chính như sau:

4.3.1 Chi phí

· Chi phí phát hành L1: chi phí lưu trữ giao dịch, gốc trạng thái và dữ liệu bằng chứng. Thông thường, một bản tổng hợp lạc quan sẽ tốn kém hơn khi phát hành vì nó yêu cầu lưu trữ dữ liệu giao dịch thô để xác thực. Một số tổng số xuất bản sự khác biệt về trạng thái thay vì dữ liệu trạng thái đầy đủ để tránh thêm chi phí.

· Chi phí vận hành máy phân loại L2.

Chi phí bằng chứng: đối với zk, đó là chi phí tạo và xác minh bằng chứng; đối với bằng chứng gian lận, đó là chi phí thử thách bằng chứng.

4.3.2 Lợi ích

· Phí giao dịch L2

Có thể là MEV, nhưng để tránh các vấn đề tập trung, hầu hết các bộ sắp xếp L2 đã biết không trích xuất MEV.

5. Kết luận

Matterlabs đang nghiên cứu phát triển zkEVM và đã đạt được những tiến bộ đáng kể về nó. Mặc dù không hoàn toàn tương thích với EVM (Type4 EVM), việc khai thác LLVM dường như có tiềm năng rất lớn. Giai đoạn tiếp theo trong kế hoạch của Matterlabs là phát hành ZK-Stack, một cơ sở mã cho phép các nhà phát triển tận dụng cơ sở mã vững chắc của nó để tạo các bản tổng hợp của riêng họ. Công cụ này hứa hẹn những lợi thế rõ ràng so với OP-Stack, đặc biệt là về bảo vệ quyền riêng tư và khả năng mở rộng.

Tuy nhiên, cả hai dự án vẫn đang ở giai đoạn đầu và còn rất nhiều việc cần phải làm. Việc đánh giá kỹ lưỡng về cấu trúc chi phí và lợi ích liên quan đến việc triển khai là rất quan trọng. Ngoài ra, một thách thức quan trọng nằm ở việc xây dựng hệ sinh thái nhà phát triển xung quanh hai cơ sở mã này. Phân tích chi tiết và lập kế hoạch chiến lược là điều cần thiết để đảm bảo sự phát triển bền vững của nền tảng và các công nghệ liên quan của nó.

Tôi hy vọng cả hai dự án đều phát triển mạnh và việc xây dựng nguồn mở cũng như các lộ trình được chia sẻ sẽ trở thành tiêu chuẩn trong không gian web3.