根据3月6日Cointelegraph发布的一则消息称：Ethereum基金会向哥伦比亚大学和耶鲁大学的研究人员提供了一笔赠款，用于在Ethereum虚拟机(EVM)中编写一种新的智能契约编程语言。
芝商所和CF Benchmarks将于1月30日推出AXS、CHZ和MANA的参考利率和实时指数:1月12日消息，芝商所（CME）和加密货币基准指数提供商CF Benchmarks计划推出三个新的元宇宙参考利率和实时指数，分别为Axie Infinity（AXS）、Chiliz（CHZ）、Decentraland（MANA），不可交易，其中参考利率将从1月30日开始每天计算和发布一次，而实时指数数据将每秒发布一次，包括Bitstamp、Coinbase、Gemini、itBit、Kraken和LMAX Digital在内的几个加密交易所和交易平台将提供定价数据。[2023/1/12 11:07:29]
这笔资金的受益者是一个名为Deepsea的智能合同研发项目，由哥伦比亚大学计算机科学助理教授Ronghui与耶鲁大学的研究员合作。Ronghui也是区块链安全公司CertiK的联合创始人，CertiK也是该项目的参与者之一，该项目去年10月在由Binance实验室牵头的融资中筹集了几百万。
声音 | 芝商所首席经济学家：美国不太可能采用负利率政策推高比特币:金色财经报道，芝加哥商业交易所集团(CME Group)首席经济学家Blu Putnam表示，“没有人可以排除美国的负利率，因为美联储从不喜欢放弃选择权。但是，即使在严重的经济衰退中，美联储似乎也不太可能采取这样的政策。”许多比特币和加密货币的支持者认为，负利率和其他旨在刺激经济的货币政策，会增强除了法定货币以外的其他货币形式的吸引力。Blu Putnam补充说，“与此同时，在像比特币这样不受控制的资产上，实施这种政策是不可能的。”（Beincrypto）[2019/11/13]
这笔投资是Ethereum基金会赠款计划第五波融资的一部分，将致力于支持Ethereum2.0和第2层的扩展工作。
动态 | 区块链公司Education Ecosystem加入企业以太坊联盟和Linux基金会:据Prnewswire消息，一家为专业发展构建Netflix的区块链公司Education Ecosystem今天宣布加入两家非营利组织：企业以太坊联盟（EEA）和Linux基金会。EEA的成员资格将允许教育生态系统与其他行业领导者合作，使用基于以太坊的技术来生成行业标准的开源区块链解决方案。Education Ecosystem加入Linux基金会作为银牌成员。[2018/9/25]
Deepsea是以一种新的智能合同编程语言命名的，这种语言最初是由耶鲁大学计算机科学系系主任、CertiK的联合创始人Ronghui发明的。
该语言最初是为了系统软件的实现而设计的，因为智能合同是可以自我执行的，而且是永久性的，所以这些合同只能按照它们的意图来执行。但新闻稿指出，围绕智能合同漏洞的风险很高，为扩展Deepsea的保护特性提供了新的动力。该言将允许程序员使用正式验证来添加安全措施，以确保代码完全符合规范。
正式验证指的是“利用数学证明来验证代码实现正确性的过程”，据报道最初是在NASA火星探测器和其他硬件系统中实现的。
据报道，该过程现在被扩展用于软件系统，如CertiK对智能合同和区块链协议的审计，并且可以用来防止在编写Deepsea时可能引入的bug。
据去年12月的报道，开源的区块链项目Qtum曾向Ronghui教授的实验室拨款40万美元，用于资助Deepsea的开发。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。