StarkWare: 探索 StarkEx 和 StarkNet 的创新之路

StarkWare 是 ZK Rollup 领域的领先公司之一,由以色列理工学院的 Eli Ben-Sasson 教授(ZK-SNARK 和 ZK-STARK 的联合发明者)联合创立。公司致力于为区块链行业提供基于 STARK 技术的扩容解决方案。

目前,StarkWare 主要开发了两款产品:StarkEx 和 StarkNet。

StarkEx

StarkEx 是一种基于以太坊的应用特定 Layer-2 扩展引擎,旨在解决以太坊等 Layer-1 区块链网络的可扩展性问题。它利用 STARK 证明技术实现了快速、低成本的交易,同时保证了安全性、隐私性和自托管。

StarkEx 通过将多笔交易打包在一个 STARK 证明中,然后在链上验证,从而降低了每笔交易的平均燃料成本。其工作流程包括批处理、验证和更新、生成证明以及链上验证四个步骤。

目前,StarkEx 已成功应用于多个项目,如 dYdX、Immutable、Sorare 等。

StarkNet

StarkNet 是一个无需许可的去中心化有效性 Rollup 网络(又称"ZK-Rollup")。作为以太坊上的 Layer-2 网络,StarkNet 让任何去中心化应用都能在不影响以太坊可组合性和安全性的前提下实现无限扩展计算。

StarkNet 合约和操作系统使用 Cairo 语言编写,支持部署和扩展任何用例。Cairo 是专为 StarkNet 设计的编程语言,旨在简化智能合约的开发和部署。

与 StarkEx 不同,StarkNet 是一个更为通用、全面的 Layer-2 解决方案,为整个以太坊生态系统提供了一个去中心化的计算平台。

账户抽象

StarkNet 采用了账户抽象设计,允许用户通过智能合约自定义账户功能。这种设计提供了更大的灵活性和安全性,例如:

• 自定义签名验证逻辑
• 使用不同代币支付交易费用
• 设计独特的重放保护机制
• 实现社交恢复功能
• 通过面部识别等生物特征操作账户

StarkNet 账户合约必须包含 validate 和 execute 两个关键函数,以确保交易安全性和资源计费。

代币经济学

StarkNet 的原生代币将用于:

• 支付交易费用
• 质押以提供关键网络服务
• 参与网络治理

总代币供应量为 100 亿,初始分配如下:

• 17% 分配给 StarkWare 投资者
• 32.9% 分配给核心贡献者
• 50.1% 授予 StarkNet 基金会,用于社区激励、生态发展等

为确保长期利益一致性,核心贡献者和投资者的代币将受到 4 年的锁定期,包括 1 年悬崖期和线性释放。

商业模式

StarkWare 的商业模式包括:

1. 通过 StarkEx 向客户提供定制化的 Layer-2 扩容服务,收取服务费。

2. 打造去中心化的 Layer-2 网络 StarkNet,通过交易费用、MEV 拍卖、代币发行等方式获取价值。

StarkWare 已获得 Vitalik、Paradigm、Sequoia 等顶级投资者的支持,目前估值达 80 亿美元,是扩容领域估值最高的团队。未来,StarkWare 将致力于 StarkNet 的去中心化发展,并持续优化网络性能和用户体验。