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%。
V神：最初低估了PoS和分片所需时间:金色财经报道，V神最近在播客节目中承认在以太坊创建过程中存在许多变化，例如之后更多地考虑了Gas成本。一开始就没有真正做好设置。V神表示，确实低估了要完成很多事情所需的时间，这些工作没有从2015年开始进行，尤其权益证明（PoS）和分片是相对较大的方面。[2020/7/4]
声音 | ConsenSys公司前高管：以太坊2.0将在2020年启动分片:ConsenSys Capital联合创始人，数字资产风险管理顾问公司的管理合伙人Andrew Keys每年都会回顾区块链的技术进展，并在新年的头几天发布他的预测。在他的2020年报告中，他强调了以太坊的机遇。Keys对以太坊网络向权益证明共识过渡的进展极为乐观。他确信Ethereum (ETH)开发人员不仅会交付第0阶段，而且在最终的分片设计中甚至会交付第1阶段。Keys还预测，芝加哥商品交易所的ETH期货将于2020年公布。（u.today）[2020/1/8]
声音 | 江卓尔：分片提升容量难度大时间长 故而Vitalik提出使用BCH或者ETC作为以太坊数据层:7月25日消息，莱比特矿池CEO江卓尔表示，分布式系统（去中心化系统）有一个不可能三角，称为分布式系统CAP定理，指的是在一个分布式系统中，Consistency（一致性）、 Availability（可用性）、Partition tolerance（分区容错性），三者不可兼得。Vitalik提出用分片方法提升容量，但分片方法的难点是一致性，也就是CAP中的C，Consistency（一致性），这个是一个要挑战不可能三角的开发，所以开发难度很大，时间长，所以Vitalik才提出使用BCH或者ETC作为以太坊数据层的短期方案，来解决ETH的燃眉之急。[2019/7/25]
Poolin矿池发布结合标准化算力产品和流动性挖矿的一站式去中心化标准算力协议Mars。该协议目前包括两个代币,分别为算力代币pBTC35A和治理代币MARS,其中,每一枚pBTC35A可实现1.
1900/1/1 0:00:002月9日消息,BimingJade表示,相比之后新兴的Staking和流动性挖矿,算力其实是一种最古老和传统的获得加密货币的方式.
1900/1/1 0:00:00尽管BTC遭受重大调整,交易所的交易活动仍大幅飙升。根据加密货币研究公司Messari的数据,比特币的24小时真实交易量约为223亿美元.
1900/1/1 0:00:00cLabs与Grameen基金会、BeamandGo等Celo繁荣联盟成员合作,远程实现了区块链驱动-新冠援助交付项目,为菲律宾3500名妇女提供紧急救济支持.
1900/1/1 0:00:00A股创业板上市公司新元科技发布公告称,基于对IPFS星际文件系统分布式存储系统在今后国内数据中心大规模使用的共同判断与良好预期,本着互惠互利共同引领国产化分布式存储、超算数据中心的战略目标.
1900/1/1 0:00:00据Cointelegraph报道,加密庞氏局ArgyleCoin创始人JoseAngelAman可免于向美国SEC支付450万美元的罚款.
1900/1/1 0:00:00
木星链