肖臻:北京大學計算機系研究員、博士生導師,肖臻老師本科畢業于北京大學計算機系,之后在美國康奈爾大學計算機系取得博士學位,畢業后在美國AT&T實驗室和IBMT.J.WatsonResearchCenter擔任高級研究員。在AT&T工作期間獲得“研究卓越成就獎”。2008年以“百人計劃”身份回到北京大學計算機系擔任研究員、博士生導師,帶領“云計算與大數據”課題組致力于區塊鏈、分布式系統以及機器學習領域的研究。肖臻老師在北大教授的《區塊鏈技術與應用》公開課在網上獲得了廣泛好評,榮獲2018年“北京大學教學優秀獎”。
以下為對話全文:
佟揚:第一個問題是:您認為央行的數字貨幣與之前facebook準備推出的Libra相比,在技術上有什么區別?技術上出現這種區別的原因是什么?
肖臻:目前官方還沒有公布央行數字貨幣的技術細節,一種說法是將在技術上保持中性,既不排斥基于區塊鏈技術的實現,也不排斥其它實現方案。
HashKey COO:密切監測VPN交易,“港漂”若回到內地交易將被禁止:金色財經報道,首批獲得香港證監會牌照的虛擬資產交易平臺HashKey正式推出散戶服務,首席運營官翁曉奇表示,接受所有持有香港身份證、具備香港住址證明人士開戶,并不需要“三粒星”,但交易時若發現屬透過VPN進行,且不在香港證監會合規要求下的地方,例如內地,將密切監測有關用戶,適時禁止其交易。換言之,“港漂”能在HashKey平臺開戶及交易,但若回到內地交易,將被禁止。(東網)[2023/8/29 13:04:12]
Libra已經公布了初步實現代碼,這個代碼還有很多不夠完善的地方,但是看得出來是基于區塊鏈技術實現的,類似于聯盟鏈。
技術區別主要還是潛在應用場景的不同。Libra聲稱的目標1000TPS,也就是每秒鐘處理一千個交易。它目前的開源版本還遠遠達不到這個性能,但是即使我們假設將來它達到了這樣的性能,跟國內雙十一、春節搶票這樣的場景相比,在性能上仍然要相差好幾個數量級。
美CFTC前主席;PayPal穩定幣具有加密以外的價值:8月9日消息,PayPal 推出用于轉賬和支付的美元穩定幣 PayPal USD(PYUSD)。該穩定幣由 Paxos 發行,由美元、短期國債和現金等價物支持,將逐步向 PayPal 在美國的客戶開放。美國商品期貨交易委員會(CFTC)前主席 Timothy Massad 對此表示,這是傳統金融公司首次推出自己的穩定幣,PayPal 的穩定幣首次亮相表明該技術具有加密以外的價值。[2023/8/10 16:16:24]
所以,我覺得央行發行的數字貨幣在技術實現上比較大概率會更像傳統的分布式系統,而不是比特幣那樣的區塊鏈記賬方式。Libra目前設計的性能指標無法直接應對廣大消費者,當然將來可能通過分片、分區等技術提高性能,但是也很難提升到為27億facebook用戶服務的目標。
當然,Libra在技術上也有一些亮眼的地方,比如基于拜占庭協議的LibraBFT共識協議以及新的智能合約編程語言Move。
FTX/Alameda對Voyager的優先索賠糾紛達4.45億美元:5月16日消息,現實世界資產(RWA)代幣化服務提供商Heimdall發推表示,由于美國國稅局(IRS)的壓力,FTX已經成為政府的加密貨幣稅收代收機構,損害了零售債權人的利益,其中FTX/Alameda優先索賠糾紛(4.45億美元)目前已占據了高達三分之一的Voyager應賠付資產份額,不知道FTX是否會放棄所有優先權行動。
此前報道,Voyager現擁有13.34億美元的資產,相當于客戶對Voyager資產索賠總價值的75.68%,客戶將獲得估計為其索賠金額35.72%的初步賠償。[2023/5/16 15:05:30]
以太坊上的智能合約出現過很嚴重的漏洞,比如2016年的TheDAO盜幣事件。這些事件引起了人們的反思,當時就有人提出應該用函數式編程語言,認為函數式語言不容易出錯,而且將來的終極目標是從理論上證明智能合約的正確性。Facebook提出的這個Move語言也是基于這個思路,理念上跟之前的一些函數式語言比如Ocaml很像。
Aave V3已部署至以太坊主網,將全面降低所有功能的Gas成本:據官方推特,Aave宣布已在以太坊主網部署Aave V3,新增功能及優化包括:高效模式:允許用戶在供應和借入穩定幣和流動性質押衍生產品(LSDs)等相關資產時提高資本效率;隔離模式:在保持協議的安全性的同時,允許更多資產在Aave上作為抵押品以隔離模式上市,隔離流動性風險;Gas優化:全面降低所有功能相關的Gas成本約20-25%。[2023/1/27 11:32:36]
二十年前我在Cornell讀博士的時候,用Ocaml寫過一個很大的項目。當時全世界也沒有多少人會用這種編程語言。其實你用熟練之后,是非常好用的,寫出來的程序比C語言要直觀的多。當然,這種語言也是有缺陷的,比如速度慢,編譯出來的程序比C慢得多,而且語法對初學者來說比較別扭,因為跟其它語言不太一樣。其實速度慢這個缺點對于智能合約來說并不是太大的問題,因為現在的智能合約對于執行效率的要求并不高。
數據:ETH/BTC比率上周創下自去年12月中旬以來新高:9月12日消息,據Tradingview數據顯示,ETH/BTC比率在9月8日達到0.084647,創下自2021年12月中旬以來新高,目前該比率小幅回落至0.079附近。[2022/9/12 13:24:01]
業界對于Facebook發布的Move語言期待很高,有的把它稱為“搶占先河”之舉,其實有些過譽了。用形式化的方法驗證程序的正確性是很好的目標,但是實現起來難度非常大,往往只能證明一些很簡單的程序,所以可能需要對智能合約的功能加以一定的限制。目前Facebook的實現只是一個很初級的版本,將來能發展到什么程度,我們拭目以待。
佟揚:您提到“央行發行的數字貨幣在技術實現上比較大概率會更像傳統的分布式系統,而不是比特幣那樣的區塊鏈記賬方式”。比特幣不也是分布式的嗎?這兩者有什么區別?央行大概率會更像傳統的分布式系統設計的考慮是什么?
肖臻:嚴格地說,比特幣協議是去中心化的,跟分布式的概念不是完全等價的。
去中心化的系統必然是分布式的:如果整個系統只運行在一臺機器上,那顯然不能稱為去中心化的。但是,分布式系統未必是去中心化的。即使系統運行在成千上萬臺機器上,如果這些機器是由同一個機構管理的,那也不是去中心化的。比如Google的搜索引擎,后臺有幾十萬臺服務器,但是這些服務器都是Google內部的,仍然是中心化的。
在一個分布式平臺上可以運行一個中心化的應用,也可以運行一個去中心化的應用。
所以像淘寶、天Mall后臺的系統應該叫分布式的,而不是去中心化的。
目前央行還沒有公布會采取哪種設計,我估計央行自己也沒有確定。
不過你說得對,比特幣和以太坊采用的都是交易驅動的狀態機模式。這種模式的特點是讓上千臺計算機重復同一組操作,付出很大的代價來維護狀態的一致性。這并不是分布式系統常用的工作模式。
絕大多數分布式系統是讓每臺機器處理不同的任務,然后把處理結果組合起來得到最后的結果。這樣做的目的是為了比單機處理速度快,比如用一臺機器要處理一個星期的任務,采用10臺機器組成的集群可能一天就能處理完。
最理想的狀況是達到線性加速比:10臺機器的處理速度是1臺機器的10倍。實際使用中往往很難達到線性加速比,因為任務拆分、機器之間通訊、整合各臺機器的輸出結果都有一定的開銷,所以10臺機器可能只比一臺機器快6倍,但還是要比單機速度快,否則用分布式系統就沒意義了。
佟揚:幾千臺計算機重復同一組操作,聽上去很浪費但有其所用之處。
肖臻:是的,這種狀態機模式的目的本來就不是為了比單機快,而是為了容錯。
狀態機模式最早的應用場景是一些missioncriticalapplication,比如airtrafficcontrol,stockexchange,spaceshuttle等。這些應用的特點是必須無間斷地提供服務,哪怕宕機一分鐘都會造成很嚴重的后果。所以要采用狀態機模式讓很多臺機器重復同一組動作,這樣一臺機器出了問題,其它機器還能繼續對外提供服務。
這樣付出的代價就是效率很低,整個集群比單機還慢,而且集群中機器越多,速度越慢,因為要同步狀態的機器越多。所以,使用狀態機的應用場景,一般機器數目都不多,往往就是個位數字。像比特幣、以太坊這種上千臺機器保持同步的,以前還從來沒有出現過。
Libra采用的基于拜占庭協議的共識機制在效率上會好一些,但是不適用于像比特幣、以太坊那樣的公鏈。
佟揚:那在您看來,央行發行的數字貨幣對老百姓的日常生活會有什么影響?中國電子支付規模早就是全球第一,為什么要推進發行數字貨幣的工作呢?央行數字貨幣的發行對支付寶、微信而言意味著什么?
肖臻:短期內不會有多大影響,可能會增強老百姓對數字貨幣的認知程度。
央行推出數字貨幣更多是從國家戰略層面的考慮,為了應對美元霸權通過Libra、Walmart之類數字貨幣的滲透,可以認為是中美大國博弈的一部分。
數字貨幣跟電子支付還是不太一樣的,電子支付仍然是通過法幣和傳統的商業銀行進行結算的,并不是真正意義下的資產數字化。等到央行的數字貨幣普及之后,我估計也會出現類似于支付寶、微信之類的支付手段。
佟揚:數字貨幣跟電子支付還是不太一樣的,跟我們平時所說的token也有本質區別~感謝肖老師的分享!
金色財經比特幣8月19日訊根據BusinessKorea報道稱,由于較低的交易量,很多韓國交易所面臨關閉或處于破產的邊緣.
1900/1/1 0:00:00親愛的用戶: 胖比特國際站已上線項目UnusSedLeo(LEO)并支持LEO/ETH交易對,現已開放交易.
1900/1/1 0:00:00一、“啟明星”的誕生 金融霸權沉疴已久,擁有先發優勢的群體一直在享受著金融霸權帶來的壟斷福利,強者恒強;而更多的地區和個人往往付出大量辛勤勞作,卻只是在替他人做嫁衣,弱者恒弱.
1900/1/1 0:00:00據了解,AminoNetwork是商業化落地的5G邊緣計算網絡,其穩健的通證經濟模型也讓社區日趨繁榮,成為一匹黑馬引起多方關注。近期發現,多個項目公然抄襲.
1900/1/1 0:00:00隨著區塊鏈技術的不斷發展,目前,大型支付公司正面臨著數字資產發展帶來的革命性壓力。這是一場順我者昌,逆我者亡的革命.
1900/1/1 0:00:00尊敬的用戶: BiKi.com將延遲VNC開放交易的時間,具體開放時間將以公告另行通知。 風險提示: 數字資產是創新的投資產品,價格波動較大,請您理性判斷自己的投資能力,謹慎做出投資決策.
1900/1/1 0:00:00