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

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

礦池2Miners：以太坊轉向PoS而不是PoW是其最大的錯誤:6月6日消息，礦池2Miners發文表示，以太坊轉向PoS而不是PoW是其最大的錯誤。2Miners指出：

1. 以太坊采用PoW使用GPU挖礦，個人最低僅需幾百美元便可參與挖礦；PoS需要32 ETH（目前約6萬美元），降低了去中心化程度。

2. 質押32 ETH面臨巨大風險，例如被盜、被slash、價格波動等。

3. PoS的利潤是PoW的10倍，然而沒有礦工獲利，普通用戶失去收入來源。

4. PoS安全性值得懷疑。

5. PoS將增加提供聯合質押的欺詐平臺的數量，破壞對加密貨幣的信任，其后果可能比LUNA和UST崩盤更嚴重。[2022/6/7 4:06:52]

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

聲音 | 知情人士：三星發布基于以太坊的區塊鏈SDK測試版 將于年底正式發布:據news1消息，三星宣布將在年底之前開發基于以太坊的區塊鏈軟件開發工具“三星區塊鏈SDK”。以太坊開發者可以利用該工具開發DAPP。7月9日，據知情人士透露，三星近日已發布該SDK測試版。測試對象是三星電子機Galaxy S10系列（S10e、S10、S10+、S10 5G）和下半年上市的折疊式手機Galaxy Fold。 另外，三星將優先把該SDK添加至在韓國、美國和加拿大銷售的手機。[2019/7/10]

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

動態 | 以太坊君士坦丁堡升級被推遲至2019年初:據coindesk報道，開發人員在周五的會議上證實，以太坊君士坦丁堡硬分叉升級將推遲到2019年初。據悉，最初的目標是在今年11月啟動，然而在測試網絡上發布的代碼中發現幾個錯誤后，開發人員推遲了硬分叉。現在將時間定為1月下旬或2月的某個時間，開發人員在周五的電話會議上同意，下個月推進硬分叉是不明智的。[2018/10/20]

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

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

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

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

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

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

Pol幣