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

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

灰度以太坊信托負溢價收窄至一年內最低:金色財經報道，CryptoQuant數據顯示，繼本周Ark向監管機構提交首只現貨以太坊交易所交易基金 (ETF)備案后，灰度以太坊信托 (ETHE) 的資產凈值 (NAV) 負溢價已收窄至27%，是去年9月以來首次，創下一年來的最低水平。去年年底，隨著加密市場的暴跌，這一數字一度飆升至近60%。

IntoTheBlock指出，這一行動使ETHE股價今年上漲了140%，遠遠超過了以太坊今年迄今36%的漲幅。[2023/9/9 13:27:48]

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

以太坊上DeFi協議總鎖倉量突破610億美元:據歐科云鏈OKLink數據顯示，截至今日10時，以太坊上DeFi協議總鎖倉量約合615.13億美元。其中鎖倉量排名前三的協議分別是WBTC 68.93億美元，Maker 67.86億美元以及BDP 62.83億美元。[2021/3/9 18:27:50]

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

印度創企開發去中心化通知協議EPNS，可向以太坊錢包用戶發送推送通知:印度一家初創公司建立了一種去中心化的通知協議，稱為Ethereum Push Notification Service（EPNS） ，允許DApp向以太坊錢包用戶發送推送通知。在接受采訪時，EPNS創始人Richa Joshi表示，他們在發現互聯網早期應用程序的運行方式與在Web 3.0上的運行方式驚人地相似后，開發了這個協議。Joshi解釋說，Gmail或Orkut在早期并不像現在這樣發送通知。用戶必須每次都要查看是否收到了新的電子郵件或信息。這種情況在2010年蘋果推出互聯網應用通知后發生了改變，其認為，DApp、智能合約和其他去中心化的Web 3.0服務與早期的GMail和Orkut的工作原理類似。Joshi強調，這正是促使他們將推送通知引入去中心化世界的原因。（Cointelegraph）[2020/9/15]

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

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

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

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

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

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

XRP