根据3月6日Cointelegraph发布的一则消息称：Ethereum基金会向哥伦比亚大学和耶鲁大学的研究人员提供了一笔赠款，用于在Ethereum虚拟机(EVM)中编写一种新的智能契约编程语言。
火币向以太坊网络增发100万枚HUSD:Whale Alert监测数据显示，北京时间12:27，火币向以太坊网络增发100万枚HUSD，增发哈希为：0xfa3ffe443d38354614444d325f0840523acb561e4c1ed52bb3ad42dc73675854。[2020/3/10]
这笔资金的受益者是一个名为Deepsea的智能合同研发项目，由哥伦比亚大学计算机科学助理教授Ronghui与耶鲁大学的研究员合作。Ronghui也是区块链安全公司CertiK的联合创始人，CertiK也是该项目的参与者之一，该项目去年10月在由Binance实验室牵头的融资中筹集了几百万。
动态 | Tronix社区：Tron的网络价值与交易比率高于比特币和以太坊:据Newslogical消息，Tronix社区成员Mike McCarthy指出，与比特币和以太坊这两个处于生态系统最前沿的加密货币项目相比，Tron具有更好的网络价值与交易比率统计。数据横跨2018年10月至2019 年 9月，统计期内，Tron平均提供了95.5NVT，而比特币和以太坊分别是11.8NVT和67.9NVT。[2019/10/17]
这笔投资是Ethereum基金会赠款计划第五波融资的一部分，将致力于支持Ethereum2.0和第2层的扩展工作。
英国的第一个Turkish-owned清真寺在斋月期间接受了比特币和以太坊的捐赠:英国的第一个Turkish-owned清真寺在斋月期间接受了比特币和以太坊的捐赠，“zakat将用于帮助我们当地社区的穷人，帮助需要帮助的人。”我们还将留出一部分，以帮助在清真寺进行紧急整修。在真主的恩典下，加密货币运动是成功的，我们确实接受捐赠。如果它能起作用，我相信许多其他的清真寺和伊斯兰慈善机构，不仅在英国，而且在世界范围内，也会开始做同样的事情，”清真寺的主席Erkin Guney说。[2018/5/22]
Deepsea是以一种新的智能合同编程语言命名的，这种语言最初是由耶鲁大学计算机科学系系主任、CertiK的联合创始人Ronghui发明的。
该语言最初是为了系统软件的实现而设计的，因为智能合同是可以自我执行的，而且是永久性的，所以这些合同只能按照它们的意图来执行。但新闻稿指出，围绕智能合同漏洞的风险很高，为扩展Deepsea的保护特性提供了新的动力。该言将允许程序员使用正式验证来添加安全措施，以确保代码完全符合规范。
正式验证指的是“利用数学证明来验证代码实现正确性的过程”，据报道最初是在NASA火星探测器和其他硬件系统中实现的。
据报道，该过程现在被扩展用于软件系统，如CertiK对智能合同和区块链协议的审计，并且可以用来防止在编写Deepsea时可能引入的bug。
据去年12月的报道，开源的区块链项目Qtum曾向Ronghui教授的实验室拨款40万美元，用于资助Deepsea的开发。
标签：区块链NASASA区块链工程专业学什么区块链存证怎么弄区块链技术发展现状和趋势NAS价格NAS币ASA币ASA价格
据俄罗斯国家通讯社塔斯社10月16日报道,一家俄罗斯知识产权初创企业与乌兹别克斯坦首都塔什干官员签署了一份备忘录,将区块链整合到一起,用于版权保护.
1900/1/1 0:00:0011月20日,星期二,汤姆李在接受CNBC采访时,在最近的声明中,汤姆·李仍仍坚持比特币年底将达到15000美元.
1900/1/1 0:00:0012月7日,一份新闻稿称,总部位于美国的全球领先加密货币交易所Coinbase,正在积极尝试在其平台上增加包括XRP、EOS和ADA在内的30多种加密货币.
1900/1/1 0:00:00“喝汇源果汁,走健康之路。妈妈选汇源,全家更健康”,这一洗脑式广告可能深深印刻在了很多90后童年的记忆中.
1900/1/1 0:00:00《CorporateTraveller》英国总经理AndyHegley说：CorporateTraveller将于与加密支付公司BitPay达成的合作关系.
1900/1/1 0:00:00近日,世界第二大加密货币以太坊的创始人,币圈传奇人物“V神”维塔利克·布特林发了一条推文称,谷歌已经与他进行了接洽,询问他是否愿意加入谷歌来主导一个加密货币/区块链项目.
1900/1/1 0:00:00
月亮链