导语：零知识证明可以攻破区块链的不可能三角困境，使得去中心化、安全性、扩展性三者能够同时实现。

自5月Luna项目崩塌开始，加密二级市场不断走阴，但一级市场依然火热。特别是零知识证明这条赛道上，机构已经投下了巨额赌注。

去年秋天，Andreessen Horowitz（a16z）为零知识证明技术提供商Matter Labs进行了一轮5000万美元的融资。今年3月，a16z参与了Optimism的1.5亿美元融资，估值为16.5亿美元。

所谓零知识证明，顾名思义就是证明方在不透露任何实际信息的情况下，向验证方证明某保密信息或声明是真的。

在应用中，它可以攻破区块链的不可能三角困境，使得去中心化、安全性、扩展性三者能够同时实现。

前不久在Greenoaks Capital和Coatue领投下，以太坊零知识证明开发商StarkWare就以80亿美元的估值筹集了1亿美元的D轮资金。这轮融资距离该公司的C轮融资仅仅六个月，并且对StarkWare的估值来到了惊人的20亿美元。

截止目前，StarkWare也已经累计获得2.73亿美元融资，投资方包括Coatue、Greenoaks Capital、Sequoia、Paradigm、3Arrows、Alameda Research等等，也获得了以太坊基金会的支持。

StarkWare的联合创始人兼首席执行官Uri Kolodny说：“我们在加密货币的熊市中完成了这笔交易，展现了投资者对StarkWare作为以太坊扩容方案的信心。”

这家位于以色列的公司使用零知识证明技术（ZK）来提高以太坊的效率，而不牺牲安全性和去中心化程度。

为了释放链上的计算压力提高以太坊公链的处理效率，团队采取了一个叫做ZK Rollup的技术，将需要计算的交易转移到链下进行处理，之后将这些交易打包成一个个batch再发布到以太坊主链上。

整个过程基本是执行交易、提取数据、压缩，将其打包到一个个batch 中然后发到主链上，这里就是“Rollup”的过程。 

那怎么保证链下计算的有效性呢，在打包的过程中其实是使用到了零知识证明的技术，生成了一个ZK-STARK加密证明。

当提交交易batch至以太坊之后，以太坊上的智能合约可以快速验证ZK-STARK 证明，无效的batch 会被直接拒绝，这里就是“ZK”发挥的作用。综上也就构成了ZK Rollup的简单机制过程。

StarkWare的产品体系分为两部分。一种是作为ToB服务的StarkEx，为每一个应用提供专门的Rollup技术服务，采用这种扩容方案的项目中有dYdX、DeversiFi、Immutable X和Sorare。

自18个月前推出以来，StarkEx已经处理了1.73亿笔交易，总价值达6020亿美元，帮助其客户大大降低了使用网络的成本（gas）。

例如，对于去中心化交易所dYdX来说，在以太坊主网结算一笔交易可能需要花费20万单位gas（按当前价格计算约为12美元），而使用StarkEx的服务进行结算的费用还不到这个数字的四分之一。

另一种是通用L2的StarkNet，可以部署任意的智能合约、而不像StarkEx那样需要为特定应用做定制开发。

StarkNet已于去年6月上线测试网、去年11月上线以太坊主网，在ToC服务L2这一侧，目前还没有TVL（总价值锁仓）等数据，但是可以看到StarkWare具有很强的生态吸引力。

官方收集了60多个正在搭建的项目，其中以Defi、Games和NFT为主。

StarkWare团队共有4位合伙人，一个有趣的细节在于StarkWare的团队成员和核心技术都可追溯至另外一个注重隐私的加密货币项目Zcash。

联创及主席Eli Ben-Sasson，于2001年获得希伯来大学理论计算机科学博士学位，专攻密码学和零知识证明。他是STARK证明系统的发明人之一，参与建立过多个加密项目，其中就包括Zcash。

在联合创立StarkWare之前，Eli曾在以色列理工学院担任计算机正教授。还有他的博士生，也就是第二位联创及首席架构师 Michael Riabzev博士。

联创及CEO Uri Kolodny，在希伯来大学获得计算机科学学士学位、在MIT Sloan（麻省理工学院斯隆管理学院）获得MBA。

最后一名联创，也是首席科学家Alessandro Chiesa，和Eli Ben-Sasson联合创办了Zcash，在UC Berkeley计算机系任教。

与StarkWare一样专注于ZK Rollup技术的另外一个龙头是zkSync。二者都有较强的技术能力，并且实现了关键的通用零知识证明系统，因此能够立足于龙头之地。

但他们在技术上也有一些不同之处。StarkWare的技术是基于STARK，T意味着Transparent（透明），意味着系统无需信任即可工作。

其生产零知识证明的速度比zkSync的SNARK快10倍，但在工程实现中STARK不够成熟，很难与EVM兼容。

而SNARK虽然效率不高，但是以太坊工程师的开发迁移成本低，更能够兼容以太坊生态。

笔者统计了二层网络的市值，与StarkWare相关的产品总市值是$781M，而zkSync是$58.71M，相差大约13倍。

导语：零知识证明可以攻破区块链的不可能三角困境，使得去中心化、安全性、扩展性三者能够同时实现。

自5月Luna项目崩塌开始，加密二级市场不断走阴，但一级市场依然火热。特别是零知识证明这条赛道上，机构已经投下了巨额赌注。

去年秋天，Andreessen Horowitz（a16z）为零知识证明技术提供商Matter Labs进行了一轮5000万美元的融资。今年3月，a16z参与了Optimism的1.5亿美元融资，估值为16.5亿美元。

所谓零知识证明，顾名思义就是证明方在不透露任何实际信息的情况下，向验证方证明某保密信息或声明是真的。

在应用中，它可以攻破区块链的不可能三角困境，使得去中心化、安全性、扩展性三者能够同时实现。

前不久在Greenoaks Capital和Coatue领投下，以太坊零知识证明开发商StarkWare就以80亿美元的估值筹集了1亿美元的D轮资金。这轮融资距离该公司的C轮融资仅仅六个月，并且对StarkWare的估值来到了惊人的20亿美元。

截止目前，StarkWare也已经累计获得2.73亿美元融资，投资方包括Coatue、Greenoaks Capital、Sequoia、Paradigm、3Arrows、Alameda Research等等，也获得了以太坊基金会的支持。

StarkWare的联合创始人兼首席执行官Uri Kolodny说：“我们在加密货币的熊市中完成了这笔交易，展现了投资者对StarkWare作为以太坊扩容方案的信心。”

这家位于以色列的公司使用零知识证明技术（ZK）来提高以太坊的效率，而不牺牲安全性和去中心化程度。

为了释放链上的计算压力提高以太坊公链的处理效率，团队采取了一个叫做ZK Rollup的技术，将需要计算的交易转移到链下进行处理，之后将这些交易打包成一个个batch再发布到以太坊主链上。

整个过程基本是执行交易、提取数据、压缩，将其打包到一个个batch 中然后发到主链上，这里就是“Rollup”的过程。 

那怎么保证链下计算的有效性呢，在打包的过程中其实是使用到了零知识证明的技术，生成了一个ZK-STARK加密证明。

当提交交易batch至以太坊之后，以太坊上的智能合约可以快速验证ZK-STARK 证明，无效的batch 会被直接拒绝，这里就是“ZK”发挥的作用。综上也就构成了ZK Rollup的简单机制过程。

StarkWare的产品体系分为两部分。一种是作为ToB服务的StarkEx，为每一个应用提供专门的Rollup技术服务，采用这种扩容方案的项目中有dYdX、DeversiFi、Immutable X和Sorare。

自18个月前推出以来，StarkEx已经处理了1.73亿笔交易，总价值达6020亿美元，帮助其客户大大降低了使用网络的成本（gas）。

例如，对于去中心化交易所dYdX来说，在以太坊主网结算一笔交易可能需要花费20万单位gas（按当前价格计算约为12美元），而使用StarkEx的服务进行结算的费用还不到这个数字的四分之一。

另一种是通用L2的StarkNet，可以部署任意的智能合约、而不像StarkEx那样需要为特定应用做定制开发。

StarkNet已于去年6月上线测试网、去年11月上线以太坊主网，在ToC服务L2这一侧，目前还没有TVL（总价值锁仓）等数据，但是可以看到StarkWare具有很强的生态吸引力。

官方收集了60多个正在搭建的项目，其中以Defi、Games和NFT为主。

StarkWare团队共有4位合伙人，一个有趣的细节在于StarkWare的团队成员和核心技术都可追溯至另外一个注重隐私的加密货币项目Zcash。

联创及主席Eli Ben-Sasson，于2001年获得希伯来大学理论计算机科学博士学位，专攻密码学和零知识证明。他是STARK证明系统的发明人之一，参与建立过多个加密项目，其中就包括Zcash。

在联合创立StarkWare之前，Eli曾在以色列理工学院担任计算机正教授。还有他的博士生，也就是第二位联创及首席架构师 Michael Riabzev博士。

联创及CEO Uri Kolodny，在希伯来大学获得计算机科学学士学位、在MIT Sloan（麻省理工学院斯隆管理学院）获得MBA。

最后一名联创，也是首席科学家Alessandro Chiesa，和Eli Ben-Sasson联合创办了Zcash，在UC Berkeley计算机系任教。

与StarkWare一样专注于ZK Rollup技术的另外一个龙头是zkSync。二者都有较强的技术能力，并且实现了关键的通用零知识证明系统，因此能够立足于龙头之地。

但他们在技术上也有一些不同之处。StarkWare的技术是基于STARK，T意味着Transparent（透明），意味着系统无需信任即可工作。

其生产零知识证明的速度比zkSync的SNARK快10倍，但在工程实现中STARK不够成熟，很难与EVM兼容。

而SNARK虽然效率不高，但是以太坊工程师的开发迁移成本低，更能够兼容以太坊生态。

笔者统计了二层网络的市值，与StarkWare相关的产品总市值是$781M，而zkSync是$58.71M，相差大约13倍。