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 更多的灵活性和表现力。