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%。
桥水基金创始人：想购买和铸造NFT体验过程:12月30日消息，日前，桥水基金创始人Ray Dalio表示，希望进入NFT市场，并想购买和铸造NFT来体验这个过程。他指出，NFT也可以成为一种货币，最终会让人们说“我宁愿拥有它也不愿拥有比特币”。 （businessinsider）[2021/12/31 8:15:39]
桥水基金Ray Dalio：如果比特币获得成功，监管机构将会扼杀它:桥水基金Ray Dalio在纽约SALT会议表示“如果比特币获得成功，监管机构将会扼杀或尝试扼杀它，因为他们有这样的方法。”（CNBC）[2021/9/15 23:27:43]
桥水基金创始人达里奥：目前持有美元的动机很低:桥水基金创始人达里奥：目前持有美元的动机很低。美元不支付利息，美债的收益率也不高。最终，人们投资会选择“几乎任何其他东西”——股票、黄金、比特币、房地产，而非美元。 （金十）[2021/5/24 22:39:47]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。