T/CIE 095-2020
区块链智能合约形式化表达
Formal expression of blockchain smart contracts
- 标准号
- T/CIE 095-2020
- 发布
- 2020年
- 发布单位
- 中国团体标准
- 当前最新
- T/CIE 095-2020
- 适用范围
- 本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。本文件适用于通用智能合约设计、开发和使用，也可为区块链厂商和用户构建智能合约平台参考。
T/CIE 095-2020相似标准
推荐
郑子彬：今年IEEE最年轻华人会士
例如，郑子彬入选“微众学者计划”的项目，就是将智能合约安全性落地的一项研究。 微众银行区块链底层平台研发负责人李辉忠向《中国科学报》介绍说，在微众银行牵头研发的FISCO BCOS开源区块链底层平台的智能合约场景中，他们与郑子彬团队共同构建了一个易于应用、性能高效的智能合约一致性验证及安全性验证的平台。...
区块链技术可以帮助拯救环境吗？
智能合约保证计划的事件必须发生在区块链支持的“加密治理”时代，法律可以用计算机代码编写的“智能合同”来代替，信任、法律和执法完全可以外包给计算机代码。区块链技术建立起来的智能合约可以保证计划的事件必须发生。智能合约的优点非常明显，其执行与相关各方的意愿、批准或行为无关，不可能退出，它们不需要可信的第三方或托管来管理，而且这种方式很便宜。...
迅雷链开放平台上线：解决区块链应用成本困扰
迅雷近日在北京举行发布会正式发布了自己的区块链生态，推出区块链战略级产品迅雷链开放平台，将区块链技术开放给所有开发者。迅雷在今年4月推出“迅雷链”，其具备百万级TPS、秒级确认能力，永不分叉的强一致性，同时具备很强的兼容性，支持solidity语言开发的智能合约，兼容以太坊虚拟机EVM，一次开发就能支持多个平台。...
工信部正式发布首个区块链技术领域国家标准
近日，《区块链和分布式记账技术 参考架构》（GB/T 42752-2023）国家标准正式发布。这是我国首个获批发布的区块链技术领域国家标准，进一步加快了我国区块链标准化进程，为区块链产业高质量发展奠定了基础。区块链是分布式网络、加密技术、智能合约等多种技术集成的新型数据库软件，是新一代信息技术的重要组成部分，是发展数字经济的重要技术支撑。...