zkSync vs StarkWare – Sự khác biệt giữa hai ZK rollups hàng đầu là gì?

Cùng so sánh zkSync và StarkNet – hai ZK-rollups nổi bật mở rộng mạng Ethereum ngay bây giờ nhé!

Tiểu sử

zkSync và StarkNet là hai trong số các giải pháp Layer 2 lớn nhất sử dụng công nghệ ZK-rollups để mở rộng mạng Ethereum. Sau khi kết thúc bài viết này, bạn sẽ hiểu cách thức hoạt động của ZK-rollups và tìm hiểu những điểm khác biệt chính trong cách zkSync và StarkNet áp dụng công nghệ này. Ngoài ra, bạn sẽ có cái nhìn tổng quan về hệ sinh thái của zkSync và StarkNet cũng như lộ trình phát triển tương ứng của chúng.

Zero-Knowledge rollups

Trước khi chúng ta đề cập đến ZK-rollups, hãy cùng tìm hiểu Zero-knowledge Proofs (ZKP) là gì? Và chúng được sử dụng như thế nào trong việc tổng hợp? Trong mật mã, giao thức hoặc ZKP là một phương pháp mà một bên (the prover) có thể chứng minh với bên khác (the verifier) rằng một tuyên bố nhất định là đúng trong khi tránh tiết lộ thông tin bổ sung ngoài thực tế là tuyên bố đó là đúng.

Trong trường hợp ZK-rollups, một nút trình tự sắp xếp hàng trăm giao dịch chuỗi được tổng hợp, tạo bằng chứng SNARK hoặc STARK và sau đó đăng các giao dịch này lên Layer 1. Những bằng chứng này, được gọi là bằng chứng hợp lệ, xác thực bằng mật mã các giao dịch trước khi trạng thái của chúng được đăng lên Ethereum Mainnet.

Optimistic so với ZK-rollups

ZKP cho phép ZK-rollups có độ trễ rút tiền không đáng kể cộng với mức độ bảo mật cao hơn so với Optimistic rollups, vì bạn không cần phải đợi cửa sổ chống gian lận đóng lại hoặc dựa vào sự trung thực của trình xác thực giao dịch.

Bên cạnh những ưu điểm đó, ZK-rollups cũng có tiềm năng cho phép các giao dịch riêng tư lặp lại trong tương lai. Các dự án như Zcash và Aztec Network đã triển khai các tính năng bảo mật hỗ trợ ZK-proof và zkSync đã công khai tuyên bố ý định của mình là làm cho các giao dịch của họ trở nên riêng tư trong tương lai.

ZK-rollups có lợi thế về giới hạn giao dịch lý thuyết trên mỗi giây (TPS), thời gian cuối cùng của giao dịch và bảo mật so với giới hạn của Optimistic. Tuy nhiên, chúng tụt hậu về khả năng tương thích EVM. Những đặc điểm này của ZK-rollups khiến Vitalik Buterin tin rằng trong ngắn hạn, Optimistic rollups có thể sẽ vượt trội hơn nhờ tương thích EVM cho mục đích chung. Nhưng trong trung và dài hạn, ZK-rollups sẽ chiến thắng trong tất cả các trường hợp sử dụng khi công nghệ được cải thiện.

zkSync so với StarkNet

Bây giờ bạn đã hiểu trực quan về cách ZK-rollups hoạt động, chúng ta có thể bắt đầu so sánh zkSync và StarkNet. Nhưng trước tiên, hãy nhanh chóng tóm tắt chúng.

zkSync V1 là một giao thức tổng hợp bằng chứng SNARK được MatterLabs phát hành cho Ethereum Mainnet vào tháng 6 năm 2020. MatterLabs đã phát hành zkSync V2, ZK-rollup tương thích với EVM đầu tiên, trên Ethereum Testnet vào tháng 2 năm 2022.

StarkNet là một giao thức tổng hợp bằng chứng STARK được phát hành trên Ethereum Testnet vào tháng 11 năm 2021 bởi StarkWare Ltd.

Một điểm khác biệt chính giữa zkSync và StarkNet là chúng sử dụng các giao thức kiểm chứng khác nhau, được gọi là SNARK (Succinct Non-Interactive ARgument of Knowledge) và STARKs (Scalable Transparent ARguments of Knowledge).

SNARKs so với STARKs

Sự khác biệt cơ bản giữa các bằng chứng SNARK và STARKs nằm ở quy trình thiết lập, khả năng mở rộng và khả năng chống tấn công máy tính lượng tử của chúng.

ZK-SNARK phải trải qua giai đoạn thiết lập đáng tin cậy trong đó một nhóm nhỏ các nhà phát triển phải được tin cậy để không thao túng mã code hoặc tiết lộ thông tin về lỗ hổng bảo mật. Thiết lập này chỉ cần được thực hiện một lần và không phải là một rủi ro bảo mật đáng kể nhưng vẫn làm suy yếu sự phân cấp của nó.

Mặt khác, ZK-STARKs sử dụng tính ngẫu nhiên có thể xác minh công khai để tạo ra các hệ thống không thể xác minh đáng tin cậy, loại bỏ nhu cầu thiết lập đáng tin cậy. STARKs hiện cũng có khả năng phục hồi lượng tử, trong khi SNARK có khả năng bị bẻ khóa mật mã bởi một cuộc tấn công máy tính lượng tử.

Cuối cùng, ZK-STARKs cũng có khả năng mở rộng về tốc độ và kích thước tính toán hơn ZK-SNARK, với khả năng tăng tốc độ chứng minh là 10 lần. Tuy nhiên, một nhược điểm hiện tại của ZK-STARKs là công nghệ này chưa hoàn thiện lắm, điều này làm hạn chế khả năng tổng quát hóa của nó.

Khả năng tương thích EVM

Bởi vì chúng sử dụng hai phương pháp kiểm tra khác nhau, zkSync và StarkNet khác nhau về khả năng tương thích EVM của chúng. zkSync V2 tuyên bố tương thích 99% EVM với Solidity và Vyper cần phải biên dịch trước sang Yul, một ngôn ngữ trung gian, trước khi biên dịch thành zkEVM bytecode thông qua LLVM. Ngoài ra, zkSync hỗ trợ ngôn ngữ giống như Rust được tối ưu hóa ZKP của họ, Zinc, được biên dịch trực tiếp sang bytecode bằng cách sử dụng LLVM. Tuy nhiên, Zinc hiện chưa hoàn chỉnh Turing và quá trình phát triển của nó đã tạm dừng kể từ tháng 9 năm 2021 do zkSync tập trung vào khả năng tương thích Solidity.

Mặt khác, StarkNet hiện không phát triển khả năng tương thích với EVM. Để triển khai các hợp đồng thông minh trên StarkNet, các nhà phát triển cần học Cairo, một ngôn ngữ lập trình được xây dựng cho các chương trình STARKs có thể cung cấp bởi StarkWare. Ngoài ra, các nhà phát triển hợp đồng thông minh cũng có thể chọn chuyển đổi mã code Solidity của họ sang Cairo bằng cách sử dụng Warp, một trình chuyển tiếp do NetherindEth phát triển. Mặc dù vẫn còn một số tính năng Solidity không được trình chuyển đổi hỗ trợ và còn lâu mới phù hợp với khả năng tương thích EVM của zkSync V2.

StarkNet so với StarkEx

Bạn có thể đã nghe nói về StarkEx, công nghệ hàng đầu khác của StarkWare. StarkEx không phải là ZK-rollups, mà thay vào đó là Layer 2 SaaS (Phần mềm như một dịch vụ) có thể tùy chỉnh sử dụng các bằng chứng STARK để cung cấp khả năng mở rộng quy mô lớn cho các ứng dụng.

Một cách dễ dàng để không nhầm lẫn cả hai là ghi nhớ một số điểm chính:

• StarkNet là một chuỗi tổng hợp mục đích chung. StarkEx là một bộ công cụ được tạo riêng cho các ứng dụng.
• StarkNet mở rộng quy mô Ethereum. StarkEx mở rộng quy mô các sàn giao dịch phi tập trung.
• StarkNet cho phép khả năng tương tác giữa các Dapp nhưng StarkEx thì không.

Sự khác biệt giữa hai điều này rất quan trọng cần hiểu vì mặc dù Dapp sử dụng StarkEx thường được đưa vào hệ sinh thái StarkNet nhưng các chỉ số như TVL hoàn toàn riêng biệt.

So sánh hệ sinh thái

Bây giờ chúng ta sẽ xem xét các hệ sinh thái tương ứng của StarkNet và zkSync và so sánh chúng với nhau. 

TVL của zkSync (V1 & V2), được tính từ ngày 12 tháng 7 năm 2022, là 57 triệu USD. Toàn bộ giao thức cũng là mã nguồn mở 100% và repo Github của họ hiện có 1.400 sao và hơn 350 lần fork. Cơ sở hạ tầng của họ được xây dựng chủ yếu bằng Rust và Typescript. Có 112 Dapp hiện đang được xây dựng trên zkSync, với 10 Dapp trực tuyến trên Mainnet. Một số dự án đáng chú ý trực tiếp trên zkSync bao gồm Zigzag, một sàn giao dịch sách đặt lệnh không giám sát và ví thông minh Argent a DeFi và Web3.

TVL của StarkNet hiện có giá khoảng 635.000 USD với 78 Dapp đang được xây dựng và chỉ một số ít trực tuyến trên Mainnet. Không giống như các giao thức toognr hợp nổi bật khác, StarkNet hiện là mã nguồn đóng và cơ sở hạ tầng của nó được xây dựng với Cairo. Một số giao thức đáng chú ý trên StarkNet bao gồm ArgentX, ví ArgentX Web3 được xây dựng cho StarkNet và Orbiter Finance, một cầu nối chéo phi tập trung.

Khi so sánh sự hiện diện trên mạng xã hội của họ, zkSync có phần lớn hơn một chút với khoảng 87.000 người theo dõi trên Twitter và số lượng thành viên tương đương trên Discord và Telegram.

Cả hệ sinh thái của zkSync và StarkNet đều kém phát triển hơn nhiều so với hệ sinh thái của các giao thức Optimistic rollup như Optimism và Arbitrum. Tuy nhiên, cả zkSync và StarkNet đều có cộng đồng người dùng và nhà phát triển mạnh mẽ, hứa hẹn sẽ tăng trưởng trong tương lai.

Lộ trình phát triển

Trước mắt, bước nhảy vọt tiếp theo của zkSync sau khi ra mắt Testnet sẽ là bản phát hành V2 Alpha Mainnet của họ, hiện chưa có ngày phát hành dự kiến. Các kế hoạch dài hạn của zkSync bao gồm phi tập trung hoàn toàn, Airdrop token zkSync và triển khai các hợp đồng thông minh được bảo vệ quyền riêng tư. Là một phần trong kế hoạch phân quyền của họ, token trong tương lai của họ sẽ được dùng để staking để trở thành người xác nhận trên mạng zkSync.

Mục tiêu ngắn hạn của StarkWare là nâng cấp Alpha Mainnet của họ, chuẩn bị cho một bản phát hành ổn định. Mục tiêu dài hạn của họ là thiết lập khả năng sử dụng, cải thiện hiệu suất và phi tập trung.

StarkWare cảm thấy họ đã hoàn thành mục tiêu đầu tiên là thiết lập khả năng sử dụng và hiện đang tập trung phát triển vào thông lượng, chi phí giao dịch và độ trễ. StarkWare gần đây cũng đã phát hành đề xuất phân quyền của họ, bao gồm thông báo cho Airdrop token StarkNet, được lên kế hoạch cho tháng 9 năm 2022. Token của StarkNet sẽ dành cho quản trị hệ thống, thanh toán phí giao dịch và tham gia vào cơ chế đồng thuận của StarkNet.

Tổng kết

Bài viết đã trình bày về cách thức hoạt động của các ZK-rollups, tại sao chúng được triển khai và so sánh chúng với các Optimistic rollups. Hy vọng rằng những kiến thức này có thể cung cấp thêm nhiều kiến thức bổ ích cho chuyến hành trình khám phá Layer 2 của bạn.