StarkWare：探索 StarkEx 和 StarkNet 的创新之旅

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

StarkWare 致力于技术、数学、创新与产品交付的双重关注；支持推动以太坊和 STARK 技术的团队；努力实现产品开源、去中心化，并将 STARK 作为公共产品。

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

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

StarkWare 公司概况

StarkWare 是 zk rollups 领域的领先公司之一，由以色列理工学院的 Eli Ben-Sasson 教授（zk SNARK 和 zk STARK 的联合发明者）共同创立。公司目前开发了两款产品：StarkEx 和 StarkNet。

核心团队成员

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

融资情况

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

StarkEx

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

StarkEx 提供一系列用于实现廉价链下计算的应用流程，将多笔交易打包在一个 STARK 证明中，然后在链上验证，从而降低每笔交易的平均燃料成本。

StarkEx 已成功应用于多个项目，如 dYdX、Immutable、Sorare、DeversiFi 和 Celer。

Starknet

Starknet 是一个无需许可的去中心化有效性折叠网络（ZK-Rollup）。它作为以太坊上的 L2 网络运行，使任何 dApp 都能在不影响以太坊可组合性和安全性的前提下实现无限扩展计算。

Starknet 合约和操作系统使用 Cairo 编写，支持部署和扩展任何用例。Cairo 是一种专为 Starknet 设计的编程语言，旨在简化智能合约的开发和部署。

版本更新

Starknet 持续进行版本更新，主要包括：

• 向 Cairo 1.0 过渡
• 性能改进，包括过渡到 Rust 音序器
• 链下数据可用性处理
• 引入账户抽象设计

账户抽象化

Starknet 采用账户抽象化设计，允许用户自定义账户功能。主要特点包括：

• 签名抽象化
• 费用抽象化
• Nonce 抽象化

Starknet 账户合约必须包含 validate 和 execute 两个函数。

代币经济学

Starknet 代币的主要作用包括：

• 交易费用支付
• 质押
• 治理

总量为 100 亿，初始分配如下：

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

商业模式

1. 出售 StarkEx 定制化技术引擎服务
2. 打造去中心化 Layer2 网络 StarkNet，通过交易费用、MEV 和代币经济学获取价值