链资讯 链资讯
Ctrl+D收藏链资讯
首页 > BNB价格 > 正文

ELR:分片项目Elrond采用K框架工具 进一步完善开发工具包_Elron

作者:

时间:

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]

标签:ELRElrondRONDElronELR价格Wrapped Elrond

BNB价格热门资讯
比特币:桥水基金创始人:比特币是了不起的发明,或存在被取代风险和网络风险_ALI

全球最大对冲基金桥水创始人RayDalio发文澄清自己对比特币的看法。他表示,自己不是比特币/加密货币专家,但有些人将他关于比特币的只言片语进行扭曲,因此发文进行澄清.

LAYER:Celer提出无需迁移DeFi应用的扩容方案Layer2.finance,计划一季度上线_Strains Finance

以太坊二层扩容项目CelerNetwork推出基于OptimisticRollup的DeFi扩容提速解决方案Layer2.finance,旨在以不同的方式使用Layer2rollup.

加密货币:美国国税局更新1040申报表,增加对虚拟货币定义的阐述_数字货币背后的七大阴谋

美国国税局于2020年12月31日发布了修订后的1040指令草案,草案阐明了虚拟货币一词所涵盖的内容.

ELR:Cover Protocol:完全放弃新COVER代币护盾挖矿 Cover V2核心合约即将完成_Tronipay

1月1日,DeFi保险协议CoverProtocol官方发文公布项目未来发展路线。具体内容为:1.由于必须从护盾挖矿合约Blacksmith中删除铸币权才能停止漏洞攻击,因此现在无法领取任何无人.

区块链:上海市人才理论研究基地研究员:可从四个方面缓解区块链人才匮乏情况_DMC

上海市人才理论研究基地研究员杨国庆表示,鉴于区块链为代表的新经济产业发展迅猛,其未来发展和对社会经济的影响程度很大程度上取决于专业人才的供应情况。从四个方面可以缓解人才严重匮乏的情况.

区块链:ETC前业务开发经理:ETC将在未来十年超过7000美元_DMC

ETC前业务开发经理DonaldMcIntyre发文表示,ETC将在未来十年超过7000美元,并提出了8条理由。1.很少有系统能赢得区块链格式之战.