T/CIE 130-2022
区块链 智能合约形式化设计与验证方法

Formal design and verification method of blockchain smart contract


 

 

非常抱歉,我们暂时无法提供预览,您可以试试: 免费下载 T/CIE 130-2022 前三页,或者稍后再访问。

您也可以尝试购买此标准,
点击右侧 “立即购买” 按钮开始采购(由第三方提供)。

 

标准号
T/CIE 130-2022
发布单位
中国团体标准
当前最新
T/CIE 130-2022
 
 

T/CIE 130-2022相似标准


推荐

郑子彬:今年IEEE最年轻华人会士

微众银行区块底层平台研发负责人李辉忠向《中国科学报》介绍说,在微众银行牵头研发的FISCO BCOS开源区块底层平台的智能合约场景中,他们郑子彬团队共同构建了一个易于应用、性能高效的智能合约一致性验证及安全性验证的平台。简单来说,这个工具是要给智能合约挑错,但从代码源头环节,它的功能其实是“保证智能合约是对的”。 “在软件系统,证明是对的比挑错难得多。...

微芯研究院牵头建设国家区块技术创新中心获批复

大规模对等网络通信技术Liquid“若水”可支持百万级节点动态组网;Huge“泓”是全球支持量级最大的区块开源存储引擎;2023年初,依托“长安”研发的全球性能领先区块隐私计算算力集群Hive“蜂巢”在北京启用,每秒可处理2.4亿笔智能合约交易、执行百亿条数据隐私计算。应用方面,“长安”已经应用于国家级税务服务、可信数字身份体系、政务服务、供应金融等一大批国民经济重要行业和关键领域。...

区块落地还有几步?

甘国华表示,数学是区块的DNA,数学在区块中的应用包含数据结构、共识算法、密码算法、智能合约网结构等很多方面。 简单来说,区块就是一个数据结构,一个按照数据块、时间顺序前后相连的数据结构。共识机制是区块性能的决定因素,去中心化区块的性能瓶颈是由区块数据结构决定的。...

区块+Ai加持风控 智能风控实验室首批技术成果落地

所有数字资产、可数字化的资产、或者资产的数字化,都可以采用区块技术在互联网上进行流通、转移和交易。  传统信用建设是一个累积的过程,要整合多个维度的丰富数据,并且必须经过一个中心节点的认证,但对于很多小微企业和收入程度较低的个人来说,以中心节点积累信用数据的方式很难普及。在数据缺失、信任薄弱的情况下,通过区块智能合约等手段,能实现某种征信权重的构建。  ...





Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号