原文標題:《AGuidetoNFTPlatformSecurity》
對于任何軟件公司來說,安全是一個根本性的困難和不對稱的問題。而對于安全問題來說,是沒有什么靈丹妙藥的——僅在上個月,就有幾家技術公司出現了明顯的漏洞。然而,加密貨幣的自我托管和不可逆的性質意味著安全漏洞可能會導致數十億美元的永久性損失。這種持續的風險對于具有長期雄心的?NFT?項目來說是一個巨大的挑戰。
數億美元的用戶資金損失嚴重損害了NFT領域的聲譽,并嚴重損害了相關的公司和項目。這種風險對許多正在進入該領域的企業來說是不可接受的,特別是那些有現有客戶基礎、聲譽和法律義務的企業。因此,安全作為NFT項目選擇平臺的一個標準將變得越來越重要。
每個平臺都有強烈的動機將自己定位為足夠安全。可事實是,所有的解決方案都是有交換條件的,重要的是項目需要對他們和他們平臺的具體交換條件有一個非常清楚的了解。
我是?AlexConnolly,Immutable的首席技術官和聯合創始人——我們為大規模、高質量的NFT項目建立了領先的平臺之一。我想通過寫這篇文章,對一些最受歡迎的NFT平臺所做的選擇進行詳細且基本公正的評估,這些平臺包括Ronin、Polygon、Immutable、Solana?和?Optimism。
我將特別專注于每個平臺的底層安全的兩個核心要素:
1、共識安全:通過攻擊平臺的節點/驗證者竊取資產的難度
2、橋的安全:將資產從以太坊轉移的機制的安全性。這通常是更大的擔憂,因為妥協通常會使用戶資金直接面臨風險
這篇文章將是對NFT平臺安全的一次深入探討,從而為相關項目負責人做出明智選擇提供必要的技術細節。如果你只是想簡單了解一些重點內容,可以看看下面這個表格。
接下來,就讓我們深入探討一些NFT平臺的安全性吧。
Ronin
Ronin是由SkyMavisLabs創建的區塊鏈,目前專門為?AxieInfinity?及其生態系統提供動力。
觀點:盡管面臨監管挑戰,美國不會失去其作為加密貨幣中心的地位:金色財經報道,Merkle Science首席執行官Mriganka Pattnaik表示,盡管最近采取了監管行動,但美國不會失去其作為加密貨幣中心的地位。盡管由于美國的敵對監管措施,許多加密貨幣高管已開始尋找其他地方,但Pattnaik認為,加密貨幣活動將在該國繼續蓬勃發展,至少在中期內如此。Pattnaik認為美國擁有更高水平的創新和更深厚的人才庫。Pattnaik還指出,美國經濟的總體市場動態,特別是稅收的明確性,是加密貨幣公司可能將其大部分業務維持在美國的關鍵原因。[2023/7/5 22:19:30]
共識安全
Ronin是一個「側鏈」——一個擁有自己節點和共識機制的區塊鏈,但它與以太坊保持著官方「橋」的連接。Ronin是一個權力證明區塊鏈,它一有10個節點,這些節點把自己的聲譽押在不會濫用權力的事實上。這與以太坊的測試網如Goerli相同。如果這些節點中的任何5個成為惡意的或妥協的節點,那么它們將能夠對網絡進行51%的攻擊,并通過雙花或其他攻擊竊取用戶的資金。一般來說,這被認為是一個極低的節點數量,并產生一個更中心化的網絡,從而換取更快更便宜的交易。此外,用戶不能運行自己的節點,Ronin節點的源代碼是不公開的,因此Ronin用戶無法對其進行審計。
橋安全
Ronin的官方以太坊橋由5-9的「多簽」控制。多簽要求總共n個密鑰持有者中的m個簽名者批準每筆交易。在Ronin中,每一個橋動作都需要得到這個多簽的批準。然而,沒有任何機制來檢查充值或提現是否真的有效——任何能夠接觸到9把私鑰中的5把的人都可以將Ronin橋中持有的任何代幣的任何數額提取到任何以太坊地址上。這意味著該橋的任何用戶都是直接信任這個多簽的所有資金。
2022年3月,在一名黑客獲得了Axie團隊持有的4把私鑰和Axie?DAO?驗證器借給Axie團隊的1把私鑰后,這種信任被黑客竊取了6.25億美元。我們目前所知的情況表明,這是一個典型的網絡安全漏洞,由于這些驗證器私鑰的中心化造成了嚴重的后果。SkyMavis已經承諾償還那些損失的資金,并在未來三個月內達到21個獨立驗證者,以確保Ronin對未來的攻擊有更大的彈性,盡管在更強大的共識/橋機制和網絡的可擴展性之間可能會有權衡。
Stripe任命Louise Smith為英國董事會成員:金色財經報道,英國金融科技特使兼Innovate Finance主席已被任命為Stripe Payments UK Limited的董事會主席。[2022/12/11 21:36:44]
Polygon
Polygon目前提供權益證明以太坊側鏈,以及專門的NFT服務業務PolygonStudios,支持Skyweaver和ZEDRUN等主要項目。Polygon正朝著提供一系列不同的擴展解決方案的方向發展,其中大部分是基于zk-rollup技術,但目前只有PolygonPoS是作為NFT平臺上線。
共識安全
PolygonPoS是一條側鏈,其基本模式與Ronin相似,只是Polygon是一個「提交側鏈」,它定期將鏈上狀態的檢查點提交給以太坊。PolygonPoS共識有兩個主要組成部分。首先是Bor鏈,這是Polygon交易實際發生的地方:一個輪流的區塊生產者子集從更大的驗證者池中選擇,運行一個修改過的權威證明網絡,決定交易的包含和排序。然而,這個子集中只有一個區塊生產者被選中,以提出64個連續的區塊。
接下來是Heimdall檢查點系統,更多的驗證者就Bor區塊最后約30分鐘的總結快照達成三分之二「權益證明」共識,并將該快照作為檢查點發布在以太坊上。然而,雖然有100個驗證者,但4個驗證者控制了53%的權益,7個驗證者控制了67%的權益,而所需的三分之二多數指的是權益,而不是驗證者的數量。這意味著,只有7把私鑰被破壞,鏈上的所有資金,而不僅僅是橋上的資金,才能通過惡意檢查站被盜;而且質押者必須隨時保持他們的私鑰熱度。此外,由于法定人數需要三分之二的質押,而43%的權益由3個驗證人控制,因此只需破壞3個熱錢包,就足以完全凍結提現和檢查點。
在2,307,879,127美元的質押中,前7名驗證者的質押是1,540,761,159美元
Animoca Brands擬推出規模高達20億美元的元宇宙基金:11月30日消息,Animoca Brands聯合創始人兼首席執行官Yat Siu表示,該公司計劃推出一支高達20億美元的基金,以投資元宇宙業務,并將這支計劃中的基金描述為是“Web3業務的良好切入點”。(Nikkei)[2022/11/30 21:12:04]
合約升級可以用來防御惡意檢查點,但這有其自身的安全風險,我們接下來將會討論。
橋安全
Polygon的橋與Ronin的不同之處在于,檢查點系統消除了對獨立驗證器組簽署每筆充值和提款的需要。然而,這意味著橋的安全性完全依賴于Heimdall和Bor的共識,這很容易受到上述的攻擊。
此外,Polygon使用5-8多簽來管理他們的橋梁智能合約,合約更新可以立即進行,沒有時間鎖定。這可以抵御智能合約的錯誤或上文討論的質押權重驗證器的妥協。其中4把私鑰由Polygon創始人持有,這種結構受到了社區內安全研究人員的強烈批評,因為只要有另外一把私鑰,就有可能通過惡意升級將Polygon合約的所有資金完全耗盡。然而,由于Polygon的簽名者并不簽署每一筆充值和提線交易,這些管理密鑰能夠被保持在離線狀態,使得它們不太可能被破壞。
Immutable
Immutable是一個用于構建高質量、高規模的NFT項目的平臺,如游戲。基于Immutable的知名項目包括Illuvium、GodsUnchained、EmberSword和GuildofGuardians。
共識安全
Immutable是一個zk-rollup,它使用StarkWare的StarkEx校驗器/驗證器系統構建。這意味著Immutable預定一批第二層網絡交易,生成一個STARK證明,證明這些交易是有效的,并將該證明提交給主網智能合約「驗證器」,該驗證器更新一些主網狀態。重要的是,這比天真的批交易要好得多,因為STARK證明的驗證成本與交易的數量呈亞線性擴展。
元宇宙游戲開發公司Rekt Studios完成150萬美元融資:11月17日消息,位于迪拜的技術初創公司 Rekt Studios 宣布完成 150 萬美元融資,旨在推出其首個游戲元宇宙項目 Unseen,該項目支持內容創作者創建游戲、元宇宙建筑和數字資產。[2022/11/18 13:19:08]
由于所有的狀態轉換都必須經過主網智能合約的驗證,即使Immutable的系統被完全破壞,Immutable也不可能將無效的交易嵌入到rollup中,或者竊取資產。這是一個非常強大的安全屬性,也是?Vitalik?將rollup描述為「在可預見的未來,以太坊的關鍵可擴展性解決方案」的部分原因。
然而,Immutable作為一個「單一操作者」的rollup運作。這意味著Immutable可以通過對交易進行前置處理或重新排序來提取礦工可提取價值。目前,幾乎所有的rollup都是「單一運營商」,盡管大多數都有計劃隨著時間的推移進行去中心化。
橋安全
rollup使用了與側鏈根本不同的橋結構,因為他們在主網上保持了一個經過驗證的「狀態」,只有通過有效的證明才能更新。橋資金要求這個驗證狀態已經包括你的充值/提線,沒有多簽的攻擊,也沒有辦法通過破壞驗證器來增加「假的」狀態轉換,每筆交易都被驗證,就像它發生在主網上一樣。這種去信任的橋是為什么rollup被稱為「第二層網絡」的原因——它們的安全直接依賴于以太坊的共識,而不是一個單獨的具有信任橋接的共識機制。
在任何時候,用戶都可以提交一個「提現」交易,將他們的資金從第二層網絡過橋到主網。如果Immutable將此交易納入已證明的狀態變化集,用戶就能以去信任的方式將他們的資金直接提現到以太坊。如果Immutable不處理這個提現,用戶總是能夠通過直接與主網橋合約進行交互來使用「全額提現」流。
如果這個新的「全額提現」請求沒有得到服務,交易所狀態將被凍結,所有用戶將能夠通過提供他們在狀態merkle樹中的資產路徑來提現。確保用戶能夠訪問這些數據,即使Immutable是惡意的或離線的,這就是「rollup數據的可用性問題」。在標準的zk-rollup結構中,這有一個簡單的解決方案:要求在允許狀態更新之前將必要的數據發布到以太坊主網上。然而,這引入了一個小的線性gas成本,許多應用程序不愿意支付。這種成本在合并后不會改變,但會通過EIP-4488、原數據庫和分片等提議大幅減少,因為以太坊接受了它作為rollup的基礎驗證和數據可用性層的角色。
DAO信貸平臺Porter Finance宣布更名為Arbor Finance并重新推出利率20%的債券:金色財經報道,DAO信貸平臺Porter Finance宣布更名為Arbor Finance并重新推出利率20%的債券,Arbor Finance將分叉Porter Finance代碼,同時保持相同的核心功能,允許 DAO 以穩定幣籌集債務,同時使用其原生代幣作為抵押品。Arbor 部署到以太坊區塊鏈,通過創建貸方可以競標的 ERC-20 債券代幣來工作。
金色財經報道,7 月,Porter Finance僅在推出4周后就關閉了其DeFi債券發行協議,理由是需求不足。[2022/10/31 12:01:44]
然而,由于這些解決方案都沒有上線,而且在鏈上發布calldata的成本對于像大規模NFT鑄幣這樣的用例來說仍然令人望而卻步,Immutable目前作為一個Validiumrollup運行。Validiumrollups是zk-rollup,它不發布重建狀態所需的所有數據來換取更便宜的交易。為了確保這些數據即使在Immutable離線或惡意的情況下仍然可用,Immutable依靠一個「數據可用性委員會」。
這個委員會的大多數成員和幾個「強制性」成員必須簽署每個批次,以證明他們有必要的數據。這與驗證人的多簽不同:只要任何一個DAC是誠實的,用戶就能成功退出。即使發生數據扣留攻擊,整個DAC和序列器被破壞,Immutable仍然可以使用合約升級來防止贖金攻擊。
Immutable的rollup驗證器合約可以升級,但有14天的時間限制,這將使用戶有機會在對新合約不滿意的情況下退出系統。
Immutable正在向Volition模式轉變,其中個別「金庫」可以被標記為需要鏈上數據。由于存儲在rollup中的大部分價值存在于大型代幣/ETH?余額或高價值的NFT,該價值可以存儲在相對較少的鏈上數據庫中。這種結構可能會讓rollup金庫中的大部分價值得到鏈上數據的支持,減少數據可用性風險,同時保留做廉價、大規模NFT鑄幣的能力,這對游戲等項目來說至關重要。
Solana
Solana作為一個完全獨立的主網區塊鏈運行,它特別關注通過定制的共識機制實現低成本、高規模的交易。
共識安全
Solana目前有超過1500個活躍節點,盡管它確實對這些節點提出了大量的硬件要求,以實現其較高的TPS。重要的是,由20個節點組成的超級少數節點目前控制著超過33%的SOL質押。如果這些節點串通一氣,或被破壞,他們將能夠停止網絡或任意審查交易。
橋安全
作為一個完全獨立的主網,Solana沒有與以太坊的官方橋。然而,對Solana用戶來說,最流行的橋是Wormhole,它允許資產在一些鏈上移動。Wormhole依賴于一組被稱為監護人的驗證者,他們對所有橋行動達成三分之二加一的權威證明共識。目前有19個活躍的監護人。由于Solana和以太坊無法驗證對方的交易,橋合約在資產過橋時完全依賴于監護人的共識。這意味著,如果這些監護人中的三分之二被破壞,Wormhole內的所有用戶資金都可能被盜。這種機制實際上與Ronin使用的機制非常相似,不幸的是,監護人的私鑰也必須保持熱度以簽署新的交易。
在2022年初,Wormhole橋的一個錯誤使得3.25億美元的用戶資金被盜。這實際上不是驗證器系統的妥協,而是發現了一個智能合約的錯誤,允許攻擊者欺騙橋在Solana上發行沒有存入以太坊的ETH。JumpCrypto介入,使用戶得到補償,這令人驚訝地表明了加密貨幣中的資本的力量,但隨著領域的發展,這是一個完全不可持續的模式。這并不是對Solana或Wormhole的控訴,因為所有鏈上系統都容易受到智能合約漏洞的影響。雖然永遠不可能有保證,但最好是使用經過審計/正式驗證的合約,這些合約經得起時間和公眾審查的考驗,例如,Wormhole在錯誤發生后受到了嚴格的審查,沒有發現進一步的錯誤。
Optimism
Optimism是由OptimismPBC開發的以太坊Optimisticrollup。它在2021年8月登陸主網,用于白名單項目,到目前為止,它上面NFT項目的采用有限,盡管在Quixotic等市場上有一個早期社區。
共識安全
Optimismrollup工作類似于zk-rollups:收集交易并上傳所有這些狀態轉換的最終狀態的壓縮版本。然而,在zk-rollups為每個狀態轉換提供「有效性證明」的情況下,Optimism的rollup轉換被認為是有效的,除非有人能產生一個「故障證明」,表明有無效的交易發生。如果有人能產生這樣的證明,他們會得到獎勵,而證明的發布者會受到懲罰。為了允許這種挑戰的發生,Optimismrollup需要在交易完全結束前有一周的爭議時間延遲。這種非同步性引入了一類有趣的潛在經濟攻擊,而緩解這些攻擊是一個積極的研究課題。
然而,Optimism的故障證明目前是禁用的——這意味著Optimism可以通過提交無效的狀態轉換來竊取所有的用戶資金。這是一個臨時狀態,一旦新的故障證明系統準備好了,就會升級,但在目前的狀態下對用戶資金構成了嚴重的危險。由于Optimism是一個單一的序列器rollup,它也對潛在的MEV提取開放。
橋安全
Optimismrollup也提供了一個通往以太坊的去信任橋。然而,由于任何用戶都可以在1周爭議期的任何時候挑戰該批次的有效性,被撤回到主網的資產至少會在這段時間內被鎖定。對于可替換的資產,可以使用「快速提線」來規避這種鎖定。然而,由于NFT是唯一的,不能被替代,用戶必須等待整個爭議期,然后才能將他們的資產轉移回以太坊主網。
Optimism要求將中間交易數據發布在鏈上,以便能夠有效地挑戰——這產生了更高的費用,但規避了任何復雜的數據可用性結構,正如在分析Immutable時討論的那樣。
核心平臺之外的安全
如果你的項目安全通過其他機制受到損害,那么擁有世界上最好的核心平臺安全是不重要的。為了真正做出明智的決定,NFT項目需要考慮共識和橋安全之外的各種因素,包括:
錢包安全:用戶密鑰是如何存儲的?如果這個存儲系統被破壞,會有什么影響?
元數據安全:資產元數據是如何存儲的?如果這些元數據由于妥協而被改變或替換,會有什么市場影響?
項目安全:任何平臺上的項目通常都為其項目保留一些管理私鑰。如果這些私鑰被泄露,會發生什么?你的項目是否有主動監測漏洞的功能?你的平臺是否支持密鑰管理的最佳實踐?
資金安全:大多數平臺都會有大量的代幣儲備。這些資金是如何持有的?如何授權和執行從金庫的轉移?妥協會有什么影響?
市場安全:支持該協議的市場如何保護用戶免受惡意交易,如山寨項目?
在這些層次中的任何一個出現紕漏,都可能使即使是最安全的底層平臺的用戶受到傷害——任何人描述一個無懈可擊的項目顯然是錯誤的。不幸的是,當處理一個新的資產類別時,特別是一個增長如此迅速的資產類別,會有人不斷地尋找新的漏洞和利用點。在這樣的環境中,對這些權衡的有力理解對于為你的項目選擇正確的平臺至關重要。
在Immutable,我們正在解決那些想要建立高質量、高規模、長期的NFT項目的核心挑戰,包括上述的安全挑戰。如果你是一個建設者,我們很想和你展開對話。如果你想直接幫助我們解決這些問題,我們正在招聘幾乎所有的角色!
我還要感謝那些對這篇文章的不同部分提供反饋的人。KelvinFichter,AvihuLevy,BartekKiepuszewski,PhilippeCastonguay和Wormhole團隊——文章出現的任何剩余錯誤都是我造成的。
原文來源:ImmutableX
原文編譯:CaptainHiro
金色財經消息,Web3和區塊鏈安全公司CertiK宣布融資6000萬美元,投資方包括軟銀愿景基金2和TigerGlobal,標志著軟銀首次涉足Web3安全領域.
1900/1/1 0:00:00特斯拉CEO埃隆·馬斯克今日向Twitter發出收購要約,擬以每股54.20美元的現金形式將其收購,整體估值約為434億美元.
1900/1/1 0:00:00僅僅是「NFT+虛擬世界」并不能稱得上是一個成功的開放式元宇宙。原文標題:Howtomakeanopenmetaverse撰文:WilliamM.Peaster,Bankless分析師 編譯:S.
1900/1/1 0:00:004月19日,AR企業雷鳥發布智能眼鏡產品雷鳥Air。無獨有偶,就在同一天,華為技術有限公司“一種AR眼鏡”專利獲授權.
1900/1/1 0:00:00原文標題:《但愿只是一種可能,而不是現實》當下,“元宇宙”成為產業圈、創投圈和文化圈中炙手可熱的概念,引發廣泛關注,眾說紛紜.
1900/1/1 0:00:00上圖為BTC周線和MA50、100和200均線走勢,可以發現目前BTC周線已跌破50均線支撐,前期反彈未能突破站穩,我們知道50周均線在BTC一輪牛市進程中起到關鍵作用.
1900/1/1 0:00:00