浅论国内数字藏品的技术安全问题

文:袁立威

编者按

海外NFT自从2021年火爆出圈以来,受到市场的广泛关注和讨论。然而,海外市场的NFT的产品逻辑与国内的数字藏品并不完全一样。数字藏品作为一种区块链新应用,如何从技术上保证其安全性是众多玩家都十分关心的问题。本文是蚂蚁链高级技术专家袁立威在来咖智库“数字藏品&NFT火热之下的冷思考”研讨会上的观点分享。

在互联网领域,安全的问题是永恒的话题。即便是已经非常成熟的Windows操作系统,仍旧需要不断地打安全补丁。在我看来,安全的实质就是攻防双方的不断演进。所谓道高一尺魔高一丈,攻防两方其实是互为强弱的关系,没有绝对的安全,也没有绝对的不安全。

Platypus攻击者将10,654枚AVAX兑换为127枚WETH后转移至以太坊网络:金色财经报道,据慢雾 MistTrack 数据显示,Platypus 攻击者将 10,654 枚 AVAX 兑换为 127 枚 WETH 后跨链转移至以太坊网络。目前被盗资金位于 0x5fc3...08bfd9,该地址于 2022 年 5 月从 Binance提取了 12,178 枚 BUSD。[2023/2/24 12:27:40]

而蚂蚁链对安全问题一直都非常重视。无论是智能合约的安全性、新编程范式的采用和对联盟链的基础要求上来讲,我们都一直在寻求安全性的更强保证。

外媒:英国金融动荡导致加密货币兑英镑的交易激增:10月12日消息,上个月英国宣布减税后的金融市场动荡导致比特币和以太坊与英镑的交易对交易量激增。数据显示,Bitfinex上BTC/GBP、ETH/GBP交易对在近期出现了大幅增长,而统计内的交易所单日交易量分别出现了超过4万枚比特币以及超17万枚以太坊的近三年来新高。

The Block的研究副总裁Larry Cermak表示数据异常可能并非是用户在购买加密货币或是抛售英镑,可能是做市商和交易员在进行套利交易。(TheBlock)[2022/10/12 10:32:35]

第一点,关于智能合约。鲸探是基于智能合约开发的,在智能合约的安全性上,目前业内会有一些积累。众所周知,现在国内外有一些可以进行智能合约审计的公司,它们会审计从最早区块链到现在几十种比较常见的漏洞,最基本的例如像整数的溢出或重入问题,等等。

机构分析:美国国债收益率曲线持续倒挂,但有所趋平:8月31日消息,美国国债收益率曲线持续显示经济衰退。对美联储将进一步大幅收紧货币政策的预期推动美国2年期国债收益率升至3.50%,创多年新高,美国10年期国债收益率目前报约3.11%。投资者将长期收益率低于短期收益率的收益率曲线倒挂视为预期经济收缩的指标。不过,这两种债券的收益率差较本月初有所收窄。另一个潜在的经济衰退指标是美国3个月/10年期国债收益率曲线,该指标尚未倒挂,但正在趋平。(金十)[2022/8/31 12:58:57]

蚂蚁链的智能合约在参考这些漏洞的同时,内部还有一个专门的安全团队做智能合约的安全审计。这个团队会在产品在上线前将所有的合约都去做卡点。至少在蚂蚁链内部团队的审计报告里面,没有任何安全漏洞的情况下产品才会上线。

Milo Inu首部加密动画第二集正式发布:据官方消息,Milo Inu官方今日正式发布加密市场首部原创连载动画视频第二集,整部动画以meme发展史作为参考。另外,Milo Inu现在官网已经发布质押milo获得NFT白名单活动,前2000名参与用户,即可获得NFT白名单;Milo Inu NFT总量5000个,所有的NFT作为ERC-721代币存储在以太坊区块链,并托管在IPFS上;此次质押活动为2000个,其余的将在其他活动中售出,见Milo Inu官方公告。

据悉,MILO(Milo Inu)旨在打造基于加密市场而生的虚拟偶像IP,通过动画剧集丰富IP形象,分别延伸出NFT、实体公仔、周边产品、GameFi及电子竞技线下比赛等产业链。[2022/5/19 3:28:11]

第二点,关于线性语义。今天国内大家都在谈论数字藏品,怎么能够更好的保证其安全性?除了在智能合约审计这方面下功夫,蚂蚁链还可以有一个更强的保证,我们借鉴了一种新的编程范式“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如何改变音乐人

7月,金色财经联合百度app独家打造「推开Web3世界的门」活动月,每周通过视频直播的形式,邀请业内大咖,跟大家一起探索?Web3。主持人:今晚是第二场直播,今天我们「不管热搜、不谈梦想,这次聊聊Web3如何改变音乐人」.

[0:31ms0-3:174ms