CertiK今天正式宣布CertiKChain测试网上线

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

上一篇：安易交易所推出NEO全球独创日合约交易

创新型交易所安易将于7月23日16:30推出公链项目NEO的全球独创日合约交易，并开启币币，20倍杠杆日、周、季度合约全产品交易系列。 安易 (OnTrade com)是第四代全体系创新型数字资产交易所，基于金融衍生品系统构建，具备完善的交易、结算、风控体系，由来自金融衍生品行业交易所团队、区块链行业的资深团队、金融交易行业的资深团队共同构建，可进行数字资产和各类金融产品的现货和衍生品交易。

下一篇：FCoin将于今日20：00调整主板A交易对最小下单数量

据官网公告，为优化币币交易体验，FCoin将于2019年7月23日20:00调整主板A交易对的最小下单数量。调整期间币币交易及各项操作不受影响。API同步更新。为避免因最小下单数量问题造成下单失败，API用户需及时调整。最小下单数量调整后，交易对原有订单不会撤销，不影响正常撮合成交。