StarkWare：STARK技术的先驱者

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

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

STARK技术基于完整性证明，利用数学确保计算的正确性。这一技术源于1991年的PCP概念，StarkWare对其进行了改进，使小用户能够验证大型机构的运作。

StarkWare团队

StarkWare由以色列理工学院教授Eli Ben-Sasson等人共同创立，核心成员包括:

• Eli Ben-Sasson：联合创始人兼首席科学家，zkSNARKs发明者
• Alessandro Chiesa：联合创始人兼首席科学家，加州大学伯克利分校教授
• Uri Kolodny：联合创始人兼CEO，经验丰富的创业者
• Michael Riabzev：联合创始人兼首席架构师
• Oren Katz：工程副总裁，20年经验的资深工程师

公司估值已达80亿美元，获得Vitalik、Paradigm、Sequoia等支持。

StarkEx

StarkEx是基于以太坊的应用特定Layer-2扩展引擎，使用STARK证明实现快速、低成本交易。它通过批处理多笔交易并在链上验证，降低了每笔交易的燃料成本。StarkEx已成功应用于dYdX、Immutable等多个项目。

Starknet

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

版本更新

Starknet持续进行版本更新，改进包括:

• Cairo 1.0语言改进
• 性能提升，引入Rust序列器
• 链下数据可用性
• 账户抽象化设计优化

账户系统

Starknet采用账户抽象化设计，允许用户自定义账户功能。账户合约必须包含validate和execute函数，以确保安全性和灵活性。

代币经济学

Starknet代币总量为100亿，初始分配如下:

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

代币将用于支付交易费用、质押和治理。核心贡献者和投资者的代币将有4年锁定期。

商业模式

1. 出售StarkEx技术服务，向客户收取服务费
2. 通过StarkNet网络收取交易费用、MEV价值，发行代币驱动生态发展

StarkWare作为zk rollups领域的领先企业，凭借强大的技术实力和优秀的团队，有望在以太坊扩容解决方案中发挥重要作用。