近日，成都链安推出全球首个Fabric链码自动形式化验证工具--Beosin-VaaS for Fabric，为链码提供“军事级”的安全验证。

随着现代化信息技术和应用的快速发展，数字资产这种以计算机信息技术为基础的货币形式应运而生。其可追溯、防伪造、防篡改的特性，提升了交易安全性，2019年已成为业界关注的热点，发展十分迅速。

近年来，网络犯罪、卷币跑路、钓鱼诈骗、暗网交易等涉及数字货币的犯罪屡见不鲜，数字金融企业和执法、监管部门均缺乏有效的应对措施，受害民众更是难以维权。反洗钱金融行动特别工作组FATF今年6月发布史上最大规模的反洗钱合规标准要求，未来数字金融企业必须遵循FATF反洗钱合规标准这一全球合规规范，才能够合法地开展数字资产交易服务。

今日(2019-11-27) 12:06分，成都链安态势感知系统Beosin-Eagle eye检测到以太坊Upbit交易所热钱包地址向未知地址通过一笔交易转移超过34万ETH。

随着以智能合约（Smart Contract）及区块链应用（DApp）为核心的区块链2.0时代逐渐成为主流，智能合约及区块链应用的安全性也越发成为业界备受关注的焦点。尤其是，在经历过诸如THE DAO、币安被盗等事件，智能合约及区块链应用的安全性究竟应该如何得到验证和保障，业已成为当前区块链业界亟待解决的痛点。

私钥被盗，满盘皆输——Poker EOS被盗 2万多EOS事件启示。 A secret between more than two is no secret. 两人以上知道的秘密就不算秘密。

知名加密货币交易所币安受到黑客攻击，目前已经有7074.18个比特币被窃。