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

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

数据：以太坊地址单日新增数量在周六创下35个月新高:Santiment发推称，新增的以太坊地址数量在周六创下35个月来的单日新高。我们的网络增长指标为显示177500个ETH地址创建。值得注意的是，更多的地址在资产网络上交互，对于多头来说是非常有希望的指标。[2020/12/14 15:10:23]

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

动态 | 以太坊混币平台Tornado.cash新版上线，将支持ERC20代币:以太坊混币平台Tornado.cash宣布新版上线，该版本支持ERC20代币，首个添加的代币 DAI，即将支持 USDT 和 USDC。该版本支持更高的存款限额，1 ETH 和 10 ETH，伊斯坦布尔分叉后其提款交易费将从 750k 降至 300k。为了推进更加去中心化，Tornado 还添加了对自定义中继器地址的支持。同时，通过将 Merkle 树的深度增至 20，将 Tornado.cash 智能合约的容量从 6.4 万提升到 100 万，这确保该合约地址不会马上被填满了，同时也导致更高的 gas 成本。当前更新尚未包含可信设置 MPC （多方安全计算），但是允许更新验证密钥，而无需重新部署智能合约。[2019/12/18]

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

动态 | Rivet将为以太坊钱包MyEtherWallet提供隐私优先的节点服务:以太坊钱包MyEtherWallet（MEW）宣布与Rivet建立新的合作伙伴关系，以满足其区块链基础设施的需求。Rivet提供了一种隐私优先的节点服务，旨在快速、准确、可靠地连接以太坊区块链。（CryptoNinjas）[2019/11/22]

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

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

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

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

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

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

SHIB热门资讯