文:袁立威
編者按
海外NFT自從2021年火爆出圈以來,受到市場的廣泛關注和討論。然而,海外市場的NFT的產品邏輯與國內的數字藏品并不完全一樣。數字藏品作為一種區塊鏈新應用,如何從技術上保證其安全性是眾多玩家都十分關心的問題。本文是螞蟻鏈高級技術專家袁立威在來咖智庫“數字藏品&NFT火熱之下的冷思考”研討會上的觀點分享。
在互聯網領域,安全的問題是永恒的話題。即便是已經非常成熟的Windows操作系統,仍舊需要不斷地打安全補丁。在我看來,安全的實質就是攻防雙方的不斷演進。所謂道高一尺魔高一丈,攻防兩方其實是互為強弱的關系,沒有絕對的安全,也沒有絕對的不安全。
多鏈Web3基礎設施Dmail完成Pre-A輪融資:7月24日消息,多鏈Web3基礎設施Dmail Network宣布完成Pre-A輪融資,Amino Capital、OIG VC、Draper Dragon、KuCoin Labs、HG Ventures、Spark Digital Capital、Bixin Ventures、Wagmi Ventures、Gate Labs、Kretos Ventures和Red Swiss等參投。[2023/7/24 15:55:48]
而螞蟻鏈對安全問題一直都非常重視。無論是智能合約的安全性、新編程范式的采用和對聯盟鏈的基礎要求上來講,我們都一直在尋求安全性的更強保證。
俄羅斯最大的銀行聯邦儲蓄銀行計劃推出DeFi平臺:2月4日消息,俄羅斯最大的銀行聯邦儲蓄銀行(Sberbank)計劃在未來幾個月內推出去中心化金融(DeFi)平臺。Sberbank表示,目前正在對平臺進行測試。(國際文傳電訊社)[2023/2/4 11:47:34]
第一點,關于智能合約。鯨探是基于智能合約開發的,在智能合約的安全性上,目前業內會有一些積累。眾所周知,現在國內外有一些可以進行智能合約審計的公司,它們會審計從最早區塊鏈到現在幾十種比較常見的漏洞,最基本的例如像整數的溢出或重入問題,等等。
Ava Labs 發布移動端非托管多鏈錢包 Core Mobile:金色財經報道,Avalanche 開發公司 Ava Labs 宣布發布移動端非托管多鏈錢包 Core Mobile。Core Mobile 將首先在 Android 系統上推出,并計劃于 2023 年支持 iOS。Core Mobile 旨在連接 Avalanche、比特幣和以太坊網絡以及其他 EVM 兼容區塊鏈中的 DeFi、NFT 游戲生態系統,用戶可以在一個平臺上管理他們所有的主要資產和應用程序。
Ava Labs 表示,此版本現在為用戶提供了三種使用 Core 的方式:瀏覽器擴展、Web 和移動設備,開發人員未來的計劃包括跨平臺同步和許多其他功能,以統一跨瀏覽器、Web 和移動設備的體驗。[2022/12/14 21:43:34]
螞蟻鏈的智能合約在參考這些漏洞的同時,內部還有一個專門的安全團隊做智能合約的安全審計。這個團隊會在產品在上線前將所有的合約都去做卡點。至少在螞蟻鏈內部團隊的審計報告里面,沒有任何安全漏洞的情況下產品才會上線。
數據:BTC礦工流出量達10個月低點:5月30日消息,據Glassnode數據顯示,BTC礦工的流出量達到10個月低點,七日均值為1,741,736.91美元。[2022/5/30 3:50:43]
第二點,關于線性語義。今天國內大家都在談論數字藏品,怎么能夠更好的保證其安全性?除了在智能合約審計這方面下功夫,螞蟻鏈還可以有一個更強的保證,我們借鑒了一種新的編程范式“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證書的認證。如果沒有我們授權節點的證書,就無法加入網絡。從這個層面來看,相當于擋掉了許多潛在的黑客,它根本就沒有機會進到網絡里面來。
總結來看,聯盟鏈其實是一個很大的防火墻,但是這一層并不能把它作為一個最終的保障,最終的保障還是說智能合約本身要安全。同時,前面談到的使用線性語義來保證資產的安全,如果是非資產邏輯上的一些東西,它還需要智能合約的審計來保證。
作者:袁立威?螞蟻鏈高級技術專家
來源:Web3 Revolution導讀:Web3 Revolution 是關于一檔探索Web3領域的英文播客,通過對話.
1900/1/1 0:00:00數字藏品是當下最火爆的區塊鏈技術應用場景之一,產業的野蠻生長也蘊藏諸多隱患。本文以數字藏品的版權保護為切入點,討論基于主子鏈架構的數字藏品合規發行解決方案 ,以期為數字藏品產業的良性發展提供一些.
1900/1/1 0:00:00譯者語 “不存在什么財產,不存在什么支配,也沒有我的和你的之分;每個人能得到的就是他的,只要他能保得住.
1900/1/1 0:00:00原文標題:《NFT 玩家的共識分片:金錢、社區與文化》原文作者:sleepy0x13.eth在 Crypto 領域,當我們提到「分片」時,人們通常想到的是區塊鏈分片技術.
1900/1/1 0:00:007月6日,元宇宙空間技術服務商構賽博宣布已于近日完成千萬元人民幣種子輪融資。據不完全統計,自四月以來“元宇宙”領域共計發生超過40余起融資,代表性的“虛擬人”企業魔琺科技在4月6日連續完成B輪、.
1900/1/1 0:00:007月7日,據Aztec團隊在medium上發布的官方博文,他們在當天推出首個以太坊隱私DeFi解決方案——Aztec Connect。以下是博文內容.
1900/1/1 0:00:00