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%。
金色相对论 | Jay：Rollup + 以太坊2.0 分片可以把ETH TPS 达到10万笔/秒:11月27日消息，在今日举行的金色相对论中，针对“从以太坊的发展过程来看，选择pow作为1.0阶段有一定的历史因素，但随着现在的技术发展，例如rollup以及layer2解决方案的增加，您认为以太坊还需要以太坊2.0吗？”的问题，Loopring COO Jay表示，首先L2 方案还在很早期，zkRollup, OVM, Plasma, State channel 都是并行存在着的。目前看来Rollup 技术比较收社区推崇也是最主流的方案。但Rollup 里面也分zk 和optimism 2 大方向。未来到底是一个Rollup 独大还是多个平行进行都还很难说。特别是在各个rollup之前还不能打通的情况下。所以在不能说服社区都用一个rollup方案或同意的情况下，2.0 需要不断的进行下去。另外Rollup + 2.0 分片可以ETH TPS 达到10万笔/秒。完全是一个互补的方案，而不是排斥的。只有到达这个量级才是目前生活中可以取代中心化系统的量级，所以我们更应该不断推动。[2020/11/27 22:20:23]
动态 | Solana创始人称V神亦无法解决分片问题，遭V神反驳:此前，Solana创始人Anatoly Yakovenko接受采访时就“分片（Sharding）”表示：我认为分片只是一个非常困难的计算机科学问题。目前为止，没有人真正解决这个问题。没有哪个数据库可以真正算得上是分片，甚至Vitalik（V神）也无法解决这个问题，这真的非常非常难。随后，V神对此回应称：“对于如何做分片，我们已经说了两年了。细节改了，基本方法没改。不知道怎么能说分片是一个还没解决的问题。”[2019/10/14]
声音 | 常山北明：将为至信链贡献跨链交换、零知识证明、分片共识相关的技术:常山北明（SZ000158）董秘在互动平台回复投资者对于“公司在区块链布局及技术优势”的提问表示，至信链是腾讯、中国网安和北明软件做为核心节点携手发布的区块链。至信链将致力于生态建设，在数据保全、纠纷解决、诉讼辅助等方面做出自己的贡献。北明软件将为至信链贡献跨链交换，零知识证明，分片共识相关的技术和知识的积累。[2019/9/27]
据官方消息,去中心化预言机项目RazorNetwork宣布将于北京时间2月4日21点开始通过Balancer上流动性引导池分发2000万枚RAZOR代币,占总供应量的2％,最长将持续到2021年2月6日21点.
1900/1/1 0:00:002月3日,Filecoin官方宣布,Filecoin网络四大独立协议之一的Venus已于Filecoin主网上开采其首个区块.
1900/1/1 0:00:00被曝丢失内含7500枚BTC硬盘的IT工作者JamesHowells最近再次请求挖掘一个垃圾填埋场,以期把硬盘设备找回来。据当地媒体报道,JamesHowells已经提出了一项新的诉求,要求获得在Newport市挖掘垃圾填埋场的权利.
1900/1/1 0:00:00全球最大对冲基金桥水创始人RayDalio发文澄清自己对比特币的看法。他表示,自己不是比特币/加密货币专家,但有些人将他关于比特币的只言片语进行扭曲,因此发文进行澄清.
1900/1/1 0:00:0012?月23日北京时间15.00,HDAO运营总监Ryan先生和美国力研咨询公司创始人谷燕西老师在媒体直播节目上探讨“全球最大合规加密交易所-Coinbase的IPO能否成功？”HDAO再次登陆OKEX涨幅榜.
1900/1/1 0:00:00瑞穗证券分析师DanDolev预测,PayPal集成比特币等加密货币交易功能可能会巩固其作为金融生态系统领导者的地位。Dolev解释称,PayPal的这一举措已经开始获得广泛关注.
1900/1/1 0:00:00
宇宙链