微众银行区块链底层平台研发负责人李辉忠向《中国科学报》介绍说，在微众银行牵头研发的FISCO BCOS开源区块链底层平台的智能合约场景中，他们与郑子彬团队共同构建了一个易于应用、性能高效的智能合约一致性验证及安全性验证的平台。简单来说，这个工具是要给智能合约挑错，但从代码源头环节，它的功能其实是“保证智能合约是对的”。 “在软件系统，证明是对的比挑错难得多。...
质量链此次获得区块链安全检测证书，经过了国家级网络安全机构的全面代码审计，通过了智能合约自动化检测系统BSCSCS的形式化验证、代码深度审计以及逻辑漏洞检测，全面覆盖了质量链所运用区块链技术中的以太坊接口、超级账本接口、超级账本智能合约等所涉及的数万行代码。在各项检测过程中，质量链均取得了优异的成绩。...
区块链理论与战略：区块链数据管理体系、分布式共识算法、智能合约形式化验证、密码学、博弈论等；2. 联盟区块链技术：隐私保护、安全多方计算、高性能共识算法、高性能智能合约执行引擎；3. 公有链技术：跨链协议、超大规模区块链网络模型、分层区块链体系结构；4. 区块链产业化转化：区块链应用安全体系、面向金融和共享经济平台的区块链应用。...
区块链安全风险已引发了政产学研等各界的广泛重视，全球主要国家和地区纷纷聚焦区块链安全，从政策引导、加强监管、技术创新等多方面开展应对，已出现了第三方智能合约安全审计服务公司，以形式化验证为手段的安全审计正在被越来越多的合约开发者所接受。5.2 安全标准缺失，加快标准的制定工作作为一种跨行业、跨领域、基础性的创新应用模式，区块链已经在金融证券、物联网、医疗等诸多领域掀起一股应用浪潮。...
Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证：京ICP证110310号