StarkWare Industries Ltd.创立于2018年，总部位于以色列Netanya，专注于开发基于零知识证明 (Zero-Knowledge Proofs，ZKP) 技术的解决方案。零知识证明是一种加密技术，允许证明某些事情的真实性，而不必透露任何相关的详细信息。这种技术在区块链和加密货币领域特别受欢迎，因为它可以在保护用户隐私的同时实现高效的数据验证。
StarkWare Industries Ltd.美股百科
StarkWare Industries 是一家专注于密码学的以色列软件公司。它开发了零知识证明（ZKP）技术，通过压缩信息来解决区块链的可扩展性问题，并在以太坊平台上运行。2022 年 5 月最新一轮的融资中，StarkWare Industries 公司的估值为 80 亿美元（2021年11月为 20 亿美元）。
StarkWare 的目标之一是通过将零知识证明（ZKP）技术应用于区块链和加密货币领域，提高其效率和可扩展性。他们开发的技术可以帮助解决加密货币领域面临的性能限制和隐私问题，例如提高交易处理速度，降低费用，并提高隐私保护水平。
StarkWare 的 ZKP 技术已经在以太坊和其他区块链平台上得到了应用。公司最知名的产品是 StarkNet，这是一个基于以太坊的 Layer 2 扩容解决方案。StarkNet 可以将以太坊的交易速度提高数百倍，同时降低交易费用。
StarkWare 的主要产品和服务包括
- （1）StarkNet： 一个基于以太坊的 Layer 2 扩容解决方案
- （2）StarkWare Pro： 一个面向企业和机构的 StarkNet 私有部署解决方案
- （3）StarkWare VM： 一个用于构建 ZKP 应用程序的虚拟机
- （4）StarkWare SDK： 一个用于开发 ZKP 应用程序的软件开发工具包
StarkWare Industries Ltd.技术百科
Starkware 开发了名为 STARK（可扩展透明知识论证，Scalable Transparent ARgument of Knowledge）的技术来提高区块链的可扩展性。它是在以色列理工学院 Ben-Sasson 和 Riabzev 等人的理论研究以及零知识证明（ZKP）数学模型的基础上建立的。
StarkWare Industries公司开发了基于这种数学的技术，可以在远离以太坊基础层的情况下一次性处理数千笔交易。每批次的每次最终更新都会使用 80 KB 的文件写入以太坊，作为该批次内容的证明。 这种压缩过程增加了区块链块上可以接受的数据量，并最大限度地减少了每笔交易所需的能量。 每笔交易能耗降低20万倍。
StarkWare 首先以 StarkEx 的形式提供其技术，这是一种专有的扩展引擎，于 2020 年 6 月在以太坊上推出。 Sorare、Dydx、Immutable X、Web 浏览器 Opera 和 DeversiFi 使用它。
2021 年 6 月，StarkWare 推出了第二个平台：StarkNet。 与向客户开放的 StarkEx 不同，StarkNet 是无需许可的。 任何开发人员都可以使用它来构建可扩展的去中心化应用程序。
截至 2022 年 5 月，基于 StarkNet 构建的开发人员工具下载量已达 100,000 次。 StarkWare 的系统采用 CAIRO 语言进行编程，CAIRO 语言是由该公司的研究人员和工程师构建的图灵完整编程语言。
StarkWare Industries Ltd.历史百科
StarkWare Industries 由来自以色列理工学院的 Eli Ben-Sasson（总裁）于 2018 年创立，他是 Zcash 的创始人之一，他以前加州大学伯克利分校的博士学生Michael Riabzev, Uri Kolodny (CEO) 和 Alessandro Chiesa加入公司。2019 年 4 月，以色列理工学院起诉 Ben-Sasson 和 Riabazev 侵犯其知识产权。 该研究所声称，Ben-Sasson 在未经同意的情况下秘密成立了StarkWare，用于学术研究，并要求获得该公司50%的股份。Ben-Sasson 声称他没有使用任何属于以色列理工学院的发明。 2020年，双方达成协议，Ben-Sasson离开了以色列理工学院。
2018年，Starkware 筹集了 600 万美元的种子资金，随后在 Fred Ehrsam 的风险投资基金公司 Paradigm 牵头的 A 轮融资中筹集了 3000 万美元。2021年3月，该公司在B轮融资中筹集了7500万美元。 该项目由 Paradigm 领投，其他风险投资公司包括红杉资本、DCVC、Pantera Capital、Wing、Alameda Research 和 Founders Fund。2021 年 11 月，StarkWare 在由红杉资本领投的 C 轮融资中筹集了 5000 万美元，使其筹集资金总额达到 1.63 亿美元，使其估值达到 20 亿美元，成为独角兽公司。2022 年 5 月，StarkWare 在由 Greenoaks Capital 和 Coatue Management 领投的 D 轮融资中筹集了 1 亿美元，使其估值达到 80 亿美元。
StarkWare Industries Ltd.融资百科
2018年1月，StarkWare Industries Ltd.完成600万美元种子轮融资，由Floodgate、Pantera Capital、Polychain Capital、Naval Ravikant（个人）、Elad Gil（个人）等共同参与。
2018年7月，StarkWare Industries Ltd.获得Ethereum Foundation 1200万美元捐助。
2018年10月，StarkWare Industries Ltd.完成Paradigm和Sequoia Capital领投的3000万美元A轮融资，Bossanova Investimentos、Intel Capital、Founders Fund、DCVC等跟投。
2021年3月，StarkWare Industries Ltd.完成Paradigm领投的7500万美元B轮融资，Sequoia Capital、Founders Fund、DCVC、Alameda Research、Pantera Capital等跟投。
2021年11月，StarkWare Industries Ltd.完成Sequoia Capital领投的5000万美元C轮融资，DCVC、Alameda Research和IOSG Ventures跟投。估值20亿美金。
2022年5月，StarkWare Industries Ltd.完成Alameda Research、Coatue 和 Greenoaks领投的1亿美元D轮融资，Tiger Global Management跟投。估值80亿美金。
StarkWare Industries Ltd.美股投资
非上市公司，公司官网，等待 Starkware Industries IPO上市。
3F
StarkWare Industries 核心产品：StarkWare&StarkNet
目前市面上主要有两种类型的rollups，一种是ZK rollups（靠零知识证明），另一种是Optimistic rollups，所谓Rollups,就是一种可以允许在链外进行以太坊交易的方法，通过仅仅在链上存储交易数据，就可以减少目前存在的网络拥堵问题，提升速度，尽可能的降低Gas费用。
StarkEx
StarkEx是Starkware开发的 L2 可扩展性引擎，通过类似汇编语言的Cairo程序，可以在零知识环境中执行这种功能。StarkEx支持链上/链下混合数据可用性解决方案、快速提款、ERC-721和ERC-20,保证数据可用性。
还可以通过生成有效性证明，确保所有链下计算完整执行，STARK 证明先在链上得到验证，然后再提交至以太坊主网络。
StarkNet
StarkNet是以太坊上基于Starkware团队开发的Stark零知识证明的、无需许可的、去中心化的L2- ZK-Rollup。它具备图灵完备性，通过 Solidity -> Cairo 编译器提供 EVM 兼容功能。
Cairo是什么？Cairo是一种具备图灵完备性的语言，StarkNet基于Cairo，支持以太坊上通用的计算。开发者可以在StarkNet上，开发者可以开发和部署应用,用户在StarkNets上可以发起交易并执行，通过激励，可以保证节点网络正常运转。
StarkNet的所有交易周期性地批量打包到一个proof中，在以太坊上验证，所有构建StarkNet的数据在链上（on-chain）发布。
2F
什么是零知识证明？
目前ZKPs正在被使用，常见的ZKP形式是公钥密码学，今天互联网很多关键部分，加密货币都引用了公钥密码学。但问题在于，目前这些ZKPs的范围还是相对狭窄：通常只允许某人证明他们拥有一个与某些公钥相关的私钥，还无法推广到任何任意复杂的计算中。
但是，目前可通用的ZKPs也在迭代和发展中，尽管范围还是相对有限。两个最突出的例子是以隐私为重点的加密货币，Zcash和Monero。Zcash使用一种被称为SNARK的不同类型的ZKP，允许Zcash用户在世界各地私下发送Zcash。Monero使用另一种被称为Bulletproofs的ZKP形式来完成同样的任务。
1F
StarkWare 成立于 2018 年, 总部位于以色列。StarkWare 旨在通过 STARK （商业化的特定类型的零知识证明 (ZKP) 系统，称为 STARKs）技术，提高区块链的可扩展性和隐私性，提供零知识、透明（no needfor a trusted setup)）和后量子安全（post-quantum secure）的加密证明。StarkWare 将开发完整的证明堆栈，软硬件都可以支持快速可靠的生成、验证通用计算的计算完整性证明的方法。