# 分析记录下

By [779996.eth](https://paragraph.com/@779996) · 2023-11-22

---

背景
--

从 2018 年开始，StarkWare 开创性地运用 STARK 有效性证明来解决以太坊的可扩展性问题。它推出了基于 SaaS 业务模型的 StarkEx，创造了 Cairo 编程语言，并构建了 Starknet，这是第一个允许编写自定义逻辑的生产中的去中心化网络。

StarkWare 致力于 包括技术、数学、创新与产品交付的双重关注；支持其他推动以太坊和/或 STARK 的团队；以及努力使产品开源、去中心化并专注于将 STARK 作为公共产品。

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

STARK 技术基于证明，具体来说是完整性证明。STARK 利用数学来确保完整性，即使没有人监视，也能确保计算正确进行。这种技术的概念始于 László Babai、Lance Fortnow、Leonid Levin 和 Mario Szegedy 于 1991 年的一篇文章，其中介绍了使用单一可靠计算机监控一组不可靠超级计算机的概念。该技术被称为“PCP”，通过数学监控和确保大型计算的完整性。

STARK 技术是 PCP 技术的改进版本，可让小用户检查并确保大公司、垄断企业或政府的正确运作。区块链恢复了货币交换的点对点特性，消除了对可信中介的需求。以太坊则将此概念推向更远，允许创建构成社会经济基础的通用程序。

Starkware:
----------

StarkWare 是 zk rollups 赛道内最好的公司之一，由以色列理工学院的 Eli Ben-Sasson 教授（zk SNARK & zk STARK 的联合发明者）联合创立，它为区块链行业提供基于 STARK 技术的解决方案。**目前开发了两款产品：StarkEx & StarkNet，均在下文中介绍。**

### Starkware团队

*   Eli Ben-Sasson：Co-Founder & 首席科学家，以色列理工学院计算机专业的教授。Zcash 的创始科学家，zkSNARKs 的发明者。
    
*   Alessandro Chiesa：Co-Founder & 首席科学家，加州大学伯克利分校计算机专业的教授。Zcash 的创始科学家，zk-SNARKs 的联合发明者，libsnark 的核心开发者。
    
*   Uri Kolodny：Co-Founder & CEO，Uri 是一个商业经验丰富、善于合作的连续创业者。
    
*   Michael Riabzev：Co-Founder & 首席架构师。以色利理工学院的博士，曾在 Intel、IBM 工作。
    
*   Oren Katz：工程副总裁。Hebrew 大学计算机专业毕业，Tel Aviv MBA，20 年经验的资深工程师。
    
*     
    

![](https://storage.googleapis.com/papyrus_images/014f1c4dddda11d642df73d39afc0ea17820df9b32d66e1d4ee85a24c959d9bb.png)

### 融资：

目前公司已经估值 80 亿美元，获得了 Vitalik、Paradigm、Sequioa 等资本的倾力支持，是扩容领域估值最高的团队。

![](https://storage.googleapis.com/papyrus_images/e6f24fdfa2beb0f0af9a24d069d3bc4263dee4e5c491f16e70462fe2384ec6fc.png)

StarkEx
-------

一种基于以太坊区块链的应用特定的Layer-2扩展引擎，旨在解决以太坊等Layer-1区块链网络的可扩展性问题。StarkEx通过使用一种名为STARK证明的先进密码学系统，实现了快速、低成本的交易，同时不妥协安全性、隐私性和自我保管。

它提供了一系列用于实现便宜的链下计算的应用流程，将多笔交易打包在一个STARK证明中，然后在链上进行验证，降低了每笔交易的平均燃料成本。StarkEx扩展引擎的工作原理，包括批处理、验证和更新、生成证明以及链上验证四个步骤。

StarkEx已经成功部署在多个应用中，如dYdX、Immutable、Sorare、DeversiFi和Celer。

**和StarkNet的区别在于：**

StarkEx 和 StarkNet 是由 StarkWare 开发的两个不同的技术，它们都使用 STARK 零知识证明技术，但有不同的目标和用途。

1.  StarkEx：StarkEx 是一个针对特定应用的 Layer-2 扩展引擎，主要关注优化以太坊区块链上的单一应用程序的性能。它通过将多个交易批量处理并在链下进行验证，实现了更快速、低成本的交易。主要用于去中心化交易所（DEX）、NFT 市场和游戏等。通过使用 STARK 证明技术，StarkEx 提供了安全、高效和低成本的交易体验。
    
2.  StarkNet是一个无需许可的更为通用、完整的 Layer-2 解决方案，它为整个以太坊生态系统提供了一个去中心化的计算平台，开发者可以在其中部署用Cairo语言编写的智能合约。StarkNet支持与其他合约进行交互，允许丰富的协议组合，并可通过异步消息传递与以太坊合约进行交互。目标是提供一个可扩展、低成本且安全的环境，以便开发者在其上构建和部署智能合约。与 StarkEx 不同，StarkNet 可以看作是一个全面的 Layer-2 操作系统，允许开发者创建各种去中心化应用程序，而不仅仅是针对特定用途的解决方案。
    

总之，StarkEx 是一个应用特定的 Layer-2 扩展引擎，主要关注特定应用程序的性能优化，而 StarkNet 是一个更为通用、全面的 Layer-2 解决方案，旨在为整个以太坊生态系统提供一个去中心化的计算平台。

Starknet
--------

Starknet是一个无需许可的去中心化有效性折叠网络（**也称为“ZK-Rollup”**）。它作为以太坊上的L2网络运行，使任何dApp都能在不影响以太坊可组合性和安全性的前提下实现无限扩展计算，这要归功于Starknet依赖于最安全且最具可扩展性的加密证明系统 STARK。

Starknet合约和Starknet操作系统使用**Cairo**编写 - 支持部署和扩展任何用例，无论业务逻辑如何。Starknet作为一种去中心化的二层网络解决方案，旨在为去中心化应用（dApp）提供更高的扩展性和性能。通过在以太坊上运行，它可以利用现有的基础设施和安全性，同时提供更高的计算能力。

**Cairo**是一种专为Starknet设计的编程语言，它旨在简化智能合约的开发和部署。通过使用Cairo，开发人员可以轻松地为各种用例构建高度可扩展的应用程序，包括金融、游戏、供应链等。

Starknet 是一个 validity rollup，这意味着每个块内的执行都需要被证明，这就是 STARKs 派上用场的地方然而，STARK 证明可以解决以多项式约束语言制定的陈述，并且不了解智能合约的执行。为了克服这个差距，所以开发了**Cairo**。

总的来说，Starknet是一个充满潜力的二层网络解决方案，它可以使现有的dApp在扩展性和性能方面迈出重要一步。通过采用STARK加密证明系统和Cairo编程语言，Starknet为开发者提供了一个强大且灵活的平台，以满足各种业务需求。

总结：
---

StarkWare 是 zk rollups 赛道内最好的公司之一，产品有StarkEX和StarkNet。

StarkEx 是一款 Layer2 扩展引擎，为 dApp 提供技术服务。

StarkNet是一个无需许可的更为通用、完整的 Layer-2 解决方案。

团队成员有80多个，而且核心成员比较瞩目，Eli Ben-Sasson是Zcash 的创始科学家，zkSNARKs 的发明者，在ZK-Rollup领域有非常深的研究及影响力，且目前估值达到80亿，像paradigm、Pantera、polychain和V神等顶级VC和个人均是starkware的资方。

在生态应用上面，因为采用的是Cairo语言，所以并不兼容EVM，所以在生态发展上进度会比较慢，目前开始向 Cairo 1.0 过渡，朝着一个更高的TPS发展，就算这样，但是目前的应用体验并不是十分流畅，技术还有现实之间还是存在距离，期望以后看到Starknet更好的发展。

### 相关链接：

> Starknet docs：[https://docs.starknet.io/documentation/](https://docs.starknet.io/documentation/)

> Starknet 文章：[https://starkware.co/content/](https://starkware.co/content/)

> Starkware Twitter：[https://twitter.com/StarkWareLtd](https://twitter.com/StarkWareLtd)

> Starknet Twitter：[https://twitter.com/Starknet](https://twitter.com/Starknet)

> Starknet Discord：[https://discord.gg/qypnmzkhbc](https://discord.gg/qypnmzkhbc)

> Straknet Medium：[https://medium.com/starkware](https://medium.com/starkware)

> 官方桥：[https://starkgate.starknet.io/](https://starkgate.starknet.io/)

> StarkNet生态：[https://www.starknet-ecosystem.com/](https://www.starknet-ecosystem.com/)

> 相关文章：[深度解析 StarkWare：以太坊扩容最佳团队，80 亿美元高估了？](https://www.chaincatcher.com/article/2076068)

---

*Originally published on [779996.eth](https://paragraph.com/@779996/ljX29uo2PyQaKgLaxdJI)*