以太坊基金會資助哥倫比亞大學和耶魯大學研究人員編寫新智能合約_區塊鏈

根據3月6日Cointelegraph發布的一則消息稱：Ethereum基金會向哥倫比亞大學和耶魯大學的研究人員提供了一筆贈款，用于在Ethereum虛擬機(EVM)中編寫一種新的智能契約編程語言。

以太坊未確認交易為169,021筆:金色財經消息，據OKLink數據顯示，以太坊未確認交易169,021筆，當前全網算力為507.94TH/s，全網難度為6.76P，當前持幣地址為58,180,508個，同比增加236,831個，24h鏈上交易量為4,907,495.45ETH，當前平均出塊時間為13s。[2021/4/19 20:33:56]

這筆資金的受益者是一個名為Deepsea的智能合同研發項目，由哥倫比亞大學計算機科學助理教授Ronghui與耶魯大學的研究員合作。Ronghui也是區塊鏈安全公司CertiK的聯合創始人，CertiK也是該項目的參與者之一，該項目去年10月在由Binance實驗室牽頭的融資中籌集了幾百萬。

動態 | 去中心化借貸平臺Compound發布開放預言機系統 已在以太坊測試網上運行原型機:據Medium消息，去中心化借貸平臺Compound發布了名為“開放預言機系統”的社區項目，以此設定價格預言機的開放標準，讓開發者可以從分布式的價格信息流中貢獻價格數據。該項目的原型機目前已經在以太坊Rinkeby測試網上運行，發布來自Coinbase Pro、Kraken和幣安這三個來源的價格信息。[2019/8/20]

這筆投資是Ethereum基金會贈款計劃第五波融資的一部分，將致力于支持Ethereum2.0和第2層的擴展工作。

分析 | 以太坊聯動比特幣 ERC20代幣應用以穩定幣為主:據TokenGazer數據分析顯示，截至5月20日0時，以太坊24H價格區間為$234.63—$258.63，交易量為$13,493,589,390，總市值為$27,029,776,401。目前，以太坊與比特幣的關聯度為0.836，近階段和比特幣價格走勢保持高度聯動，當下ERC20代幣總市值環比上周增長13.39%，約為以太坊總市值的56.26%，較上周水平減少了7.45%，就市場表現而言，以太坊的表現更為良好。ERC20活躍地址數方面，排名前五代幣為USDC、TUSD、DAI、ZRX、PAX，目前的應用基本以穩定幣為主，其他的代幣應用較少。[2019/5/20]

Deepsea是以一種新的智能合同編程語言命名的，這種語言最初是由耶魯大學計算機科學系系主任、CertiK的聯合創始人Ronghui發明的。

該語言最初是為了系統軟件的實現而設計的，因為智能合同是可以自我執行的，而且是永久性的，所以這些合同只能按照它們的意圖來執行。但新聞稿指出，圍繞智能合同漏洞的風險很高，為擴展Deepsea的保護特性提供了新的動力。該言將允許程序員使用正式驗證來添加安全措施，以確保代碼完全符合規范。

正式驗證指的是“利用數學證明來驗證代碼實現正確性的過程”，據報道最初是在NASA火星探測器和其他硬件系統中實現的。

據報道，該過程現在被擴展用于軟件系統，如CertiK對智能合同和區塊鏈協議的審計，并且可以用來防止在編寫Deepsea時可能引入的bug。

據去年12月的報道，開源的區塊鏈項目Qtum曾向Ronghui教授的實驗室撥款40萬美元，用于資助Deepsea的開發。

Tags：區塊鏈NASASA區塊鏈工程專業學什么區塊鏈存證怎么弄區塊鏈技術發展現狀和趨勢NAS價格NAS幣ASA幣ASA價格

萊特幣價格