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

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将于第三季度末引入Chunk-Only Producer角色，仅负责在单个分片中生成Chunk:7月1日消息，NEAR将于7月13日开启Stake Wars III，该阶段将专注于引入仅负责在单个分片中生成Chunk的Chunk-Only Producer，他们可以在要求不高的机器上运行他们的验证节点，例如4核CPU、8GB RAM和200GB SSD存储。NEAR表示，一旦第三季度末NEAR主网上可以使用Chunk-Only Producer，NEAR计划再增加200至300个验证者，NEAR网络目前由100个验证者保护。[2022/7/1 1:44:02]

声音 | V神：ETH选择分片 ETC选择坚持PoW 这些选择都必须做出一些取舍:在以太坊开发者大会 Devcon 5 上，在《Community Interoperability》的圆桌讨论中，以太坊创始人Vitalik表示，每条区块链都有自己的优先级，ETH选择分片，ETC选择坚持PoW，然而这些选择都必须做出一些取舍。ETC Labs 的CEO Terry Culver表示，ETH转向PoS正是ETC和ETH合作共赢的好时机。Vitalik期待两条链的未来发展，并表示“我们不是竞争关系，而是合作。”[2019/10/11]

动态 | Telegram Dapp开发团队透露Ton网络细节：计划使用分片扩展交易 网络有四种参与角色:据Button Wallet官方博客，其将成为Telegram新的区块链Telegram Open Network（TON）上首批推出的分散式应用程序之一。文章表示，TON团队非常擅长编写代码，并且计划使用分片来扩展用户之间的交易。TON将有一个主链（masterchain）和分链（shardchains）。每个分片都是一个区块链，允许与另一个分片进行通信。此外，文章指出，TON的灵感来自于PolkaDot，并将以太坊2.0的原则与分片和Polkadot相结合。TON网络的参与者有四种角色：验证者（Validator）、提名者（Nominator ）、收集者（Collator )和渔夫（Fisherman），该设计旨在鼓励验证者按照网络的利益行事，并仅发布有效的交易。此外，Button Wallet表示，目前已经启动了TON lite客户端并在之后将示例智能合约部署到测试网。（CCN）[2019/5/28]

标签：TONNEARRAMRONDSTONEnear币中文叫什么RAM价格rond币合约地址

币安app官网下载热门资讯