随着智能合约飞速发展,越来越多的项目基于以太坊发行Token,链上资产的类别和规模呈指数级增长,“虚拟世界”中的数字资产也点燃了黑客们的“热情”。以太坊区块链被认为是区块链的2.0时代,各种各样新的数字资产都基于以太坊发行早期代币甚至实现部分功能,虽然国外区块链社区甚至认为以太坊体量变得太大,已经不可轻易战胜,但以太坊也是数字货币历史上产生最多安全问题的币种。
从2016年的TheDAO事件,到BEC,EDU,SMT的安全漏洞,到Defi代币失窃事件,以太坊的智能合约可以说充满安全漏洞。大多数的代币都在自己主网上线前使用以太坊代币,作为投资者,为了自身资产的安全着想,熟悉智能合约的漏洞概念变得尤为重要。
黑客利刃砍出的ETH和ETC
TheDAO作为世界上最大的众筹项目,一度被寄予了厚望,所谓“成也萧何,败也萧何”,智能合约一度被捧上了天,但在TheDAO事件当中,其递归调用的漏洞却成为了黑客入侵的大门。此后出现“黑客”现身谈攻击合法性的戏幕,更是让人大跌眼镜,这第一次引出了智能合约代码监管的问题。
多链DEX Dfyn发布新版本,增强了安全性、交易功能和订单匹配:金色财经报道,开发人员表示,多链去中心化交易所 (DEX) Dfyn 发布了版本 2,该版本增强了安全性、交易功能和订单匹配。新版本采用专用金库合约来防止流动性池漏洞利用,自今年年初以来,这些漏洞已造成超过 3 亿美元的用户损失。
这些金库合约将存储和处理所有用户资金,而不是将它们存储在池合约中。金库允许用户通过闪电贷机制借入代币,也称为单块借贷,他们可以借入一定数量的代币,前提是他们在同一笔交易结束前偿还。[2023/3/21 13:17:09]
2016年6月17日发生了在区块链历史上留下沉重一笔的攻击事件。由于其编写的智能合约存在着重大缺陷,区块链业界最大的众筹项目TheDAO(被攻击前拥有1亿美元左右资产)遭到攻击,导致300多万以太币资产被分离出TheDAO资产池TheDAO编写的智能合约中有一个splitDAO函数,攻击者通过此函数中的漏洞重复利用自己的DAO资产来不断从TheDAO项目的资产池中分离DAO资产给自己。
英国计算机安全研究员:不应因勒索软件而责怪加密货币:金色财经报道,英国计算机安全研究员Marcus Hutchins表示,因勒索软件的兴起而责怪加密货币是错误的。Hutchins指出,无论有没有比特币,黑客都会找到办法。他继续表示,加密货币无疑让勒索软件更易于访问并助长了它的扩散,但如果没有比特币,这类攻击也会持续存在。[2021/7/14 0:49:28]
被攻击后,Vitalik个人支持分叉的提议,也支持软分叉的开发工作,支持矿工升级客户端来进行分叉。然而Vitalik也认识到大家对这个提议有激烈的争论,无论哪一方的观点都有强力的反对。因为分叉不需要回滚交易,不会对用户和交易所造成不便,这更使Vitalik倾向于采取行动的一方。也有许多人,包括在基金会内部,倾向于另外一方反对分叉。Vitalik不会阻止也不会反对另一方在公开场合宣传他们的观点,甚至是游说矿工来抵制这个分叉。在这件事情上Vitalik会坚决的不与任何站在相对他的另一方的人争辩。
动态 | 金色财经“2018年度最专业安全服务机构”正式揭晓:1月21日,由金色财经主办,数动派、TokenInsight协办的“共识无界”金色财经2018年度风云榜——“2018年度最专业安全服务机构”正式揭晓,入榜机构有:降维安全、Certik、曲速未来、派盾 Peckshield、Anchain.ai、猎豹区块链安全中心、慢雾科技、知道创宇、链安科技、长亭科技。[2019/1/21]
简而言之,他们所做的是更改以太坊区块链来修正DAO,但只有当大部分运行以太坊区块链网络的计算机同意,软件才能进行更新,摆脱掉漏洞,就好像攻击从来没有发生过。这一过程被称为硬分叉,从此以太坊创造了一个平行世界,现在的以太坊其实是分叉出来的“以太坊”并在一年后狂飙突进的涨到了几百美元,而原来不愿意分叉的包含TheDAO漏洞的以太坊则成了以太坊经典。这一决定引发了强烈的反应,一年后仍然存在争议,无论是在以太坊社区还是比特币用户都坚持区块链的历史不能被篡改,有些比特币用户认为硬分叉在某些方面违反了最基本的价值观。
声音 | 北邮马兆丰:区块链在安全性方面存在很大问题:据中新网消息,在今日举行的2018数字资产安全高峰论坛上,北京邮电大学区块链及安全技术联合实验室马兆丰表示,目前区块链在安全性方面存在很大问题,区块链安全技术需要在算法安全性、共识机制安全性、数据安全性、网络安全性、合约安全性和应用安全性方面做好安全技术研究与加强。[2018/11/13]
Binance黑客VIA事件
2018年在3月7日深夜,有不少用户发现自己币安账户中持有的各种各样的代币、数字货币被市价即时币币交易成了BTC。据网友反馈,被盗的账号不在少数,不少人还以为是币安系统错误导致的,还试图从币安客服那里得到解释。当他们还没有反应过来的时候,黑客已经开始了他们有组织、有预谋的行动。
黑客启动了所有盗窃的账户的买卖引擎,买卖规则就是卖掉所有山寨币,用市场价全仓购买VIA。而恰好黑客手里持有大量VIA,这样就相当于高价购买了黑客手里的VIA。于是,VIA的K线出现了惊人的振幅:2分钟内爆拉了110倍。从交易量和拉升价格来看,有大约1000个BTC的买单,把VIA的价格从0.000225btc拉到0.025,价格上涨大约110倍。
阮安邦:用区块链驱动可信安全运:“2018中国金融论坛”于5月16日-17日在北京召开,北京八分量信息科技有限公司创始人阮安邦出席并演讲。他表示,区块链技术能帮助实现软件溯源,也就是说当面对一个软件,感到不安全不信任的时,用户能溯源知道这个软件最开始是什么情况,是怎样的定义、开发、使用起来的时候,然后就能知道这个软件到底安不安全。[2018/5/17]
但是黑客的行动触发了币安的预警系统,黑客没能直接提出高价卖出所得的比特币。于是他们转而以超低价格爆砸比特币现货的订单列表,引起其他交易所期货价格的连锁反应。于是黑客预先埋伏的巨量空单获得巨大收益。黑客的攻击,已经去中心化了。
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这个“对象”尽可能的简洁,是现阶段区块链行业里比较好的解决方案。
来源:金色财经
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。