IOSG Weekly Brief |ZKP 加速 #148

Part.1 Insight

作者:Bryan, IOSG Ventures

本文为IOSG原创内容,仅做行业学习交流之用,不构成任何投资参考。如需引用,请注明来源,转载请联系IOSG团队获取授权及转载须知。

ZKP加速

本文将主要讨论ZKP作为扩容方案的发展现状,从理论层面描述产生证明过程中主要需要优化的几个维度,并引深到不同扩容方案对于加速的需求。然后再围绕硬件方案着重展开,展望zk硬件加速领域的摩尔定律。最后,关于硬件zk加速领域的一些机会和现状,会在文末阐述。首先,影响证明速度的主要有三个维度:证明系统,待证明电路规模,和算法软硬件优化。

对于证明系统来说,凡是使用椭圆曲线(EC)的算法,也就是市面上主流的groth 16(zcash), halo2(scroll), plonk(aztec, zksync)这些zk-snark算法,产生多项式承诺的过程中涉及的大数点乘(MSM),目前都有时间长(算力要求高)的瓶颈。对于FRI-based算法,如zk-stark,其多项式承诺产生方式是hash function,不牵扯EC,所以并不涉及MSM运算。(amber有一张比较完整的表格,描述了基于不同算法的项目方对于MSM/FFT的需求的不同)

证明系统是基础,待证明电路的规模也是核心的硬件优化的需求之一。近期讨论很火的zkevm,根据对以太坊的兼容程度不同,导致了电路的复杂程度的不同,比如zksync/starkware构建了与原生以太坊不同的虚拟机,从而绕开了一些以太坊原生的不适合利用zk处理的底层代码,缩小了电路的复杂长度,而scroll/hermez这样目标从最底端兼容的zkevm的电路自然也会更复杂。(一个方便理解的比方是,电路的复杂性可以理解为一辆巴士上的座位,比如普通日子下需要搭载的乘客数在30人以下,有些巴士选择了30人的座位,这些巴士就是zksync/starkware,而一年中也有一些日子有特别多的乘客,一般的巴士坐不下,所以有一些巴士设计的座位更多(scroll)。但是这些日子可能比较少,会导致平时会有很多空余的座位。)硬件加速对于这些电路设计更复杂的电路更迫切,不过这更多是一个specturm的事情,对于zkvm也同样有利无弊。

不同证明系统优化的需求/侧重点:

基本:
当一个待证明事物经过电路(如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
图片来源:https://hackernoon.com
  Justin Drake on Polynomial commitment, Part 1
  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.

FPGA vs GPU: 

先看总结:以下是trapdoor-tech关于GPU(以Nvidia 3090为例)以及 FPGA(Xilinx VU9P为例)在几个维度的总结,非常重要的一点是:GPU在性能(生成证明的速度)方面要高于FPGA, 而FPGA在能源消耗则更具有优势。

一个更直观的来自于Ingoyama的具体的运行结果:

尤其是对于比特宽度更高(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是性能(吞吐量、延迟方面)与成本方面权衡表现较优的方案(但是否是最好的方案仍然没有定论),其存在的问题是:

  1. 开发时间长-需经历完整的芯片设计到芯片生产的过程,即使目前已经设计好了芯片,芯片生产也是一个冗长、烧钱并且良片率不一的过程。代工资源方面,台积电和三星是最好的芯片代工工厂,目前台积电的订单已经排到了两年后,与zk芯片竞争代工资源的是AI芯片、电动车芯片这类web2早早做好芯片设计的已经被需求证明的产品,相比之下zk芯片的需求并不明朗。其次,整颗芯片的性能和单个芯片的大小,也就是人们常说的20nm,18nm是成负相关的,也就是说单个芯片越小,晶片可以容纳的芯片的数量越多,即整颗的性能越高,而目前的制造高端芯片的的技术是被垄断的(比如芯片制造中最复杂的一环,光刻技术,是被荷兰的ASML公司垄断),对于一些中小型的代工厂(如国内的中芯国际)这类技术方面落后顶尖一到两代,也就意味着从良品率以及芯片大小方面是落后于最好的代工厂的。这会导致对于zk芯片来说,只能寻求一些次优的解决方案,当然也是在需求端不那么明朗的情况下基于成本的考虑,选择28nm左右的非高端芯片。

  2. 目前的asic解决方案主要处理的是FFT以及MSM两个常见的zk电路中算力需求比较高的算子,并不是针对具体的一个项目设计的,所以具体运行的效率并不是理论上最高的。比如,目前scroll的prover的逻辑电路还没百分百实现,自然也不存在与之一一匹配的硬件电路。并且,asic是application-specific,并不支持后续的调整,当逻辑电路发生了变化,比如节点的客户端需要升级,是否存在一个方案也可以兼容,也是目前不确定的。

同时,人才缺失也是zk芯片的一个行业现状,理解密码学和硬件的人才并不好找,合适的人选是有同时具备较深的数学造诣以及多年的硬件产品设计以及维护经验。

Closing thoughts - prover发展趋势

以上都是行业对于加速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的算法),以及成本/时间/效率都是需要思考的。但是同样需求也是无与伦比的,想象可以以去中心化的方式抵押现实生活的信用在链上进行借贷,并且不会有被审查的风险。

Part.2 投融资事件

Fluidity 完成 130 万美元融资

*流动性激励协议

流动性激励协议 Fluidity 完成 130 万美元种子轮融资,Multicoin Capital 领投,参投方包括 Circle Ventures、Solana Ventures、Lemniscap、NGC Ventures、Skyvision Capital、Bitscale、Koji Capital、Meld Ventures、Grug Capital,个人投资者包括 ZachXBT、DCF GOD、Eden Au(The Block)、Igor Igamberdiev(The Block)、credit、BigDSenpai、MrBlock 和 ivangbi(Gearbox DAO)。

Fluidity 以 1:1 的比例通过封装资产返还用户存入协议的稳定币,将稳定币存入 DeFi 协议产生的收益以用户使用封装资产的频率等为标准,旨在提高资产利用率。

Braavos 完成 1000 万美元融资

*钱包

StarkNet 上自托管钱包 Braavos 完成 1000 万美元融资,Pantera Capital 领投,参投方包括 Brevan Howard Digital、Crypto.com、Road Capital、Matrixport 和 StarkWare。 Braavos 联合创始人 Motty Lavie 表示,Braavos 将利用现有移动设备的可信执行环境功能及其生物识别工具(如面部和触摸 ID)来保护钱包而无需助记词,未来将发布浏览器插件以及 iOS 和 Android 移动端应用。

RakkaR Digital 完成 1000 万美元融资

*加密货币托管

据 The Block 报道,加密货币托管商 RakkaR Digital 完成 1000 万美元融资,投资方为暹罗商业银行旗下子公司 SCB 10X。SCB 10X 的首席执行官兼首席信息官 Mukaya (Tai) Panich 将加入 RakkaR 董事会。

RakkaR Digital 于今年 2 月由 SCB 10X 的前高管 Arthit Sriumporn 创立,旨在服务东南亚机构客户。RakkaR 目前在 Fireblocks 平台上提供服务,计划于 2023 年推出移动端应用。

NiftyApes 完成 420 万美元种子轮融资,Variant 和 FinTech Collective 领投

*NFT

NFT 贷款公司 NiftyApes 完成 420 万美元种子轮融资,Variant 和 FinTech Collective 领投,其他参投方包括 Robot Ventures、Polygon、Coinbase Ventures、The LAO、FlamingoDAO、Ryan Sean Adams、David Hoffman、Eric Conner、Anthony Sassano、Cyrus Younessi、DC Investor、James Young、James Duncan、Nadav Hollander 和 Brendan Forster 等。

NiftyApes 将允许用户从任何 NFT 系列中获得贷款,创始人 Zach Herring 和 Kevin Seagraves 表示,NiftyApes 将利用这笔资金来扩充其团队。

Tharsis Labs 完成 2700 万美元种子轮融资,Polychain Capital 领投

*公链

Cosmos 生态 EVM 兼容链 Evmos 核心开发商 Tharsis Labs 完成 2700 万美元种子轮融资,Polychain Capital 领投,HashKey、Galaxy、Huobi、Coinbase Ventures、Circle Ventures、Asymmetric 以及一些 Web3 领域的天使投资人参投,此次代币销售将支持 Tharsis Labs 在 Evmos 上的更多开发以及 Evmos 生态系统的加速发展。

WeMade 通过可转换债券完成约 4657 万美元战略融资,微软等参投

*游戏

据 CoinDesk Korea 报道,韩国游戏巨头 WeMade 完成 660 亿韩元(约合 4657 万美元)战略融资,新韩资产管理(Shinhan Asset Management)、KIWOOM Securities 和微软参投。此轮融资以发行可转换债券的形式进行,新韩资产投资 300 亿韩元(593938 股)、微软 210 亿韩元(415,757 股)、KIWOOM Securities 150 亿韩元(296,969 股),可转换债券的票面利率为 0%,2027 年 11 月 18 日到期。

Wemade CEO 表示,Wemade 和 WEMIX 将继续努力获得投资,继续积极投资建设全球数字经济平台。

WalletConnect 完成 1250 万美元融资

*Web3 通信协议

Web3 通信协议 WalletConnect 完成 1250 万美元融资,Shopify、Coinbase Ventures、ConsenSys、Circle Ventures、Polygon、Uniswap Labs Ventures、Union Square Ventures、1kx、Gnosis Chain、HashKey、Foresight Ventures、Smart Token Labs、Snapshot、Dialectic 以及 Uniswap 创始人和 Uniswap Labs 的首席执行官 Hayden Adams、ENS Labs 的开发人员 Makoto Inoue 和 Messari 的创始人兼首席执行官 Ryan Selkis 等参投。所得款项将用于构建 Web3 通信网络。

WalletConnect 于今年 3 月完成 1100 万美元 A 轮融资,Union Square Ventures 和 1kx 领投,Coinbase Ventures、Semantic Ventures 等参投。

Beosin 完成近 2000 万美元战略融资

*区块链安全

区块链核心安全服务厂商 Beosin 宣布完成近 2000 万美元战略融资,参投方包括多家产业方及过去的投资者。本轮融资将用于新区块链安全技术研发,生态建设和全球市场布局。

Beosin 是一家区块链安全公司,其核心业务包括智能合约安全审计、区块链项目安全风险监控、预警与阻断、被盗虚拟资产追回、KYT/AML 等「一站式」安全产品与服务解决方案,目前已为全球 2000 多家区块链企业服务,保护资产超 5000 亿美元。

Token Flow 完成 1200 万美元融资

*区块链数据平台

区块链数据平台 Token Flow 完成 1200 万美元 A 轮融资,参投方包括 Electric Capital、Delta Blockchain Fund 与 UDHC。本轮融资将用于数据工程、DevOps、生态系统开发等领域的招聘以及数据处理技术的研发。Token Flow 表示,将在第四季度推出新的数据集和分析工具,并扩展到新的区块链,目前正在研究 Optimism、Arbitrum、zkSync、Polygon 和 Avalanche。此外,未来还将通过对对象(地址、代币、合约)、操作(铸造、交易)的数据收集扩展至流动性变动、治理等领域的数据采集。

Elusiv 获 350 万美元种子轮融资,LongHash Ventures 和 State Stripities Ventures 领投

* 零知识隐私协议

基于零知识的合规隐私协议 Elusiv 宣布完成 350 万美元种子轮融资,LongHash Ventures 和 State Stripities Ventures 领投,参投方包括 Jump Crypto、NGC Ventures、Big Brain Holdings、Anagram、Cogitent Ventures、Equilibrium、Marin Ventures、Token Ventures、Moonrock Capital、Monke Ventures、Solanafm 等。

Elusiv 将使用该笔融资来扩充团队,并将其解决方案带入到多个区块链。Elusiv 表示,其发明了各种新的合规系统,利用零知识证明和高级密码学来确保合规性,还计划引入 Elusiv Virtual Machines,以使开发人员在其应用中使用零知识证明。

Part.3 IOSG投后项目进展

Centrifuge 完成 400 万美元战略融资,Coinbase Ventures 等参投(Portfolio)

*借贷协议

基于真实世界资产的去中心化借贷协议 Centrifuge 完成 400 万美元战略融资,Coinbase Ventures 和 BlockTower、Scytale 和 L1 Digital 参投,Centrifuge 将利用 Polkadot 的 Snowfork 桥以及 XCM 连接到平行链。此外 BlockTower 将提供 7000 万美元的初始资本,MakerDAO 将出资 1.5 亿美元,在 Centrifuge 上创建一个价值 2.2 亿美元的流动性池。

Ledger Live 已支持 Acala 生态资产

*钱包

加密货币钱包应用 Ledger Live 已支持 Acala 生态资产,包括 aUSD、LDOT 和 tDOT 以及 Acala 的 Kusama 平行链 Karura 上资产,用户还可以使用 Ledger Live 与 Acala 生态应用进行交互。

1inch 与数字银行 Revolut 合作推出「Learn & Earn」课程

*Web3 教育课程

交易聚合器 1inch 与数字银行 Revolut 合作推出「Learn & Earn」课程,包括 DEX 如何运行、如何利用算法获得最佳交易路径以及 DAO 的治理模式等。完成课程的用户将可获得 1INCH 代币奖励,该奖励将存入用户在 Revolut 的账户中。

Celer Network 推出全链流动性协议 Peti

*跨链

跨链互操作性协议 Celer Network 推出全链流动性协议 Peti,该协议通过做市商提供即时流动性,用户的报价将直接发送给做市商,由做市商作为用户交易对手方,并通过 Celer Network 的链间消息传递协议执行交易。Peti 目前已上线主网。Celer 旗下 cBridge 已经与 Peti 和其他全链 DApp 集成,做市商可以通过 Peti SDK 和 API 接入该协议。

Polkadot 将实施提名池方案,用户可加入提名池参与质押

*网络协议

Polkadot 将实施提名池(Nomination Pools),它是一种新型的扩展解决方案,目前正在添加到 Polkadot 质押中,主要是针对没有足够的 DOT 以参与正常质押过程的质押者。质押者加入提名池意味着将资金转移到池账户,每当池成员更改其质押数量时,网络将自动为他们申领所有未领取的奖励。

Conflux 发布 v2.2.0 网络硬分叉升级公告

*公链

公链项目 Conflux 发布 v2.2.0 网络硬分叉升级公告,称 Conflux 网络将在区块高度达到 137740000 或 PoS 区块高度达到 360900 时进行升级,具体取决于这两个中的较早一个时间点,所有节点都需要在上述时间之前升级。

Interlay 推出比特币超级应用计划,将构建围绕比特币的 DeFi 生态

*跨链

基于波卡生态的跨链互操作性网络 Interlay 在里斯本 Web3 峰会上宣布推出比特币超级应用计划(DeFi Superapp),将构建一套去中心化金融应用,使用户能够以去中心化和无需信任的方式进行借贷、交易、并赚取比特币收益而不需要依赖中心化的供应商。

今年 8 月份 Interlay 推出了首个完全无需信任的 BTC 稳定币 interBTC,通过 interBTC 可在其他区块链上使用比特币进行 DeFi、跨链转移、NFT 等交易。

Moonshot Web3 Hackathon 开启报名

*黑客松

登月 2022 Web3 冬季黑客松报名于今日正式开启,本次黑客松由登月工坊 Moonshot Commons、香港科技大学加密金融实验室、Blockchain Academy、IOSG Ventures、RSS3、Aspecta、Ethsign 等联合发起,将于 2022 年 12 月 19 日至 2023 年 1 月 9 日进行。本次黑客松主要聚焦 Web3,面向海内外 Z 时代创业者。

zkSync 将其 SDK 可用编程语言扩展到 Java、Go 和 Python,以便开发者更易使用 zkSync 2.0 的功能

*Layer2

以太坊 Layer 2 扩容解决方案 zkSync 将其 SDK 扩展到 Java、Go 和 Python 编程语言,以便开发者更易使用 zkSync 2.0 的功能。zkSync 表示,扩展 SDK 可用的编程语言使其能够支持更广泛的用例,例如移动或特定于硬件的应用程序,之后将继续把 SDK 扩展到其他语言。

Part.4 行业脉搏

Vitalik Buterin 发布以太坊发展路线图更新,新增「The Scourge」等内容

*infra

以太坊联合创始人 Vitalik Buterin 发布以太坊发展路线图更新,其中主要变化包括:1、The Verge 不仅仅是关于「verkle trees」,也关于「验证」(verification),终局是「完全 SNARK 的以太坊」;2、新增「The Scourge」,确保公正可信中立的交易,以解决 MEV 问题;3、作为合并程碑第二阶段的单个 slot 实现(single slot finality)。

涉及 ATOM 2.0 的 Cosmos 新版白皮书已开启链上投票

*infra

Cosmos 新版白皮书已开启链上投票,涉及提案「ATOM 2.0: A new vision for Cosmos Hub」,投票结束时间为 2022 年 11 月 14 日 19:33:04,当法定人数超过总票数 40% 时方可通过。目前投票率约为 8.71%,超过 92% 的用户批准了该提案。

此前报道,9 月份 Cosmos 发布新版白皮书,计划允许其他链使用 Hub 来保护自己的网络,还提出了对 ATOM 的效用和发行时间表的更改,拟在 36 个月的过渡期之后,将每月新增 ATOM 从指数发行减少到恒定数量。

Credix Credix 向数字借贷平台 Clave 开设 1.5 亿美元的稳定币信贷基于 Solana 的信贷协议

*信贷协议

Credix 向数字借贷平台 Clave 开设价值 1.5 亿美元的稳定币信贷池,用于向拉丁美洲的企业和消费者发放贷款。该信贷机制将于 2023 年开放,债务以与美元挂钩的稳定币 USDC 计价。Clave 债务池将被分割成各种较小的基金,称为 「tranches」,为具有不同风险回报的机构投资者提供投资机会。

Credix 首席增长官 Chaim Finizola 表示,Clave 在 Credix 信贷池中的债务由借款人的应收账款作抵押。Clave 向阿根廷和哥伦比亚的企业和消费者提供贷款,并计划明年扩展到墨西哥。

Chainlink 正在为 DeFi 衍生品市场构建低延迟预言机解决方案,可测试版本将在今年年底前准备就绪

*DeFi

Chainlink 宣布正在为 DeFi 衍生品市场构建一种超低延迟基于拉取的价格预言机。该解决方案的可测试版本将在今年年底前准备就绪,其特点是架构设计的演变,利用高速数据提供者与 Chainlink 去中心化 Oracle 网络相结合,向链下衍生 dApp 提供高频定价数据,同时仍提供链上验证。Chainlink 表示,该解决方案将把延迟降低多个数量级,并能降低抢先风险及 Gas 成本。

Furucombo 已上线 Arbitrum

*DeFi

多链 DeFi 聚合器 Furucombo 宣布已上线 Arbitrum。Furucombo 表示,该集成将为用户提供更完整的 DeFi 生态系统,同时保持交易费用低和确认时间短。

OpenSea 推出链上创作者费用强制执行可选工具

*NFT

OpenSea 表示,考虑到当前的创作者费用(版税)机制是不可持续性的,且创作者费用是 Web3 的一项重要创新,因此宣布即将为新 NFT 系列推出可选的链上创作者费用强制执行工具,11 月 9 日 0:00 开始 OpenSea 将为新 NFT 系列通过版税强制执行等类似工具征收创作者费用,未使用该工具的新 NFT 系列不会收取版税。在未来几个月内 OpenSea 将推出更多工具改善链上执行。

OpenSea 表示,考虑到对现有 NFT 系列进行链上强制版税费用执行的困难程度,至少在 2022 年 12 月 8 日之前不会对现有系列进行任何更改。

Instagram 将推出 NFT 铸造和交易工具

*NFT

Meta 宣布旗下社交应用 Instagram 将推出 NFT 铸造和销售工具,允许用户设计并铸造 NFT 并通过 Instagram 进行销售。Instagram 还将从 OpenSea 获取 NFT 元数据,使用户可以在 Instagram 上查看 NFT 信息。Meta 将首先向指定的艺术家和内容创作者开放新的 NFT 功能,未来会将这些功能提供给更广泛的用户。

Meta 的商业和金融科技主管 Stephane Kasriel 表示,Meta 在 2024 年之前不会收取创建或销售 NFT 的费用,并计划在启动时为买家支付 Gas 费用,但任何应用内交易仍需缴纳应用商店收取费用。据 Meta 官网信息显示,该工具将首先支持 Polygon。此外,Meta 已支持用户在 Instagram 上展示视频格式的 NFT,并增加了对 Solana 和 Phantom 钱包的支持,此外还将集成 Arweave 的存储功能。

GameStop 正式推出基于 Immutable X 构建的 NFT 市场

*NFT

电子游戏及相关产品零售商 GameStop(游戏驿站)正式推出基于 Immutable X 构建的 NFT 市场,将提供 Immutable X 游戏的数字资产,如 Gods Unchained、Guild of Guardians 和 Illuvium 以及其他 Web3 游戏。

前 BitGo 高管推出基于 MPC 的加密钱包安全公司 Fordefi

*钱包

据 The Block 报道,前 BitGo、Curv 高管 Josh Schwartz 推出新的基于多方计算(MPC)的加密钱包安全公司 Fordefi,它提供了一个允许机构参与各种链的钱包平台,使用 MPC 来分发用户的私钥,将允许用户自动化地与区块链和智能合约互动。此外 Fordefi 的 25 人团队位于以色列和纽约,其中包括 Michael Volfman 和 Dima Kogan,该公司还聘请了斯坦福大学的加密货币教授 Dan Boneh 和前 Curv 首席执行官 Itay Malinger 作为顾问。

免责声明与风险

请查看免责声明、条款和风险,了解本文档的法律声明、其内容及其风险因素。特别是,您应该在进行任何投资之前进行自己的研究 (DYOR),并注意本文件中与前瞻性陈述相关的风险。

END

Incubating projects for ambitious teams around the world and looking for the most potential staking projects.

Building a new world, the bridge of the time.

Subscribe to IOSG Ventures_CN
Receive the latest updates directly to your inbox.
Mint this entry as an NFT to add it to your collection.
Verification
This entry has been permanently stored onchain and signed by its creator.