1月7日消息，分片项目Elrond宣布正在使用运行验证来完成一组基于K框架的正式工具来补充和完善Elorand开发工具包。K框架是由Elrond顾问GrigoreRosu首创的，他是计算机科学博士，在美国国家航空航天局(NASA)担任研究员期间，服务于火箭和航天器的安全关键环境。Grigore随后发现了运行验证，并与他的团队一起致力于让这些火箭科学工具能够被区块链开发者使用。经过几个月的合作，Elrond团队已经能够创建一个名为KArwen的ArwenVM的K-Framework副本。Arwen是一个WASM虚拟机，因此运行验证能够为WASM扩展其KWasm语义以适应Elrond的虚拟机。此外，使用K框架的Mandos测试已经允许开发人员在较低的级别上执行代码覆盖测试。运行时验证工具通过识别和删除Rust编译器自动添加的未使用的功能，能够帮助将用Rust编写的智能合约的占用空间减少40%。
Meta Bounty Hunters系列NFT24小时交易额涨幅达225.07%:金色财经消息，据NFTGo.io数据显示，Meta Bounty Hunters系列NFT总市值达3346万美元，在所有NFT项目总市值排名中位列第87；其24小时交易额为10,248.12美元，增幅达225.07%。截止发稿时，该系列NFT当前地板价为2.28ETH，增幅达14%。[2022/8/3 2:56:33]
Bounce.Finance将其主网与Chainlink预言机整合 以建立预测市场:据官方博客，去中心化拍卖协议Bounce.Finance刚刚宣布其主网与Chainlink预言机整合，旨在安全地确定预测市场的结果，同时为拍卖提供公平的汇率。[2020/12/20 15:49:06]
区块链网络安全公司Unbound Tech推出企业无密码登录解决方案:区块链网络安全公司Unbound Tech 6月17日宣布推出新的身份解决方案，该系统旨在取代由硬件或软件驱动的一次性密码和标准密码，通过去中心化密钥管理系统消除企业对传统身份验证方法的依赖。此外，该系统还可用于访问区块链钱包。（Cointelegraph）[2020/6/18]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。