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

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

數據：以太坊Layer 2總鎖倉量為98億美元，7日跌幅0.5%:金色財經報道，據L2BEAT數據顯示，以太坊Layer 2總鎖倉量為98億美元，7日跌幅0.5%。鎖倉量前五分別為： Arbitrum One（58.7億美元，7 日跌幅0.5%）； OP Mainnet（22.4億美元，7日跌幅3.24%）； zkSync Era（7.1億美元，7日漲幅14.61%）； dYdX（3.42億美元，7日跌幅2.57%）；Immutable X（9974萬美元，7日跌幅1.46%）。[2023/7/3 22:13:43]

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

ECOC CBO：不修改任何一個代碼，以太坊上的DAPP就可在ECOC系統上操作:4月13日晚6點，ECOC CBO Albert做客MXC抹茶社區，就“ECOC的發展與未來”進行主題分享。Albert表示：“ECOC創立之初，就瞄定了以太坊，也看到了以太坊未來會出現的痛點，因此ECOC的效率優化到在需要賬本記錄的情況下，可以達到560 TPS，在零知識證明的情況下可以達到百萬級別，并且將區塊容量大小提升到了4MB，在做到高速的同時也兼顧了存儲。”

Albert認為：“在ECOC的底層技術上加入了以太坊虛擬機技術，這樣可以讓以太坊上的DAPP在不修改任何一個代碼的前提下跨鏈來我們的系統上執行操作，無形當中為ECOC在未來的公鏈之爭中增加了超級砝碼。”[2020/4/13]

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

Roger Ver：以太坊市值今年將超過比特幣:從比特幣陣營轉向比特幣現金陣營的Roger Ver近日對以太坊進行了預測，他表示以太坊市值將在今年超過比特幣。“我看到它正在發生，而且我相信它即將到來……以太坊會在年底超過比特幣，比特幣現金在2020年之前也能實現這一目標。”[2018/5/12]

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

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

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

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

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

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

DAI