買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > 屎幣 > Info

ABLE:從共識機制和橋安全出發 探討五大NFT平臺的安全性_Mineable

Author:

Time:1900/1/1 0:00:00

對于任何軟件公司來說,安全是一個根本性的困難和不對稱的問題。而對于安全問題來說,是沒有什么靈丹妙藥的——僅在上個月,就有幾家技術公司出現了明顯的漏洞(如 Okta、HubSpot)。然而,加密貨幣的自我托管和不可逆的性質意味著安全漏洞可能會導致數十億美元的永久性損失。這種持續的風險對于具有長期雄心的 NFT 項目來說是一個巨大的挑戰。

數億美元的用戶資金損失嚴重損害了 NFT 領域的聲譽,并嚴重損害了相關的公司和項目。這種風險對許多正在進入該領域的企業來說是不可接受的,特別是那些有現有客戶基礎、聲譽和法律義務的企業。因此,安全作為 NFT 項目選擇平臺的一個標準將變得越來越重要。

每個平臺都有強烈的動機將自己定位為足夠安全。可事實是,所有的解決方案都是有交換條件的,重要的是項目需要對他們和他們平臺的具體交換條件有一個非常清楚的了解。

我是 Alex Connolly,Immutable 的首席技術官和聯合創始人——我們為大規模、高質量的 NFT 項目(尤其是游戲)建立了領先的平臺之一。我想通過寫這篇文章,對一些最受歡迎的 NFT 平臺所做的選擇進行詳細且基本公正的評估,這些平臺包括 Ronin、Polygon、Immutable、Solana 和 Optimism。

我將特別專注于每個平臺的底層安全的兩個核心要素:

1、共識安全:通過攻擊平臺的節點/驗證者(例如通過 51% 的攻擊)竊取資產的難度

2、橋的安全:將資產從以太坊轉移的機制的安全性。這通常是更大的擔憂,因為妥協通常會使用戶資金直接面臨風險

這篇文章將是對 NFT 平臺安全的一次深入探討,從而為相關項目負責人做出明智選擇提供必要的技術細節。如果你只是想簡單了解一些重點內容,可以看看下面這個表格。

接下來,就讓我們深入探討一些 NFT 平臺的安全性吧。

Ronin 是由 Sky Mavis Labs 創建的區塊鏈,目前專門為 Axie Infinity 及其生態系統提供動力。

共識安全

Ronin 是一個「側鏈」——一個擁有自己節點和共識機制的區塊鏈,但它與以太坊保持著官方「橋」的連接。Ronin 是一個權力證明(POA)區塊鏈,它一有 10 個節點,這些節點把自己的聲譽押在不會濫用權力的事實上。這與以太坊的測試網如 Goerli(20 個節點的 POA)相同。如果這些節點中的任何 5 個(50% 以上)成為惡意的或妥協的節點,那么它們將能夠對網絡進行 51% 的攻擊,并通過雙花或其他攻擊竊取用戶的資金。一般來說,這被認為是一個極低的節點數量(比特幣有 15000 個,以太坊有接近 6000 個),并產生一個更中心化的網絡,從而換取更快更便宜的交易。此外,用戶不能運行自己的節點,Ronin 節點的源代碼是不公開的,因此 Ronin 用戶無法對其進行審計。

BNB Bridge攻擊者抵押頭寸由BNB Chain團隊接管清算,或不會直接影響市場:6月8日消息,此前據 Lookonchain 報道,利用 Binance Bridge 漏洞竊取了約 200 萬枚 BNB 的(價值近 6 億美元)攻擊者在 VenusProtocol 上存入了 924,821 個 BNB,價值 2.49 億美元,當前質押率為 1.23,當 BNB 的價格下跌至 220 美元時,將被大規模清算。

據悉,在 Binance Bridge 攻擊事件后,Venus 于 2022 年 11 月通過了針對該事件的白名單清算制的 VIP-79 提案,具體內容為與 Binance 和其他 BNB 鏈生態系統參與者合作,在該頭寸達到清算線時接管該頭寸,并共同償還債務。BNB Chain 核心團隊為此頭寸的唯一清算者,以安全控制這一超大規模的 BNB 供應量,避免連環清算直接發生。[2023/6/8 21:23:00]

橋安全

Ronin 的官方以太坊橋由 5-9 的「多簽(multisig)」控制。多簽要求總共 n 個密鑰持有者中的 m 個簽名者批準每筆交易。在 Ronin 中,每一個橋動作都需要得到這個多簽的批準。然而,沒有任何機制來檢查充值或提現是否真的有效——任何能夠接觸到 9 把私鑰中的 5 把的人都可以將 Ronin 橋中持有的任何代幣的任何數額提取到任何以太坊地址上。這意味著該橋的任何用戶都是直接信任這個多簽的所有資金。

2022 年 3 月,在一名黑客獲得了 Axie 團隊持有的 4 把私鑰和 Axie DAO 驗證器(節點)借給 Axie 團隊的 1 把私鑰(給他們 5/9)后,這種信任被黑客竊取了 6.25 億美元。我們目前所知的情況表明,這是一個典型的網絡安全漏洞,由于這些驗證器私鑰的中心化造成了嚴重的后果。Sky Mavis 已經承諾償還那些損失的資金,并在未來三個月內達到 21 個獨立驗證者,以確保 Ronin 對未來的攻擊有更大的彈性,盡管在更強大的共識/橋機制和網絡的可擴展性之間可能會有權衡。

Polygon 目前提供權益證明以太坊側鏈(Polygon PoS),以及專門的 NFT 服務業務 Polygon Studios,支持 Skyweaver 和 ZED RUN 等主要項目。Polygon 正朝著提供一系列不同的擴展解決方案的方向發展,其中大部分是基于 zk-rollup 技術(稍后討論),但目前只有 Polygon PoS 是作為 NFT 平臺上線。

數據:2022年加密盜竊的“最低月度金額”為6200萬美元:金色財經報道,根據區塊鏈安全公司 CertiK 發布的數據,2022 年 12 月加密貨幣被盜事件發生的次數最少,總數約為 23 起,有價值 6220 萬美元的加密貨幣被盜,這也是2022年加密盜竊的“最低月度金額”。12 月 2 日的 Helio Protocol 事件是當月最大的黑客攻擊事件,占 6220 萬美元總額的 98.5%,攻擊者利用 Ankr Reward Bearing Staked BNB (aBNBc) 的價格差異借入價值數百萬美元的 HAY ,控制穩定幣 HAY (HAY) 的協議遭受了損失,數萬億aBNBc被鑄造,aBNBc 價格近乎歸零。[2023/1/3 22:21:38]

Polygon PoS 是一條側鏈,其基本模式與 Ronin 相似,只是 Polygon 是一個「提交(commit)側鏈」,它定期將鏈上狀態的檢查點提交給以太坊。Polygon PoS 共識有兩個主要組成部分。首先是 Bor 鏈,這是 Polygon 交易實際發生的地方:一個輪流的區塊生產者子集從更大的驗證者池中選擇,運行一個修改過的權威證明網絡,決定交易的包含和排序。然而,這個子集中只有一個區塊生產者(見 PolygonScan 區塊驗證者)被選中,以提出 64 個連續的區塊。

接下來是 Heimdall 檢查點系統,更多的驗證者(目前上限為 100 人)就 Bor 區塊最后約 30 分鐘的總結快照達成三分之二「權益證明」共識,并將該快照作為檢查點發布在以太坊上。然而,雖然有 100 個驗證者,但 4 個驗證者控制了 53% 的權益,7 個驗證者控制了 67% 的權益(見這里,點擊「顯示全部」并按權益排序),而所需的三分之二多數指的是權益,而不是驗證者的數量。這意味著,只有 7 把私鑰被破壞,鏈上的所有資金,而不僅僅是橋上的資金,才能通過惡意檢查站被盜;而且質押者必須隨時保持他們的私鑰熱度。此外,由于法定人數需要三分之二的質押,而 43% 的權益由 3 個驗證人控制,因此只需破壞 3 個熱錢包,就足以完全凍結提現和檢查點。

在 2,307,879,127 美元的質押中,前 7 名驗證者的質押是 1,540,761,159 美元(~67%)

IoTeX核心版本1.9.0發布,將在區塊高度21,542,761激活硬分叉:12月28日消息,IoTeX核心版本1.9.0發布,這是一次硬分叉,也是今年最后一次重大升級,將在區塊高度21,542,761激活,所有節點必須升級以保持與iotex鏈同步。[2022/12/29 22:13:14]

合約升級可以用來防御惡意檢查點(假設它被足夠快地檢測到),但這有其自身的安全風險,我們接下來將會討論。

Polygon 的橋與 Ronin 的不同之處在于,檢查點系統消除了對獨立驗證器組簽署每筆充值和提款的需要。然而,這意味著橋的安全性完全依賴于 Heimdall 和 Bor 的共識,這很容易受到上述的攻擊。

此外,Polygon 使用 5- 8 多簽來管理他們的橋梁智能合約,合約更新可以立即進行,沒有時間鎖定。這可以抵御智能合約的錯誤或上文討論的質押權重(stakeweight)驗證器的妥協。其中 4 把私鑰由 Polygon 創始人持有,這種結構受到了社區內安全研究人員的強烈批評,因為只要有另外一把私鑰,就有可能通過惡意升級將 Polygon 合約的所有資金(50 億美元以上)完全耗盡。然而,由于 Polygon 的簽名者并不簽署每一筆充值和提線交易,這些管理密鑰能夠被保持在離線狀態,使得它們不太可能被破壞。

Immutable 是一個用于構建高質量、高規模的 NFT 項目的平臺,如游戲。基于 Immutable 的知名項目包括 Illuvium、Gods Unchained、Ember Sword 和 Guild of Guardians。

Immutable 是一個 zk-rollup,它使用 StarkWare 的 StarkEx 校驗器(prover)/驗證器系統構建。這意味著 Immutable 預定一批第二層網絡(L2)交易,生成一個 STARK 證明,證明這些交易是有效的,并將該證明提交給主網(L1)智能合約「驗證器」,該驗證器更新一些主網狀態(在我們的案例中,是包含數百萬用戶 NFTs 余額的 merkle 樹的根)。重要的是,這比天真的批交易要好得多,因為 STARK 證明的驗證成本與交易的數量呈亞線性擴展。

借貸協議MahaLend已上線Goerli測試網:12月16日消息,MahaDAO近日宣布,旗下第三個產品MahaLend已上線Goerli測試網。據悉,MahaLend是與Aave類似的借貸協議,允許用戶抵押資產借入ARTH。[2022/12/16 21:48:29]

由于所有的狀態轉換都必須經過主網智能合約的驗證,即使 Immutable 的系統被完全破壞,Immutable 也不可能將無效的交易嵌入到 rollup 中,或者竊取資產。這是一個非常強大的安全屬性,也是 Vitalik 將 rollup 描述為「在可預見的未來,以太坊的關鍵可擴展性解決方案」的部分原因。

然而,Immutable 作為一個「單一操作者」的 rollup 運作(只有 Immutable 可以訂購或證明交易)。這意味著 Immutable 可以通過對交易進行前置處理或重新排序來提取礦工可提取價值(MEV)。目前,幾乎所有的 rollup 都是「單一運營商」,盡管大多數都有計劃隨著時間的推移進行去中心化。

rollup 使用了與側鏈根本不同的橋結構,因為他們在主網上保持了一個經過驗證的「狀態」,只有通過有效的證明才能更新。橋資金要求這個驗證狀態已經包括你的充值/提線,沒有多簽的攻擊(例如 Ronin),也沒有辦法通過破壞驗證器來增加「假的」狀態轉換(例如 Polygon),每筆交易都被驗證,就像它發生在主網上一樣。這種去信任的橋是為什么 rollup 被稱為「第二層網絡」的原因——它們的安全直接依賴于以太坊的共識,而不是一個單獨的具有信任橋接的共識機制。

在任何時候,用戶都可以提交一個「提現」交易,將他們的資金從第二層網絡過橋到主網。如果 Immutable 將此交易納入已證明的狀態變化集,用戶就能以去信任的方式將他們的資金直接提現到以太坊。如果 Immutable 不處理這個提現(不可用或故意審查),用戶總是能夠通過直接與主網橋合約進行交互來使用「全額提現」流。

如果這個新的「全額提現」請求沒有得到服務,交易所狀態將被凍結,所有用戶將能夠通過提供他們在狀態 merkle 樹中的資產路徑來提現。確保用戶能夠訪問這些數據,即使 Immutable 是惡意的或離線的,這就是「rollup 數據的可用性問題」。在標準的 zk-rollup 結構中,這有一個簡單的解決方案:要求在允許狀態更新之前將必要的數據發布到以太坊主網上。然而,這引入了一個小的線性 gas 成本,許多應用程序不愿意支付。這種成本在合并后不會改變,但會通過 EIP-4488、原數據庫和(最終)分片等提議大幅減少,因為以太坊接受了它作為 rollup 的基礎驗證和數據可用性層的角色。

跨鏈 DEX O3 Interchange 啟動公測,支持多條公鏈及二層網絡:6月9日消息,O3 Labs 宣布跨鏈 DEX O3 Interchange 啟動公測,將首先支持以太坊、BNB Chain、Polygon、Arbitrum、Fantom、Gnosis、 Optimism 上所支持的任意主流和長尾資產之間的跨鏈交易。此外,O3 Interchange 還支持通過 Gas Staition 交易所支持的網絡上的原生 Gas 代幣。[2022/6/9 4:13:45]

然而,由于這些解決方案都沒有上線,而且在鏈上發布 calldata 的成本對于像大規模 NFT 鑄幣這樣的用例來說仍然令人望而卻步,Immutable 目前作為一個 Validium rollup 運行。Validium rollups 是 zk-rollup,它不發布重建狀態所需的所有數據來換取更便宜的交易。為了確保這些數據即使在 Immutable 離線或惡意的情況下仍然可用,Immutable 依靠一個「數據可用性委員會(DAC)」。

這個委員會的大多數成員(由著名的生態系統公司組成)和幾個「強制性」成員必須簽署每個批次,以證明他們有必要的數據。這與驗證人的多簽不同:只要任何一個 DAC 是誠實的,用戶就能成功退出。即使發生數據扣留攻擊,整個 DAC 和序列器被破壞,Immutable 仍然可以使用合約升級來防止贖金攻擊。

Immutable 的 rollup 驗證器合約可以升級,但有 14 天的時間限制,這將使用戶有機會在對新合約不滿意的情況下退出系統(即使 Immutable 惡意審查交易)。

Immutable 正在向 Volition 模式轉變,其中個別「金庫(vault)」(用戶、代幣、數量圖元)可以被標記為需要鏈上數據。由于存儲在 rollup 中的大部分價值存在于大型代幣/ETH 余額或高價值的 NFT,該價值可以存儲在相對較少的鏈上數據庫中。這種結構可能會讓 rollup 金庫中的大部分價值得到鏈上數據的支持,減少數據可用性風險,同時保留做廉價、大規模 NFT 鑄幣的能力,這對游戲等項目來說至關重要。

Solana 作為一個完全獨立的主網區塊鏈運行,它特別關注通過定制的共識機制實現低成本、高規模的交易。

Solana 目前有超過 1500 個活躍節點,盡管它確實對這些節點提出了大量的硬件要求,以實現其較高的 TPS(減少個人驗證交易的能力,這是區塊鏈去中心化的一個重要原則)。重要的是,由 20 個節點組成的超級少數節點目前控制著超過 33% 的 SOL 質押。如果這些節點串通一氣,或被破壞,他們將能夠停止網絡或任意審查交易。

作為一個完全獨立的主網,Solana 沒有與以太坊的官方橋。然而,對 Solana 用戶來說,最流行的(和半官方的)橋是 Wormhole,它允許資產在一些鏈上移動。Wormhole 依賴于一組被稱為監護人(guardian)的驗證者,他們對所有橋行動達成三分之二加一的權威證明共識。目前有 19 個活躍的監護人。由于 Solana 和以太坊無法驗證對方的交易,橋合約在資產過橋時完全依賴于監護人的共識。這意味著,如果這些監護人中的三分之二被破壞,Wormhole 內的所有用戶資金都可能被盜。這種機制實際上與 Ronin 使用的機制非常相似,不幸的是,監護人的私鑰也必須保持熱度以簽署新的交易。

在 2022 年初,Wormhole 橋的一個錯誤使得 3.25 億美元的用戶資金被盜。這實際上不是驗證器系統的妥協,而是發現了一個智能合約的錯誤,允許攻擊者欺騙橋在 Solana 上發行沒有存入以太坊的 ETH。Jump Crypto 介入,使用戶得到補償,這令人驚訝地表明了加密貨幣中的資本的力量,但隨著領域的發展,這是一個完全不可持續的模式。這并不是對 Solana 或 Wormhole 的控訴,因為所有鏈上系統都容易受到智能合約漏洞的影響。雖然永遠不可能有保證,但最好是使用經過審計/正式驗證的合約,這些合約經得起時間和公眾審查的考驗,例如,Wormhole 在錯誤發生后受到了嚴格的審查,沒有發現進一步的錯誤。

Optimism 是由 Optimism PBC 開發的以太坊 Optimistic rollup。它在 2021 年 8 月登陸主網,用于白名單項目,到目前為止,它上面 NFT 項目的采用有限,盡管在 Quixotic 等市場上有一個早期社區。

Optimism rollup 工作類似于 zk-rollups:收集交易并上傳所有這些狀態轉換的最終狀態的壓縮版本。然而,在 zk-rollups 為每個狀態轉換提供「有效性證明」的情況下,Optimism 的 rollup 轉換被認為是有效的,除非有人能產生一個「故障證明」,表明有無效的交易發生。如果有人能產生這樣的證明,他們會得到獎勵,而證明的發布者會受到懲罰。為了允許這種挑戰的發生,Optimism rollup 需要在交易完全結束前有一周的爭議時間延遲。這種非同步性引入了一類有趣的潛在經濟攻擊,而緩解這些攻擊是一個積極的研究課題。

然而,Optimism 的故障證明目前是禁用的——這意味著 Optimism(或任何破壞 Optimism 多簽的人)可以通過提交無效的狀態轉換來竊取所有的用戶資金。這是一個臨時狀態,一旦新的故障證明系統準備好了,就會升級,但在目前的狀態下對用戶資金構成了嚴重的危險。由于 Optimism 是一個單一的序列器 rollup,它也對潛在的 MEV 提取開放。

Optimism rollup 也提供了一個通往以太坊的去信任橋。然而,由于任何用戶都可以在 1 周爭議期的任何時候挑戰該批次的有效性,被撤回到主網的資產至少會在這段時間內被鎖定。對于可替換的資產,可以使用「快速提線」來規避這種鎖定(在假設狀態轉換不包含欺詐性交易的情況下,有效地借給用戶)。然而,由于 NFT 是唯一的,不能被替代,用戶必須等待整個爭議期(長達一周),然后才能將他們的資產轉移回以太坊主網。

Optimism(像所有 Optimism rollup)要求將中間交易數據發布在鏈上,以便能夠有效地挑戰——這產生了更高的費用,但規避了任何復雜的數據可用性結構,正如在分析 Immutable 時討論的那樣。

如果你的項目安全通過其他機制受到損害,那么擁有世界上最好的核心平臺安全是不重要的。為了真正做出明智的決定,NFT 項目需要考慮共識和橋安全之外的各種因素,包括:

錢包安全:用戶密鑰是如何存儲的?如果這個存儲系統被破壞,會有什么影響(例如,托管錢包供應商,本地錢包應用程序的一個作惡版本,瀏覽器擴展中的一個不良依賴)?

元數據安全:資產元數據(包括圖像)是如何存儲的?如果這些元數據由于妥協而被改變或替換,會有什么市場影響?

項目安全:任何平臺上的項目通常都為其項目保留一些管理私鑰。如果這些私鑰被泄露,會發生什么?你的項目是否有主動監測漏洞的功能?你的平臺是否支持密鑰管理的最佳實踐?

資金安全:大多數平臺都會有大量的代幣儲備(例如,用于獎勵或補助)。這些資金是如何持有的?如何授權和執行從金庫的轉移?妥協會有什么影響?

市場安全:支持該協議的市場如何保護用戶免受惡意交易,如山寨項目?

在這些層次中的任何一個出現紕漏,都可能使即使是最安全的底層平臺的用戶受到傷害——任何人描述一個無懈可擊的項目顯然是錯誤的。不幸的是,當處理一個新的資產類別時,特別是一個增長如此迅速的資產類別,會有人不斷地尋找新的漏洞和利用點。在這樣的環境中,對這些權衡的有力理解對于為你的項目選擇正確的平臺至關重要。

在 Immutable,我們正在解決那些想要建立高質量、高規模、長期的 NFT 項目(如游戲)的核心挑戰,包括上述的安全挑戰。如果你是一個建設者,我們很想和你展開對話。如果你想直接幫助我們解決這些問題,我們正在招聘幾乎所有的角色!

我還要感謝那些對這篇文章的不同部分提供反饋的人。Kelvin Fichter(Optimism),Avihu Levy(StarkWare),Bartek Kiepuszewski(MakerDAO, L2 Beat),Philippe Castonguay(Horizon/Skyweaver)和 Wormhole 團隊——文章出現的任何剩余錯誤都是我造成的。

原文來源:Immutable X

原文編譯:Captain Hiro

Tags:ROLLROLABLEIMMCoinControllerCashTROLLBNB幣MineableIMM Global

屎幣
元宇宙:金色Web3.0周報 | 元宇宙產業委員會:規范數字藏品產業健康發展抵制無序炒作_NBS

1.DeFi代幣總市值:1173.57億美元 DeFi總市值 數據來源:coingecko2.過去24小時去中心化交易所的交易量:326.

1900/1/1 0:00:00
數字人:警惕 借“數字人民幣”詐騙_數字人民幣錢怎么取出來

隨著數字人民幣試點落地天津,我市反詐民警提醒市民,警惕以“數字人民幣”為名的新型詐騙。“近期,在某些省市發現,騙子將矛頭指向了數字人民幣。”我市反詐民警拆解數字人民幣新騙術.

1900/1/1 0:00:00
TOKEN:周小川:關于數字貨幣的幾點問題及回應_SWIFT幣

2022年4月15日-17日,以“行穩致遠,金融助力高質量發展”為主題2022清華五道口全球金融論壇在北京隆重召開.

1900/1/1 0:00:00
SAND:The Sandbox Q1報告:數字地塊的二級銷售下降54% 一級銷售量增長23%_SAN

鑒于整體市場降溫,數字地塊的二級銷售下降了 54%,但仍比 2021 年第三季度增長了 865%。一級銷售量因新地塊(Parcel)的發行而增長 23%.

1900/1/1 0:00:00
ETH:以太坊基金會將儲備中的非加密資產擴大到19%_eth怎么轉到交易所

負責監督和資助以太坊網絡發展的基金會已經披露了其持有的資產總量,其中包括五分之一的非加密資產。據悉,這一數額是為了提供“更大的安全系數”,以保護其資產免受加密市場下滑的影響.

1900/1/1 0:00:00
CEL:被疫情加速的魔幻產業:他們在元宇宙買房、戀愛_CHA

近三年的疫情反復下, 人們對線上生活的需求和參與頻率 到達了一個頂峰, 元宇宙正是在這樣的背景下迅速火了起來.

1900/1/1 0:00:00
ads