根據3月6日Cointelegraph發布的一則消息稱:Ethereum基金會向哥倫比亞大學和耶魯大學的研究人員提供了一筆贈款,用于在Ethereum虛擬機(EVM)中編寫一種新的智能契約編程語言。
以太坊橋TVL達到234億美元:金色財經報道,DuneAnalytics數據顯示,以太坊橋當前TVL達到234億美元。其中鎖倉量最高的5個橋分別是AvalancheBridge(60.22億美元)、PolygonBridges(51.6億美元)、FantomAnyswapBridge(46.6億美元),RoninBridge(32.15億美元)、ArbitrumBridges(32.23億美元)。[2022/3/7 13:41:03]
這筆資金的受益者是一個名為Deepsea的智能合同研發項目,由哥倫比亞大學計算機科學助理教授Ronghui與耶魯大學的研究員合作。Ronghui也是區塊鏈安全公司CertiK的聯合創始人,CertiK也是該項目的參與者之一,該項目去年10月在由Binance實驗室牽頭的融資中籌集了幾百萬。
外媒:以太坊收藏品游戲CryptoKitties正在復蘇:The Block發文稱,The Block Research收集的數據顯示,以太坊收藏品游戲CryptoKitties的活動正在復蘇。每周數據表明,目前CryptoKitties的使用量已超過了自2019年4月以來的水平。交易也出現增加,2月28日開始的一周達到了183萬美元。[2021/3/8 18:23:18]
這筆投資是Ethereum基金會贈款計劃第五波融資的一部分,將致力于支持Ethereum2.0和第2層的擴展工作。
以太坊未確認交易為101,000筆:金色財經消息,據OKLink數據顯示,以太坊未確認交易101,000筆,當前全網算力為271.90TH/s,全網難度為3.62P,當前持幣地址為51,063,066個,同比增加116,228個,24h鏈上交易量為2,828,940.78ETH,當前平均出塊時間為13s。[2020/12/9 14:37:47]
Deepsea是以一種新的智能合同編程語言命名的,這種語言最初是由耶魯大學計算機科學系系主任、CertiK的聯合創始人Ronghui發明的。
該語言最初是為了系統軟件的實現而設計的,因為智能合同是可以自我執行的,而且是永久性的,所以這些合同只能按照它們的意圖來執行。但新聞稿指出,圍繞智能合同漏洞的風險很高,為擴展Deepsea的保護特性提供了新的動力。該言將允許程序員使用正式驗證來添加安全措施,以確保代碼完全符合規范。
正式驗證指的是“利用數學證明來驗證代碼實現正確性的過程”,據報道最初是在NASA火星探測器和其他硬件系統中實現的。
據報道,該過程現在被擴展用于軟件系統,如CertiK對智能合同和區塊鏈協議的審計,并且可以用來防止在編寫Deepsea時可能引入的bug。
據去年12月的報道,開源的區塊鏈項目Qtum曾向Ronghui教授的實驗室撥款40萬美元,用于資助Deepsea的開發。
Tags:區塊鏈NASASA區塊鏈工程專業學什么區塊鏈存證怎么弄區塊鏈技術發展現狀和趨勢NAS價格NAS幣ASA幣ASA價格
今年的常規賽確實讓人有些摸不著頭腦。宇宙無敵的金州勇士新賽季剛剛打了5場就已經吞下了兩場失利。失去保羅的快船反而強勢勢勢打臉,成為了新賽季目前唯一全勝的球隊,領跑全聯盟.
1900/1/1 0:00:004月23日,據美國專利商標局(USPTO)公布的文件顯示,科技巨頭IBM獲得了一項移動數據共享方法的專利,該方法使用的是分布式分類賬技術(DLT).
1900/1/1 0:00:0011月20日,星期二,湯姆李在接受CNBC采訪時,在最近的聲明中,湯姆·李仍仍堅持比特幣年底將達到15000美元.
1900/1/1 0:00:00據法國新聞出版公司Bitcoin.fr的一份報告顯示,法國經濟和財政部長勒梅爾承諾將“全力堅定地支持”加密貨幣和區塊鏈技術的發展.
1900/1/1 0:00:0012月6日,波場CEO孫宇晨在一條推文中表示,該公司將建立一只基金,以“拯救”ETH和EOS的開發人員,使他們的平臺避免“崩潰”.
1900/1/1 0:00:001月1日,《華爾街日報》發表的一篇文章指出:"目前,比特幣及其底層技術區塊鏈幾乎沒什么實際應用。"文章指出,2017年,加密貨幣讓許多人收獲財富.
1900/1/1 0:00:00