Vitalik：感到興奮的AI應用之一是AI輔助的代碼形式驗證和錯誤查找

金色財經報道，以太坊聯合創始人Vitalik Buterin在社交媒體上稱，讓我感到興奮的人工智能應用之一是人工智能輔助的代碼形式驗證和錯誤查找。目前，以太坊最大的技術風險可能就是代碼中的錯誤，任何能夠顯著改變這一游戲規則的技術都將令人驚嘆。

其它快訊：

動態 | Vitalik提出加速合并以太坊1.0及2.0的替代方案，1.0系統將成為執行環境:以太坊聯合創始人Vitalik Buterin發布了一項在向以太坊2.0過渡中的合并以太坊1.0和2.0的替代方案。Vitalik表示，該方案旨在將整個PoW區塊鏈加速移向以太坊2.0的信標鏈，但該方案需要無狀態客戶端 (stateless clients) ，無需無狀態礦工和Webassembly語言，所以將減少需要完成過渡的配置。該方案的條件包括需要一個能夠實現支持驗證、見證區塊以及生成見證區塊功能的無狀態客戶端軟件。該方案的運營方式為，以太坊1.0系統將成為以太坊2.0的執行環境之一，但在最初可以成為以太坊2.0的分片之一。在該方案中，參與以太坊1.0系統的驗證人可以注冊為以太坊1.0的友好驗證人，將維護除了其信標節點外一個完整的以太坊1.0完整節點。[12/26/2019 12:00:00 AM]

動態 | Kavita Gupta離職后 ConsenSys宣布重組其各項業務:據Cointelegraph消息，5月6日，風險投資公司ConsenSys在一份新聞稿中證實，其正在重組其各項業務，以鞏固其市場地位。據悉，其ConsenSys將整合ConsenSys實驗室、加速器Tachyon、風險投資運營公司以及ConsenSys Ventures合并為一個傘型投資部門。此前報道， ConsenSys Ventures負責人Kavita Gupta表示即將辭職，將擔任顧問并在斯坦福大學任教。[5/7/2019 12:00:00 AM]

動態 | Vitalik Buterin 反駁 Tuur Demeester 對以太坊的批評:以太坊創始人 Vitalik Buterin 在 Reddit 上逐條點評和反駁了 Adamant Capital 創始人 Tuur Demeester 此前對以太坊做出的批評。Vitalik Buterin 稱，這些批評意見無視以太坊在研究和開發方面取得的進展，忽視了以太坊社區在過去一年中規模的擴張和專業度的提升。此前，Tuur Demeester 連發 50 條推文，歷數他眼中以太坊的種種短板，認為以太坊最多是一個科學實驗，其目前市值已經跌至 130 億美元，依然估值過高，這一系列推文引發大量討論。[1/1/2019 12:00:00 AM]