Hãy tưởng tượng hai nhà hàng mới mở ở khu vực bạn sống. Cả hai đều hứa hẹn dịch vụ nhanh hơn và món ăn rẻ hơn so với địa điểm nổi tiếng ban đầu mà mọi người yêu thích – Ethereum. Nhưng chúng giải quyết vấn đề theo cách hoàn toàn đối nghịch.
Nhà hàng đầu tiên sao chép thực đơn của nhà hàng gốc một cách chính xác. Các công thức, nguyên liệu và món ăn đều giống nhau. Bạn có thể bước vào với thực đơn mà bạn đã biết và đặt món ăn giống như những gì bạn đã từng ăn. Nhà hàng đó là zkSync.
Nhà hàng thứ hai loại bỏ thực đơn cũ và xây dựng một nhà bếp hoàn toàn mới với cách nấu ăn mới, được thiết kế từ đầu để nhanh hơn và rẻ hơn. Nhưng bạn phải học một thực đơn hoàn toàn mới để ăn ở đó. Nhà hàng đó là Starknet.
Bài viết này là một so sánh chi tiết giữa zksync vs starknet – hai trong số những rollup layer-2 quan trọng nhất của Ethereum, được xây dựng trên cùng một ý tưởng cơ bản nhưng với các triết lý EVM hoàn toàn đối lập. Chúng tôi sẽ phân tích cách hoạt động của mỗi rollup, những điểm đồng nhất giữa chúng và cách chọn lựa giữa chúng.
Hai căn bếp, hai triết lý
Trước khi so sánh hai nền tảng này, hãy cùng tìm hiểu về chúng. zkSync và Starknet đều là zero-knowledge rollups (zkRollups) được xây dựng trên Ethereum. Điều này có nghĩa là cả hai đều xử lý các giao dịch ngoài mạng Ethereum chính, nhóm chúng lại và gửi một "phiếu nhận" mã hóa duy nhất trở lại Ethereum để xác minh.
Hình 1: Hai căn bếp, hai triết lý — sao chép thực đơn, hay thiết kế lại căn bếp
Nền tảng chung này rất quan trọng. Hai nhà hàng này đều cung cấp dịch vụ chính tương tự – giải phóng tải trọng khỏi bếp đông đúc của Ethereum – nhưng họ đáp ứng nhu cầu đó bằng các thực đơn hoàn toàn khác nhau.
Hai nhà hàng đồng ý về điều gì: Bằng chứng về tính hợp lệ
Thực tế, có hai loại rollup chính: rollup lạc quan và rollup chứng minh tính hợp lệ (zk). zkSync và Starknet đều thuộc loại thứ hai, và lựa chọn này ảnh hưởng đến mọi thứ họ làm.
Đây là cách một rollup chứng minh tính hợp lệ hoạt động:
- Người dùng gửi các giao dịch đến bộ sắp xếp (sequencer) của rollup.
- Sequencer gom hàng nghìn giao dịch lại với nhau.
- Một prover tạo ra một bằng chứng mật mã nhỏ cho thấy rằng mỗi giao dịch trong nhóm đã được thực hiện chính xác.
- Rollup đăng tải bản tóm tắt nhóm cùng với bằng chứng đó lên Ethereum.
- Hợp đồng xác minh (verifier) của Ethereum kiểm tra bằng chứng trong vài mili giây và chấp nhận cập nhật trạng thái.
Điểm tuyệt vời của Ethereum là nó không bao giờ thực hiện lại các giao dịch. Nó chỉ kiểm tra bằng chứng. Điều này hoàn toàn khác với các rollup lạc quan, vốn giả định các giao dịch là hợp lệ và cho những người thách thức một tuần để phản đối chúng.
Cả zkSync và Starknet đều chia sẻ triết lý này về chứng minh tính hợp lệ. Điểm khác biệt là bộ máy (engine) họ sử dụng để chạy và chứng minh các giao dịch – và đó chính là câu hỏi về EVM.
Câu hỏi về EVM: sao chép nó hay thay thế nó?
Máy ảo Ethereum (EVM) là máy tính chạy các hợp đồng thông minh của Ethereum. Mỗi hợp đồng được viết bằng Solidity đều được chạy trên EVM. Trong hơn một thập kỷ, các nhà phát triển đã xây dựng hàng nghìn hợp đồng, hàng chục công cụ và một thư viện lớn các mã được kiểm tra về nó.
Câu hỏi triết học cơ bản mà mỗi rollup phải trả lời: Chúng ta giữ nguyên EVM hay thay thế nó?
zkSync: Sao chép thực đơn chính xác (tương thích EVM)
zkSync đã chọn phương án bảo tồn. Máy ảo tùy chỉnh của nó, zkEVM, được thiết kế để gần giống với EVM nhất có thể – tương thích bytecode ở cấp độ các lệnh của máy thực. Các hợp đồng Solidity và Vyper được biên dịch thành bytecode zkEVM gần như hoàn toàn giống như cách chúng được biên dịch cho Ethereum.
Hình 2: Từ hợp đồng đến bằng chứng — hai con đường, một verifier Ethereum L1
Đối với các nhà phát triển, đây là một chiến thắng lớn. Các hợp đồng hiện có như Uniswap và Aave đã được chuyển sang zkSync với những thay đổi tối thiểu. Các công cụ hiện có của bạn – Hardhat, Foundry, MetaMask – hoạt động với zkSync ngay lập tức. Nếu bạn có thể viết một hợp đồng thông minh cho Ethereum, bạn có thể viết một hợp đồng cho zkSync ngay bây giờ, không cần học một ngôn ngữ mới.
Nhưng đó là một chi phí. zkEVM phải mô phỏng một máy tính đa dụng bên trong một bằng chứng không kiến thức (zero-knowledge proof). Chứng minh EVM khó hơn về mặt toán học so với chứng minh một máy được thiết kế riêng, điều này có nghĩa là việc tạo bằng chứng sẽ nặng hơn và chậm hơn so với một hệ thống được thiết kế cho zk.
Starknet: Xây dựng một căn bếp mới (STARK-native)
Starknet đã chọn phương án thay thế. Thay vì EVM, Starknet sử dụng Cairo VM – một máy ảo được thiết kế riêng cho các bằng chứng không kiến thức. Các hợp đồng được viết bằng Cairo, một ngôn ngữ được thiết kế từ đầu để dễ dàng chứng minh.
Cairo không phải là Solidity. Nó gần với Rust hơn về cảm giác. Nếu bạn là một nhà phát triển Solidity, bạn sẽ cần học một ngôn ngữ mới và một mô hình tư duy mới. Các công cụ khác nhau, các ví khác nhau, các thư viện khác nhau. Đây là chi phí "thực đơn mới".
Nhưng lợi ích thực sự là có. Vì Cairo được thiết kế cho mục đích chứng minh, prover có một công việc dễ dàng hơn nhiều. Starknet có thể đạt được thông lượng cao hơn và đặc biệt tốt trong các ứng dụng đòi hỏi nhiều tính toán như trò chơi on-chain, suy luận học máy và logic tài chính phức tạp. Hệ thống chứng minh cũng có tính minh bạch vốn có – chúng ta sẽ nói thêm về điều này sau.
zkRollup So Sánh: EVM-Compatible vs STARK-Native
Chúng ta hãy đặt hai triết lý cạnh nhau. Đây là trung tâm của mọi zk rollup so sánh – một so sánh trực tiếp giữa hai cách tiếp cận.
Hình 3: EVM-Compatible vs STARK-Native — sự đánh đổi cốt lõi
Công nghệ chứng minh
zkSync sử dụng zk-SNARKs. Hệ thống chứng minh của nó, được gọi là Boojum, phát triển từ công nghệ Plonky2. SNARK tạo ra các bằng chứng nhỏ và nhanh để kiểm tra, điều này rất tốt cho chi phí on-chain. Tuy nhiên, SNARK yêu cầu một thiết lập đáng tin cậy (trusted setup) – một "nghi lễ" mật mã nơi các tham số chứng minh được tạo ra. Nếu nghi lễ bị xâm phạm, bằng chứng giả về mặt lý thuyết có thể được tạo ra. Các nghi lễ đa bên hiện đại giảm thiểu điều này, nhưng giả định về sự tin cậy vẫn tồn tại.
Starknet sử dụng zk-STARKs. STARK không cần bất kỳ thiết lập đáng tin cậy nào – chúng hoàn toàn minh bạch. Chúng cũng dựa trên hàm băm (hashing), khiến chúng có khả năng chống lại máy tính lượng tử. Sự đánh đổi: bằng chứng STARK lớn hơn nhiều so với bằng chứng SNARK, vì vậy Starknet phải dùng kỹ thuật bọc đệ quy (recursive wrapping) để nén chúng trước khi xác minh on-chain.
Khó khăn di chuyển
| zkSync | Starknet | |
|---|---|---|
| Ngôn ngữ | Solidity, Vyper | Cairo |
| Máy ảo | zkEVM (tương thích EVM) | Cairo VM (tùy chỉnh) |
| Hệ thống chứng minh | SNARK (Boojum) | STARK |
| Thiết lập đáng tin cậy | Có | Không |
| Chuyển các hợp đồng hiện có | Gần như drop-in | Viết lại hoàn toàn |
| Độ khó học cho dev Ethereum | Tối thiểu | Vài tuần đến vài tháng |
Starknet EVM: tương thích thông qua Cairo
Đây là nơi câu hỏi "starknet evm" trở nên thú vị. Starknet không có EVM theo thiết kế – vậy thì người ta nói về "tính tương thích EVM" trên Starknet như thế nào?
Câu trả lời là transpilation. Các công cụ như Warp có thể chuyển đổi mã nguồn Solidity thành Cairo, và các dự án như Kakarot nhằm chạy EVM bên trong Cairo VM của Starknet. Nhưng đây là các lớp dịch, không phải tương thích bản địa. Warp không hỗ trợ mọi tính năng của Solidity, và các hợp đồng được dịch thường cần sửa thủ công. Nó giống như đọc thực đơn bằng một ngôn ngữ khác – bạn hiểu được đại ý, nhưng những sắc thái bị mất đi.
Vì vậy, khi bạn nghe "starknet evm", hãy hiểu nó như transpilation hướng tới tương thích – một cây cầu, không phải một ngôi nhà bản địa. Sự tương thích của zkSync là bản địa; của Starknet là một công trình đang xây dựng.
Hệ sinh thái: Hai gia đình, một Ethereum
Không rollup nào tồn tại độc lập. Mỗi bên đã xây dựng một gia đình sản phẩm xoay quanh triết lý của mình.
Hình 4: Hai gia đình, một Ethereum — cả hai đều neo trên L1
Gia đình của zkSync xoay quanh ZK Stack, một framework mô-đun để xây dựng Hyperchains – các zkRollup có thể tùy chỉnh, tương tác với nhau và dùng chung công nghệ. zkSync Era là sản phẩm chủ lực, và ZK Stack cho phép các đội nhóm tự tạo chuỗi riêng với cùng bộ máy tương thích EVM.
Gia đình Starknet bao gồm Starknet Stack – với Madara (sequencer Cairo mô-đun) và Dojo (một game engine xây dựng trên Cairo). Starknet cũng cung cấp engine StarkEx được dùng bởi các ứng dụng khối lượng lớn như dYdX và ImmutableX.
Hai gia đình cuối cùng đều dựa trên cùng một nền tảng: Ethereum L1. Mỗi bằng chứng từ bất kỳ căn bếp nào đều được đóng dấu và xác minh bởi cùng một thanh tra viên của chính quyền.
Phí và tốc độ: Các con số
Hai rollup đều rẻ hơn rất nhiều so với mainnet Ethereum. Nhờ EIP-4844 (proto-danksharding), vốn giới thiệu lưu trữ dữ liệu "blob" rẻ tiền cho rollup, phí giao dịch trên cả zkSync và Starknet hiện nằm trong khoảng 0,01–0,20 USD.
Tốc độ là nơi các triết lý thể hiện rõ. zkSync lịch sử có tốc độ gửi bằng chứng nhanh hơn – theo thứ tự từ vài phút đến vài chục phút để đạt finality. Starknet chậm hơn do sequencer gốc viết bằng Python, nhưng Cairo Upgrade đã viết lại sequencer bằng Rust, cải thiện đáng kể thông lượng và độ trễ. Đến đầu năm 2025, Starknet đã xử lý giao dịch trong khoảng một giây – với bước chứng minh và thanh toán vẫn còn chậm hơn zkSync.
Bếp nào bạn nên chọn?
Không có một "người chiến thắng" duy nhất - điều đó phụ thuộc vào những gì bạn đang xây dựng.
Chọn zkSync nếu:
- Bạn có các hợp đồng Solidity hiện có và muốn chuyển chúng với nỗ lực tối thiểu.
- Đội ngũ của bạn quen với bộ công cụ Ethereum và không muốn học một ngôn ngữ mới.
- Bạn muốn tham gia một hệ sinh thái DeFi trưởng thành với các dApp blue-chip đã được chuyển sang.
Chọn Starknet nếu:
- Bạn đang xây dựng các ứng dụng đòi hỏi nhiều tính toán, đẩy tới giới hạn của EVM – trò chơi, AI, giao dịch phức tạp.
- Bạn coi trọng tính minh bạch và khả năng chống lượng tử trong hệ thống chứng minh.
- Bạn sẵn sàng đầu tư học Cairo để đạt hiệu suất lâu dài.
- Bạn đang bắt đầu greenfield và không cần chuyển các hợp đồng hiện có.
Câu hỏi thường gặp (FAQ)
Starknet có tương thích EVM không?
Không phải bản địa. Starknet sử dụng Cairo VM và ngôn ngữ Cairo của riêng nó. Tương thích "Starknet EVM" chỉ tồn tại qua các transpiler như Warp (Solidity → Cairo) hoặc các dự án như Kakarot chạy một EVM bên trong Cairo. Đó là một lớp dịch, không phải tương thích bản địa.zkSync có rẻ hơn Starknet không?
Cả hai đều rất rẻ nhờ dữ liệu blob EIP-4844 – thường 0,01–0,20 USD mỗi giao dịch. Chênh lệch phí nhỏ và thay đổi theo tải mạng.Cái nào có thông lượng cao hơn, zkSync hay Starknet?
Cairo VM của Starknet được thiết kế riêng cho bằng chứng và có trần thông lượng lý thuyết cao hơn, đặc biệt sau nâng cấp sequencer Rust. Bộ máy tương thích EVM của zkSync phải trả một khoản "thuế" tạo bằng chứng vì sự tương thích của nó.Có phải cả hai rollup đều dùng zero-knowledge proof?
Có. Cả hai đều là rollup validity-proof, đăng bằng chứng mật mã lên Ethereum L1. Khác biệt nằm ở loại bằng chứng: zkSync dùng SNARK (với trusted setup), Starknet dùng STARK (minh bạch, không trusted setup).Tôi có thể dùng MetaMask với Starknet không?
Không trực tiếp. Starknet dùng mô hình account abstraction bản địa và hệ sinh thái ví riêng (như ArgentX và Braavos). zkSync hoạt động với MetaMask ngay từ đầu vì nó tương thích EVM.Kết luận
Cuộc tranh luận về zksync vs starknet không thực sự là về rollup nào "tốt hơn" – nó là về hai triết lý EVM đối lập. zkSync nói: EVM là một thập kỷ giá trị tích lũy; hãy bảo tồn và chứng minh nó. Starknet nói: EVM là quá khứ; hãy xây một cỗ máy mới tối ưu cho tương lai.
Hai căn bếp phục vụ cùng một khu vực. Cả hai đều đóng dấu công việc bằng các bằng chứng hợp lệ mà Ethereum xác minh. Nếu bạn là một đầu bếp muốn chuyển các món ăn hiện có của mình với ít rắc rối nhất, thực đơn tương thích EVM của zkSync đang chờ bạn. Nếu bạn sẵn sàng học một cách nấu mới cho một căn bếp nhanh hơn, hiệu quả hơn, Cairo của Starknet là con đường dành cho bạn.
Dù bạn chọn gì, bạn cũng đang ăn tại một chiếc bàn nhanh và rẻ hơn rất nhiều so với trước đây – và đó là chiến thắng cho tất cả những người đang xây dựng trên Ethereum.