數字貨幣:北大肖臻開發高性能多核確定性重演系統 有望大幅提高智能合約效率_數字資產和數字貨幣的區別

近日，北京大學信息科學技術學院計算機科學技術系肖臻研究員領導的課題組開發出一套基于硬件輔助虛擬化的多核確定性重演系統，引起業界廣泛關注。確定性重演是指在處理器指令執行過程中，通過記錄開始時的狀態和執行過程中的必要信息，從而使得將處理器恢復到開始位置重新根據記錄的信息執行這一系列指令后，能夠獲得與前一次執行完全相同的結果。虛擬機確定性重演技術在軟件調試、信息安全、入侵檢測、病行為分析、雙機熱備份等眾多領域有廣泛的應用。

中科院院士、北大數學科學學院教授鄂維南力主開設“區塊鏈”課程:金色財經報道，據北京大學教育基金會公眾號消息，中科院院士、北大數學科學學院教授鄂維南在參與今年北大暑期應用數學討論班的課程設置時力主開設“區塊鏈”課程，在他看來，這其中蘊含著科學計算中最有挑戰性的問題。（澎湃新聞）[2021/9/13 23:22:04]

針對單核處理器的確定性重演系統已經比較成熟，并且出現了商用系統，然而多核處理器環境的出現給確定性重演帶來了極大的挑戰。在多核環境下，多線程程序的各個線程對共享內存的交織訪問是導致程序執行結果不確定的重要原因之一。業界已有的在多核環境下進行確定性重演的方案往往需要修改處理器架構增加專門用于記錄的硬件，從而使得成本大大提高，目前還沒有任何一家能夠在實際中得到推廣。

北大國發院副院長：數字貨幣不取代銀行存款 也沒有其他金融交易:北京大學國家發展研究院副院長黃益平表示，第一個方面數字貨幣主要是用于來替代我們在日常生活交易當中的現金，不取代銀行的存款，也沒有其他的金融交易。第二個方面央行對于數字貨幣不直接付息，這樣你不會把銀行的錢拿出來存在央行的數字貨幣上面。第三個是雙層的發行系統，央行把數字貨幣發給授權的機構，包括像銀行、電信公司、互聯網公司，這些機構再直接發給公眾。（央視）[2020/8/10]

肖臻研究員領導的課題組第一次提出基于硬件輔助虛擬化的技術從軟件上實現多核虛擬機在線確定性重演。該系統采用了基于指令塊的方法，通過內存訪問寫時復制機制和指令塊的提交-回滾機制保證指令塊的執行滿足原子性和可串行性。該方法利用IntelCPU中已有的硬件輔助虛擬化特性，不需要對硬件做任何修改，就可以把虛擬機多核確定性重演的效率提高一個數量級，把檢查點恢復的延遲降低一個數量級，從而使該項技術真正走向實用。

北大數字金融研究員：數字貨幣推廣將導致ATM機需求量減少:人民網發布題為《央行數字貨幣：支付新體驗，治理新局面》文章，文章表示，作為數字形式的法定貨幣，DCEP的推廣可能在以下與日常支付密切相關的三個方面帶來改變：一是對現金使用的影響。央行數字貨幣一旦普及，必然會對人民幣現金的使用產生沖擊。北京大學數字金融研究中心高級研究員徐遠認為，數字貨幣推廣會帶來無現金社會，將導致ATM機這一“20世紀以來最重要的金融發明”需求量減少。不過人民幣目前已主要通過電子形式流通，現金流通占比并不高，因而DCEP僅是進一步替代現金。二是對支付寶、微信等第三方支付工具的影響。DCEP的最大優勢在于具備法償性，具備國家信用背書，不僅更加安全可靠，而且任何交易主體都不能拒收。其次，DCEP實行可控匿名原則，可以更好地保證交易的匿名性，而第三方支付工具往往需要實名認證，用戶支付數據實際被平臺掌握。三是對活期存款的影響。二者各有千秋，一方面，DCEP目的是替代現金，在設想中并不付息，而活期存款能有一定利息收入；另一方面，活期存款不具備數字貨幣交易的匿名性優勢，采用哪種支付方式將取決于使用者的權衡。（人民網）[2020/4/27]

肖臻課題組從事虛擬機確定性重演的研究已經有十幾年的歷史，在國際著名會議和期刊上發表了很多論文，相關成果都以開源軟件的方式發布到社區，供大家免費使用。肖臻課題組目前正在致力于利用確定性重演技術實現智能合約的高效、細粒度并發執行。已有的區塊鏈技術只支持單線程，就是因為在多核環境下并行程序的執行存在不確定性，影響區塊鏈中的節點達成共識。肖臻課題組開發的確定性重演技術有希望極大地提高智能合約的執行效率，成為區塊鏈3.0中不可或缺的核心技術。

有關該課題組的更多信息，請參考肖臻研究員的主頁：http://zhenxiao.com/

Tags：數字貨幣區塊鏈ATM數字金融數字資產和數字貨幣的區別影視幣區塊鏈有哪些ATMSSFT幣數字金融是什么意思

Fil