... 笔者作过简单统计，自17年9月到18年9月期间，智能合约及区块链应用的相关漏洞呈频繁爆发的模式增长，并且所造成的后果都是影响深远的。不仅直接造成了巨额的金额损失；从长远发展角度上来看，更是影响到区块链这项新兴技术在未来的可持续发展。 另外，尽管当前智能合约及区块链应用的潜在...
知识:智能合约,工具,区块,以太坊
据星球日报，由区块链安全公司 ChainSecurity 开发的以太坊智能合约安全扫描工具 Securify 正式发布 2.0 版本，以太坊基金会也参与了资助该项目的研发，Securify 2.0 版本目前支持以太坊平台智能合约编程语言 Solidity 0.5.*和 0.6.*版本。此前消息，ChainSecurity 团队宣布加入普华永道瑞士（PwC Switzerland），加速普...
知识:ChainSecurity
...案金额大体相当，项目方跑路类涉案金额是前二者的2倍还多，其中由于系统漏洞对区块链造成的损失超过10亿美元。数字资产非法犯罪案例不仅从未停止，并且2019年犯罪手段层出不穷，勒索软件、资金盘跑路模式花样新翻，犯罪团伙来源广泛，犯罪案件数量、犯罪活动涉及总金额呈递增趋势。跟传统互...
知识:合约,区块链安全,智能合约,链上
CertiK安全研究团队发现soda区块链项目中存在智能合约安全漏洞，该漏洞允许任意外部调用者通过调用智能合约函数，强行结算受害用户的债务。判断一个人到底属于什么资产阶级，只需要看他的负债率。简而言之，借的钱越多，代表你越有钱（还款能力强）。所以借钱从某种角度上来讲，是属于富人的...
知识:区块链项目,智能合约,安全漏洞
...长的风险。据不完全统计，自2011年至2019年10月期间，全球范围因区块链安全漏洞而造成的经济损失就高达84亿美元之多，因智能合约所导致的就占了三分之一以上。其中，以以太坊链平台为例，有89%的智能合约代码都或多或少存在安全漏洞或隐患。?那么，如何在区块链应用上线之前验证智能合约的安全...
知识:合约,区块,智能,免费版
...尤为关键。本文讨论了形式化验证、模糊测试和符号执行等主流的智能合约漏洞检测手段，对于象链科技当前联盟链安全性问题的研究方向有着深远的指导意义，并明确了下一步工作的目标，采用不同的检测方法组合，着力提高漏洞挖掘的准确性、效率和自动化程度，满足智能合约规模和复杂度与日俱...
知识:智能合约,合约,智能合约漏洞,链科技
...密货币）为目标。计划使用Mozilla Firefox（一种开源Web浏览器）中的两个零日漏洞来进行攻击。但是，其团队及时发现并停止了攻击。 这使我们想到了一个问题：什么是零日漏洞？如何抵御它们？让我们在这篇文章中一一找到他们的答案。 零日漏洞利用（也称为0天）—漏洞是有关各方未知或未解决的软...
知识:加密货币,漏洞,攻击者,软件
...一样、特点一样，在具体的编写方式上都会存在差异。而这个差异往往就是漏洞、风险的来源。但这个差异又很难用机器大工业中常见的标准工具检测出来。但如果无法用工具检测，单凭人力检测，不仅工作量大，而且效率低，并且时常还会出人为方面的错漏。这看似矛盾的两方面交织在一起，一直贯...
知识:合约,以太坊项,以太坊,区块链平台
...应用。业内人士认为，开展数字货币研究将发挥数字经济的积极作用。2009年比特币诞生，至今已经第十年，创建于2014年的门罗币也已经到了第5年。以比特币，门罗币为代表的数字加密货币近年来已逐渐为大众所熟知，不少人利用交易数字货币赚取收益。随着数字经济的蓬勃发展，由此带来的数字资产...
知识:挖矿,比特币价格,门罗币,木马
...安全性和功能正确性进行严格的证明，可有效检测出智能合约是否存在安全漏洞和逻辑漏洞。该方法可以有效弥补传统的靠人工经验查找代码逻辑漏洞的缺陷。形式化验证技术的优势在于，用传统的测试等手段无法穷举所有可能输入，而我们用数学证明的角度，就能克服这一问题，提供更加完备的安全...
知识:合约,智能合约,公链,智能合约模型
...，这可以将检测效率提高到100％，并最大程度地减少算法错误警报的数量。 漏洞管理2020年，报告了17447个漏洞，并且该数目已连续第四年增加。 公司和组织越来越重视每天发现的未受保护的地点。 传统的漏洞管理技术通常要等到黑客利用攻击之后再加以利用。 当现有的漏洞检测技术涉及利用已知漏洞...
知识:网络,人工智能,漏洞,组织
...部门经理岳亮亮从行业、技术、场景、安全生态等角度全面阐述了智能合约漏洞防护与安全测试实践，为参会企业们提供了新的价值思考和安全生态共建路径。智能合约安全及漏洞防护分享云端会上，成都链安安全部门经理岳亮亮首先向企业们分享了智能合约漏洞防护经验。目前智能合约与区块链的结...
知识:智能合约,安全审计,可信区块链,成都链安
...资供需、政策、金融、技术、利好利空等等。比如前一阵子大火的Sushi爆出漏洞后一朝跌破币民们的承受极限，来自于利空消息的安全隐患或是漏洞，是导致币价疯狂下跌的最主要因素。“生而为韭菜，我很抱歉”在计算机领域，漏洞危险不仅仅来自研发、运维，甚至会来自于每一个使用者。全面的安...
知识:智能合约,币价,预言机,币民
...资供需、政策、金融、技术、利好利空等等。比如前一阵子大火的Sushi爆出漏洞后一朝跌破币民们的承受极限，来自于利空消息的安全隐患或是漏洞，是导致币价疯狂下跌的最主要因素。“生而为韭菜，我很抱歉”在计算机领域，漏洞危险不仅仅来自研发、运维，甚至会来自于每一个使用者。全面的安...
知识:智能合约,币价,合约,币民
...意交易，该交易将被某一特定版本的 Bitcoin ABC 接收，但会被其他所有版本的比特币现金拒绝。这样一个漏洞的结果可能是形成比特币现金的分叉，即使使用敏感版本的矿工接受了恶意交易，其他矿工也不会接受的。Bitcoin ABC 表示他们已经直接向相关的矿业池运营商提供了补丁。这一事件说明漏洞总是会...
知识:合约,智能合约,分叉,矿工