Arbitrum 空投的财富效应点燃了市场对L2的信心，纷纷布局还未发币的L2。而80亿美元高估值的StarkWare自然是备受瞩目。

那么StarkWare是有什么独特的技术值得各大机构热捧？旗下的StarkNet想要解决问题？我们将在本文中一一道来。

STARKs, StarkEx, StarkNet

1.1 STARKs

STARKs（Scalable, Transparent ARgument of Knowledge）是一种可以证明和验证计算的证明系统，旨在提高以太坊的扩展性。

它允许将大型计算从链上转移到链下以降低成本，为计算的正确性生成证明，然后在链上进行少量的计算来验证证明。即验证者通过在链上执行非常少的操作来判断链下完成的计算的完整性。

L2 通过STARKs技术将多笔交易打包在一起进行数以千计的计算，然后使用单个STARK证明在链上验证它们的有效性。

该批次内的所有交易共同分担链上处理的成本，从而在继承以太坊安全性的前提下降低了Gas成本，改善用户体验。这模式与共享的士的用户平摊路费相似。

SNARKs （Succinct，Non-Interactive，Argument，Knowledge）是一个简洁的非交互式的证明。STARKs 和 SNARKs 都是ZK Rollups 的解决方案。

SNARKs 和 STARKs 对比

相比 SNARKs, STARKs具有以下三个优势：

1. 去信任

STARKs 公开可验证随机来取代SNARKs的可信设置，减少对参与人的依赖，提高协议安全性。

2. 更强的扩展能力

STARK 具有验证的对数压缩特性，即使底层计算的复杂性呈指数级增长，STARKs依然保持了较低的证明和验证时间，而非像SNARKs 线性增长。

3. 更高的安全保证

STARKs 使用抗碰撞哈希值进行加密，可抗量子计算的攻击。

但是STARKs 的证明尺寸比 SNARKs 大，因此L2交易量较低时就会难以分摊证明成本，出现较大的确认延迟。但是当证明规模增加，使用STARKT的边际成本会递减，适合大规模应用。此外，相对于SNARKs，目前STARKs采用率不足，基础工具还有待完善。

L2 Rollups 除了 ZK Rollups，还有Optimistic Rollups。以下是两种方案的对比。

以80亿美元估值完成1亿美元D轮融资的StarkWare提供了两种使用 STARK 扩展以太坊的解决方案：StarkEx 和 StarkNet。

1.2 StarkEx

StarkEx 是一个需要许可的、为特定应用程序定制的扩展解决方案的框架。项目可以使用StarkEx来进行低成本的链下计算，生成证明执行正确性的STARK证明。

这样的证明包含 12,000–500,000 笔交易。最后将证明发送到链上的 STARK 验证器，验证正确后接受状态更新。

StarkEx 提供了3种数据存储方式。在 ZK-Rollup 模式下，数据存储在链上，使数据去中心化，便于用户跟踪和监督。

然而，在链上发布数据的成本高。在 Validium 模式下，数据存储在链下，低成本且不会把数据公开暴露。

但需要数据可用性委员会来监督数据是否得到妥善处理。Volition 是一种混合数据可用性模式，用户可以选择将数据放在链上还是链下。

在 StarkEx 上部署的应用程序包括永久期权 dYdX、NFT L2 Immutable、体育数字卡牌交易市场 Sorare 和多链DeFi聚合器rhino.fi。

StarkEx 适用于独立运行且适合 StarkEx API 的协议。

1.3 StarkNet

StarkNet 是一个无需许可的L2，任何人员都可以在其中部署以Cairo语言开发的智能合约。部署在 StarkNet 上的合约之间可以进行交互来构建新的可组合协议。

与应用程序负责提交交易的 StarkEx 不同，StarkNet 的排序器批量交易并发送它们进行处理和证明。

StarkNet 更适合需要与其他协议同步交互或超出 StarkEx 应用范围的协议。随着StarkNet开发的进展，基于StarkEx的应用将能够移植到StarkNet，享受可组合性。

1.4 Cairo

Cairo 是用于 STARK 证明通用计算定制的编程语言, 使开发、审查和维护代码更简单、快捷，不受EVM限制，可以抛弃以太坊的历史负担做更复杂的计算如账户抽象，在游戏开发上也更加灵活，支持全链上游戏。

StarkNet 本身不支持EVM，但从 Solidity 到 Cairo 的转译器 Warp 将有助于以太坊原生项目移植到 StarkNet，成为大规模应用的基础设施。

1.5 SHARP(shared prover) 共享证明器

SHARP 技术允许来自 StarkEx 的不同应用以及 StarkNet 上发生的交易合并成一个证明，更快填满 STARK 证明的容量，提高交易处理速度并且分担验证 L1 证明的 gas 成本。

StarkNet 经济模型

StarkWare已经在链下铸造了100亿个StarkNet代币。但是这些代币并不代表StarkWare的股权，也不提供任何参与StarkWare的权利或赋予任何向StarkWare提出索赔的权利。

StarkNet代币可以作为原生代币支付Gas费用，相比其他使用ETH做给Gas费用的L2，StarkNet代币更能捕获生态价值，且降低了ETH这外生代币带来的冲击。

分配给核心贡献者和投资者的代币有一年的等待期和四年的锁定期，线性释放。

StarkNet 明确给开发者和过去StarkEx用户奖励，但未明确StarkNet用户是否有空投。首次代币分配中有8.1%的代币还未决定用途，具体方式由社区决定。

因此笔者猜想这部分代币有可能用于奖励StarkNet用户。此外,部署合约的项目方在获得空投奖励后，有可能会给应用的用户分配空投，反馈早期支持者。因此，用户可以根据需要正常使用 StarkNet 上有价值的应用。

StarkNet 融资情况

根据 Crunchbase 的数据，StarkNet 在七轮融资中总共获得2.825亿美元。

2022年7月，Alameda Research 追加950万美元投资。但是Alameda Research 已于2022年11月破产，这笔投资是否收到存疑。

以太坊基金会的拨款树立了StarkWare的正统性。

免责声明：所提供的信息不是交易建议，www.hao76.com对根据本页提供的信息进行的任何投资不承担任何责任。本文内容仅供参考，风险自担！