Part.1Insight
本文將主要討論ZKP作為擴容方案的發展現狀,從理論層面描述產生證明過程中主要需要優化的幾個維度,并引深到不同擴容方案對于加速的需求。然后再圍繞硬件方案著重展開,展望zk硬件加速領域的摩爾定律。最后,關于硬件zk加速領域的一些機會和現狀,會在文末闡述。首先,影響證明速度的主要有三個維度:證明系統,待證明電路規模,和算法軟硬件優化。
對于證明系統來說,凡是使用橢圓曲線的算法,也就是市面上主流的Groth16,目前都有時間長的瓶頸。對于FRI-based算法,如ZK-Stark,其多項式承諾產生方式是HashFunction,不牽扯EC,所以并不涉及MSM運算。
證明系統是基礎,待證明電路的規模也是核心的硬件優化的需求之一。近期討論很火的ZKEVM據對以太坊的兼容程度不同,導致了電路的復雜程度的不同,比如Zksync/Starkware構建了與原生以太坊不同的虛擬機,從而繞開了一些以太坊原生的不適合利用zk處理的底層代碼,縮小了電路的復雜長度,而Scroll/Hermez這樣目標從最底端兼容的zkevm的電路自然也會更復雜。。但是這些日子可能比較少,會導致平時會有很多空余的座位。)硬件加速對于這些電路設計更復雜的電路更迫切,不過這更多是一個Specturm的事情,對于ZKEVM也同樣有利無弊。
不同證明系統優化的需求/側重點:
基本:
當一個待證明事物經過電路處理之后,會得到一組標量和向量,之后被用來產生多項式或者其他形式的代數形式如innerproductargument(groth16)。這個多項式依然很冗長,如果直接生成證明那么無論是證明大小或是驗證時常都很大。所以我們需要將這個多項式進一步簡化。這里的優化方式叫做多項式承諾,可以理解為多項式的一種特殊的哈希值。以代數為基礎的多項式承諾有KZG,IPA,DARK,這些都是利用橢圓曲線產生承諾。
FRI是以HashFunction為產生承諾的主要途徑。多項式承諾的選擇主要是圍繞幾點-安全性,Performance。安全性在這里主要是考慮到在setup階段。如果產生secret所使用的randomness是公開的,比如FRI,那么我們就說這個setup是透明的。如果產生secret所利用的randomness是私密的,需要Prover在使用之后就銷毀,那么這個setup是需要被信任的。MPC是一種解決這里需要信任的手段,但是實際應用中發現這個是需要用戶來承擔一定的成本。
而上述提到的在安全性方面相對卓越的FRI在Performance并不理想,同時,雖然Pairing-friendly橢圓曲線的Performance比較卓越,但是當考慮將recursion加入時,因適合的曲線并不多,所以也是相當大的存在相當大的overhead。
圖片來源:https://hackernoon.com
JustinDrakeonPolynomialcommitment,Part1
行業現狀:
當前不管是的基于Plonk(matterlabs)或者基于Ultra-Plonk(Scroll,PSE),他們最后的多項式commitment都是基于KZG,故而Prover的大部分工作都會涉及到大量的FFT計算(產生多項式)和ECC點乘MSM運算。在純plonk模式下,由于需要commit的point數量不大,MSM運算所占的Prove時間比重不高,所以優化FFT性能能夠短期帶來更大的性能提升。但是在UltraPlonk框架下,由于引入了customergate,prover階段設計的commit的point數量變多,使得MSM運算的性能優化也變得非常重要。(目前MSM運算進行pippenger優化之后,依然需要log(P(logB))(B是exp的上界,p是參與MSM的point的數量)。
幣安YGG U本位永續合約杠杠和保證金階梯調整:金色財經報道,據官方公告,幣安合約將于北京時間2023年08月06日02:00更新YGG/USDT U本位永續合約杠桿和保證金階梯,用戶更新前的現有倉位將受到影響,請用戶參考更新后的杠桿和保證金階梯調整保證金,以避免強行平倉。[2023/8/6 16:21:17]
目前新一代Plonky2證明系統由于所采用的多項式commitment不再是KZG而是STARK系統中常見的FRI,使得Plonky2的prover不需要再考慮MSM,從而理論上該系統的性能提升不再依賴MSM相關的算法優化。plonky2的作者Mir(目前的PolygonZero)正在大力推廣該系統。不過由于plonky2采用的數域GoldilocksField對于編寫elliptic相關的hash算法相關的電路不是特別友好,所以盡管GoldilocksField在機器word運算方面優勢明顯,但是依然難以判斷Mir和PSE/Scroll方案誰是更好的方案。
基于對Plonk,Ultraplonk,Plonky2的Prove算法的綜合考量,需要硬件加速的模塊大概率還是會集中在FFT,MSM,HASH三個方向。
Prover的另一個瓶頸是witness的生成,通常普通非zk計算會略去大量的中間變量,但是在ZKprove的過程中,所有witness都需要被記錄,并且會參與之后的FFT計算,所以如何高效的并行witness計算也會是prover礦機需要潛在考慮的方向。
加速ZKP方面的嘗試:recursiveproof-StarkNet的fractalL3概念基于recursiveproof的概念,Zksync的fractalhyperscaling,Scroll也有類似的優化。
>RecursivezkSNARK概念是對一個ProofA的驗證過程進行證明,從而產生另一個ProofB。只要Verifier能接受B,那么相當于也接受了A。遞歸SNARK可以也可以把多個證明聚合在一起,比如把A1A2A3A4的驗證過程聚合為B;遞歸SNARK也可以把一段很長的計算過程拆解為若干步,每一步的計算證明S1都要在下一步的計算證明中得到驗證,即計算一步,驗證一步,再計算下一步,這樣會讓Verifier只需要驗證最后一步即可,并避免構造一個不定長的大電路的難度。
理論上zkSNARK都支持遞歸,有些zkSNARK方案可以直接將Verifier用電路實現,另一些zkSNARK需要把Verifier算法拆分成易于電路化的部分和不易電路化的部分,后者采用滯后聚合驗證的策略,把驗證過程放到最后一步的驗證過程中。
在L2的未來應用上,遞歸的優勢可以通過對于帶證明事物的歸納而進一步將成本與性能等要求進一步降低。
第一種情況(application-agnostic)是針對不同的待證明的事物,比如一個是stateupdate另一個是MerkleTree,這兩個待證明事物的proof可以合并成一個proof但是依舊存在兩個輸出結果(用來分別驗證的publickey)
第二種情況(applicativerecursion)是針對同類的待證明的事物,比如兩個都是stateupdate,那么這兩個事物可以在生成proof前進行聚合,且僅有一個輸出結果,該結果就是經歷了兩次update的statedifference。
除了recursiveproof以及下文主要討論的硬件加速之外,還有其他的加速ZKP的方式,比如customgates,移除FFT等,但本文因篇幅原因不予討論。
Wintermute過去42小時內將265.1萬枚OP轉至幣安:金色財經報道,據Spot on Chain數據顯示,在過去42小時內,Wintermute以均價1.63美元的價格將265.1萬枚OP(約431萬美元)轉移到Binance。Wintermute是Optimism的B輪投資者之一。此前消息,價值5.87億美元的OP代幣將于5月31日解鎖,占總供應量的9%。[2023/5/30 11:48:03]
硬件加速
硬件加速在密碼學中一直是一種普遍的加速密碼學證明的方式,無論是對于RSA,還是早期對于zcash/filecoin的zk-snark的GPU-based的優化方式。
硬件選擇
在以太坊TheMerge發生之后,不可避免將會有大量的GPU算力冗余,下圖是英偉達GPU旗艦產品RTX3090的成交價格,也顯示買方勢力較為薄弱。
在GPU價格處于低點,同時大量GPU算力閑置,一個自然的問題就是,是否GPU是合適的加速zk的硬件呢?硬件端主要有三個選擇,GPU/FPGA/ASIC.
FPGAvsGPU:?
先看總結:以下是trapdoor-tech關于GPU以及FPGA在幾個維度的總結,非常重要的一點是:GPU在性能方面要高于FPGA,而FPGA在能源消耗則更具有優勢。
一個更直觀的來自于Ingoyama的具體的運行結果:
尤其是對于比特寬度更高的運算,GPU是FPGA運算速度的五倍,而消耗的電量同時也高很多。
對于普通礦工來說,性價比也是一個衡量到底使用哪一個硬件的重要的因素。無論是U55C($4795)還是VU9P($8394)來說,相比于GPU(RTX3090:$1860),價格都要高出很多。
理論層面,GPU適合并行運算,FPGA追求可編程性,而在零知識證明生成的環境下,這些優勢并不能完美適用。比如,GPU適用的并行計算是針對大規模圖形處理,雖然邏輯上和MSM的處理方式類似,但是適用的范圍與zkp針對的特定的有限域并不一致。對于FPGA來說,可編程性在多個L2的存在的應用場景并不明朗,因為考慮到L2的礦工獎勵與單個L2承接的需求掛鉤,有可能在細分賽道出現winnertakesall的局面,導致礦工需要頻繁更換算法的情景出現的可能性不高。
ASIC是在性能與成本方面上權衡表現較優的方案,但是否是最好的方案仍然沒有定論,其存在的問題是:
開發時間長-需經歷完整的芯片設計到芯片生產的過程,即使目前已經設計好了芯片,芯片生產也是一個冗長、燒錢并且良片率不一的過程。代工資源方面,臺積電和三星是最好的芯片代工工廠,目前臺積電的訂單已經排到了兩年后,與ZK芯片競爭代工資源的是AI芯片、電動車芯片這類web2早早做好芯片設計的已經被需求證明的產品,相比之下ZK芯片的需求并不明朗。
金色財經CEO王瑜琨:全面開放與Web3行業伙伴的合作:金色財經報道,5月26日金色電音節2023環球行·深圳站如期舉行。金色財經CEO王瑜琨在會上表示,金色財經已在行業深耕七年,成為集行業新聞、資訊、數據等的一站式區塊鏈產業服務平臺,我們追求及時、全面、專業、準確的資訊與數據,致力于為用戶提供最好的產品和服務。七年來金色財經服務了行業內上千家伙伴。2023年6月香港地區開始正式全面擁抱加密行業,因此我們今天舉行了金色電音節,并全面開放與Web3行業伙伴的合作。后續我們還將和行業伙伴們一起舉辦更多活動,助力行業發展。[2023/5/26 9:44:23]
其次,整顆芯片的性能和單個芯片的大小,也就是人們常說的20nm,18nm是成負相關的,也就是說單個芯片越小,晶片可以容納的芯片的數量越多,即整顆的性能越高,而目前的制造高端芯片的的技術是被壟斷的,對于一些中小型的代工廠這類技術方面落后頂尖一到兩代,也就意味著從良品率以及芯片大小方面是落后于最好的代工廠的。這會導致對于ZK芯片來說,只能尋求一些次優的解決方案,當然也是在需求端不那么明朗的情況下基于成本的考慮,選擇28nm左右的非高端芯片。
目前的ASIC解決方案主要處理的是FFT以及MSM兩個常見的ZK電路中算力需求比較高的算子,并不是針對具體的一個項目設計的,所以具體運行的效率并不是理論上最高的。比如,目前Scroll的prover的邏輯電路還沒百分百實現,自然也不存在與之一一匹配的硬件電路。并且,ASIC是application-specific,并不支持后續的調整,當邏輯電路發生了變化,比如節點的客戶端需要升級,是否存在一個方案也可以兼容,也是目前不確定的。
同時,人才缺失也是ZK芯片的一個行業現狀,理解密碼學和硬件的人才并不好找,合適的人選是有同時具備較深的數學造詣以及多年的硬件產品設計以及維護經驗。
Closingthoughts-prover發展趨勢EigenDA
以上都是行業對于加速ZKP的思考與嘗試,最終意義就是運行prover的門檻會越來越低。周期性來講prover需要經歷大致的如下三個階段:
PhaseI:Cloud-basedprover
基于云的prover可以大大提高第三方prover的準入門門檻,類似于web2的aws/googlecloud。商業模式上來講,項目方會流失一部分獎勵,但是從去中心化的敘事講這是一種經濟以及執行層面吸引更多參與者的方式。而云計算/云服務是web2現有的技術棧,已有成熟的開發環境可供開發者使用,并且可以發揮云所特有的低門檻/高集群效應,對于短期內的proofoutsource是一種選擇。目前,Ingoyama也有在這一方面的實現。但是,這依然是一個單個prover運行整個proof的方式,而在phaseII中proof可以是一種可拆分的形式存在,參與者數量會更多。
PhaseII:Provermarketplace
proof生成的過程中包含不同的運算,有的運算對于效率有偏好,有的運算則對成本/能源消耗有要求。比如MSM計算涉及pre-computation,這需要一定的memory支持不同的pre-computation上的標量顆粒,而如果所有的標量都存在一個計算機上的話對于該計算機的memory要求較高,而如果將不同的標量存儲在多個服務器上,那么不僅該類的計算的速度會提高,并且參與者的數量也會增加。
Marketplace是一種針對上述外包計算的一種商業模式上的大膽的思考。但其實在Crypto圈子里也有先例-Chainlink的預言機服務,不同鏈上的不同交易對的價格喂送也是以一種marketplace的形式存在。同時,Aleo的創始人HowardWu曾經合作撰寫過一篇DIZK,是一個分布式賬本的零知識證明生成方法論,理論上是可行的。
0xscope:BUSD在2月4日的最后一次鑄造交易數量約2.1億枚:金色財經報道,Web3知識圖譜協議0xscope發推表示,鏈上數據顯示,BUSD最近一次鑄造發生在北京時間2023年2月4日5:44,數量為約2.1億枚,之后沒有再出現新的BUSD被鑄造。此外,從最后一次BUSD鑄造至今共銷毀了約1.23億枚BUSD。[2023/2/13 12:04:06]
話說回來,商業模式上講這是一種非常有意思的思考,但是可能在實際落地時一些執行上的困難也是巨大的,比如這類運算之間如何協調生成完整的proof,至少需要在時間以及成本上不落后于PhaseI。
PhaseIII:Everyonerunsprover
未來Prover會運行在用戶本地,如Zprize有基于webassembly/andriod執行環境的ZKP加速相關的競賽和獎勵,意味著一定層面上用戶的隱私會得到確保,最重要的上-這里的隱私不僅局限于鏈上行為,也包括鏈下行為。
一個必須要考慮的問題是關于網頁端的安全性,網頁端的執行環境相比硬件來說對于安全性的先決條件更高。
除了鏈上數據鏈下證明外,以ZKP的形式將鏈下數據上傳到鏈上,同時百分百保護用戶隱私,也只有在這個Phase可能成立。目前的解決方案都難免面臨兩個問題-1.中心化,也就是說用戶的信息依然有被審查的風險2.可驗證的數據形式單一。因為鏈下數據形式多樣且不規范化,可驗證的數據形式需要經過大量的清洗/篩查,同時依舊形式單一。這里的挑戰甚至不只是證明生成的環境,對于算法層面是否有能夠兼容,以及成本/時間/效率都是需要思考的。但是同樣需求也是無與倫比的,想象可以以去中心化的方式抵押現實生活的信用在鏈上進行借貸,并且不會有被審查的風險。
Part.2投融資事件
融資聚焦Web3、AI和機器學習等的平臺Buildspace完成1000萬美元融資,a16z領投
*Infra
聚焦Web3、機器學習、人工智能等前沿領域的平臺Buildspace宣布完成1000萬美元融資,本輪融資由a16z領投,FoundersInc、WeekendFund、YCombinator、VaynerFund、ProtocolLabs、OrangeDAO、SolanaVentures、OpenSeaVentures、AlchemyVentures、DreamerVC等參投。Buildspace當前被設計為一個針對Web3建設者的網絡,幫助開發者構建自己的Web3項目。
MatterLabs完成2億美元C輪融資,BlockchainCapital和Dragonfly領投
*Infra
以太坊擴展協議zkSync的母公司MatterLabs在C輪融資中籌集了2億美元。BlockchainCapital和Dragonfly領投了此次投資,LightSpeedVenturePartners、Variant和AndreessenHorowitz也參與了此次投資,后者領投了之前5000萬美元的B輪融資。MatterLabs沒有透露估值。?此次融資使MatterLabs的總融資額達到4.58億美元。C輪融資將用于啟動MatterLabs構建的第一方項目,壯大MatterLabs團隊,并資助外部團隊構建的其他生態系統項目。?它還將用于啟動MatterUniversity,作為用戶和構建者的入職和教育平臺。MatterLabs承諾在2022年底之前根據MIT開源許可提交其核心代碼。MatterLabs首席產品官SteveNewcomb表示,1/3的代幣將分配給MatterLabs的員工和投資者,剩余的代幣將進入zkSync生態,但未透露具體的計劃。
山東電商主題系列數字藏品即將在“海豹數藏”平臺發行:金色財經報道,山東省商務廳將聯合大眾報業集團旗下山東首個國有數字藏品交易平臺“海豹數藏”在“山東好品惠·樂購雙十一”2022“樂購山東促消周”活動期間,限量發行首款山東電商主題系列數字藏品。
該系列數字藏品以電商淘達人形象標簽為元素,設計“黑榜避雷推薦官”“薅羊毛大戶”“時尚玩家”3款主題藏品,分別于11月1日、5日、8日11時11分3個時間段發行,分別免費限量投放1111份(其中11份為活動使用,1100份用于公開發行);于11月11日11時11分,對集齊以上3款數字藏品的用戶,贈送“超級買手”主題藏品。[2022/10/30 11:57:06]
NEAR生態去中心化交易所Jumbo完成350萬美元融資,PanteraCapital等參投
*Defi
基于NEAR開發的去中心化交易所Jumbo完成350萬美元的新一輪融資,PanteraCapital、HuobiVentures、D21Ventures、BigBrainHoldings、Dweb3Capital、FundamentalLabs、MetaWeb等參投。
加密錢包應用Zulu完成500萬美元種子輪融資,CadenzaVentures領投
*資管
總部位于哥倫比亞的加密錢包應用Zulu完成500萬美元種子輪融資,早期風險投資公司CadenzaVentures領投,NexoVentures等公司以及一些個人投資者參投。Zulu為哥倫比亞、委內瑞拉、秘魯和墨西哥的用戶提供服務,該公司希望明年將其應用程序擴展到美國以及其他國家/地區。Zulu首席執行官Villegas表示,Zulu于3月推出,在Polygon區塊鏈上運行,允許用戶購買、持有和出售USDC,在過去四個月中處理了超過150萬美元的交易。
Web3游戲和娛樂工作室HeroicStory完成600萬美元種子輪融資,UpfrontVentures領投
*gamefi
MulticoinCapital和PolygonTechnology以及天使投資人AndreessenHorowitz的JonathanLai、Miramax的電影負責人WolfgangHammer等參投。HeroicStory由Jay和ScottRosenkrantz兄弟于2019年在YCombinator成立,旨在為web3時代重新構想類似于龍與地下城的傳統桌面角色扮演游戲(RPG)
Web3游戲貨幣化平臺PlayEmber完成230萬美元Pre-Seed輪融資,ShimaCapital領投
*gamefi
Web3游戲貨幣化平臺PlayEmber完成230萬美元Pre-Seed輪融資,ShimaCapital領投,BigBrainHoldings、Hyperithm、WarburgSerres、LyrikVentures和HuobiVentures等參投。PlayEmber旨在通過實施自定義貨幣化解決方案的、基于Unity的軟件開發套件,使游戲廣告收入更容易從Web2市場過渡到Web3。PlayEmber還得到了NEAR基金會的戰略支持。
NFT平臺Hyakkit完成200萬美元種子輪融資,StepVC等領投
*NFT
NFT實用及營銷平臺Hyakkit宣布完成200萬美元種子輪融資,Web3風險投資機構StepVC和Web3風險基金DruidVentures領投,MultiDao參投。Hyakki致力于為Web3和NFT構建營銷和實用基礎設施,利用AR和AI為Web2和Web3品牌提供營銷服務和應用場景,讓NFT不局限于JPEG圖片,而是能給予品牌更多支持。
Avalanche生態NFT市場Joepegs完成500萬美元種子輪融資
*NFT
Avalanche生態NFT市場Joepegs完成500萬美元種子輪融資,由現已申請破產的FTXVentures和Avalanche基金會領投。Joepegs團隊表示,來自FTXVentures的資金已于6月完成,并且在最近的破產事件發生之前已從FTX轉移出去。
據悉,Joepegs于今年5月推出,包含一個內部制作部門JoeStudios,以及一個NFTLaunchpad。
Web3創作者平臺Virtualness完成800萬美元種子輪融資,BlockchangeVentures領投
*Web3
Web3創作者平臺Virtualness完成800萬美元種子輪融資,BlockchangeVentures領投,PolygonVentures、F7Ventures、MicronVentures、OceansVentures、NeythriFuturesFund、CarolynEverson、RandiZuckerberg、NusierYassin、NikkiFarb、StacyBrown-Philpot等參投。Virtualness由前Facebook印度和南亞董事總經理、前軟銀投資顧問投資合伙人KirthigaReddy以及前Meta娛樂亞太區負責人SaurabhDoshi共同創立。該平臺計劃于2023年初推出,屆時經過認證的創作者和品牌將能使用該平臺設計、鑄造和展示品牌數字收藏品。
BinanceLabs對Web3體育游戲平臺UltimateChampions進行400萬美元戰略投資
*gamefi
BinanceLabs宣布對Web3體育游戲平臺UltimateChampions進行400萬美元戰略投資。UltimateChampions是一個免費的幻想運動平臺,將部署在BNBChain上。
荷蘭區塊鏈公司Circularise完成1100萬歐元的融資,BrightlandsVenturePartners領投
*Infra
荷蘭區塊鏈可持續發展初創公司Circularise完成1100萬歐元的融資,BrightlandsVenturePartners領投,AsahiKasei、Neste和現有投資者4impactCapital參投,此輪融資還得到了歐盟委員會的資助,資金將用于擴大業務運營、產品研發以及拓展國際團隊。Circularise于2016年創立,是一個為工業供應鏈提供端到端可追溯性和安全數據交換的軟件平臺,其使用區塊鏈和其他新興技術使公司能夠共享有關其產品的數據,同時保留對敏感信息的隱私。
Part.3IOSG投后項目進展
Maker推出DAI跨鏈傳輸基礎設施MakerTeleport
*基礎設施
據官方推特,Maker宣布推出MakerTeleport,旨在為DAI提供多鏈傳輸的基礎設施。MakerTeleport由MakerDAOEngineeringCoreUnit構建,其部署分為快速提款和Layer2至Layer2完全傳輸兩個階段。現在MakerTeleport已實施了快速提款,允許用戶將DAI從Layer2即時傳輸到Layer1。
目前,快速提款已上線Arbitrum和Optimism,債務上限均為100萬枚DAI。Maker表示在未來的升級中,用戶將可以即時地在Layer2間傳輸DAI。
同時,Maker宣布將為想要集成MakerTeleport的開發者提供最高10,000枚DAI的撥款計劃。
ArbitrumOne網絡新增驗證者節點,目前包括ConsenSys、以太坊基金會等
*擴容
以太坊擴容解決方案Arbitrum開發商OffchainLabs發布官方博文稱,ArbitrumOne網絡新增驗證者節點。目前驗證者節點包括ConsenSys、以太坊基金會、L2BEAT、Mycelium、OffchainLabs、P2P、Quicknode、InstitutefortheFuture旗下DistributedLedgersResearchCentre、Unit410。
ConsenSys推出以太坊氣候平臺ECP,旨在減輕以太坊合并前的能源消耗
*基礎設施
以太坊基礎設施開發公司ConsenSys正在COP27的聯合國氣候變化全球創新中心推出以太坊氣候平臺,該平臺是為以太坊生態系統構建的,旨在減輕區塊鏈在9月通過合并之前使用的過度能源消耗。
COP27是UNFCCC第27次締約方會議的簡稱。UNFCCC是《聯合國氣候變化框架公約》的簡稱。COP27會議于11月6日至18日在埃及沙姆沙伊赫舉行。
Safe基金會承諾撥款100萬美元推動鏈上資產自托管或混合托管發展
*資管
數字資產管理平臺Safe成立的Safe基金會宣布將撥款100萬美元,資助正致力于推動鏈上資產自托管或混合托管發展的團隊,包括監管機構與研究員、教育工作者與行業建設者。資助計劃的具體細節將于2023年第一季度在官方推特公布。
StarkNet代幣合約已部署至以太坊主網
*ScalingStarkWare發推表示,StarkNet的ERC-20代幣合約已部署至以太坊,但StarkNet基金會仍需要時間來確定代幣分配機制。在StarkNet基金會另行通知前,代幣將保持不可交易狀態。StarkNet的代幣目前未出售。謹防詐騙。StarkWare股東、員工和獨立合作伙伴軟件開發商持有的代幣被鎖定四年,一年后開始逐步釋放。Web3保險協議InsurAce正在聯合行業機構,構建類似聯邦保險(FDIC)的用戶保險體系。*保險Web3保險協議InsurAce創始人Oliver今日發推表示,基于InsurAce團隊在保險領域一直以來的探索所積累的豐富經驗,其目前正在聯合相關行業機構和監管機構,開始探索建立CDIS(CryptoDepositInsuranceScheme)保險計劃,以實現逐步覆蓋行業在中心化機構的中小存管用戶的目標。Oliver認為,FTX的崩盤事件中有許多機構遭受重擊,但更不應忽視的是,還有許多中小用戶也蒙受重大損失,他們的積蓄都被橫掃一空,令人痛心。而在傳統金融行業,有美國聯邦保險FDIC這樣的保險基礎設施,可以給每個儲戶提供25萬美金的保額,類似的還有新加坡儲蓄保險計劃SDIC,可以保障每個用戶7.5萬新幣的保額。當金融機構破產時,該保險計劃將介入提供這類針對中小用戶的理賠覆蓋。因此,數字貨幣行業也應該開始試點建立類似FDIC這樣針對中小投資者的保險計劃,作為行業風險管理的基礎設施,這將極大的發揮穩定市場、重建信心、保護用戶的價值。長期來看,這也將推動數字貨幣行業的健康有序發展。
Part.4行業脈搏
Alameda破產后,被收購的DeFi協議RenProtocol需要新的資金支持。
*Defi
在Alameda崩潰后,DeFi協議RenProtocol面臨沒有足夠的資金來發展的危險。Ren是一個基于以太坊的DeFi協議,它可以鑄造被封裝的加密資產,來橋接到以太坊和BNB鏈。Ren自成立以來已經處理了超過130億美元的跨鏈交易量。Alameda自2021年初收購了Ren并在每季度為Ren的開發提供70萬美元資金。
Ren團隊透露,目前的資金只夠開發至第四季度結束,該項目的剩余資金約為16萬美元。現在,Ren希望從其他來源獲得資金。該團隊周五透露,它正在與社區成員一起探索各種機會。這些選擇可能會由RenDAO社區投票決定。除了獲得新的資金外,Ren團隊還希望推出最新版本的協議Ren2.0。
Web3保險協議InsurAce正在聯合行業機構,構建類似聯邦保險(FDIC)的用戶保險體系。
責任編輯:MK
Tags:PROWEBENTVERsorceressprotocolbitwebBitTorrent (new)EverestCoin
ZK-KYC:合規方向的有力競爭者在大量Web2傳統機構向Web3過渡的過程中,合規是一個重要話題。傳統金融市場體量龐大,但鏈上市場的安全與信任基礎設施仍未準備好.
1900/1/1 0:00:00ConsenSys將從下周開始在內部測試其zkEVM「privateBeta」測試網。外部用戶將在2023年1月開始加入這個L2zk-rollup網絡.
1900/1/1 0:00:001.分布式計算發展歷史和市場前景 1.1發展歷史 ●最開始的計算機每臺只能執行一個計算任務,隨著多核心多線程的CPU出現,單個計算機可以執行多個計算任務.
1900/1/1 0:00:00UniswapLabs在11月30日發推宣布,其NFT交易聚合服務正式在Uniswap上線。此外還向Genie的歷史用戶空投約500萬美元的USDC,并向前22,000名買家提供Gas回扣.
1900/1/1 0:00:00?回溯數字社交的歷史 迄今為止,互聯網的每一次迭代都迎來了一項全新的技術,幫助我們更好地交流。最初,這興起于1988年的互聯網中繼聊天(IRC),至1990年代后期,我們看到了第一批主要的即時消.
1900/1/1 0:00:00注:本文作者為ContangoDigita創始合伙人mikegrantis,其在推文中概述「機構采用:數字資產市場趨勢」報告要點.
1900/1/1 0:00:00