以太坊安全之EVM与短地址攻击 本文来源:知道创宇404实验室前言以太坊(Ethereum)是一个开源的有智能合约功能的公共区块链平台,通过其专用加密货币以太币(ETH)提供去中心化的以太坊虚拟机(EVM)来处理点对点合约。EVM(... 访客 2020-08-19 274 #区块链安全
《企业级区块链安全白皮书》全文发布(附下载) 本文来源:绿盟科技近日,绿盟科技、北京航空航天大学、中国移动研究院联合推出《企业级区块链安全白皮书》,旨在对企业级区块链的概念、架构、技术、安全等进行一个全面的介绍,使读者对企业级区块链相关的内容有一... 访客 2020-05-13 277 #绿盟科技 #区块链安全
一个案例说明高层属性形式化验证 本文来源:成都链安科技验证软件功能介绍01Beosin-VaaS的业务逻辑验证软件,是一款用来检测智能合约上层业务逻辑漏洞的软件。基于合约的白皮书,软件利用形式化方法,首先对单个函数进行属性的描述,在... 访客 2020-01-10 285 #区块链安全
成都链安推出全球首个Fabric链码自动形式化验证工具--Beosin-VaaS for Fabri... 本文来源:成都链安科技近日,成都链安推出全球首个Fabric链码自动形式化验证工具--Beosin-VaaS for Fabric,为链码提供“军事级”的安全验证。什么是Fabric?Hyperled... 访客 2019-12-25 293 #区块链安全
成都链安:新西兰Cryptopia交易所被盗ETH再次发生异动 本文来源:成都链安科技有限公司据成都链安Beosin-AML反洗钱平台监测分析结果显示,近日以来,新西兰Cryptopia交易所一月份被盗ETH再次发生异动,关键地址0x9481bd在向多个地址分散转... 访客 2019-12-10 317 #区块链安全
再现蹭热度攻击,黑客利用区块链新币传播为契机构造诱饵 本文来源:奇安信威胁情报中心概述说到区块链,安全从业人员的第一反应就是比特币、挖矿、勒索、“韭菜”。就在10月底国家宣布将区块链作为核心技术自主创新的重要突破口,明确主攻方向,加大投入力度,着力攻克一... 访客 2019-11-01 285 #黑客 #区块链安全
彪悍的中国大妈写进了《华尔街日报》,但这次她们可能要折戟区块链 本文来源:GEETEST极验最近,看到有市民宋大妈深陷区块链Vpay,自己投资十几万还要拉亲友入坑,子女心机如焚。没想到无独有偶,在微博上也有网友在爆料亲人注册Vpay并且到处拉人。那么,这个Vpay... 访客 2018-10-22 246 #黑产 #区块链安全
当区块链遇到网络安全-区块链安全专题沙龙 本文来源:MikeSecMind俱乐部的精致安全沙龙又来啦! 区块链行业以燎原之势席卷整个世界,不管您是否处于这个业务,不可否认的是关于区块链与其各种场景已经在整个世界都掀起了狂热。然而,一种新技术的... 访客 2018-07-19 250 #安全沙龙 #区块链 #区块链安全 #线下活动
基于区块链的智能合约安全(二)——已知的漏洞和陷阱 本文来源:DigApis在这个系列的前一部分,我们分析了与部署在公开区块链上的自动化执行智能合约有关的风险。我们也介绍了一些获得高关注度的智能合约的例子,这些案例造成大量钱财损失,还改变了我们看待区块... 访客 2018-03-28 312 #区块链 #区块链安全 #智能合约