Starknet 是 Validity Rollup Layer 2。它提供高吞吐量、低 Gas 成本，并保留以太坊 Layer 1 的安全级别 给定一个数独难题，验证解决方案比从头开始解决更容易。如果我们的目标是让人们相信“这个难题已经解决”这一说法，那么我们可以通过让一个人计算一个解决方案，然后将其传播给其他人进行验证来节省大量计算。在这一策略中，解决方案的每次计算都成为一次性事件，不需要社会复制。类似地，Starknet 通过使用链下计算的 STARK 证明用更轻（因此更便宜！）的 L1 验证取代繁重的 L1 计算来扩展以太坊它是如何运作的考虑到上述类比，现在是时候使用一些术语了。Starknet 是一个无需许可的 Validity-Rollup（也称为“ZK-Rollup”），支持一般计算，目前在生产中作为以太坊上的 L2 网络运行。Starknet 最终的 L1 安全性是通过使用最安全、最具扩展性的密码证明系统STARK来保证的。 Starknet 合约（大部分）是用 Cairo 语言编写的——一种为 STARK 证明设计的图灵完备编程语言。Starknet教程 （一）...