4月18日消息，近日，由北京航空航天大学牵头制定、云南省参与编制的《区块链智能合约形式化设计与验证方法》（T/CIE130-2022）团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。中国标准化研究院出具的标准查新报告确认，该标准的内容在国内外相关领域具有创新性，认为“所研制标准首次提出了区块链智能合约的形式化设计与验证的一体化方法，为国内外使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准，可有效解决智能合约的设计难、开发难、测试难等问题”。（云南网 ）
其它快讯：
云南省区块链中心项目攻关 面向国内企业单位发榜:昨日，云南省区块链中心发布了《关于2020年区块链技术应用试点项目（第一批）发榜的公告》。首批8个发榜项目内容涉及农业、产品溯源、市场监管、政务、司法存证等领域，将面向国内区块链企业、科研机构或其组成的联合体进行揭榜攻关。
据悉，首批发榜项目需求由昆明市五华区相关政府单位提出，揭榜方须满足有较强的研发实力、稳定的人员队伍，在区块链领域有丰富的实践经验和比较优势；能针对项目需求提出计划合理、目标清晰、路线可行的揭榜方案，项目相关核心技术应有自主知识产权；近3年内无不良信用记录或重大违法行为等条件，优先支持国内具有区块链应用成功案例的单位或团队。
有意向的揭榜企业可在云南省发展和改革委员会官网、昆明市五华区人民政府网、云南省区块链中心公众号下载“征集区块链技术应用场景先行先试项目（第一批）实施方案榜单”，按要求填报揭榜意向表。云南省区块链中心将提供牵线搭桥、政策咨询等服务，由揭榜方、需求方公平竞争洽谈，共商合理技术路线，形成揭榜方案。最终，组织相关专家和政府有关部门对揭榜方的资质条件、揭榜方案可行性、需求方满意度等进行论证，出具评审意见并提出拟中榜名单。（昆明日报）[2020/6/23]
声音 | 云南省委常委：希望企业积极运用区块链等技术大力发展大健康等新兴产业:金色财经报道，云南省委常委、市委书记、滇中新区党工委书记程连元表示，昆明市和云南滇中新区将全力支持昆钢搬迁转型升级项目，希望企业早谋划、早行动，积极运用互联网、区块链等技术，通过产业嫁接、技术提升、资产重组等方式加快转型升级，大力发展大健康等新兴产业，走高质量发展之路。[2020/2/12]
声音 | 云南省政协委员：建议应用“物联网+区块链”建立农特产品安全体系:据云南经济日报消息，云南省政协委员、红河哈尼族彝族自治州副州长何民表示，创造信任是区块链技术的最显著优势之一。建议把数字经济新技术和高原特色农特产品高度融合，应用“物联网+区块链”技术，做到每一个产品来源可查、去向可追、责任可究，让高原特色农特产品建立起从种子到盘子、从田间到餐桌的全过程、可追溯、可信赖的农特产品安全体系。[2019/1/31]
金色财经消息，以太坊基础设施开发公司ConsenSys发推称，以太坊合并将彻底改变构建和访问以太坊的方式，以下是合并后的4个关键。 1.多元化和开放的股权证明将使网络参与民主化，并通过新机制、验证者和创新更...
区块链：2022/4/19 14:32:35金色财经报道，在清华大学新闻与传播学院迎来建院二十周年之际，“清华大学新闻与传播学院元宇宙文化实验室”正式成立。该实验室由中文在线支持建设，由清华大学新闻与传播学院整合清华大学校内各学院研究力量开展研究。未来，实验室...
区块链：2022/4/17 14:29:38据CertiK安全团队监测，Redemption-LP于北京时间2022年4月18日19点35分遭到闪电贷套利攻击，损失约合110万元人民币（15万WFTM）。该事件发生的原因在于：闪电贷在还款前，不收取任何费用，相...
区块链：2022/4/19 14:32:42金色财经消息，据Dune Analytics的数据显示，截至4月19日，Optimism的独立地址数量达到了135341个，Optimism当日链上交易次数为49401次，本月日均交易次数约为46660次，较上月的日...
区块链：2022/4/20 14:36:254月20日消息，派盾（PeckShield）发推文称，BNB Chain上自动质押协议MaxAPY Finance发生Rug Pull，代币Metal短时下跌67%，目前已删除其官方Twitter帐户和Telegra...
区块链：2022/4/20 14:36:03金色财经消息，上市比特币矿企CoreScientific已开始在其网站上公布每日产量数据，以提高面向股东和其他利益相关者的透明度。该公司首席执行官MikeLevitt在一份新闻稿中表示，这个数字是“我们行业最重要的绩...
区块链：2022/4/18 14:31:52金色财经报道，Terra社区有开发者表示，Terraswap JS错误，我不知道如何解决这个问题。我浏览了guthub 测试文件，但仍然无法弄清楚为什么会出现这个错误。 其它快讯： 质押协议Lido ...
区块链：2022/4/19 14:32:09金色财经报道，ZPrize于4月19日宣布，多个加密货币项目联合起来，为使用零知识（ZK）证明的创新团队提供700万美元的奖金。该竞赛由21个Web3组织支持，包括Polygon、Polkadot、Mina和Ethe...
区块链：2022/4/20 14:34:544月17日消息，据派盾监测，稳定币项目Beanstalk Farms遭到攻击，随后，价值25万美元的USDC从攻击者钱包地址转入乌克兰加密捐赠地址。 其它快讯： 安全团队：slack使用者注意漏洞事件...
区块链：2022/4/18 14:30:09金色财经消息，美国大众歌手选秀节目《美国偶像》将与Theta Labs合作推出实时预测NFT，以纪念其在美国播出第20季节目。根据新闻稿，《美国偶像》NFT卡包售价99美元，收藏者将获得一张代表14强选手之一的NFT...
区块链：2022/4/18 14:30:484月19日消息，“Move to Earn”应用 STEPN 治理Token GMT 在Binance平台24小时现货交易量达25.57亿美元（USDT交易对20.38亿；BUSD交易对5.19亿），超越BTC（共计...
区块链：2022/4/19 14:33:324月19日消息，数据显示，北京时间4月19日10:15:29，Ronin Network被攻击地址向另一地址（0x1Bf53ce80FF2ed5711b8A2DB8f7EA5b38DA118d6）转入18256.8枚...
区块链：2022/4/19 14:32:59
链资讯