StarkWare: 开创以太坊扩容新纪元

StarkWare自2018年起致力于利用STARK有效性证明解决以太坊扩容问题。公司推出了基于SaaS模式的StarkEx、创造了Cairo编程语言,并构建了首个支持自定义逻辑的去中心化生产网络Starknet。

StarkWare专注于技术创新与产品落地,同时支持推动以太坊和STARK技术发展的其他团队。公司致力于开源产品、推动去中心化,并将STARK视为公共产品。

未来,StarkWare计划将Starknet发展成一个由Starknet基金会治理的无需许可的去中心化有效性rollup。公司将专注于Starknet各组成部分的去中心化,包括Prover、Sequencer和治理等。

STARK技术基于完整性证明,利用数学确保计算的正确性。这一技术源于1991年提出的PCP概念,STARK则是其改进版本,可让小用户验证大型机构的运作。

StarkWare公司概况

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

核心团队

• 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证明系统实现交易的批处理和验证,已在dYdX、Immutable等多个应用中成功部署。

Starknet

Starknet是一个无需许可的去中心化有效性rollup网络,作为以太坊的Layer-2解决方案运行。它支持使用Cairo语言编写和部署智能合约,为dApp提供无限扩展的计算能力。

主要特点

• 基于STARK证明系统,保证安全性和可扩展性
• 使用Cairo编程语言开发合约和应用
• 支持与其他合约交互,实现协议组合
• 通过异步消息与以太坊合约交互

版本更新

Starknet持续迭代更新,最新的Alpha v0.11.0版本开始向Cairo 1.0过渡,并计划引入Rust序列器、Rust CairoVM和Papyrus全节点组成的"性能三人组"以提升TPS。

账户抽象

Starknet采用账户抽象设计,允许用户自定义账户行为和功能,如自定义签名机制、支付gas费的代币等。每个账户合约必须包含validate和execute两个核心函数。

代币经济

Starknet将发行原生代币,用于支付交易费用、质押和治理。总量为100亿,其中50.1%由Starknet基金会管理,用于社区激励、生态建设等。代币分配采用4年线性释放机制。

商业模式

1. 向客户提供StarkEx定制化技术服务,收取服务费
2. 通过StarkNet收取Layer2交易费用、sequencer拍卖获取MEV、发行代币等方式

StarkWare凭借优秀的技术和团队,在zk rollup赛道处于领先地位。但由于采用Cairo语言,生态发展较慢。未来有望随着技术进步和生态繁荣,在以太坊扩容中发挥更大作用。