给定一个数独难题，验证解决方案比从头开始解决更容易。如果我们的目标是让人们相信“这个难题已经解决”这一说法，那么我们可以通过让一个人计算一个解决方案，然后将其传播给其他人进行验证来节省大量计算。在这一策略中，解决方案的每次计算都成为一次性事件，不需要社会复制。类似地，Starknet 通过使用链下计算的 STARK 证明用更轻（因此更便宜！）的 L1 验证取代繁重的 L1 计算来扩展以太坊

它是如何运作的

考虑到上述类比，现在是时候使用一些术语了。Starknet 是一个无需许可的 Validity-Rollup（也称为“ZK-Rollup”），支持一般计算，目前在生产中作为以太坊上的 L2 网络运行。Starknet 最终的 L1 安全性是通过使用最安全、最具扩展性的密码证明系统STARK来保证的。

Starknet 合约（大部分）是用 Cairo 语言编写的——一种为 STARK 证明设计的图灵完备编程语言。

Starknet教程 （一）首先钱包创建

（推荐第二个 Starknet（https://starknet.io/en） Argent （https://argent.xyz） Braavos （https://braavos.app）

（二）入金到starknet 官方桥链接：https://starkgate.starknet.io Orbiter L2桥链接：https://orbiter.finance/?source=Optimism&dest=Starknet

生态交互