估值80亿美金，V神、红杉资本纷纷投资，StarkWare魅力几何？

文章来源：S17 Labs  

近期，以太坊 Layer 2 开发公司 StarkWare 宣布以 80 亿美元完成 1 亿美元 D 轮融资，本轮融资由 Greenoaks Capital 和 Coatue 领投，包括 Tiger Global 在内的其他现有和新投资者参投。D 轮融资完成后，StarkWare总融资金额已达到 2.62 亿美元。

此前，StarkWare 分别于 2018 年 1 月和 10 月完成 600 万美元和 3000 万美元的两轮融资，其中，600 万美元种子轮融资的参投方包括 MetaStable Capital 和 Foodgate、Pantera、Polychain、Zcash 以及 Vitalik Buterin，3000 万美元融资由 Paradigm 领投，英特尔创投、Sequoia、Atomico、丹华资本、Wing、ConsenSys、Coinbase Ventures、Multicoin Capital 等跟投。

StarkWare可谓是吸引了广泛投资者的注意，红杉资本我们耳熟能详，自然不必多说，Tiger Global 专注于在全球范围内投资上市公司和私营企业，自 2003 年以来，已投资于 30 多个国家的数百家公司，在许多著名企业的投资中都有他的身影。

Pantera 是在 2013 年比特币价格为 65 美元时在美国推出了第一个加密货币基金。该公司随后推出了第一个以区块链为重点的风险基金。如今，Pantera已经掌管了超过60亿美元的资产。

Collaborative Fund将自己定义为推动世界前进的企业家的主要资金来源。他们的投资覆盖了各个行业，健康、食品与农业、气候和科学、区块链等，并取得了不错的成就。

当然，还有一个不得不提的投资者，那就是在2018年1月，以太坊创始人Vitalik Buterin（V神） 为StarkWare带来了种子轮投资。

关于StarkWare

StarkWare 成立于 2018 年, 总部位于以色列，一家 Layer 2 解决方案提供商。我们之前在写Arbitrum时，提到过市面上主要有两种类型的rollups，一种是ZK rollups——靠零知识证明，另一种是Optimistic rollups，是一种可以允许在链外进行以太坊交易的方法，通过仅仅在链上存储交易数据，就可以减少目前存在的网络拥堵问题，提升速度，尽可能的降低Gas费用。

如下图，我们可以看到，以太坊网络第二层解决方案所使用的技术中，有大半部分项目都选择了ZK rollups，ZK rollups缔造了诸如dYdX这类的高市值项目。

StarkWare 的主要贡献，是在零知识的学术上和计算领域贡献的技术进步，首先，StarkWare 团队研发了 STARKs。STARKs就是zk rollup方案中的一种，具有完全去信任设置的有效性证明形式，可以把所有链上计算转移到单独的链下 STARK 证明器 (prover) 中，然后将计算结果通过一个链上 STARK 验证器 (STARK Verifier) 来验证其完整和可靠性。这样就减少了链上计算消耗的Gas费。

StarkWare包括StarkNet、StarkEx和Cairo这三大主要产品。

 

StarkNet

StarkNet 是一种无需许可的去中心化ZK-Rollup，是StarkWare所推出的公链。它作为以太坊上第二层网络运行，使任何 Dapp 能够实现其计算的无限规模，而不会影响以太坊的可组合性和安全性。并支持在以太坊上的通用计算，具有免许可性和抗审查性。

作为一个免许可型 L2 Rollup，StarkNet 几乎可以满足开发者、用户和 StarkNet 节点的所有期望：开发者可以根据自己的商业逻辑构建应用并部署到 StarkNet 上。用户可以发送交易到 StarkNet 上执行，就像和以太坊交互那样。StarkEx 的节点和参与者将受到密码学货币的经济激励，来确保网络高效公平地运行。

所有 StarkNet 交易将会被定期打包处理，提供 STARK 证明来证明其有效性，并在以太坊上进行验证。与验证以太坊事务的计算成本相比，验证 STARK 证明所需的计算成本要小得多。因此，StarkNet 可以将以太坊的可扩展性提升好几个数量级。

由于所有 StarkNet 状态转换都将由 STARK 证明来证明，只有有效的状态转换会被以太坊接受。重构完整 StarkNet 状态所需的全部数据都将在链上发布。任何人都能运行他们自己的 StarkNet 节点。这些特性会让 StarkNet 获得堪比以太坊的安全性和免许可性。

StarkNet具有以下三大特点：

l 可扩展性和完整性：StarkNet 支持规模化，同时通过在链下生成 STARK 证明，然后在链上验证这些证明来保持 L1 以太坊的安全性。

l 轻松部署：在 StarkNet 上，开发人员可以使用 StarkNet Contracts 轻松部署任何业务架构。

l 可组合性：StarkNet 提供以太坊级别的可组合性——促进轻松开发和创新。

  

目前，StarkNet Alpha 已在主网上上线，开发人员可以在智能合约中实现他们选择的业务架构，并在 StarkNet 上无需许可地部署。

StarkNet所支持的功能

StarkEx

StarkEx是StarkWare开发的位于以太坊主网上的 L2 可扩展性引擎。开发者可以将StarkEx集成到Dapp中，实现以太坊L2扩展功能并保证数据可用性，比如提高交易速度、支持ERC-20和ERC-721、实时Oracle价格反馈等。

StarkEx 利用 STARK 技术为 DeFi 和游戏等应用程序提供可扩展的自托管交易。StarkEx 使应用程序能够显着扩展并提高交易速度，同时降低交易成本。还可以通过生成有效性证明，确保所有链下计算完整执行，STARK 证明先在链上得到验证，然后再提交至以太坊主网络。

StarkEx 目前支持 ETH、ERC-20、ERC-721 代币和合成资产。此外，它可以很容易地支持其他与 EVM 兼容的区块链上的代币。

StarkEx所支持的功能  

Cairo

Cairo 是图灵完备的高级编程语言和框架，可以为通用计算生成 STARK 证明。应用开发者可以使用 Cairo 定义任何商业逻辑，在链下生成证明，并在链上进行验证，而无需自己编写复杂的“电路”或 AIR。Cairo 已在主网上线，向所有开发者开放。

Cairo 的通用证明服务的 alpha 版本已经在以太坊公共测试网上发布。通过该服务，开发者可以使用 Cairo 构建自己的应用，实现他们想要的一切商业逻辑。他们会将自己的 Cairo 代码发送至 GPS 来生成证明，再在链上进行验证。

GPS 可以使用单个证明来证明多个独立应用的执行完整性，让这些应用可以分摊证明验证的 gas 成本。

Cairo 和 GPS 都是 StarkNet 的基础。 

StarkWare缘何得到市场的青睐？

StarkWare是知名项目如dYdX，Immutable, Sorare, Deversifi的背后的技术服务商。目前已经锁定了10亿美元的TVL，有超过5000万的NFT在其上面铸造，累计交易达到6020亿美元。

  

那么，StarkWare解决了什么问题？对于开发者而言，StarkWare有何魅力？对于V神而言，为什么投资StarkWare，StarkWare能弥补ETH哪些不足？

简单来说，StarkWare为区块链行业开发了基于 STARK 的解决方案。 

举个例子吧，例如小刚要向大家证明自己没有吃粽子，只能剖开自己的肚子向大家证明。而这并不是一个好的方案。

在区块链行业，以比特币为首的数字加密货币为人类解决了信任问题，但公共区块链的设计使得所有的交易都是透明的，所有的交易都可以被公开查询。也就是说，目前区块链行业的隐私问题并未得到解决。

而“零知识证明机制”是一种可以在无需向对方展示可以证明你身份的数据的前提下，还能向对方证明你的身份的一种技术。在密码学货币和区块链中，这通常是指可以验证交易数据是真实的，而不用知道其他任何信息。

零知识证明系列的解决方案在区块链行业备受宠爱，比如我们之前曾写过的Aleo也正是因为其零知识证明而获得了数亿美元的融资，得到了一众投资机构例如A16Z的追捧。

StarkWare作为ZK-STARKs的先驱，其为区块链行业带来的创新性和贡献度是值得被重视的。由 StarkWare 发明的 ZK-STARKs 使用新颖的密码学证明和现代代数来加强区块链上计算的完整性和隐私性。ZK-STARK 允许区块链将计算转移到单个链下 STARK 证明者，然后使用链上 STARK 验证器验证这些计算的完整性。

ZK-STARKs技术可以改进区块链世界中的两大难题：

1、可扩展性：由于计算资源有限，将吞吐量扩展到不断增长的需求必然会使一些参与者无法验证完整性。

2、隐私性：在没有加密信息的情况下，所有区块链交易都是公开的，这对于企业和个人来说都是不可接受的。

STARK 结构结合了两种成分：可以通过随机且廉价的本地检查来验证的长证明；加密哈希函数，例如 SHA-256 或 Keccak。第一个组件为 STARK 提供了可扩展性，而第二个组件为 STARK 提供了透明度。

具体来说，StarkWare希望构建的STARK，它是一个既可扩展又透明的加密证明，下面用专业术语来展示：

我们考虑计算完整性 (CI) 语句的密码证明。这意味着，对于给定的程序A、输入x、输出y和时间限制T，我们希望生成一个证明字符串Π来证明该语句

“A( x ) 在T个计算步骤内输出y ”。

没有（有效的）程序应该能够为错误的陈述产生看起来有效的证明（例如，声称A（x）=1，而A（x）=0）。更一般的 CI 语句是可能的，其中A还需要一个私人辅助输入。

STARK示意图

ZK-STARKs解决方案通过零知识证明协议来保护区块链隐私数据，在无需耗费大量算力和专门部署安装软件的前提下验证隐私信息，而且还能把数据压缩的更小，提高了效率、透明度和安全性。 

ZK-STARKs因成功证明以其在不牺牲计算完整性的前提下隐藏信息的能力而闻名，许多社区的拥护者都对这项技术持积极态度，包括以太坊的创始人Vitalik Buterin曾暗示，这样的系统可以部署在“ethereum 3.0”上。

StarkWare明星团队

和大部分项目只展示几个团队成员不同，StarkWare为我们展示了非常丰富的团队成员，从董事会成员，到核心成员，到科学顾问，再到顾问，大约有百余人。其中核心成员中有一部分均来自于耶路撒冷的希伯来大学，他们有的获得了博士学位、有的是教授，同时，还是其他许多著名公司的创始人或投资人，团队阵容可谓十分豪华。

Eli Ben-Sasson是 StarkWare 的联合创始人兼总裁，也是其董事会主席。自 2001 年在希伯来大学获得计算机科学博士学位以来，他一直在研究密码学和零知识证明。Eli 是 STARK、FRI 和 Zerocash 协议的共同发明者，也是 Zcash 的前创始科学家。多年来，他在普林斯顿大学、哈佛大学和麻省理工学院的高级研究所担任研究职位，最近，他在 Technion 担任计算机科学教授，并与人共同创立了 StarkWare。

Uri Kolodny是 StarkWare 的联合创始人兼首席执行官，也是董事会成员。他毕业于希伯来大学计算机科学专业，并获得 MIT Sloan MBA 学位。Uri 是一位连续创业者，他与他人共同创立了多家科技公司，其中包括 OmniGuide（麻省理工学院衍生公司，为内窥镜手术开发光纤）和 Mondria（大数据可视化工具开发商）。此前，Uri 还曾在两家以色列风险投资公司担任 EIR，并在麦肯锡担任分析师。

StarkWare董事会除创始人外，还有其他三位人员组成，分别是Avi Wigderson、Matt Huang  和Joey Krug。   

  

Avi Wigderson是 StarkWare 的科学顾问也是董事会成员，是普林斯顿高等研究院 (IAS) 的数学教授，自 2013 年起成为美国国家科学院院士。Wigderson 获得了 Nevanlinna 奖（1994 年）、哥德尔奖（2009 年） 、克努特奖（2019 年）和阿贝尔奖（2021 年）。

Matt Huang 是 StarkWare 董事会的成员。Matt  是 Paradigm 的联合创始人，拥有麻省理工学院数学博士学位。从 2014 年到 2018 年，Matt 是红杉资本的合伙人，专注于互联网和移动公司的早期风险投资，同时还领导该公司在加密货币方面的投资。在加入红杉之前，Matt 是 Hotspots 的创始首席执行官，Hotspots 是一家由 YCombinator 支持的公司，于 2012 年被 Twitter 收购。Matt 还是字节跳动和 Instacart 等公司的个人种子投资者。

Joey Krug 是StarkWare 董事会的一名董事会观察员。Joey 是 Pantera Capital 的联合首席信息官，Pantera Capital 是最大的专注于区块链的投资公司之一，他于 2017 年加入该公司。他是 Forecast Foundation 的联合创始人，该基金会为 Augur 和 Beam做出了贡献。在 Pantera 之前，Joey 建立了一个基于声音的销售点支付系统。在区块链领域之外，Joey 共同创办了排名第一的 AngelList 。

总结

StarkWare作为ZK-STARKs背后的研发团队，为L2带来了不同于Optimistic rollups的解决方案——ZK rollups，这推动了L2的进步。正如V神所说，L2和以太坊2.0并不冲突，随着零知识证明的进步，StarkWare或将得到更多开发者的青睐。

从创始团队中我们也可以看出，StarkWare是一家技术驱动的公司，创始团队的背景和开发能力毋庸置疑，这一点从采用了其方案的去中心化衍生品交易所 dYdX 能够拥有10亿的资金锁仓量便知。dYdX 称选择 Layer 2 意味着可以大幅降低交易费、支持更多交易对、即时交易结算、更快的价格预言机、提供更高杠杆倍数和更好的隐私保护。

  

在社区激励方面，StarkWare保持着一贯严谨、低调的风格，官方人员Ben-Sasson表示，为每一项新技术创造一个token并不是一种可持续的趋势，如果团队决定在未来推出一个zk-starks数字货币，他们将使用相同的模型来向其他开发人员支付款项。

当然，时间是不断向前走的，事物也是不断变化的，StarkWare及其生态，还有更多的空间等待我们去发掘。