4月18日消息，近日，由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。中国标准化研究院出具的标准查新报告确认，该标准的内容在国内外相关领域具有创新性，认为“所研制标准首次提出了区块链智能合约的形式化设计与验证的一体化方法，为国内外使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准，可有效解决智能合约的设计难、开发难、测试难等问题”。（云南网 ）
其它快讯：
云南省参与编制的一区块链团体标准获批发布:4月18日消息，近日，由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。中国标准化研究院出具的标准查新报告确认，该标准的内容在国内外相关领域具有创新性，认为“所研制标准首次提出了区块链智能合约的形式化设计与验证的一体化方法，为国内外使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准，可有效解决智能合约的设计难、开发难、测试难等问题”。（云南网 ）[2022/4/19 14:32:18]
云南省：加快布局区块链技术等新基建:云南省日前出台相关政策，其中提出优化对新业态的包容审慎监管措施，鼓励新技术、新产业、新业态、新模式等创新，探索建立“容错”机制。新政策提出，加快布局5G网络、区块链技术云平台、人工智能、物联网等新基建，拓展农业、工业、交通、城市治理、公共服务、政务服务等领域应用场景。继续探索“一部手机”在政务服务、社会治理、智慧旅游等领域的深度应用。[2020/11/25 22:05:44]
动态 | 云南省发布行动计划：以区块链为突破口引进一批区块链创新企业:据都市时报消息，近日，云南省政府网站公布的《云南省实施“补短板、增动力”省级重点前期项目行动计划（2019—2023年）》提出，推动数字产业化。提升电子信息、通信与网络等基础产业，做大云计算、大数据、物联网、人工智能等新兴产业。重点以区块链技术应用为突破口，引进一批区块链创新企业，率先在跨境贸易、数字医疗、数字小镇实现区块链示范应用场景落地。[2019/4/18]
金色财经消息，美国主持人、演员、歌手Jimmy Fallon（吉米·法伦）宣布持有Moonbirds系列NFT。据了解，Jimmy Fallon代表作品有周六夜现场、吉米·法伦深夜秀、吉米今夜秀。 其它快讯：...
区块链：2022/4/20 14:35:51金色财经消息，据Etherscan最新数据显示，当前以太坊网络Gas费已降至19gwei。 其它快讯： 以太坊未确认交易为132,085笔:金色财经消息，据OKLink数据显示，以太坊未确认交易132...
区块链：2022/4/18 14:30:28金色财经消息，NFTGo.io数据显示，Bored Ape Yacht Club（BAYC）系列NFT 24小时交易量约为373.98万美元，涨幅达31.36%，总交易额达17.1亿美元，当前地板价为110 ETH，...
区块链：2022/4/19 14:33:44金色财经报道，尼日利亚《抨击报》消息，尽管尼日利亚央行对加密货币交易进行了限制，但目前仍有约3340万尼日利亚人正在从事加密货币交易。据加密货币交易所 KuCoin的一份报告称，3340万尼日利亚人目前拥有或在过去六...
区块链：2022/4/19 14:32:054月20日消息，NBA将于当地时间周三（北京时间4月21日）开始铸造其18000个基于以太坊的NFT系列，名为The Association。据悉，该系列NFT的特征将在季后赛过程中根据每个球员的真实表现而演变，这意...
区块链：2022/4/20 14:35:03金色财经消息，针对数字藏品领域多发的知识产权滥用或侵权的“乱象”，中国移动通信联合会元宇宙产业委员会联合新诤信将搭建“数字藏品产业知识产权保护平台”，提供知识产权确权、维权和IP授权运用的一站式公共服务，服务好数字藏...
区块链：2022/4/20 14:35:25金色财经消息，Cardano 生态跨链桥 SingularityNet Bridge 正式上线，支持在以太坊和 Cardano 之间实现 AGIX 和 NTX 的跨链转换。 其它快讯： Cardano...
区块链：2022/4/19 14:32:43金色财经报道，据同伴客数据显示，上周（2022年4月11日-4月17日）国际周指为107.8点，国内周指数大幅攀升至358.4点，数字藏品综合价值周指数在国内指数的大力推动下升至208.1点，较前一周累计上涨126....
区块链：2022/4/18 14:31:184月19日消息，韩国知识产权局对韩国主要的娱乐公司商标数据进行了分析，结果显示，在元宇宙、VR、游戏软件、SNS等各种产品新业务领域的商标申请量在最近10年间(2012~2021年)年均增长14%。VR 软件、数字音...
区块链：2022/4/19 14:33:41金色财经报道，据 CoinShares 周二报道，随着比特币对利率变得更加敏感，以及投资者适应美联储的鹰派转变，加密货币基金连续第二周流出。根据 CoinShares 的数据，在整个行业中，截至 4 月 15 日的 ...
区块链：2022/4/20 14:34:494月18日消息，多链Stablecoin兑换平台Wombat Exchange完成新一轮战略融资，具体融资金额未披露。本轮融资由Shima Capital领投，Jump Crypto和Wormhole参投。Womba...
区块链：2022/4/18 14:31:324月20日消息，尼日利亚区块链技术协会（SIBAN）呼吁政府停止歧视和妖魔化区块链和加密货币。该协会表示：“在尼日利亚，参与任何区块链或加密货币活动的个人或实体不时会遇到不当逮捕和拘留、银行账户封锁和关闭、歧视、勒索...
区块链：2022/4/20 14:36:00
区块见闻