今日，区块链安全公司CertiK正式宣布CertiK Chain测试网上线。CertiK Chain旨在以可访问、可兼容的方式利用CertiK独有的形式化验证平台，来从系统层面解决区块链安全问题。CertiK开发团队围绕安全进行了自下而上的整体构建，如在基础层上使用CertiK虚拟机（CVM），完整节点将运行在防黑客系统CertiKOS上，并开发了DeepSEA语言来创建安全智能合约等。CertiK由耶鲁大学计算机系系主任邵中教授与哥伦比亚大学顾荣辉教授于2017年创立，专注于区块链安全领域，已成功保护累计超过45亿美元的加密资产。

上一篇:孙宇晨：网传对话图片均为PS，涉嫌非法集资洗钱以及涉黄涉赌等不实

波场创始人孙宇晨微博称，对于争议与质疑，做几点简单回应：1.网传对话图片都不属实，均为PS，一切信息以本微博为准；2.网传非法集资不实，波场TRON在2017年9月4日七部委发布监管要求后，积极配合监管机构于9月20日

下一篇:SnapEx与方达等数家知名律所签订常年法律顾问合作协议

据官方消息，SnapEx已与数家知名律所方达、Duane Morris、Lee International签订了常年法律顾问合作协议。官方表示：“与业内中小交易所不同，SnapEx重视区块链加密货币交易所的合规性，旨在对每一位用户提供审慎、