BTC/HKD-0.05%
ETH/HKD+0.2%
LTC/HKD-0.72%
DOT/HKD-0.19%
ADA/HKD-0.41%
SOL/HKD-0.43%
XRP/HKD-0.24%
DOGE/US-0.52% 
根據3月6日Cointelegraph發布的一則消息稱：Ethereum基金會向哥倫比亞大學和耶魯大學的研究人員提供了一筆贈款，用于在Ethereum虛擬機(EVM)中編寫一種新的智能契約編程語言。
0xde80 開頭地址從幣安轉出 6952 枚以太坊:6月26日消息，據推特用戶余燼監測，0xde80 開頭地址于 1 小時前從幣安轉出 6952 枚以太坊，并通過 Figment 質押了 25504 枚以太坊。該地址從 4 月 28 日開始至今累計從幣安轉出了 32416 枚以太坊，價值約 6094 萬美元。[2023/6/26 22:01:24]
這筆資金的受益者是一個名為Deepsea的智能合同研發項目，由哥倫比亞大學計算機科學助理教授Ronghui與耶魯大學的研究員合作。Ronghui也是區塊鏈安全公司CertiK的聯合創始人，CertiK也是該項目的參與者之一，該項目去年10月在由Binance實驗室牽頭的融資中籌集了幾百萬。
V神：分片是以太坊可擴展性的未來:V神發文表示，分片是以太坊可擴展性的未來，它將是幫助以太坊生態系統支持每秒數千筆交易，并允許世界上大部分人用可以承受的成本定期使用以太坊平臺的關鍵。他在文中解釋了分片提供的特定屬性，分片與沒有分片的其他技術有何不同，以及為達到這些屬性而必須做出的犧牲。他表示，分片的主要目標是盡可能地復制傳統（非分片）區塊鏈最重要的安全屬性，而無需每個節點親自驗證每筆交易。[2021/4/8 19:57:24]
這筆投資是Ethereum基金會贈款計劃第五波融資的一部分，將致力于支持Ethereum2.0和第2層的擴展工作。
動態 | 以太坊未確認交易4770筆:據Etherchain.io數據顯示，以太坊未確認交易4770筆。當前挖礦難度2048TH，交易處理能力6.1TPS。截至目前以太坊全球均價為134.90美元，最近24小時漲幅為-1.69%。[2020/1/6]
Deepsea是以一種新的智能合同編程語言命名的，這種語言最初是由耶魯大學計算機科學系系主任、CertiK的聯合創始人Ronghui發明的。
該語言最初是為了系統軟件的實現而設計的，因為智能合同是可以自我執行的，而且是永久性的，所以這些合同只能按照它們的意圖來執行。但新聞稿指出，圍繞智能合同漏洞的風險很高，為擴展Deepsea的保護特性提供了新的動力。該言將允許程序員使用正式驗證來添加安全措施，以確保代碼完全符合規范。
正式驗證指的是“利用數學證明來驗證代碼實現正確性的過程”，據報道最初是在NASA火星探測器和其他硬件系統中實現的。
據報道，該過程現在被擴展用于軟件系統，如CertiK對智能合同和區塊鏈協議的審計，并且可以用來防止在編寫Deepsea時可能引入的bug。
據去年12月的報道，開源的區塊鏈項目Qtum曾向Ronghui教授的實驗室撥款40萬美元，用于資助Deepsea的開發。
Tags：區塊鏈NASASA區塊鏈工程專業學什么區塊鏈存證怎么弄區塊鏈技術發展現狀和趨勢NAS價格NAS幣ASA幣ASA價格
自從9月10日,紐約金融服務部同時批準了兩種基于以太坊發行的穩定幣之后,幾乎每天都在被GUSD的分析文章刷屏.
1900/1/1 0:00:00比特幣對于大多數人來說,是一個比較陌生的概念,他們只是偶爾聽說過,這并不讓人感到吃驚,因為要完全理解比特幣真的很難,如果某樣事物不被理解,那么錯誤的信息就很容易傳播開來.
1900/1/1 0:00:002018年9月17日世界人工智能會議在中國舉行。中國電子商務巨頭阿里巴巴(Alibaba)的創始人馬云(JackMa)在會議上主要圍繞人工智能(AI)的出現所面臨的挑戰和常見的錯誤認知發表主旨演.
1900/1/1 0:00:00Mt.Gox比特幣交易平臺前首席執行官MarkKarpeles因涉嫌盜竊比特幣,將面臨10年的監禁,但是這位33歲的法裔男子表示,他是無辜的,并沒有盜竊客戶的比特幣.
1900/1/1 0:00:00「我認為這非常有趣,他們正在和聯準會較量,而聯準會是有史以來最有力的銀行之一。」清崎在彭博社10月22號的采訪中針對新資產類別的看法時如此說道,并指出他們的力量懸殊：「這就像是我想和麥當勞較量一.
1900/1/1 0:00:00行情動態 BTC最近成交價52394.41元,24小時變化+1.37%ETH最近成交價1066.91元,24小時變化+0.91%EOS最近成交價19.64元.
1900/1/1 0:00:00
加密貨幣交易所
