買以太坊 買以太坊
Ctrl+D 買以太坊
ads
首頁 > TRX > Info

ORD:淺論國內數字藏品的技術安全問題_聯盟鏈

Author:

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

文:袁立威

編者按

海外NFT自從2021年火爆出圈以來,受到市場的廣泛關注和討論。然而,海外市場的NFT的產品邏輯與國內的數字藏品并不完全一樣。數字藏品作為一種區塊鏈新應用,如何從技術上保證其安全性是眾多玩家都十分關心的問題。本文是螞蟻鏈高級技術專家袁立威在來咖智庫“數字藏品&NFT火熱之下的冷思考”研討會上的觀點分享。

在互聯網領域,安全的問題是永恒的話題。即便是已經非常成熟的Windows操作系統,仍舊需要不斷地打安全補丁。在我看來,安全的實質就是攻防雙方的不斷演進。所謂道高一尺魔高一丈,攻防兩方其實是互為強弱的關系,沒有絕對的安全,也沒有絕對的不安全。

比特幣鏈上交易費用下降90%:金色財經報道,2023年5月7日,比特幣網絡被50萬筆未確認交易所困擾,導致系統出現重大瓶頸。然而好消息是目前擁堵已經消除,鏈上費用大幅減少,目前已降至5美元以下。截至目前,只有略多于300,000筆未確認的交易等待確認,需要開采185個區塊來清理等待確認的交易。就在幾天前,即5月8日,平均交易費用飆升至每次轉賬31美元。然而截至今天,高優先級交易僅為3美元。[2023/5/12 14:58:22]

而螞蟻鏈對安全問題一直都非常重視。無論是智能合約的安全性、新編程范式的采用和對聯盟鏈的基礎要求上來講,我們都一直在尋求安全性的更強保證。

去中心化交易所Concordex完成170萬美元種子輪融資:12月19日消息,基于Layer 1 Concordium的去中心化交易所Concordex宣布完成170萬美元種子輪融資,Tacans Labs、Skynet Trading、Seier Capital和Concordium參投。

據悉,Concordex 將為用戶提供一個機構級投資平臺,彌合傳統金融(TradFi)和去中心化金融 ( DeFi)差異,并通過產品和服務提供真正的保證金和衍生品交易服務。該平臺計劃于2023年第一季度啟動主網。(Einpresswire)[2022/12/19 21:54:46]

第一點,關于智能合約。鯨探是基于智能合約開發的,在智能合約的安全性上,目前業內會有一些積累。眾所周知,現在國內外有一些可以進行智能合約審計的公司,它們會審計從最早區塊鏈到現在幾十種比較常見的漏洞,最基本的例如像整數的溢出或重入問題,等等。

數據:元宇宙土地交易量較2021年峰值下降98%:金色財經報道,根據Delphi Digital的數據,截至2022年9月12日,追蹤18個虛擬土地項目的交易量從2021年的高點下跌了約98%,該交易量在2021年11月達到峰值,略高于800萬美元。(Finbold)[2022/9/23 7:16:41]

螞蟻鏈的智能合約在參考這些漏洞的同時,內部還有一個專門的安全團隊做智能合約的安全審計。這個團隊會在產品在上線前將所有的合約都去做卡點。至少在螞蟻鏈內部團隊的審計報告里面,沒有任何安全漏洞的情況下產品才會上線。

數據:112枚ETH的Curve被盜資金已轉入FixedFloat:8月10日消息,加密交易所FixedFloat發推表示,已有112枚ETH的Curve被盜資金轉入,其安全部門已經凍結了部分資金。

此前消息,Curve.fi域名服務器遭到盜用,用戶需移除相關合約授權。[2022/8/10 12:14:39]

第二點,關于線性語義。今天國內大家都在談論數字藏品,怎么能夠更好的保證其安全性?除了在智能合約審計這方面下功夫,螞蟻鏈還可以有一個更強的保證,我們借鑒了一種新的編程范式“Move”。

何為“Move”?如果大家關注這個行業,應該知道在2018年,Facebook的扎克博格提出的Libra計劃,其中Libra鏈的白皮書,率先提及了一種智能合約的編程語言“Move”。那“Move”所代表的線性語義是什么意思?聽上去很技術,但概念不難理解,通過一個簡單的例子就可以說明。

例如,支付寶做A與B之間的余額轉賬,A減少100元,B增加100元。假如A給B轉賬,網上需要對賬。有時候就會出現B這邊可能沒有加,或者加錯了的情況——B加了A的100元轉賬,第一次加成功了,返回給A的接口沒有收到,系統又調取了一次,導致B加了200元。早期的交易系統里面這種問題很常見,就需要通過對賬來解決。后來,因為各種基礎的組件和交易的機制越來越完善,這些常見的問題就少了,但是本質上還是需要對賬的。

而“Move”則是提供了一種新的編程范式。仍舊以A轉賬100元給B為例。在“Move”的語義之下,這100元錢不是A減少或者B增加,而是A這100元“Move”給B,所以定為一種叫做專門“移動”的語義,這就保證了A的100元,要么“移動”給了B,要么沒有移動,從而避免出現A減100元,B沒有加或者B加了兩次100元的情況。我們在設計鯨探的時候,就借鑒了這種線性語義,所以螞蟻鏈上數字藏品并不是走傳統的加減的運算邏輯,而是“Move”語義。這樣就保證了產品不會因為一些特別的情況出現“消失”或者“多增”。這個特點是我們目前在安全上面做得比較強的點。

第三點,就是關于聯盟鏈。相比公鏈,聯盟鏈的安全性更有保障。公鏈具有隨便加入隨便訪問的特點,任何人發現它有漏洞就可以去攻擊。如果一個公鏈能活多年,最后都沒有大的漏洞被黑客發現,說明它的代碼安全系數是做得非常好的。而在聯盟鏈里,網絡準入需要有認證,例如現在是基于CA證書的認證。如果沒有我們授權節點的證書,就無法加入網絡。從這個層面來看,相當于擋掉了許多潛在的黑客,它根本就沒有機會進到網絡里面來。

總結來看,聯盟鏈其實是一個很大的防火墻,但是這一層并不能把它作為一個最終的保障,最終的保障還是說智能合約本身要安全。同時,前面談到的使用線性語義來保證資產的安全,如果是非資產邏輯上的一些東西,它還需要智能合約的審計來保證。

作者:袁立威?螞蟻鏈高級技術專家

Tags:MOVMOVEORD聯盟鏈MoveRichMOVEZORDI價格超級聯盟鏈

TRX
比特幣:北京首例“比特幣挖礦案”宣判_我朋友做區塊鏈被捉了怎么辦

北京首例比特幣“挖礦”合同案二審已經宣判,二審法院北京市第三中級人民法院明確認定涉案“挖礦”合同無效.

1900/1/1 0:00:00
WEB:3 個模型判斷全球市場波動對加密市場的影響_DRAGON幣

Bankless最新的播客嘉賓為投資分析師和經濟思想家林恩?奧爾登,講述了與我們眼前發生的改變游戲規則的宏觀經濟趨勢.

1900/1/1 0:00:00
OPY:金色觀察 | 加密x房地產項目調研_LOVESNOOPY幣

Messari分析師AllyZach7月11日發表研報,調研了加密x房地產的加密項目。以下為報告主要內容:1、Propy、MiloCredit和VestEquity等協議和公司正在通過以下方式創.

1900/1/1 0:00:00
DEF:金色觀察|牛熊輪轉:DeFi敘事結束了嗎?_區塊鏈

原文源自:DragonflyResearch:《DeFi’s(non)ProgressThisCycle》作者:CeliaWan? 編譯:金色財經 當人們開始質疑他們在牛市期間所相信的一切時.

1900/1/1 0:00:00
WEB:金色觀察 | Web3未來有前景的用例都在這_NFT-Starter

如果web3最終擁有大量用戶和成為一種新的、有價值的商業模式,那又如何呢??這一切的意義何在?在這之前.

1900/1/1 0:00:00
WEB:Gamefi鏈游經濟模型的未來之路_halo幣合約地址元宇宙

原創:WLabs瓜田 (一)一個野生鏈游研究者的觀點今天終于有沖動開始寫這個新系列的文章了,WLabs的小伙伴們善意的勸告過:瓜哥啊,這種展望行業未來的理論分析文章,游戲玩家會去認真看的很少啊.

1900/1/1 0:00:00
ads