
作为以太坊去中心化、开放访问的基于STARK的有效性滚动层(Validity-Rollup)L2解决方案,Starknet旨在不牺牲以太坊安全性与可组合性的前提下实现应用大幅扩展,推动扩展技术惠及公众。
Starknet通过结合以太坊安全可组合性与自身Validity-Rollup实现规模化扩展,核心技术为STARK证明系统与Cairo语言。项目方选择Cairo作为通用图灵完备编程语言的原因如下:
- Cairo是在专用虚拟机(Cairo VM)上编译的图灵完备语言;
- 由证明系统领域专家设计,能更快生成计算证明;
- 当前使用Cairo生成证明的成本远低于市场其他替代方案。
针对开发挑战,团队指出Web3开发者高度依赖Solidity,寻找合适的替代语言是主要难点:
Starknet助力以太坊扩展需使用专用编程语言。目前最大挑战在于找到一种可用且优秀的图灵完备语言以替代Solidity。
关于竞品定位,团队表示:
相比EVM兼容/zkEVM方案,我们运行效率更高、交易证明生成更快,但验证器速度较慢;相比Optimistic Rollup,虽其运行时更快,但我们提供更优的安全性状态转换保证。总体而言,我们致力于利用先进技术为以太坊提供既快速又安全的Rollup方案。
展望未来,团队将Rollup安全性归纳为数据可用性、安全状态转换和抗审查性三大支柱。依托STARK证明与Cairo VM确保安全状态转换,并计划推出Volition模式:
下一步将推出Volition模式,允许开发者根据需求、成本及安全性自主选择数据可用性层;同时建立费用市场,支持任何人运行排序器并向区块添加交易,从而增强网络抗审查能力。
Starknet拥有快速增长的活跃社区。数百个DApp及初创企业可通过探索项目、教育资源、Basecamps及Hacker Houses等活动融入生态。

