找不到引用T/CIE 130-2022 区块链 智能合约形式化设计与验证方法 的标准
微众银行区块链底层平台研发负责人李辉忠向《中国科学报》介绍说,在微众银行牵头研发的FISCO BCOS开源区块链底层平台的智能合约场景中,他们与郑子彬团队共同构建了一个易于应用、性能高效的智能合约一致性验证及安全性验证的平台。简单来说,这个工具是要给智能合约挑错,但从代码源头环节,它的功能其实是“保证智能合约是对的”。 “在软件系统,证明是对的比挑错难得多。...
大规模对等网络通信技术Liquid“若水”可支持百万级节点动态组网;Huge“泓”是全球支持量级最大的区块链开源存储引擎;2023年初,依托“长安链”研发的全球性能领先区块链与隐私计算算力集群Hive“蜂巢”在北京启用,每秒可处理2.4亿笔智能合约交易、执行百亿条数据隐私计算。应用方面,“长安链”已经应用于国家级税务服务、可信数字身份体系、政务服务、供应链金融等一大批国民经济重要行业和关键领域。...
甘国华表示,数学是区块链的DNA,数学在区块链中的应用包含数据结构、共识算法、密码算法、智能合约和链网结构等很多方面。 简单来说,区块链就是一个数据结构,一个按照数据块、时间顺序前后相连的数据结构。共识机制是区块链性能的决定因素,去中心化区块链的性能瓶颈是由区块链数据结构决定的。...
所有数字资产、可数字化的资产、或者资产的数字化,都可以采用区块链技术在互联网上进行流通、转移和交易。 传统信用建设是一个累积的过程,要整合多个维度的丰富数据,并且必须经过一个中心节点的认证,但对于很多小微企业和收入程度较低的个人来说,以中心节点积累信用数据的方式很难普及。在数据缺失、信任薄弱的情况下,通过区块链的智能合约等手段,能实现某种征信权重的构建。 ...
Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号