根据3月6日Cointelegraph发布的一则消息称：Ethereum基金会向哥伦比亚大学和耶鲁大学的研究人员提供了一笔赠款，用于在Ethereum虚拟机(EVM)中编写一种新的智能契约编程语言。
这笔资金的受益者是一个名为Deepsea的智能合同研发项目，由哥伦比亚大学计算机科学助理教授Ronghui与耶鲁大学的研究员合作。Ronghui也是区块链安全公司CertiK的联合创始人，CertiK也是该项目的参与者之一，该项目去年10月在由Binance实验室牵头的融资中筹集了几百万。
这笔投资是Ethereum基金会赠款计划第五波融资的一部分，将致力于支持Ethereum2.0和第2层的扩展工作。
Deepsea是以一种新的智能合同编程语言命名的，这种语言最初是由耶鲁大学计算机科学系系主任、CertiK的联合创始人Ronghui发明的。
动态 | 比特币未确认交易量1658笔 以太坊未确认交易量28813笔:据监测，截至目前当前比特币未确认交易量为1658笔，当前以太坊未确认交易量为28813笔。截至发稿，比特币全网算力为95.21 EH/s，24小时交易速率3.32 txs/s。当前挖矿难度为12.95 T，预计下次挖矿难度将上升3.05%至13.34 T。[2019/12/29]
该语言最初是为了系统软件的实现而设计的，因为智能合同是可以自我执行的，而且是永久性的，所以这些合同只能按照它们的意图来执行。但新闻稿指出，围绕智能合同漏洞的风险很高，为扩展Deepsea的保护特性提供了新的动力。该言将允许程序员使用正式验证来添加安全措施，以确保代码完全符合规范。
正式验证指的是“利用数学证明来验证代码实现正确性的过程”，据报道最初是在NASA火星探测器和其他硬件系统中实现的。
据报道，该过程现在被扩展用于软件系统，如CertiK对智能合同和区块链协议的审计，并且可以用来防止在编写Deepsea时可能引入的bug。
据去年12月的报道，开源的区块链项目Qtum曾向Ronghui教授的实验室拨款40万美元，用于资助Deepsea的开发。
今天凌晨,长期横盘在10000美元附近的比特币突然爆发瀑布行情,比特币价格在短短1个小时内就暴跌1500美元,进而引发了整个加密货币市场的“大崩盘”,连带的是无数爆仓的账户.
“比特币网络”是按照比特币P2P协议运行的一系列节点的集合。比特币网络上运行的挖矿节点、钱包节点、全节点等等总体上都是按照P2P网络的结构运行的.
比特币在周二交易中回落,下跌4%。平均交易量下降,表明投资者对加密市场的方向缺乏信心。以太币是仅次于比特币的第二大加密货币,最近下跌了5%.
关键点： FTXTrading正在考虑使用客户还款资金来重启失败的加密货币交易所。FTX律师AndrewG.Dietderich表示,该项目需要大量现金.
本周初的时候,比特币曾短暂下跌至3900美元的价格区域,但目前,比特币再次回到了4000美元以上的价格水平。今天的走势使比特币的价格区间稳定在了4000-4100美元的区间.
自比特币诞生以来,其价值逐步得到市场的认可,价格也不断飙升。基于区块链技术的比特币,一直被人们以安全性所著称,在很多投资人眼中,不存在被盗风险.
链资讯