zkSync 和Starknet 都是以太坊的第2 層擴展解決方案，它們使用zk-rollups 在鏈下打包交易，並使用零知識證明在鏈上驗證它們。然而，它們在設計、特性和生態系統方面有一些關鍵區別。

zkSync 使用 zk-SNARKs 作為零知識證明系統，而 Starknet 使用 zk-STARKs。這意味著 zkSync 的零知識證明更小且耗費的 gas 更低，而 Starknet 則具有更高的透明度和安全性。

如果您對其中的技術細節感到好奇，請查看“STARK 和 SNARK 有什麼區別”，裡麵包含了更詳細的解釋。

zkSync 是相容 EVM 的，使用 Solidity 作為程式語言，而 Starknet 使用自己開發的 Cairo 作為程式語言，不支援 EVM。 EVM 相容性使得開發人員可以輕鬆地將他們現有的智能合約從以太坊移植到第 2 層網絡，這意味著 zkSync 的進入門檻更低。另一方面，Cairo 是 STARK 證明通用運算的原生專業語言，這給了 Starknet 更多的靈活性和表現力。