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%。
动态 | 分片公链NEAR Protocol启动EVM执行环境:分片公链NEARProtocol宣布启动EVM执行环境,NEAR将Parity的EVM代码编译为WebAssembly,并在NEAR智能合约上关联了部分API用于支付、跨合约调用和部署。工具方面,所有基于web3.js的工具都可以依靠NearProvider来处理与NEAR网络的连接,管理密钥,并将对象和RPC从以太坊的语义重新映射到NEAR中。只需在在truffle.js中添加另一个网络即可设置合约。NEAR未来将允许EVM执行环境中的合约通过无需信任的ETH和NEAR桥接调用以太坊。[2020/2/16]
声音 | V神:现专注于POS和分片机制的研究上:近日V神在接受采访时表示,他最近花大量精力在权益证明(POS)和分片机制的研究上。以太坊的研究机构现在在这两方面投入了最多的资源。POS和分片机制都很重要,过去几个月已突破进展。同时,他也在从经济分析的角度研究交易费用,意在通过改良交易费用算法来降低交易费用、使协议对准中心更好、更有效。[2018/8/19]
动态 | 以太坊宣布开发Nimbus分片客户端:据Ethnews消息,根据最近Status团队在以太坊网络上的移动Dapp浏览器上发布的消息,其工作人员一直在构建自己的客户端Nimbus,以解决区块链的问题。该研究项目专为以太坊2.0设计,提供了扩展解决方案,下一代区块链将拥有更好的可扩展性和隐私性。[2018/8/2]
全球最大对冲基金桥水创始人RayDalio发文澄清自己对比特币的看法。他表示,自己不是比特币/加密货币专家,但有些人将他关于比特币的只言片语进行扭曲,因此发文进行澄清.
以太坊二层扩容项目CelerNetwork推出基于OptimisticRollup的DeFi扩容提速解决方案Layer2.finance,旨在以不同的方式使用Layer2rollup.
美国国税局于2020年12月31日发布了修订后的1040指令草案,草案阐明了虚拟货币一词所涵盖的内容.
1月1日,DeFi保险协议CoverProtocol官方发文公布项目未来发展路线。具体内容为:1.由于必须从护盾挖矿合约Blacksmith中删除铸币权才能停止漏洞攻击,因此现在无法领取任何无人.
上海市人才理论研究基地研究员杨国庆表示,鉴于区块链为代表的新经济产业发展迅猛,其未来发展和对社会经济的影响程度很大程度上取决于专业人才的供应情况。从四个方面可以缓解人才严重匮乏的情况.
ETC前业务开发经理DonaldMcIntyre发文表示,ETC将在未来十年超过7000美元,并提出了8条理由。1.很少有系统能赢得区块链格式之战.