从 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 是 zk rollups 赛道内最好的公司之一，由以色列理工学院的 Eli Ben-Sasson 教授（zk SNARK & zk STARK 的联合发明者）联合创立，它为区块链行业提供基于 STARK 技术的解决方案。目前开发了两款产品：StarkEx & StarkNet，均在下文中介绍。
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 年经验的资深工程师。
目前公司已经估值 80 亿美元，获得了 Vitalik、Paradigm、Sequioa 等资本的倾力支持，是扩容领域估值最高的团队。
一种基于以太坊区块链的应用特定的Layer-2扩展引擎，旨在解决以太坊等Layer-1区块链网络的可扩展性问题。StarkEx通过使用一种名为STARK证明的先进密码学系统，实现了快速、低成本的交易，同时不妥协安全性、隐私性和自我保管。
它提供了一系列用于实现便宜的链下计算的应用流程，将多笔交易打包在一个STARK证明中，然后在链上进行验证，降低了每笔交易的平均燃料成本。StarkEx扩展引擎的工作原理，包括批处理、验证和更新、生成证明以及链上验证四个步骤。
StarkEx已经成功部署在多个应用中，如dYdX、Immutable、Sorare、DeversiFi和Celer。
和StarkNet的区别在于：
StarkEx 和 StarkNet 是由 StarkWare 开发的两个不同的技术，它们都使用 STARK 零知识证明技术，但有不同的目标和用途。
StarkEx：StarkEx 是一个针对特定应用的 Layer-2 扩展引擎，主要关注优化以太坊区块链上的单一应用程序的性能。它通过将多个交易批量处理并在链下进行验证，实现了更快速、低成本的交易。主要用于去中心化交易所（DEX）、NFT 市场和游戏等。通过使用 STARK 证明技术，StarkEx 提供了安全、高效和低成本的交易体验。
StarkNet是一个无需许可的更为通用、完整的 Layer-2 解决方案，它为整个以太坊生态系统提供了一个去中心化的计算平台，开发者可以在其中部署用Cairo语言编写的智能合约。StarkNet支持与其他合约进行交互，允许丰富的协议组合，并可通过异步消息传递与以太坊合约进行交互。目标是提供一个可扩展、低成本且安全的环境，以便开发者在其上构建和部署智能合约。与 StarkEx 不同，StarkNet 可以看作是一个全面的 Layer-2 操作系统，允许开发者创建各种去中心化应用程序，而不仅仅是针对特定用途的解决方案。
总之，StarkEx 是一个应用特定的 Layer-2 扩展引擎，主要关注特定应用程序的性能优化，而 StarkNet 是一个更为通用、全面的 Layer-2 解决方案，旨在为整个以太坊生态系统提供一个去中心化的计算平台。
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/
Starknet 文章：https://starkware.co/content/
Starkware Twitter：https://twitter.com/StarkWareLtd
Starknet Twitter：https://twitter.com/Starknet
Starknet Discord：https://discord.gg/qypnmzkhbc
Straknet Medium：https://medium.com/starkware
StarkNet生态：https://www.starknet-ecosystem.com/