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

StarkWare是zk rollups赛道的领军企业之一。由以色列理工学院的Eli Ben-Sasson教授（zk SNARK和zk STARK的联合发明者）等人共同创立，为区块链行业提供基于STARK技术的解决方案。公司目前开发了两款主要产品:StarkEx和StarkNet。

StarkEx

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

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

目前StarkEx已成功应用于多个项目,如某交易平台、某NFT市场等。

StarkNet

StarkNet是一个无需许可的去中心化有效性折叠网络(ZK-Rollup)。作为以太坊上的L2网络,它可以让任何dApp在不影响以太坊可组合性和安全性的前提下实现无限扩展计算。

StarkNet合约和操作系统使用Cairo编程语言编写,支持部署和扩展各种用例。作为去中心化的二层网络解决方案,StarkNet旨在为dApp提供更高的扩展性和性能。

Cairo是专为StarkNet设计的编程语言,旨在简化智能合约的开发和部署。开发人员可以用Cairo轻松构建高度可扩展的应用程序,适用于金融、游戏、供应链等多个领域。

账户抽象化

StarkNet采用账户抽象化设计,允许用户对账户功能进行编程。比如:

• 自定义有效签名的含义
• 用不同代币支付交易费用
• 设计自定义的重放保护机制

StarkNet账户合约必须包含validate和execute两个函数,以确保只有账户所有者才能发起交易。

代币经济学

StarkNet计划发行原生代币,总量100亿。主要用途包括:

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

代币初始分配:

• 17% 给投资者
• 32.9% 给核心贡献者
• 50.1% 给基金会,用于社区奖励、生态发展等

所有分配给核心贡献者和投资者的代币将有4年锁定期。

总结

StarkWare是zk rollups领域的佼佼者,产品StarkEx和StarkNet各具特色。团队实力雄厚,估值已达80亿美元。目前StarkNet正在向Cairo 1.0过渡,朝着更高TPS发展。虽然应用体验仍有提升空间,但StarkNet未来发展值得期待。