
編者按:本文來自頭等倉區塊鏈研究院(ID:first_vip1),Odaily經授權轉載。
編者按:本文來自
頭等倉區塊鏈研究院(ID:first_vip1)
頭等倉區塊鏈研究院(ID:first_vip1)
,Odaily經授權轉載。
編者按:本文來自
頭等倉區塊鏈研究院(ID:first_vip1)
,Odaily經授權轉載。
頭等倉區塊鏈研究院(ID:first_vip1)
,Odaily經授權轉載。
一級標題
在加密貨幣的圈子裡,投資人面臨技術風險,即代幣儲存在錢包或者智能合約時,存在被駭客攻擊或者盜走的風險。對於沒有能力直接了解代碼質量的用戶,可通過購買保險來解決。目前兩個方面的現狀催生了對智能合約保險的需求:1)DeFi生態的擴大造成的風險轉移;2)駭客攻擊事件頻發。 Nexus Mutual是目前唯一一個提供智能合約保險的項目,所以它的競爭優勢非常明顯。
1. 基本概況
1.2 基本信息
二級標題
1.2 基本信息
一級標題
1.2 基本信息
二級標題
2.1 團隊
一級標題
二級標題
二級標題
1.2 基本信息
一級標題
2. 項目詳解
二級標題
團隊成員8人,顧問2人,其中三個是經驗豐富的保險從業人員。
Hugh Karp,創始人兼CEO,坐標英國倫敦,擁有15年經驗的保險專業人士和精算師,行業經驗豐富,曾是英國人壽業務的全球再保險事業部的首席財務官,也在澳洲國民銀行的保險部門工作過。
Roxana Danila,CTO, 2019年1月加入公司,具有產品意識的工程師,在大規模應用和構建軟件產品方面擁有5年以上的經驗。曾在Facebook工作四年,是紐約地區的技術負責人。
和安全性。同時是Somish Blockchain Labs的CTO,也是GovBlocks的聯合創始人。
二級標題
Graeme Thurgood,董事會成員和互助保險方面的專家,具有17年保險經驗的保險從業人員,在英國對於建立和經營互助社有著豐富的經驗。之前曾在RSA、Allianz和Aviva任職,現在任職於Regis Mutual Management。
Kayleigh Petrie,社區負責人,2018年11月加入Nexus Mutual,擅長溝通和組織會議。
Steve Barker,顧問,SwapForex的創始人兼首席執行官。他在金融服務和初創企業方面擁有22年以上的經驗, 管理眾多英國和國際投資基金。他在媒體,互聯網電視和金融服務領域共同創立了許多初創企業。
二級標題
Evan van Ness,顧問,WeekInEthereum.com網站的創始人,這是一個圍繞以太坊生態系統的新聞網站。
二級標題
二級標題
二級標題
種子輪的投資者分配到了70萬枚NXM。
2020年7月23日,KR1售出35,128個NXM(佔持有量的36.5%),平均價格為14.03美元,相較於初始獲得的2.24美元,賺了492,991美元。 KR1表示,它仍持有其初始Nexus頭寸的四分之三以上(計算為63.5%),並打算在價格和資本池動態恢復正常水平後地回購一些代幣[2]。
二級標題
二級標題
2.3 代碼
Nexus Mutual的代碼提交情況反應了其版本的更新,2019年7月第一筆業務產生後代碼提交停滯,反應出代碼已經更新完成,主要精力在業務推廣上。 2020年初開始,團隊開始增加新的質押系統,並因為整個DeFi生態的快速迭代,而加快了自己的代碼更新進度。
圖2-2反應了Nexus Mutual的人員的提交情況。根據Github上的信息,Nexus Mutual的代碼絕大多數都是由印度公司Somish貢獻的,包括上述的Ish Goel、Nitika Arora和未在官網列出的Suraj Rawat。
二級標題
2.4 產品
Nexus Mutual是一個去中心化的互助保險。
2.4.1 智能合約保險
Nexus Mutual的第一個產品是智能合約保險(Smart Contract Cover)。
該產品的保險標的為智能合約,保險責任為:“代碼的非預期使用(unintended uses of code)”,具體為:1)指定的智能合約地址,或在智能合約系統中直接相關的智能合約地址,在保險期限內遭到駭客攻擊,這是智能合約代碼被意外使用的直接後果;2)因為該次攻擊,智能合約或智能合約系統遭受了資金的重大損失,包括資金被轉移到另外一個不由原始擁有者管理的地址,或者資金永久性損失。
投保人需要在保險期限內,或在保險期限結束後的35天之內,進行索賠。
關於上述幾個詞彙的定義:
保險金額:投保人在購買智能合約保險所指定的金額。
資金損失:因駭客攻擊造成的總資金損失,而非單個投保人的損失。
重大:遠遠超過了合約中涉及的gas相關成本,總資金損失超過保險金額的20%。
保險期限:按天計算,由投保人投保時自己選擇,大於30天,小於1年。智能合約系統:指在以太坊上運行的單一智能合約,或一組直接關聯的智能合約,不包括與之交互的系統,比如預言機、礦工、以太坊網絡或者與系統交互的個人或組織。
由於現在的智能合約系統很複雜,智能合約保險的目的是讓用戶只對一個“主”合約進行投保,它代表了整個智能合約系統。圖2-3展示了目前流行的兩種智能合約系統。用戶可以只對Master和Factory投保,等於對整個智能合約系統投保。
1)由於網絡釣魚、私鑰安全漏洞、惡意軟件、交易所被盜或任何其他活動而造成資金損失,但智能合約仍按預期運作;
2.4.2 投保流程
2)如果智能合約或智能合約系統的部署主要是為了在本保單上進行索賠,而不是為客戶實際使用而進行的任何索賠;
3)保險期限前,智能合約系統已經遭受駭客攻擊,或者bug已經公開披露;
4)智能合約邏輯更改的250天內出現的bug被駭客攻擊。具體的情形是:智能合約的主合約沒有更改的情況下,子合約更新或者替換,即圖2-3中,Master和Factory合約沒有變動,但是F(x)或者Child(x)等合約進行了變動。該責任免除是為了保護風險評估人員,免受不可預見的變化影響;(6月16日已移除該免責條款)
5)任何智能合約以外的輸入以非預期的方式運作,而智能合約仍以預期方式運作。輸入包括但不限於:預言機、治理系統、激勵系統、礦工行為和網絡擁堵。
保險終止的情形:
1)當保單被索賠後;
2.4.2 投保流程
成為Nexus Mutual的會員,才能購買NXM,進而購買智能合約保險。會員資格涉及KYC和0.002ETH的會員費。 KYC暫不支持中國大陸等地區。成為會員的用戶只能綁定一個地址,只有該地址能進行購買操作。
在成為會員之後,第一次購買智能合約保險的流程如下:
2)輸入保險金額,可以用DAI或者Ether計價;
二級標題
3)輸入保險期限;
4)獲得報價,報價上限受2.5.2償付能力限制約束;
購買保險頁面顯示的可購買智能合約只有16個,實際上支持的智能合約有26個。見表2-1。實時的查詢請至Discord的普通頻道查詢。
二級標題
2.4.3 索賠流程
保險用戶可以在保險期限內及到期後的35天內提出索賠。由於索賠評估只是簡單的“yes”和“no”投票,所以不會去評估保險用戶實際遭受的損失。
用戶提交索賠時,需要將圖2-4中保費5%的NXM質押,如果索賠失敗,則還有一次索賠機會。當用戶不索賠或者第一索賠成功時,可以拿走保費10%的NXM,當用戶第一次索賠失敗,第二次索賠成功時,可以拿走5%的NXM。
二級標題
2.5 業務詳解
2.5.1 保險費用
6月23日,新的保費定價模型通過社區投票。
因為新的風險評估模型,Nexus需要一個新的簡化的保費定價框架,用以滿足以下幾點:1)簡單性——用少的因素,將復雜性從鏈下推給風險評估者(根據他們的自身的風險模型評估);2)去中心化——足夠簡單,並且僅依賴鏈上信息,可以完全在鏈上運行(相對於當前的鏈下報價引擎);3)靈活性——不僅可以為智能合約的承包範圍定價,還可以為任何類型的風險定價,因此Nexus團隊可以推出新的產品。
一份智能合約保險的費用由三個因素決定:1)單個智能合約的風險質押量;2)保險金額;3)保險期限。
確定智能合約質押價值的第一步是計算風險成本(Risk Cost),即預期Nexus Mutual每年支付的保險金額數量,見公式1。第二步就是計算保險費用,即2.4.2中的報價,見公式2。
當單個智能合約的風險質押量超過200,000 NXM時,保險費用最低,圖3-8中6個項目的智能合約風險質量都超過了200,000 NXM,所以它們的保費都是最低的。不考慮保險金額和保險期限,最低的保費等於年化1.3%。年化保費率和單個項目智能合約的風險質押量關係如圖2-6所示:
2.5.2 資本模型(Capital Model)
資本池(Capital Pool)是指Nexus Mutual持有資金的數量,全部來自於會員購買NXM所用的ETH和DAI。
資本模型決定了Nexus Mutual維持運行所需的最低資金數量,即最低資本要求MCR (Minimum Capital Requirement in ETH terms)。
MCR由兩部分構成:1)BEL(Best Estimate Liability,最佳債務預測)指每一個保險預期的償付額,由全部現存保單的風險成本(見公式1)決定;2)buffer(緩衝器)指用來防止“黑天鵝”事件的資金池,由歐洲保險行業的償付能力Ⅱ框架(Solvency Ⅱ)來計算。
資本池和MCR的比值為MCR%,Nexus Mutual將始終維持MCR%始終大於1。當MCR%≤1時,NXM不能再贖回ETH或DAI。
資本模型過於復雜,不可能在鏈上運行,因此必須在鏈下運行,並每4小時對結果進行一次鏈上公證。資本模型代碼將被開源,這樣任何人都可以獨立運行和驗證結果。
2.5.3 償付能力限制(Capacity Limits)
償付能力限制指Nexus Mutual對特定風險的償付金額做出限定,以保護整個保險資金。主要有兩種限制:特別風險限制和全局能力限制。
特別風險限制:智能合約的保險金額上限等於在該智能合約質押的金額,如果沒有質押,Nexus就不會給該智能合約提供任何保險。質押相關信息,見2.5.5風險評估。
全局能力限制:無論單一特定的智能合約的NXM質押數量是多少,最多都只能賠付MCR(eth)的20%,見公式3:
2.5.4 投資管理(尚未進行)
在任何傳統的的保險模式中,保險公司會用保費投資,以賺取利潤。這是所有保險公司盈利的重要組成部分。保險公司的投資策略通常是保守的,在不危及基金償付能力的情況進行投資。
Nexus Mutual有兩種資產:貨幣資產(Currency Assets,CAx)和投資資產(Investing Assets)。
貨幣資產是指系統中收到的所有ETH和DAI,來源包括智能合約保險產品的銷售,以及NXM代幣的銷售。這部分資產屬於Nexus Mutual的負債,它們必須保持良好的流動性以應對索賠和NXM的贖回。
投資資產指其他ERC20代幣。未來Nexus Mutual的成員可以通過治理系統,投票支持其他ERC20代幣進入保險系統。
Nexus Mutual的投資策略計劃是,貨幣資產會在ETH 2.0質押,投資資產會在Uniswap上做市。
2.5.5 風險評估(Risk Assessment)
風險評估是指會員對它們認為安全的智能合約,然後質押NXM代幣獲得獎勵,對應的風險是質押的NXM將被用於索賠。
用戶參與風險評估的流程如下:
1)李雷先存一筆NXM,可以是任意金額(比如1000 NXM)
2)李雷選擇最多10個希望質押的智能合約,可以是任意合約,不限於表2-1。 (比如Curve)
3)每個智能合約質押的數量需要大於20 NXM,小於李雷存的數量(1000 NXM)。
4)如果有會員購買了Curve的保險,保費的50%將分給所有質押在該智能合約的用戶(包括李雷)。
5)如果購買智能合約的會員索賠成功,則質押在該智能合約NXM將會償付給會員,李雷存的NXM就會遭受損失。
6)如果李雷選擇退出質押,他會面臨90天的鎖定期,期間李雷仍然會獲得保費收益和麵臨償付風險。
2.5.6 索賠評估(Claim Assessment)
索賠提交之後,將由索賠評估員(Claims Assessors)評估。
任何持有NXM的會員都可以成為索賠評估員,質押NXM後就擁有投票權。質押NXM有初始質押期30天,當評估員投票後,會產生質押延長期7天。如果評估員的投票和共識一致,那麼這個質押延長期就會取消。如果不一致,那麼質押延長就繼續有效。投票期至少36小時,至多72小時,如果投票的質押總量超過索賠保險金額的10倍,則投票提前結束。投票結果出來後,費用池(Fee Pool)的獎勵就會按比例分配給參與投票的索賠評估員。索賠評估員每6個小時只能對一個索賠進行投票。
2.5.7 治理
索賠評估員投票環節必須滿足兩個條件:a. 每次索賠參與的評估員的NXM質押量,必須超過該次索賠的保險金額的5倍;b. 70%以上的投票一致(無論同意或不同意索賠)。如果上述兩個條件條件不能達成,則進入全員投票環節。
2.5.6.2 全員投票
全部NXM持有人進行投票,不需要質押NXM。投票參與者所有的NXM會鎖定兩天,與之對應的是,參與者將獲得費用池獎勵。全員投票的投票期和前一階段一樣。
全員投票環節必須滿足一個條件:參與的NXM鎖定量必須超過索賠金額的5倍。如果上述條件不成立,則再次進入索賠評估員投票階段,此時第一階段的兩個條件將取消。
索賠評審員投票同意索賠,那麼保險金額會發送至投保人地址,同時,保單中止,投保人的保證金也會返回。如果拒絕賠償,投保人的保證金將銷毀,但保單仍然生效,投保人還可以提出第二次理賠申請。
但是,全員投票的結果具有最終效力,索賠失敗的投保人無法再次索賠。
費用池的資產是保險費用的20%,由系統鑄造的。當投票結束後,所有投票者都將獲得費用池的獎勵,分配比例按票數佔比。
2.5.7 治理
Nexus Mutual有一個諮詢委員會(Advisory Board),由五名成員組成:Nitika Arora、Renis Melbardis、Graeme Thurgood、Nick Munoz-McDonald和Ish Goel(見2.1)。
1)會員提出提案;
3)諮詢委員會投票,並為所有會員給出治理建議;
一級標題
5)團隊執行提案。
二級標題
一級標題
3.1.1 bZx事件
二級標題
一級標題
3.1.2 MakerDAO清算事件
二級標題
二級標題
3.1 歷史
3.1.1 bZx事件
第一筆索賠(索賠1)金額3萬DAI,被7/8的索賠評估員拒絕,他們質押了76,000 NXM(價值超30萬美元)。在bZx提交了詳細的事件報告後,該筆保單再次申請索賠(見2.4.3,投保人可以索賠兩次)。索賠2、3、5得到了償付,50,000 DAI的索賠4被拒絕,它是在第一次攻擊之後但在第二次攻擊之前購買的,因此未在承保範圍。
二級標題
bZx的社區討論如表3-2所示:
3.1.2 MakerDAO清算事件
“312”期間,由於MakerDAO清算機制問題,導致Maker產生450萬美元的損失。對於“代碼的非預期使用”,社區有較多的討論。最終,所有16項索賠均被拒絕,99.96%(222萬美元的質押金額)的投票拒絕索賠。
二級標題
3.2 現狀
3.2.1 保險金額
圖3-1顯示,活躍保單的累計保險金額在2020年7月之後飛速增長。這源於6月中旬開始,COMP代幣開啟的流動性挖礦為DeFi市場帶來了大量的流動性,同時也帶來了為資金投保的巨大需求。截至8月3日總共有560張保單,總價值1,723萬美元。
3.2.2 索賠
圖3-3是Nexus啟動以來的索賠情況,25筆索賠中,藍色是索賠成功的,橙色是索賠失敗的。索賠1-5都是bZx事件中提交的,其中2、3、5獲得了償付,也是至今為止唯一索賠保單成功的事件(詳見3.1.1)。
3.2.3 資金
圖3-5的MCR在7月中旬開始飛速增長。 MCR(ETH)的初始值是7000 ETH。從2019年11月11日開始,當MCR%大於130%時,每天調整一次MCR(ETH)值,每次最多增加1%,當MCR%等於130%時停止調整。 2020年7月11日開始,調整間隔縮短為4小時一次,每次1%,這意味著MCR(ETH)每天最多會增加6%。當MCR增加至100,000 ETH時,調整間隔要重新調整回1天1次。截至8月3日,MCR(ETH)已經達到4萬ETH。
二級標題
圖3-6反應了MCR%的變化情況。 MCR%是資本池規模和MCR的比值,前者是業務增長的結果,後者需要根據前者調整,以保證MCR%在一個合理數值範圍內。目前團隊的設定是希望MCR%維持在130%,所以有了上述兩次的MCR(ETH)調整:130%的調整閾值和4小時一次的調整速率。截至8月3日,MCR%已經調整回130%。
3.2.4 風險質押
圖3-7顯示,從7月2日實時新的風險質押模型開始,NXM的總質押量顯著增加,截至8月3日,總質押量為38萬美元,數量為330萬個,佔總供給(567萬,見圖4-2)的60%(注:由於質押規模最多可以放大10倍,所以該數據最低可能只為6%)。
二級標題
圖3-8中,NXM質押量最大的五個合約依次是Compound、Curve、Uniswap、Synthetix和Aave。因為當智能合約被攻擊時,風險評估員的質押代幣會用作償付,從而損失本金,所以圖3-8各個智能合約的質押量,反應了風險評估員對智能合約的安全性判斷, Compound是人們覺得最安全的項目。
對比圖3-2,yearn的風險質押量比較小,但是保險金額第二大,說明人們對yearn這個7月中旬火熱項目的不確定性,有投保的需求。
二級標題
Nexus更廣闊的願景是支持各種類型的風險,不僅僅是智能合約風險,還會包括預言機風險,甚至加密貨幣以外的風險如地震、颱風等。
Nexus刪除升級合約的免責條款,是希望使更多成員感到有能力購買經常升級的智能合約,從而為他們提供更大的風險防護。該更改已經於6月16日的社區投票中通過。
一級標題
3)部分索賠支出:這是開啟未來許多產品選擇所需的關鍵功能。投票的結果不是簡單的“是”或“不是”,而是“多少錢?”。這使得產品可以更緊密地補償實際損失。
二級標題
4.1 模型
一級標題
二級標題
舉例來說:
總結:Nexus的發展比較順利,業務發處於上升期。 bZx事件是NXM唯一理賠通過的事件,它說明:1)Nexus確實可以保護會員的智能合約風險;2)保險的責任範圍清晰,代幣價格波動不受保護。 Nexus用了新的風險評估系統,將風險評價交由評估員自己判斷,這樣的轉變,使得未來增加新的保險產品更加容易。 Nexus近期路線圖上的幾個關鍵方向都是有實際需求的。
一級標題
二級標題
舉例來說:
4.1 模型
除了ETH,NXM價格只由兩個因素決定:1)資本池的規模;2)MCR(ETH)。公式如下:
舉例來說:
公式1的設計原理:1)低MCR%值意味著較低資金量,因為保險需要資金去覆蓋保額,這時需要較低的價格來吸引資金入場;2)反之,較高的MCR%意味著較高的資金量,這時價格可以增加;2)當MCR(ETH)較高時,意味著業務增長,代幣價格應該與其正相關。
舉例來說:
二級標題
4.2 供需
1)當一筆資金,假設520 ETH,進入Nexus Mutual的系統,併購買了NXM。此時整個系統的資本池規模增長了520 ETH。由於MCR的調整間隔是4個小時,所以此時MCR保持不變的情況下,NXM的價格會上升,NXM的價格變為0.03078 ETH。
3)因為MCR%又降到了130%,MCR不再調整。所以NXM的價格因為系統新增的ETH,會先增加後減少,最後的價格會比初始價格略微增加。
二級標題
表4-1中的兩個箭頭解釋了上面例子中,NXM的價格變動路線。如果Nexus的系統運作順利,那麼NXM的價格就會一直如表4-1所示,由綠色到藍色,再到綠色的螺旋狀升高。
請注意,當有人大量離場的時候,資本池的規模會下降,但是不會低於MCR的數量(系統不允許用NXM兌換ETH),短期內資本池規模最差的情況是等於MCR。此時MCR%<130%,接近或等於1。 NXM的價格就會如表4-1的紅字所示。
圖4-1是NXM用ETH計價的價格,可以看到NXM的變動如前述是螺旋上升。可以結合圖3-4、圖3-5和圖3-6做對比。
二級標題
4.2.1 供給
4.2.2 需求
NXM有如下5種鑄造方式:
1)初始代幣:當合約部署的時候,會生成300萬枚NXM代幣,分配給創始人和早期貢獻者。
2)通過代幣價格模型購買:任何會員都可以在任意時間點通過價格模型購買。
3)索賠評估的獎勵:保費的20%,獎勵參與索賠評估的會員。
4)風險評估獎勵: 保費的50%,獎勵參與風險質押的會員。
5)治理獎勵:通常為100 NXM,用於獎勵參與治理的會員。
4.2.2 需求
1)獲得保險:NXM可以通過銷毀獲得保險。 90%的代幣用來銷毀,10%的代幣將鎖定,用來提交索賠用。鎖定天數為保險天數加35天。
3)風險評估質押:參與風險評估也需要質押NXM。
一級標題
a. 資金池大於MCR(ETH),即MCR%>100%。
二級標題
c. 資金池必須有足夠多的ETH流動性。
一級標題
最重要的是,代幣不能在以太坊地址間轉移。只有會員,即通過KYC的用戶,才能購買和銷毀NXM。但是社區製作了一個Wrapped NXM,將NXM 1:1兌換成WNXM,從而可以在市場上自由交易。 WNXM只有會員才能轉化回NXM。鑄造成WNXM的NXM數量為10萬個,佔總供應量的1.82%。
總結:NXM的價格模型十分的清晰,長期只受ETH價格和業務增長的影響。如果拋開ETH價格的因素:短期來看,MCR會根據資本池規模增長而增長,使得MCR%保持在130%,導致NXM價格成鋸齒形上漲。
一級標題
5. 競爭
5.1 行業概述
二級標題
保險,是指投保人根據合同約定,向保險人支付保險費,保險人對於合同約定的可能發生的事故因其發生所造成的財產損失承擔賠償保險金責任,或者當被保險人死亡、傷殘、疾病或者達到合同約定的年齡、期限時承擔給付保險金責任的商業保險行為[1]。
Nexus Mutual使用的術語“cover”用於指減少投資者風險敞口的行為。
二級標題
市場風險可以用金融的方式對沖,比如購買期貨、期權。信用風險可以通過對項目足夠充足的研究覆蓋。而技術風險,對於沒有學習過代碼的用戶,只有通過購買保險來解決。
一級標題
Nexus Mutual是目前區塊鏈生態中唯一一個提供智能合約保險產品的項目。
二級標題
兩個方面的現狀催生對了智能合約保險的需求:1)DeFi生態的擴大造成的風險轉移;2)駭客攻擊事件頻發。
一級標題
近幾個月的DeFi生態規模迅速擴大。從6月開始,COMP開啟了流動性挖礦的序幕。 Compound、Maker、Aave、Balancer、Curve、Yearn等所有與挖礦相關的頭部DeFi項目,它們的鎖倉量也隨之飛速上漲,見圖5-1。原來在中心化交易所的資金,紛紛轉移到了各個DeFi項目中,於是中心化交易所跑路的風險,轉移到了去中心化的智能合約。
2月份bZx被閃電貸攻擊,4月份dForce資金被盜,6月份Balancer的STA資金池被攻擊,7月份Bancor v0.6爆出安全漏洞,這些都是近半年來DeFi生態中發生的一些駭客事件。它們增加了用戶強烈的投保需求。
總結:區塊鏈保險是一個有強大需求的產品。技術風險的解決只能通過保險,而Nexus Mutual又是目前唯一一個提供智能合約保險的項目,所以它的競爭優勢非常明顯。
一級標題