4月18日消息，近日，由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。中国标准化研究院出具的标准查新报告确认，该标准的内容在国内外相关领域具有创新性，认为“所研制标准首次提出了区块链智能合约的形式化设计与验证的一体化方法，为国内外使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准，可有效解决智能合约的设计难、开发难、测试难等问题”。（云南网 ）
云南省参与编制的一区块链团体标准获批发布:4月18日消息，近日，由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。中国标准化研究院出具的标准查新报告确认，该标准的内容在国内外相关领域具有创新性，认为“所研制标准首次提出了区块链智能合约的形式化设计与验证的一体化方法，为国内外使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准，可有效解决智能合约的设计难、开发难、测试难等问题”。（云南网 ）[2022/4/19 14:32:18]
声音 | 经济分析师：昆积极推进云南省区块链产业示范基地等重点项目建设:经济分析师溪瀛表示，坚持防控和发展“两手抓”。要抢抓疫情“赶考期”，积极培育数字经济。疫情的发生，使得网上订餐、培训、办公等数字经济新业态更加普及，昆明应以此为契机，积极推进国家级互联网直联点、云南省区块链产业示范基地等重点项目建设，挖掘经济增长点，助力传统产业转型升级。（昆明日报）[2020/2/27]
动态 | 《云南省新一代人工智能发展规划》要求丰富区块链技术场景应用:据昆明日报消息，日前，省政府网站公布《云南省新一代人工智能发展规划》，《规划》明确，充分发挥人工智能在数字经济开发区建设中的作用，丰富区块链技术场景应用，加速推动人工智能等信息技术与实体经济深度融合。[2019/11/25]
金色财经消息，L2BEAT数据显示，截至4月24日，以太坊Layer2总锁仓量为64.4亿美元，7天减少0.21%。其中锁仓量最高的为Arbitrum，约36.3亿美元，占比56.43%；其次是dYdX，锁仓量为10...
区块链：2022/4/24 14:45:184月21日消息，前摩根大通高管创立的公链项目Kadena（KDA）宣布启动1亿美元赠款计划，目前已开放申请，资助对象为游戏、元宇宙、NFT、Web3、DeFi和DAO开源项目。 Kadena由Will Ma...
区块链：2022/4/21 14:39:254月21日消息，据KingData监控数据，被KingData大户地址追踪标记为孙宇晨的地址(0x3DdfA8eC3052539b6C9549F12cEA2C295cfF5296)于4 小时前向 Binance 交易...
区块链：2022/4/22 14:40:254月22日消息，墨西哥央行行长Rodriguez称，加密货币在墨西哥没有法律支持，央行与公众的沟通很重要。（金十） 墨西哥第三大富翁新年贺词建议粉丝购买比特币:12月27日消息，墨西哥第三大富翁在新年贺词中对...
区块链：2022/4/22 14:40:204月23日消息，根据usdc.cool最新数据显示，Avalanche链上USDC发行量已突破13亿美元，创下历史新高，截止目前为1,305,095,743.77美元，系USDC发行量第三大网络。当前USDC总发行量...
区块链：2022/4/23 14:43:244月20日消息，万事达卡旗下加密分析公司Ciphertrace近日在其官方网站上发布了勒索软件当前趋势报告。报告称，双重勒索软件在2021年增加了近500%，比特币仍然是勒索软件组织的首选的支付系统，但门罗币 (XM...
区块链：2022/4/20 14:36:114月18日消息，据以太坊基金会一季度运营报告数据，截至2022年3月31日，该基金会持有的以太坊占整个 ETH 供应量的近 0.3%。 数据：昨日BRC-20铸造费用达158BTC，创历史新高:5月8日消息，...
区块链：2022/4/18 14:31:494月18日消息，据俄罗斯媒体Habr报道，有开发者反映，自4月13日起Github开始陆续禁封受美国制裁的俄罗斯公司的开发者账户，其中包括俄罗斯银行Sberbank、俄罗斯最大私人银行Alfa-Bank、以及众多相关...
区块链：2022/4/18 14:30:364月17日消息，GnosisDAO 社区正式通过将 Gnosis Safe 从 Gnosis Ltd. 分拆的提案投票，并创建一个 Safe Token 来管理 Gnosis Safe 生态系统和基础设施，同时在瑞士...
区块链：2022/4/17 14:29:32金色财经消息，AndreessenHorowitz（a16z）针对SEC提交的交易法提案提交了一封评论信。a16z在信中反对 SEC 提出的交易所定义，认为其过于宽泛并可能会抑制 web3的创新。具体来说，a16z认...
区块链：2022/4/19 14:33:07据官方消息，QTC DAO于4月18日举行了第一次的理事会会议，会中对第六次 QTC DAO已经圆满结束做了总结，此次活动评选出五位 Dao的“生态之星”，并获得收藏品“QTC生态水晶杯”。此次活动获得奖励人数为36...
区块链：2022/4/19 14:32:584月18日消息，以太坊基金会公布截至2022年第一季度的运营报告。报告显示，截至2022年3月31日，以太坊基金会财库资金约为16亿美元，其中加密资产约为13亿美元，非加密资产3亿美元，13亿美元加密资产中99.1%...
区块链：2022/4/18 14:31:21
木星链