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

StarkWare公司成立于2018年,致力于利用STARK有效性证明技术解决以太坊的可扩展性问题。公司推出了基于SaaS模式的StarkEx,开发了Cairo编程语言,并构建了允许编写自定义逻辑的去中心化网络Starknet。

StarkWare专注于技术、数学、创新与产品交付,支持推动以太坊和STARK技术发展的团队,并努力使产品开源、去中心化,将STARK作为公共产品。

未来,StarkWare将致力于将Starknet发展成为由Starknet基金会治理的无需许可的去中心化有效性rollup,并专注于去中心化Starknet的各个组成部分,如Prover、Sequencer和治理。

STARK技术基于完整性证明,利用数学确保计算正确进行。该技术源于1991年的一篇学术论文,介绍了使用单一可靠计算机监控一组不可靠超级计算机的概念。STARK是这一技术的改进版本,让小用户能够检查并确保大型机构的正确运作。

区块链恢复了货币交换的点对点特性,消除了对可信中介的需求。以太坊则将此概念推广到更广泛的应用,允许创建构成社会经济基础的通用程序。

StarkWare公司概况

StarkWare是zk rollups领域的领先公司之一,由以色列理工学院的Eli Ben-Sasson教授(zk SNARK和zk STARK的联合发明者)联合创立,为区块链行业提供基于STARK技术的解决方案。公司目前开发了两款产品:StarkEx和StarkNet。

核心团队成员

• Eli Ben-Sasson:联合创始人兼首席科学家,以色列理工学院计算机专业教授,Zcash创始科学家,zkSNARKs发明者。
• Alessandro Chiesa:联合创始人兼首席科学家,加州大学伯克利分校计算机专业教授,Zcash创始科学家,zk-SNARKs联合发明者,libsnark核心开发者。
• Uri Kolodny:联合创始人兼CEO,经验丰富的连续创业者。
• Michael Riabzev:联合创始人兼首席架构师,以色列理工学院博士,曾就职于Intel和IBM。
• Oren Katz:工程副总裁,希伯来大学计算机专业毕业,特拉维夫大学MBA,20年经验的资深工程师。

融资情况

StarkWare目前估值80亿美元,获得了Vitalik、Paradigm、Sequoia等知名投资者的支持,是扩容领域估值最高的团队。

StarkEx

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

StarkEx提供了一系列用于实现低成本链下计算的应用流程,将多笔交易打包在一个STARK证明中,然后在链上进行验证,降低了每笔交易的平均燃料成本。StarkEx的工作原理包括批处理、验证和更新、生成证明以及链上验证四个步骤。

StarkEx已成功部署在多个应用中,如dYdX、Immutable、Sorare、DeversiFi和Celer等。

与StarkNet的区别

StarkEx是针对特定应用的Layer-2扩展引擎,主要优化单一应用程序的性能。它通过批量处理交易并在链下验证,实现更快速、低成本的交易,主要用于去中心化交易所、NFT市场和游戏等。

StarkNet则是一个无需许可的更通用、完整的Layer-2解决方案,为整个以太坊生态系统提供去中心化计算平台。开发者可在其上部署用Cairo语言编写的智能合约,支持合约间交互和与以太坊合约的异步消息传递。

StarkNet

StarkNet是一个无需许可的去中心化有效性折叠网络(ZK-Rollup)。作为以太坊上的L2网络,它允许任何dApp在不影响以太坊可组合性和安全性的前提下实现无限扩展计算,这归功于StarkNet依赖最安全且最具可扩展性的加密证明系统STARK。

StarkNet合约和操作系统使用Cairo编写,支持部署和扩展任何用例。作为去中心化的二层网络解决方案,StarkNet旨在为dApp提供更高的扩展性和性能。通过在以太坊上运行,它可以利用现有基础设施和安全性,同时提供更高的计算能力。

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

版本更新

StarkNet持续推出新版本,不断改进性能和功能:

• Alpha v0.11.0:开始向Cairo 1.0过渡,进行语言改进和性能优化。
• v0.10.3:改进性能,添加新命令。
• v0.10.2:引入音序器并行化,添加新的费用估算端点。
• v0.10.1:添加DeployAccount交易,改进L1费用计算。
• v0.10.0:引入账户抽象设计的下一步。
• v0.9.1:API和CLI更新。
• v0.9.0:引入合约类/实例范式。

账户系统

StarkNet采用账户抽象化设计,允许更灵活的账户管理。主要特点包括:

• 签名抽象化:自定义有效签名的定义。
• 费用抽象化:使用不同代币支付交易费用。
• Nonce抽象化:设计自定义重放保护机制。

StarkNet账户合约必须包含validate和execute两个函数,以确保只有账户所有者能发起交易并收取资源使用费。

代币经济学

StarkNet代币的主要作用包括:

• 交易费用:未来预计完全使用原生StarkNet代币支付。
• 质押:某些关键服务可能需要质押StarkNet代币。
• 治理:改进提案需要最小代币支持阈值。

总量为100亿,初始分配如下:

• 17%分配给StarkWare投资者
• 32.9%分配给核心贡献者
• 50.1%授予基金会,用于社区补给、返利、研发资助、战略储备等

核心贡献者和投资者的代币将有4年锁定期,带有线性释放和1年悬崖。

商业模式

1. 出售定制化技术引擎服务StarkEx,向有扩容需求的客户收取服务费。
2. 打造去中心化Layer2网络StarkNet,通过交易费用、MEV价值和代币经济驱动生态发展。

总结

StarkWare是zk rollups领域的领先公司,提供StarkEx和StarkNet两款产品。公司拥有强大的技术团队和投资背景,估值达80亿美元。StarkNet采用Cairo语言,虽然生态发展相对较慢,但正朝着更高TPS发展。期待StarkNet未来能实现更好的应用体验和技术突破。