StarkWare帝国的扩容创新之路

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

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

STARK技术基于完整性证明,利用数学确保计算的正确性。这一技术源于1991年的PCP概念,通过数学监控和确保大型计算的完整性。STARK是PCP的改进版本,让小用户能够检查并确保大型机构的正确运作。

StarkWare公司

StarkWare是zk rollups领域的顶尖公司之一,由以色列理工学院的Eli Ben-Sasson教授等联合创立。公司目前开发了StarkEx和StarkNet两款产品。

团队成员

• Eli Ben-Sasson:联合创始人兼首席科学家,以色列理工学院教授,Zcash创始科学家,zkSNARKs发明者
• Alessandro Chiesa:联合创始人兼首席科学家,加州大学伯克利分校教授,Zcash创始科学家,zk-SNARKs联合发明者
• Uri Kolodny:联合创始人兼CEO,经验丰富的连续创业者
• Michael Riabzev:联合创始人兼首席架构师,以色列理工学院博士
• Oren Katz:工程副总裁,20年经验的资深工程师

融资情况

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

StarkEx

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

StarkEx通过批处理、验证、生成证明和链上验证四个步骤工作。它已在dYdX、Immutable、Sorare等多个应用中成功部署。

Starknet

Starknet是一个无需许可的去中心化有效性rollup网络,作为以太坊的L2网络运行。它使用STARK证明系统,允许dApp在不影响以太坊可组合性和安全性的前提下实现无限扩展计算。

Starknet合约和操作系统使用Cairo语言编写,支持部署和扩展各种用例。作为去中心化的L2解决方案,它为dApp提供更高的扩展性和性能。

版本更新

Starknet正在不断迭代升级,主要包括:

• 向Cairo 1.0过渡
• 性能改进:提高TPS,使用Rust序列器、CairoVM和Papyrus全节点
• 链下数据可用性
• 账户抽象化设计优化

账户系统

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

代币经济学

Starknet代币将用于:

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

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

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

代币将采用4年线性释放,1年锁定期。

商业模式

1. 销售StarkEx技术服务,向客户收取服务费
2. 打造StarkNet网络,通过交易费、MEV等获取价值

StarkWare致力于通过技术创新推动以太坊扩容,其产品和解决方案为区块链生态带来了重要贡献。随着技术的不断进步,StarkWare有望在Layer 2扩容领域保持领先地位。