为什么开罗 *将* 随着时间的推移超越 Solidity。 人们对开罗（第一个 100% STARK 友好的智能合约语言）提出的一个错误主张是：开罗开发者远少于 Solidity 开发者，且 Solidity 的开发工具也远多于开罗，这一差距只会扩大。 但这种逻辑是错误的。根据这种逻辑，永远不会有任何新的编程语言成为新事物。Pascal、Basic、C、C++、Rust、Python，都是过去或现在与开发者有很大吸引力的语言。然而它们每一个在开始时都远不如当时流行的语言。尽管如此，编程语言是会发展的。 回到 Solidity 与开罗。 首先，类比于一般编程语言，假设某些编程语言会随着时间的推移推翻 Solidity（而后又会被更新的编程语言推翻）。 这没问题。 所以现在我们必须问，开罗（或 Fuel、Move，或其他什么）是否可能是超越 Solidity 的语言。 开罗是一个很棒的智能合约语言。 它极其安全。 它是符合人体工程学的（类似 Rust，强类型）。 也许最重要的一点是：它能产生高效且可靠的 STARK 证明。 由于每个人都同意 STARK 是区块链扩展的终极解决方案，因此 STARK 友好的编程语言将会获得越来越多的关注。 开罗将成为 STARK 和扩展的语言，就像 CUDA 对 GPU 的重要性一样。因此，开罗将成为主导智能合约编写的语言（在一段时间内）。 你认为我在幻想。你可能是对的。但我确实在很多年前就说过 STARK 是最佳扩展方案，而你当时说过 "他在幻想"。 结束