根据3月6日Cointelegraph发布的一则消息称：Ethereum基金会向哥伦比亚大学和耶鲁大学的研究人员提供了一笔赠款，用于在Ethereum虚拟机(EVM)中编写一种新的智能契约编程语言。
前1000以太坊巨鲸过去24小时加仓前10Token排名，SNX跃升至第三:金色财经报道，据whalestats.com数据，前1000以太坊巨鲸地址在过去24小时加仓前10Token中，ETH居首，SNX跃升至第三，FTX、AAVE、BNB分别位列第五、第六、第七。[2022/6/6 4:04:00]
这笔资金的受益者是一个名为Deepsea的智能合同研发项目，由哥伦比亚大学计算机科学助理教授Ronghui与耶鲁大学的研究员合作。Ronghui也是区块链安全公司CertiK的联合创始人，CertiK也是该项目的参与者之一，该项目去年10月在由Binance实验室牵头的融资中筹集了几百万。
KingData监控：灰度ETC基金减持3044.02枚以太坊经典:据KingData数据显示，灰度ETC基金减持3044.02枚以太坊经典，基金持仓总规模变为1234.32万枚ETC。注：灰度暂未开放赎回，小幅减持或因每股含币量微调、扣减管理费所致。[2021/6/29 0:13:20]
这笔投资是Ethereum基金会赠款计划第五波融资的一部分，将致力于支持Ethereum2.0和第2层的扩展工作。
加州男子因涉嫌通过比特币ATM而被没收125万美元的比特币和以太坊:金色财经报道，根据司法部的一份声明，美国加利福尼亚州男子Kais Mohammad被没收了价值约125万美元的比特币和以太坊。他亲自或通过比特币ATM信息亭非法交易了多达2500万美元而被判处两年有期徒刑。检察官说，Mohammad处理了存入ATM的加密货币，维护了软件并向机器提供了客户可以提取的现金。声明称，他没有在美国财政部注册公司，也没有就金额超过10,000美元的交易提交交易报告。[2021/5/29 22:54:21]
Deepsea是以一种新的智能合同编程语言命名的，这种语言最初是由耶鲁大学计算机科学系系主任、CertiK的联合创始人Ronghui发明的。
该语言最初是为了系统软件的实现而设计的，因为智能合同是可以自我执行的，而且是永久性的，所以这些合同只能按照它们的意图来执行。但新闻稿指出，围绕智能合同漏洞的风险很高，为扩展Deepsea的保护特性提供了新的动力。该言将允许程序员使用正式验证来添加安全措施，以确保代码完全符合规范。
正式验证指的是“利用数学证明来验证代码实现正确性的过程”，据报道最初是在NASA火星探测器和其他硬件系统中实现的。
据报道，该过程现在被扩展用于软件系统，如CertiK对智能合同和区块链协议的审计，并且可以用来防止在编写Deepsea时可能引入的bug。
据去年12月的报道，开源的区块链项目Qtum曾向Ronghui教授的实验室拨款40万美元，用于资助Deepsea的开发。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。