- 元宇宙：本站分享元宇宙相关资讯，资讯仅代表作者观点与平台立场无关,仅供参考.
2022.11.14-11.20
Part.1 Insight
作者：Bryan, IOSG Ventures
不同证明系统优化的需求/侧重点:
基本：
当一个待证明事物经过电路（如R1CS/QAP）处理之后，会得到一组标量和向量，之后被用来产生多项式或者其他形式的代数形式如inner product argument (groth16)。这个多项式依然很冗长，如果直接生成证明那么无论是证明大小或是验证时常都很大。所以我们需要将这个多项式进一步简化。这里的优化方式叫做多项式承诺，可以理解为多项式的一种特殊的哈希值。以代数为基础的多项式承诺有KZG, IPA，DARK，这些都是利用椭圆曲线产生承诺。
FRI是以Hash Function为产生承诺的主要途径。多项式承诺的选择主要是围绕几点 - 安全性，Performance。安全性在这里主要是考虑到在set up阶段。如果产生secret所使用的randomness是公开的，比如FRI，那么我们就说这个set up是透明的。如果产生secret所利用的randomness是私密的，需要Prover在使用之后就销毁，那么这个set up是需要被信任的。MPC是一种解决这里需要信任的手段，但是实际应用中发现这个是需要用户来承担一定的成本。
而上述提到的在安全性方面相对卓越的FRI在Performance并不理想，同时，虽然Pairing-friendly椭圆曲线的Performance比较卓越，但是当考虑将recursion加入时，因适合的曲线并不多，所以也是相当大的存在相当大的overhead。
图片来源：https://hackernoon.com
Justin Drake on Polynomial commitment, Part 1
行业现状：
当前不管是的基于Plonk(matterlabs) 或者基于Ultra-Plonk(Scroll, PSE)，他们最后的多项式commitment都是基于KZG，故而Prover的大部分工作都会涉及到大量的FFT计算(产生多项式）和ECC 点乘MSM运算（产生多项式承诺）。在纯plonk模式下，由于需要commit的point数量不大，MSM运算所占的Prove时间比重不高，所以优化FFT性能能够短期带来更大的性能提升。但是在UltraPlonk（halo2）框架下，由于引入了customer gate，prover阶段设计的commit的point数量变多，使得MSM运算的性能优化也变得非常重要。（目前MSM运算进行pippenger优化之后，依然需要log(P(logB)) (B 是exp的上界，p是参与MSM的point的数量)。
目前新一代Plonky2证明系统由于所采用的多项式commitment不再是KZG而是STARK系统中常见的FRI，使得Plonky2的prover不需要再考虑MSM，从而理论上该系统的性能提升不再依赖MSM相关的算法优化。plonky2的作者Mir(目前的 Polygon Zero)正在大力推广该系统。不过由于plonky2采用的数域Goldilocks Field对于编写elliptic 相关的hash算法相关的电路（例如ECDSA）不是特别友好，所以尽管Goldilocks Field在机器word运算方面优势明显，但是依然难以判断Mir 和PSE/Scroll方案谁是更好的方案。
基于对Plonk,Ultraplonk, Plonky2的Prove算法的综合考量，需要硬件加速的模块大概率还是会集中在FFT，MSM，HASH 三个方向。
Prover的另一个瓶颈是witness的生成，通常普通非zk计算会略去大量的中间变量，但是在ZK prove的过程中，所有witness都需要被记录，并且会参与之后的FFT计算，所以如何高效的并行witness计算也会是prover矿机需要潜在考虑的方向。
加速ZKP方面的尝试: recursive proof - StarkNet的fractal L3概念基于recursive proof的概念，Zksync的fractal hyperscaling，Scroll也有类似的优化。
> Recursive zkSNARK 概念是对一个 Proof A 的验证过程进行证明，从而产生另一个 Proof B。只要 Verifier 能接受 B，那么相当于也接受了 A。递归 SNARK 可以也可以把多个 证明聚合在一起，比如把 A1 A2 A3 A4 的验证过程聚合为 B；递归 SNARK也可以把一段很长的计算过程拆解为若干步，每一步的计算证明 S1 都要在下一步的计算证明中得到验证，即计算一步，验证一步，再计算下一步，这样会让 Verifier 只需要验证最后一步即可，并避免构造一个不定长的大电路的难度。
理论上 zkSNARK 都支持递归，有些 zkSNARK 方案可以直接将 Verifier 用电路实现，另一些 zkSNARK 需要把 Verifier 算法拆分成易于电路化的部分和不易电路化的部分，后者采用滞后聚合验证的策略，把验证过程放到最后一步的验证过程中。
在L2的未来应用上，递归的优势可以通过对于带证明事物的归纳而进一步将成本与性能等要求进一步降低。
第一种情况(application-agnostic)是针对不同的待证明的事物，比如一个是state update另一个是Merkle Tree，这两个待证明事物的proof可以合并成一个proof但是依旧存在两个输出结果（用来分别验证的public key)
第二种情况(applicative recursion) 是针对同类的待证明的事物，比如两个都是state update, 那么这两个事物可以在生成proof前进行聚合，且仅有一个输出结果，该结果就是经历了两次update的state difference。（Zksync的方法也类似，user cost仅对state difference负责）
除了recursive proof以及下文主要讨论的硬件加速之外，还有其他的加速ZKP的方式，比如custom gates, 移除FFT（OlaVM的理论基础）等，但本文因篇幅原因不予讨论。
硬件加速
硬件加速在密码学中一直是一种普遍的加速密码学证明的方式，无论是对于RSA（RSA的底层数学逻辑与椭圆曲线有类似之处，同样涉及了很多复杂的大数运算），还是早期对于zcash/filecoin的zk-snark的GPU-based的优化方式。
硬件选择
在以太坊The Merge发生之后，不可避免将会有大量的GPU算力冗余（部分受到以太坊共识改变的影响，GPU巨头英伟达股价距年初已经跌去50%，同时库存冗余也在不断增加），下图是英伟达GPU旗舰产品RTX 3090的成交价格，也显示买方势力较为薄弱。
在GPU价格处于低点，同时大量GPU算力闲置，一个自然的问题就是，是否GPU是合适的加速zk的硬件呢？硬件端主要有三个选择，GPU/FPGA/ASIC.
尤其是对于比特宽度更高（2^20）的运算，GPU是FPGA运算速度的五倍，而消耗的电量同时也高很多。
对于普通矿工来说，性价比也是一个衡量到底使用哪一个硬件的重要的因素。无论是U55C ($4795) 还是 VU9P ($8394) 来说，相比于GPU (RTX 3090：$1860)，价格都要高出很多。
理论层面，GPU适合并行运算，FPGA追求可编程性，而在零知识证明生成的环境下，这些优势并不能完美适用。比如，GPU适用的并行计算是针对大规模图形处理，虽然逻辑上和MSM的处理方式类似，但是适用的范围（floating number）与zkp针对的特定的有限域并不一致。对于FPGA来说，可编程性在多个L2的存在的应用场景并不明朗，因为考虑到L2的矿工奖励与单个L2承接的需求挂钩（与pow不一样），有可能在细分赛道出现winner takes all的局面，导致矿工需要频繁更换算法的情景出现的可能性不高。
目前的ASIC解决方案主要处理的是FFT以及MSM两个常见的ZK电路中算力需求比较高的算子，并不是针对具体的一个项目设计的，所以具体运行的效率并不是理论上最高的。比如，目前Scroll的prover的逻辑电路还没百分百实现，自然也不存在与之一一匹配的硬件电路。并且，ASIC是application-specific，并不支持后续的调整，当逻辑电路发生了变化，比如节点的客户端需要升级，是否存在一个方案也可以兼容，也是目前不确定的。
同时，人才缺失也是ZK芯片的一个行业现状，理解密码学和硬件的人才并不好找，合适的人选是有同时具备较深的数学造诣以及多年的硬件产品设计以及维护经验。
以上都是行业对于加速ZKP的思考与尝试，最终意义就是运行prover的门槛会越来越低。周期性来讲prover需要经历大致的如下三个阶段：
Phase I: Cloud-based prover
基于云的prover可以大大提高第三方prover（非用户/项目方）的准入门门槛，类似于web2的aws/google cloud。商业模式上来讲，项目方会流失一部分奖励，但是从去中心化的叙事讲这是一种经济以及执行层面吸引更多参与者的方式。而云计算/云服务是web2现有的技术栈，已有成熟的开发环境可供开发者使用，并且可以发挥云所特有的低门槛/高集群效应，对于短期内的proof outsource是一种选择。目前，Ingoyama也有在这一方面的实现（最新的F1版甚至达到了pipeMSM的基准速度的两倍）。但是，这依然是一个单个prover运行整个proof的方式，而在phase II中proof可以是一种可拆分的形式存在，参与者数量会更多。
Phase II: Prover marketplace
proof生成的过程中包含不同的运算，有的运算对于效率有偏好，有的运算则对成本/能源消耗有要求。比如MSM计算涉及pre-computation，这需要一定的memory支持不同的pre-computation上的标量颗粒，而如果所有的标量都存在一个计算机上的话对于该计算机的memory要求较高，而如果将不同的标量存储在多个服务器上，那么不仅该类的计算的速度会提高，并且参与者的数量也会增加。
Marketplace是一种针对上述外包计算的一种商业模式上的大胆的思考。但其实在Crypto圈子里也有先例 - Chainlink的预言机服务，不同链上的不同交易对的价格喂送也是以一种marketplace的形式存在。同时，Aleo的创始人Howard Wu曾经合作撰写过一篇DIZK，是一个分布式账本的零知识证明生成方法论，理论上是可行的。
话说回来，商业模式上讲这是一种非常有意思的思考，但是可能在实际落地时一些执行上的困难也是巨大的，比如这类运算之间如何协调生成完整的proof，至少需要在时间以及成本上不落后于Phase I。
Phase III: Everyone runs prover
未来Prover会运行在用户本地（网页端或者移动端），如Zprize有基于webassembly/andriod执行环境的ZKP加速相关的竞赛和奖励，意味着一定层面上用户的隐私会得到确保（目前的中心化prover只是为了扩容，并不保证用户隐私），最重要的上 - 这里的隐私不仅局限于链上行为，也包括链下行为。
一个必须要考虑的问题是关于网页端的安全性，网页端的执行环境相比硬件来说对于安全性的先决条件更高（一个industry witness是metmask这样的网页端钱包相比于硬件钱包，安全性更低）。
除了链上数据链下证明外，以ZKP的形式将链下数据上传到链上，同时百分百保护用户隐私，也只有在这个Phase可能成立。目前的解决方案都难免面临两个问题 - 1. 中心化，也就是说用户的信息依然有被审查的风险 2. 可验证的数据形式单一。因为链下数据形式多样且不规范化，可验证的数据形式需要经过大量的清洗/筛查，同时依旧形式单一。这里的挑战甚至不只是证明生成的环境，对于算法层面是否有能够兼容（首先必须使用transparent的算法），以及成本/时间/效率都是需要思考的。但是同样需求也是无与伦比的，想象可以以去中心化的方式抵押现实生活的信用在链上进行借贷，并且不会有被审查的风险。
融资聚焦 Web3、AI 和机器学习等的平台 Buildspace 完成 1000 万美元融资，a16z 领投
*Infra
聚焦 Web3、机器学习、人工智能等前沿领域的平台 Buildspace 宣布完成 1000 万美元融资，本轮融资由 a16z 领投，Founders Inc、Weekend Fund、Y Combinator、Vayner Fund、Protocol Labs、OrangeDAO、Solana Ventures、OpenSea Ventures、Alchemy Ventures、DreamerVC 等参投。Buildspace 当前被设计为一个针对 Web3 建设者的网络，帮助开发者构建自己的 Web3 项目。
Matter Labs完成2亿美元C轮融资，Blockchain Capital和Dragonfly领投
*Infra
以太坊扩展协议 zkSync 的母公司 Matter Labs 在 C 轮融资中筹集了 2 亿美元。Blockchain Capital 和 Dragonfly 领投了此次投资，LightSpeed Venture Partners、Variant 和 Andreessen Horowitz（a16z） 也参与了此次投资，后者领投了之前 5000 万美元的 B 轮融资。Matter Labs 没有透露估值。此次融资使 Matter Labs 的总融资额达到 4.58 亿美元（包含2亿美元的生态基金）。C 轮融资将用于启动 Matter Labs 构建的第一方项目，壮大 Matter Labs 团队，并资助外部团队构建的其他生态系统项目。它还将用于启动 Matter University，作为用户和构建者的入职和教育平台。Matter Labs 承诺在 2022 年底之前根据 MIT 开源许可提交其核心代码。Matter Labs 首席产品官 Steve Newcomb 表示，1/3 的代币将分配给 Matter Labs 的员工和投资者，剩余的代币将进入 zkSync 生态，但未透露具体的计划。
*Defi
基于 NEAR 开发的去中心化交易所 Jumbo 完成 350 万美元的新一轮融资，Pantera Capital、Huobi Ventures、D21 Ventures、Big Brain Holdings、Dweb3 Capital、Fundamental Labs、MetaWeb 等参投。
加密钱包应用 Zulu 完成 500 万美元种子轮融资，Cadenza Ventures 领投
*资管
总部位于哥伦比亚的加密钱包应用 Zulu 完成 500 万美元种子轮融资，早期风险投资公司 Cadenza Ventures 领投，Nexo Ventures 等公司以及一些个人投资者参投。Zulu 为哥伦比亚、委内瑞拉、秘鲁和墨西哥的用户提供服务，该公司希望明年将其应用程序扩展到美国以及其他国家 / 地区。Zulu 首席执行官 Villegas 表示，Zulu 于 3 月推出，在 Polygon 区块链上运行，允许用户购买、持有和出售 USDC，在过去四个月中处理了超过 150 万美元的交易。
*gamefi
*gamefi
*NFT
Avalanche生态NFT市场Joepegs完成500万美元种子轮融资，由现已申请破产的FTX Ventures和Avalanche基金会领投。Joepegs团队表示，来自FTX Ventures的资金已于6月完成，并且在最近的破产事件发生之前已从FTX转移出去。
据悉，Joepegs于今年5月推出，包含一个内部制作部门Joe Studios，以及一个NFT Launchpad。
*Web3
Web3 创作者平台 Virtualness 完成 800 万美元种子轮融资， Blockchange Ventures 领投，Polygon Ventures、F7 Ventures、Micron Ventures、Oceans Ventures、Neythri Futures Fund、Carolyn Everson、Randi Zuckerberg、Nusier Yassin（Nas Daily）、Nikki Farb、Stacy Brown-Philpot 等参投。Virtualness 由前 Facebook 印度和南亚董事总经理、前软银投资顾问投资合伙人 Kirthiga Reddy 以及前 Meta 娱乐亚太区负责人 Saurabh Doshi 共同创立。该平台计划于 2023 年初推出，届时经过认证的创作者和品牌将能使用该平台设计、铸造和展示品牌数字收藏品。
*gamefi
Binance Labs 宣布对 Web3 体育游戏平台 Ultimate Champions 进行 400 万美元战略投资。Ultimate Champions 是一个免费的幻想运动平台，将部署在 BNB Chain 上。
*Infra
荷兰区块链可持续发展初创公司 Circularise 完成 1100 万欧元的融资，Brightlands Venture Partners 领投，Asahi Kasei、Neste 和现有投资者 4impact Capital 参投，此轮融资还得到了欧盟委员会的资助，资金将用于扩大业务运营、产品研发以及拓展国际团队。Circularise 于 2016 年创立，是一个为工业供应链提供端到端可追溯性和安全数据交换的软件平台，其使用区块链和其他新兴技术使公司能够共享有关其产品的数据，同时保留对敏感信息的隐私。
Part.3 IOSG投后项目进展
*基础设施
据官方推特，Maker宣布推出Maker Teleport，旨在为DAI提供多链传输的基础设施。Maker Teleport由MakerDAO Engineering Core Unit构建，其部署分为快速提款和Layer2至 Layer2完全传输两个阶段。现在Maker Teleport已实施了快速提款，允许用户将DAI从Layer2即时传输到Layer1。
目前，快速提款已上线Arbitrum和Optimism，债务上限均为100万枚DAI。Maker 表示在未来的升级中，用户将可以即时地在Layer2间传输DAI。
同时，Maker宣布将为想要集成Maker Teleport的开发者提供最高10,000枚DAI的拨款计划。
Arbitrum One网络新增验证者节点，目前包括ConsenSys、以太坊基金会等
*扩容
以太坊扩容解决方案Arbitrum开发商Offchain Labs发布官方博文称，Arbitrum One网络新增验证者节点。目前验证者节点包括ConsenSys、以太坊基金会、L2BEAT、Mycelium、Offchain Labs、P2P、Quicknode、Institute for the Future（IFF）旗下Distributed Ledgers Research Centre（DLRC）、Unit 410。
*基础设施
以太坊基础设施开发公司 ConsenSys 正在 COP27 的联合国气候变化全球创新中心推出以太坊气候平台（ECP），该平台是为以太坊生态系统构建的，旨在减轻区块链在 9 月通过合并之前使用的过度能源消耗。
COP27 是 UNFCCC 第 27 次缔约方会议的简称。UNFCCC 是《联合国气候变化框架公约》的简称。COP27 会议于 11 月 6 日至 18 日在埃及沙姆沙伊赫举行。
*资管
数字资产管理平台 Safe（原 Gnosis Safe）成立的 Safe 基金会宣布将拨款 100 万美元，资助正致力于推动链上资产自托管或混合托管发展的团队，包括监管机构与研究员、教育工作者与行业建设者。资助计划的具体细节将于 2023 年第一季度在官方推特公布。
Alameda破产后，被收购的DeFi协议Ren Protocol需要新的资金支持。
* Defi
在Alameda崩溃后，DeFi协议Ren Protocol面临没有足够的资金来发展的危险。Ren是一个基于以太坊的DeFi协议，它可以铸造被封装的加密资产，来桥接到以太坊和BNB链。Ren自成立以来已经处理了超过130亿美元的跨链交易量。Alameda 自2021年初收购了Ren并在每季度为Ren的开发提供70万美元资金。
Ren团队透露，目前的资金只够开发至第四季度结束，该项目的剩余资金约为16万美元。现在，Ren希望从其他来源获得资金。该团队周五透露，它正在与社区成员一起探索各种机会。这些选择可能会由RenDAO社区投票决定。除了获得新的资金外，Ren团队还希望推出最新版本的协议Ren 2.0。
Web3保险协议InsurAce正在联合行业机构，构建类似联邦保险(FDIC)的用户保险体系
免责声明与风险
请查看免责声明、条款和风险，了解本文档的法律声明、其内容及其风险因素。特别是，您应该在进行任何投资之前进行自己的研究(DYOR)，并注意本文件中与前瞻性陈述相关的风险。
END
Incubatingprojectsforambitiousteamsaroundtheworldandlookingforthemostpotentialstakingprojects.
Buildinganewworld，thebridgeofthetime.
扫码关注更多内容
文章转发自IOSG微信公众号，版权归其所有。文章内容不代表本站立场和任何投资暗示。
Copyright © 2021.Company 元宇宙YITB.COM All rights reserved.元宇宙YITB.COM
