以太坊基金会资助哥伦比亚大学和耶鲁大学研究人员编写新智能合约

根据3月6日Cointelegraph发布的一则消息称：Ethereum基金会向哥伦比亚大学和耶鲁大学的研究人员提供了一笔赠款，用于在Ethereum虚拟机(EVM)中编写一种新的智能契约编程语言。

数据：以太坊桥TVL达到55.8亿美元:金色财经报道，Dune Analytics数据显示，以太坊桥当前TVL达到55.8亿美元。其中锁仓量最高的5个桥分别是Polygon Bridges（30.55亿美元）、Arbitrum Bridges（12.18亿美元）、Optimism Bridges（9.12亿美元）、Near Raibow（2.68亿美元）、\tFantom Anyswap Bridge（2.05亿美元）。[2023/1/29 11:34:45]

这笔资金的受益者是一个名为Deepsea的智能合同研发项目，由哥伦比亚大学计算机科学助理教授Ronghui与耶鲁大学的研究员合作。Ronghui也是区块链安全公司CertiK的联合创始人，CertiK也是该项目的参与者之一，该项目去年10月在由Binance实验室牵头的融资中筹集了几百万。

报告：以太坊和Cardano是2022年开发者最活跃的区块链:1月23日消息，根据DappRadar的报告，以太坊和Cardano在2022年继续成为拥有最活跃开发者的区块链，全年平均每天分别有223个、151个开发者。2022年以太坊的活跃开发者减少幅度最小，为9.37%。Cardano的开发者人数相比前一年增加26.47%。

Polkadot和Kusama的活跃开发者分别增加16.06%和12.80%，平均每天吸引129名活跃开发者。Cosmos平均每日活跃开发者数量达117名。

根据Token Terminal的数据，2022年活跃开发者增长最显著的区块链是Solana和Internet Computer（ICP），相比2021年分别激增1320%和1050%。Solana链上平均每日活跃开发者数量在过去30天内减少31.4%，但2022年平均每日活跃开发者仍然有69人。[2023/1/23 11:26:49]

这笔投资是Ethereum基金会赠款计划第五波融资的一部分，将致力于支持Ethereum2.0和第2层的扩展工作。

加密研究员：“以太坊信标链区块重组”情形在合并之后不会发生:5月29日消息，对于在5月25日以太坊信标链发生7个区块的重组，加密研究员Barnabé Monnot发布文章分析表示，这种情况在以太坊实行POS后不会发生。重组突出了动态可用链的一个失败案例，这在理论上是可能的，但实际上是不可想象的，就像长期重组在工作量证明中是可能的，但在实践中很少见到（除非是敌对行为）。因此，必须认识到，目前重组的促成因素纯粹是偶然的。如果所有验证节点都运行相同的配置，问题就不会发生，特别是合并之后不会发生。因为所有验证节点都必须在合并之前进行硬分叉，否则会被完全排除在共识之外。

此前消息，以太坊预测平台Gnosis创始人Martin K?ppelmann表示，大约2.5小时前，以太坊信标链经历了7个区块的深度重组。这表明应该重新考虑当前节点的证明策略，V神文章的“重组稳定性将在POS中优于POW”的观点分析过于乐观。多年来，我们还没有在以太坊主网上看到7次区块重组。目前还不清楚重组是由攻击引起的，还是只是网络状况。[2022/5/29 3:48:46]

Deepsea是以一种新的智能合同编程语言命名的，这种语言最初是由耶鲁大学计算机科学系系主任、CertiK的联合创始人Ronghui发明的。

该语言最初是为了系统软件的实现而设计的，因为智能合同是可以自我执行的，而且是永久性的，所以这些合同只能按照它们的意图来执行。但新闻稿指出，围绕智能合同漏洞的风险很高，为扩展Deepsea的保护特性提供了新的动力。该言将允许程序员使用正式验证来添加安全措施，以确保代码完全符合规范。

正式验证指的是“利用数学证明来验证代码实现正确性的过程”，据报道最初是在NASA火星探测器和其他硬件系统中实现的。

据报道，该过程现在被扩展用于软件系统，如CertiK对智能合同和区块链协议的审计，并且可以用来防止在编写Deepsea时可能引入的bug。

据去年12月的报道，开源的区块链项目Qtum曾向Ronghui教授的实验室拨款40万美元，用于资助Deepsea的开发。

标签：区块链NASASA区块链工程专业学什么区块链存证怎么弄区块链技术发展现状和趋势NAS价格NAS币ASA币ASA价格

DYDX热门资讯