质量链此次获得区块链安全检测证书，经过了国家级网络安全机构的全面代码审计，通过了智能合约自动化检测系统BSCSCS的形式化验证、代码深度审计以及逻辑漏洞检测，全面覆盖了质量链所运用区块链技术中的以太坊接口、超级账本接口、超级账本智能合约等所涉及的数万行代码。在各项检测过程中，质量链均取得了优异的成绩。...
机构统计发现：2011年到2018年9月，智能合约和业务应用的安全事件所占比重一直稳定在90%以上，但进入2018年后，由于智能合约的快速应用，其对应的安全事件所占比重呈现出一定的上涨。当前智能合约的应用还处在初级阶段，合约编写的规范性和严谨性难以保证，智能合约的开发和审计都缺乏行业标准，智能合约在成为区块链安全风险的“重灾区”。...
图2给出了NASA利用智能合约与机器学习实现星座优化的场景：用户提交智能合约；资产根据用户的数据版权，自行调度数据和数据产品；随后，由机器学习分配星座资源，从而优化图像输出并实现用户成本最小化；用户提供所需的时间限制和位置；在区块链中记录成像行动的成功和失败（审计跟踪）；机器学习通过审计跟踪不断学习和提高。...
例如，郑子彬入选“微众学者计划”的项目，就是将智能合约安全性落地的一项研究。 微众银行区块链底层平台研发负责人李辉忠向《中国科学报》介绍说，在微众银行牵头研发的FISCO BCOS开源区块链底层平台的智能合约场景中，他们与郑子彬团队共同构建了一个易于应用、性能高效的智能合约一致性验证及安全性验证的平台。...
Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证：京ICP证110310号