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%。
彭博社：美检察官正调查Jump、Alameda等涉及去年5月救助脱锚稳定币UST的群聊记录:3月14日消息，据消息人士透露，美国曼哈顿联邦检察官正在调查 Jump、Jane Street 和现已破产的 FTX 附属公司 Alameda Research 在去年 5 月关于可能救助 UST 的 Telegram 聊天群对话，以及其是否涉及可能的市场操纵。
消息人士表示，作为聊天审查的一部分，没有人被指控有不当行为，调查并不一定意味着会提出指控。（彭博社）[2023/3/14 13:02:27]
彭博社：BlockFi将出售总额1.6亿美元的比特币采矿贷款:金色财经报道，在破产过程中，加密贷款机构BlockFi正寻求出售1.6亿美元的比特币矿机支持的贷款。招标从去年开始，由于机器价格的下降，一些贷款可能抵押不足。由于比特币价格的下跌和电力成本的飙升挤压了采矿业的利润，采矿机的价格在去年一年中下降了80%以上。[2023/1/24 11:27:45]
BitDAO新提案提议创建zkSync生态加速器并提供2亿美元资金:1月7日消息，BitDAO与Matter Labs联合发起关于“zkDAO Endowment”的新提案，提议创建并资助社区拥有的zkSync生态系统加速器，并提供2亿美元，帮助启动zkSync生态系统，赋能构建者，并助力BitDAO和所有DAO增长。初始资金配置安排如下：grants 7.5%，安全/审计7.5%，战略资本70%，研发5%，教育5%，运营5%。[2022/1/7 8:31:25]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。