随着智能合约飞速发展,越来越多的项目基于以太坊发行Token,链上资产的类别和规模呈指数级增长,“虚拟世界”中的数字资产也点燃了黑客们的“热情”。以太坊区块链被认为是区块链的2.0时代,各种各样新的数字资产都基于以太坊发行早期代币甚至实现部分功能,虽然国外区块链社区甚至认为以太坊体量变得太大,已经不可轻易战胜,但以太坊也是数字货币历史上产生最多安全问题的币种。
从2016年的TheDAO事件,到BEC,EDU,SMT的安全漏洞,到Defi代币失窃事件,以太坊的智能合约可以说充满安全漏洞。大多数的代币都在自己主网上线前使用以太坊代币,作为投资者,为了自身资产的安全着想,熟悉智能合约的漏洞概念变得尤为重要。
黑客利刃砍出的ETH和ETC
TheDAO作为世界上最大的众筹项目,一度被寄予了厚望,所谓“成也萧何,败也萧何”,智能合约一度被捧上了天,但在TheDAO事件当中,其递归调用的漏洞却成为了黑客入侵的大门。此后出现“黑客”现身谈攻击合法性的戏幕,更是让人大跌眼镜,这第一次引出了智能合约代码监管的问题。
本田与Animoca Brands合作为车迷提供数字奖品等:金色财经报道,Animoca Brands Japan宣布与Honda合作,从下个月开始的俄亥俄州中部Indy 200赛事开始,为赛车赛事提供web3粉丝参与体验。作为该计划的一部分,本田将使用区块链技术为车迷提供独家的实体和数字奖品和体验。合作涉及第三方Gryfyn,该第三方提供托管加密钱包。
Gryfyn是Animoca和香港数字资产托管公司Hex Trust的合资企业。[2023/6/30 22:11:02]
2016年6月17日发生了在区块链历史上留下沉重一笔的攻击事件。由于其编写的智能合约存在着重大缺陷,区块链业界最大的众筹项目TheDAO(被攻击前拥有1亿美元左右资产)遭到攻击,导致300多万以太币资产被分离出TheDAO资产池TheDAO编写的智能合约中有一个splitDAO函数,攻击者通过此函数中的漏洞重复利用自己的DAO资产来不断从TheDAO项目的资产池中分离DAO资产给自己。
CashioApp攻击者再次向Tornado Cash转入约3000枚ETH:金色财经报道,据PeckShield监测,Solana生态算法稳定币项目Cashio App再次向Tornado Cash转入约3000枚ETH(约合510万美元),该地址当前仍持有3416枚ETH。据悉,CertiK监测到CashioApp攻击者在几小时前向Tornado Cash转入100枚ETH。
Cashio于2022年3月份遭遇攻击,黑客通过绕过一个未被验证的账号,非法增发了20亿枚CASH代币,并通过多个应用将CASH代币转化为8,646,022.04UST,17,041,006.5USDC和26,340,965.68USDT-USDCLP,总价值超5000多万美元。[2023/3/28 13:30:51]
被攻击后,Vitalik个人支持分叉的提议,也支持软分叉的开发工作,支持矿工升级客户端来进行分叉。然而Vitalik也认识到大家对这个提议有激烈的争论,无论哪一方的观点都有强力的反对。因为分叉不需要回滚交易,不会对用户和交易所造成不便,这更使Vitalik倾向于采取行动的一方。也有许多人,包括在基金会内部,倾向于另外一方反对分叉。Vitalik不会阻止也不会反对另一方在公开场合宣传他们的观点,甚至是游说矿工来抵制这个分叉。在这件事情上Vitalik会坚决的不与任何站在相对他的另一方的人争辩。
德克萨斯州参议员提出禁止美联储采用CBDC的法案:金色财经报道,德克萨斯州参议员Ted Cruz提出了一项法案,禁止美联储采用中央银行数字货币。(
Watcher.Guru)[2023/3/22 13:18:47]
简而言之,他们所做的是更改以太坊区块链来修正DAO,但只有当大部分运行以太坊区块链网络的计算机同意,软件才能进行更新,摆脱掉漏洞,就好像攻击从来没有发生过。这一过程被称为硬分叉,从此以太坊创造了一个平行世界,现在的以太坊其实是分叉出来的“以太坊”并在一年后狂飙突进的涨到了几百美元,而原来不愿意分叉的包含TheDAO漏洞的以太坊则成了以太坊经典。这一决定引发了强烈的反应,一年后仍然存在争议,无论是在以太坊社区还是比特币用户都坚持区块链的历史不能被篡改,有些比特币用户认为硬分叉在某些方面违反了最基本的价值观。
尼日利亚央行正寻求技术合作伙伴开发管理CBDC的新系统:2月21日消息,尼日利亚正在与潜在的技术合作伙伴进行谈判,以开发一个新系统来运行和管理其中央银行数字货币 eNaira。一位知情人士表示,尼日利亚央行已经与总部位于纽约的技术公司 R3 讨论了早期阶段计划。[2023/2/21 12:20:30]
Binance黑客VIA事件
2018年在3月7日深夜,有不少用户发现自己币安账户中持有的各种各样的代币、数字货币被市价即时币币交易成了BTC。据网友反馈,被盗的账号不在少数,不少人还以为是币安系统错误导致的,还试图从币安客服那里得到解释。当他们还没有反应过来的时候,黑客已经开始了他们有组织、有预谋的行动。
黑客启动了所有盗窃的账户的买卖引擎,买卖规则就是卖掉所有山寨币,用市场价全仓购买VIA。而恰好黑客手里持有大量VIA,这样就相当于高价购买了黑客手里的VIA。于是,VIA的K线出现了惊人的振幅:2分钟内爆拉了110倍。从交易量和拉升价格来看,有大约1000个BTC的买单,把VIA的价格从0.000225btc拉到0.025,价格上涨大约110倍。
俄罗斯银行Promsvyazbank成功使用移动应用测试数字卢布交易:9月3日消息,俄罗斯银行Promsvyazbank (PSB)是首批加入俄罗斯央行发行的中央银行数字货币 试验的俄罗斯银行之一。该银行最近通过其移动设备应用程序测试了数字卢布交易。(News Bitcoin)[2022/9/3 13:06:46]
但是黑客的行动触发了币安的预警系统,黑客没能直接提出高价卖出所得的比特币。于是他们转而以超低价格爆砸比特币现货的订单列表,引起其他交易所期货价格的连锁反应。于是黑客预先埋伏的巨量空单获得巨大收益。黑客的攻击,已经去中心化了。
LGC的安全设计
由于货币需要一个稳定的系统,智能合约设计的越复杂出错的可能性就越高,所以在早期中本聪认为货币系统是不需要图灵完备的语言的,比特币之所以不支持智能合约也是觉得货币需要极高的稳定性。那么,如何运行区块链里保持货币稳定的同时又可以开发Dapp呢?
在LGC中Token链是一个并行多链的结构,共享用户基础。作为一个DAPP开发者最关心的肯定是三件事:1开发难度2用户体验3社区生态。那么Token链的设计就是针对不想自己重新开发一条公链,但想要发行token和链的开发人员。
LGC生态主要面向的对象是开发者,所以在设计Token链的时候最大的想法是设计一个可以吸引大家都来发币的平台,这样可以让在LGC上开发DAPP的开发者可以获得更多的用户资源。
LGC的中心思想是设计一个社区的机制,让开发者可以轻易的开发一个DAPP,其他的交给LGC来处理,安全问题当然也是LGC在设计之初考虑的重点。
比如近期对很多项目发起攻击的“transferFrom“函数,LGC就在require(balances>=_value);下一行增加了require(allowance>=_value);?判断,确保了合约转账不会出现可供黑客利用的漏洞。
Token不应该是一个智能合约,而应该是一个预先定义好事件的一个“对象”,这个“对象”可以有自己的参数,接受Token的地址可以有两种:普通的用户地址和合约地址,合约地址收到Token之后可以执行非图灵完备的合约语言,进行简单的状态计算和Token转移。
公链是区块链发展的前提基础,也是区块链行业未来发展的核心保障。而目前区块链的发展现状是,底层公链的性能尚未发展起来,在其上构建的各类DAPP严重受限于性能,各种共识算法都有不完美之处,安全问题也令人堪忧。由于智能合约一旦上传,即公开且不可更改,因此大多“区块链2.0”项目有安全性验证的需求。一些团体也开始致力于应用形式化验证技术,为智能合约和区块链生态提供安全保护。将智能合约转化为数学模型,通过逻辑上的推理演算来验证模型,从而证明智能合约的安全性。
但由于智能合约是“不可变更的”。一旦部署,它们的代码是不能更改的,导致无法修复任何发现的bug。在潜在的未来里,整个组织都由智能合约代码管控,对于适当的安全性需求巨大。过去的黑客如TheDAO或BEC,SMT,EDU,BAI等漏洞事件提高了开发者们的警惕,可我们还有很长的路要走。
各个公链在可扩展性,应用性,共识哲学以及安全建设上的角逐将持续很长一段时间。我们认为既然没有完美的防止漏洞的方法,那我们不妨学习LGC,让Token这个“对象”尽可能的简洁,是现阶段区块链行业里比较好的解决方案。
来源:金色财经
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。