StarkWare的创新历程:探索StarkEx和StarkNet

StarkWare自2018年起开始运用STARK有效性证明来解决以太坊的可扩展性问题。公司推出了基于SaaS模型的StarkEx,创造了Cairo编程语言,并构建了允许编写自定义逻辑的去中心化网络Starknet。

StarkWare致力于技术创新、产品交付,支持推动以太坊和STARK技术的团队,努力将产品开源化和去中心化。未来,公司将专注于让Starknet成为由Starknet Foundation治理的无需许可的去中心化有效性rollup。

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

StarkWare团队

StarkWare由以色列理工学院的Eli Ben-Sasson教授等人联合创立,为区块链行业提供基于STARK技术的解决方案。核心团队成员包括:

• Eli Ben-Sasson:联合创始人兼首席科学家,zkSNARKs发明者
• Alessandro Chiesa:联合创始人兼首席科学家,zk-SNARKs联合发明者
• Uri Kolodny:联合创始人兼CEO
• Michael Riabzev:联合创始人兼首席架构师
• Oren Katz:工程副总裁

融资情况

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

StarkEx

StarkEx是基于以太坊的应用特定Layer-2扩展引擎,通过STARK证明实现快速低成本交易。它将多笔交易打包在一个STARK证明中进行链上验证,降低了每笔交易的平均燃料成本。StarkEx已在dYdX、Immutable等多个应用中成功部署。

StarkNet

StarkNet是一个无需许可的去中心化有效性rollup网络,作为以太坊的L2网络运行。它使用Cairo编程语言编写合约和操作系统,支持部署和扩展任何用例。StarkNet旨在为dApp提供更高的扩展性和性能,同时保持以太坊的可组合性和安全性。

StarkNet版本更新

StarkNet正在向Cairo 1.0过渡,持续改进性能和TPS。最新版本v0.11.0引入了Rust序列器、Rust CairoVM和Papyrus全节点等性能优化。

StarkNet账户抽象

StarkNet采用账户抽象设计,允许用户自定义账户功能。账户合约必须包含validate和execute两个函数。这种设计提供了更大的灵活性,如社交恢复、面部识别等功能。

代币经济学

StarkNet代币的主要用途包括:

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

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

• 17% 给投资者
• 32.9% 给核心贡献者
• 50.1% 授予基金会,用于社区奖励、研发资助等

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

商业模式

1. 向客户出售StarkEx技术服务
2. 通过StarkNet收取交易费用、获取MEV价值
3. 未来可能发行代币,孵化StarkNet生态项目