三大編程模型
——UTXO模型
首先,從比特幣開始。
比特幣又被稱為點對點電子支付系統,其使用名為UTXO的編程模型。
最簡單的方法是將UTXO看作一個盒子。該盒子包含一個表示貨幣價值的數字和一個鎖。只有拿著相應鑰匙的人才能打開盒子。當進行轉賬時,持有鑰匙的所有者或個人使用鑰匙解鎖,找到另一個空盒子,將新面值放入新盒子中,并附加一個新所有者的鎖。
整個交易可以概括為打開盒子,拿出里面的錢,摧毀原來的盒子,然后把它放在另一個盒子里。
總而言之,盒子表示存儲數據的UTXO模型,鎖表示所有權。
——Account模型
除了UTXO模型,還有Account模型。這個模型最著名的例子是以太坊。
除了數據,以太坊Account模型中還有計算邏輯。你可以將ERC20合約想象成一個盒子,盒子里沒有錢而是一組復雜的邏輯和數字。
與UTXO不同,Account模型的盒子始終可以重復使用,并且在其生命周期內無法打開。
當Account模型的盒子被制作出來時,一套規則會被寫進盒子里,而一些按鈕也會被放置在盒子中,這樣人們就可以和盒子互動了。例如,規則可能這樣表示:如果一方想轉賬,那么她或他或它需要出示身份證明的一種形式,并輸入密碼。一旦完成前面的步驟,就需要以下信息:轉賬金額、收件人和其他信息。一旦進入,她或他或者它需要按下轉移按鈕才能完成轉移。在收到信息后,它會從您的金額中扣除并更改到另一方的帳戶,然后更新所有內部數據。
亞馬遜推出類似元宇宙游戲指導用戶如何運用AWS:3月16日消息,亞馬遜發布了一款類似元宇宙的在線角色扮演游戲。在這款名為“AWS Cloud Quest”的游戲中,用戶可以創建自己的虛擬角色,在虛擬城市中穿梭,幫助居民解決與云相關的技術問題。亞馬遜表示,推出Cloud Quest是為了幫助解釋亞馬遜云服務(AWS)核心服務和類別,包括計算、存儲、數據庫和安全服務,以及指導基本云解決方案的構建。(CNBC)[2022/3/16 13:59:49]
熟悉編程的人會很快發現Account模型類似于現實世界中的OOP,按鈕的概念類似于API。
如果我們擴展盒子隱喻,以太坊的功能更像ATM機。
在Account模型中,該盒子保存邏輯和數據。在將邏輯寫入工廠設置的盒子后,永遠不能更改它。您只能在需要修改數據時使用外部按鈕。每個人的錢都記錄在盒子里。要進行事務時,只需要輸入事務信息,該盒子便會根據規則處理的請求進行數據更新。
——Cell模型
在Cell模型中,我們也可以將Cell看作一個盒子,因為它與UTXO模型非常相似,可以包含任意鎖定的任意對象。
你可以對該框執行并編寫一組規則來指定該盒子可以存儲什么。通過這種方式,單元內的數據可以表示貨或加密貓之類的資產。此外,UTXO中的鎖也是相同的。但是在單元格模型中,用戶可以自由地更改和使用定制的鎖。(你可以將普通掛鎖與指紋鎖或數字鎖做對比)
總的來說,Cell模型是一個廣義的UTXO模型,具有以下兩個意義:第一、鎖是可定制的;第二、盒子可以存儲用戶定義的數據。
央行行長易綱 :將繼續研究如何加強央行數字貨幣的風險管理:4月17日,財新舉辦主題為“金融科技與人民幣可自由使用”的研討會。中國人民銀行行長易綱在會上表示,央行數字貨幣項目已取得較大進展,當前階段在部分城市及部分場景進行內部封閉試點測試,同時表示“將繼續研究如何加強央行數字貨幣的風險管理,包括了解你的客戶(KYC)等。”
對于金融科技在此次疫情期間發揮的作用,易綱表示肯定,但也強調商業銀行依然是主力;科技公司積極參與有助于提升金融服務水平;人民幣國際化主要依靠市場驅動,平等競爭,中國會繼續推進金融開放和改革。[2020/5/4]
有些人可能會對Cell模型如何使用其編程模型感到好奇。
首先理解區塊鏈系統的演變是很重要的。比特幣是p2p支付系統的衍生,后來又誕生了更廣義的分散式應用平臺——以太坊。區塊鏈的進一步發展帶來了各種各樣的新項目,而且越來越多樣化。
由于需要全網共識的交易和存儲成本高昂,因此區塊鏈不可避免地采用一種架構。該架構允許在一致同意的范圍內實現靈活性,從而允許它們大規模地交付低成本交易。
兩大主要障礙
——可擴展性問題
繼續阻礙區塊鏈發展的一個障礙是可擴展性問題。如果我們無法緩解這一問題,區塊鏈能力將受到限制,我們將無法看到強大的高級應用程序的開發,繼而釋放分散經濟的真正潛力將面臨挑戰。
可擴展性是“區塊鏈三難”的一部分,其中還包括安全性和分散性。而一個區塊鏈系統最多可以具有三難困境中的2個。
聲音 | 迅雷鏈張慧勇:區塊鏈技術如何在實體經濟中應用是亟待解決的問題:5月15日,在世界智能大會2019全球區塊鏈科技創新峰會上,迅雷鏈開放平臺研發負責人張慧勇受邀出席了峰會并發表了“看迅雷鏈如何助力實體經濟”的演講。張慧勇表示,區塊鏈3.0時代亟待解決的問題是讓區塊鏈技術在實體經濟得以運用以發揮其價值。而只有符合實體企業應用需求的區塊鏈,才能真正落地。這就要求區塊鏈企業,從實體企業的現實需求出發,升級自己的技術架構,為實體經濟賦能構建有力基礎。迅雷鏈自2018年上線以來,始終在強化自身技術的同時踏實助力實體商業場景落地,已在版權、溯源、出行、營銷等多個領域有了規模級行業應用。[2019/5/16]
——交易成本問題
第二個障礙是交易成本問題。一個社會整體交易成本的降低是衡量一項技術在規模上可行性的最有力指標之一。由于需要全網共識的交易和存儲成本高昂,因此區塊鏈不可避免地采用一種架構。該架構允許在一致同意的范圍內實現靈活性,從而允許它們大規模地交付低成本交易。
解決方案:分層架構
計算機愛好者知道他們的設備包含一個復雜的分層架構。該分層架構中包括內存、硬盤、多級緩存和各種寄存器。這種架構允許普通大眾低成本使用,同時利用其可伸縮的能力以滿足不斷增長的計算挑戰。
我們可以將相同的設計原則應用于區塊鏈。通過分層的架構,可以創建經濟實惠且通用基礎設施。在我看來,這是區塊鏈驅動的世界唯一可行的未來。隨著Lightning、、Plasma和支付通道的興起,我們已經可以看到這種類型的架構正在興起以及它所促進的用例。在接近這種分層的區塊鏈架構時,重要的是要檢查構成區塊鏈系統的三種不同數據模型之間的關系:UTXO模型,Account模型和Cell模型。
聲音 | 華盛頓與李大學法學院教授:加密貨幣用途決定了如何監管:在美國眾議院農業委員會昨日舉辦的加密貨幣聽證會上,華盛頓與李大學法學院教授Josh Fairfield表示,加密貨幣的用途決定了如何對其進行監管。不同的人因為不同的目的而持有加密貨幣,有的為了消費,有的為了儲存,有的為了投機,有的為了交易,有的隨時改變主意,甚至在使用(消費或交易)加密貨幣之前,不知道其用途。Fairfield表示,一般情況下,加密貨幣作為個人財產持有和消費是沒有問題的,只有交易和投機才會引發監管方面的擔憂,尤其是一些從結構流程上看起來像是試圖繞過某些監管的交易。[2018/7/20]
——驗證與計算模型
Cell模型源自UTXO模型,因此是驗證模型。相反,Account模型是計算模型。
在資產從第2層返回到第1層時,第2層解決方案會利用證明提交和驗證機制。而由于第1層扮演的是驗證角色,而不是計算角色,因此我們可以看到UTXO或Cell模型是這種結構的合適方法。
——解決規模擴增性問題
目前,以太坊和“下一代”區塊鏈面臨著規模不斷增長的嚴峻挑戰。雖然大規模采用已實現突破,但全節點的數據存儲成本日漸增高,包括各種僵尸帳戶的擴增,也讓情況變得更糟。
使用Account模型時,所有用戶的資產都存儲在一個合約中。如果沒有直接的方法來為每個用戶分割狀態,則很難根據每個用戶占用狀態的容量和持續時間向他們收費。
同時,這對支付通道收費的實施也提出了挑戰。目前在以太坊,交易費用是一次性支付,授予永久性存儲。但鑒于區塊鏈是公共基礎設施,這種模式是不可持續的。我們可以看到,持續支付倉儲空間租金是一種更加合理的方式。
HeroNode創始人劉國平:工業革命以來最大的技術革命——區塊鏈如何實現去中心化:近日,HeroNode 創始人劉國平受邀前往平安總部進行區塊鏈技術演講。會上,劉國平就“區塊鏈到底是什么”和“區塊鏈有什么特點”兩個問題,用通俗易懂的語言深入淺出地進行講解,并著重介紹了區塊鏈對現有公司業務的挑戰。劉國平,區塊鏈應用技術專家、比特幣第一批礦工、Hero 移動跨平臺框架開發創始人,Hero 理事會會長。曾任職萬得資訊、第九城市、點融網等知名互聯網公司負責技術研發、并深度參與點融網區塊鏈應用場景開發。[2018/4/2]
在Cell模型中,每個用戶的數字資產分別存儲在各自的單元中。如果用戶不想繼續持有資產,則可以釋放單元中的數據,并且可以將存儲容量出售或借給其他用戶。這種設計確保了第1層不會無限期地存儲廢棄的資產,并為狀態存儲開辟了新的可能性。
結論
總的來說,當考慮存儲和驗證要求時,Cell模型最適合分層區塊鏈架構的需求。
附:UTXO與ACCOUNT優缺點對比
UTXO模型
UTXO模型中,交易只是代表了UTXO集合的變更。而賬戶和余額的概念是在UTXO集合上更高的抽象,賬號和余額的概念只存在于錢包中。
優點:
計算是在鏈外的,交易本身既是結果也是證明。節點只做驗證即可,不需要對交易進行額外的計算,也沒有額外的狀態存儲。交易本身的輸出UTXO的計算是在錢包完成的,這樣交易的計算負擔完全由錢包來承擔,一定程度上減少了鏈的負擔。
除Coinbase交易外,交易的Input始終是鏈接在某個UTXO后面。交易無法被重放,并且交易的先后順序和依賴關系容易被驗證,交易是否被消費也容易被舉證。
UTXO模型是無狀態的,更容易并發處理。
對于P2SH類型的交易,具有更好的隱私性。交易中的Input是互不相關聯的,可以使用CoinJoin這樣的技術,來增加一定的隱私性。
缺點:
無法實現一些比較復雜的邏輯,可編程性差。對于復雜邏輯,或者需要狀態保存的合約,實現難度大,且狀態空間利用率比較低。
當Input較多時,見證腳本也會增多。而簽名本身是比較消耗CPU和存儲空間的。
ACCOUNT模型
對于Account模型,Account模型保存了世界狀態,鏈的狀態一般在區塊中以StateRoot和ReceiptRoot等形式進行共識。交易只是事件本身,不包含結果,交易的共識和狀態的共識本質上可以隔離的。
優點:
合約以代碼形式保存在Account中,并且Account擁有自身狀態。這種模型具有更好的可編程性,容易開發人員理解,場景更廣泛。
批量交易的成本較低。設想礦池向礦工支付手續費,UTXO中因為每個Input和Out都需要單獨Witnessscript或者Lockingscript,交易本身會非常大,簽名驗證和交易存儲都需要消耗鏈上寶貴的資源。而Account模型可以通過合約的方式極大的降低成本。
缺點:
Account模型交易之間沒有依賴性,需要解決重放問題。
對于實現閃電網絡/雷電網絡,Plasma等,用戶舉證需要更復雜的Proof證明機制,子鏈向主鏈進行狀態遷移需要更復雜的協議。
UTXOVSACCOUNT
對于以上幾個優點和缺點,我們再做一些分析和對比。
第一,關于計算的問題。
UTXO交易本身對于區塊鏈并沒有復雜的計算,這樣簡單的講其實并不完全準確。主要原因是Bitcoin本身的交易多為P2SH,且Witnessscript是非圖靈完備的,不存在循環語句。而對于Account模型,例如Ethereum,由于計算多在鏈上,且為圖靈完備,一般計算較為復雜,同時合約安全性就容易成為一個比較大的問題。當然是否圖靈完備對于是否是賬戶模型并沒有直接關聯。但是賬戶模型引入之后,合約可以作為一個不受任何人控制的獨立實體存在,這一點意義重大。
第二,關于UTXO更易并發的問題。
在UTXO模型中,世界狀態即為UTXO的集合,節點為了更快的驗證交易,需要在內存中存儲所有的UTXO的索引,因此UTXO是非常昂貴的。對于長期不消費的UTXO,會一直占用節點的內存。所以對于此種模型,理論上應該鼓勵用戶減少生產UTXO,多消耗UTXO。但是如果要使用UTXO進行并行交易則需要更多的UTXO作為輸入,同時要產生更多的UTXO來保證并發性,這本質上是對網絡進行了粉塵攻擊。并且由于交易是在錢包內構造,所以需要錢包更復雜的設計。反觀Account模型,每個賬戶可以看成是單獨的互不影響的狀態機,賬戶之間通過消息進行通信。所以理論上用戶發起多筆交易時,當這些交易之間不會互相調用同一Account時,交易是完全可以并發執行的。
第三,關于Account模型的交易重放問題。
Ethereum使用了在Account中增加nonce的方式,每筆交易對應一個nonce,nonce每次遞增。這種方式雖然意在解決重放的問題,但是同時引入了順序性問題,同時使得交易無法并行。例如在Ethereum中,用戶發送多筆交易,如果第一筆交易打包失敗,將引起后續多筆交易都打包不成功。在CITA中我們使用了隨機nonce的方案,這樣用戶的交易之間沒有順序性依賴,不會引起串聯性失敗,同時使得交易有并行處理的可能。
第四,存儲問題。
因為UTXO模型中,只能在交易中保存狀態。而Account模型的狀態是在節點保存,在Ethereum中使用MPT的方式存儲,Block中只需要共識StateRoot等即可。這樣對于鏈上數據,Account模型實際更小,網絡傳輸的量更小,同時狀態在節點本地使用MPT方式保存,在空間使用上也更有效率。例如A向B轉賬,如果在UTXO中假設存在2個Input和2個Output,則需要2個Witnessscript和2個Lockingscript;在Account模型中則只需要一個簽名,交易內容只包含金額即可。在最新的隔離見證實現后,Bitcoin的交易數據量也大大減少,但是實際上對于驗證節點和全節點仍然需要針對Witnessscript進行傳輸和驗證。
第五,對于輕節點獲取某一地址狀態,UTXO更復雜。
例如錢包中,需要向全節點請求所有關于某個地址的所有UTXO,全節點可以發送部分UTXO,錢包要驗證該筆UTXO是否已經被消費,有一定的難度,而且錢包很難去證明UTXO是全集而不是部分集合。而對于Account模型則簡單很多,根據地址找到State中對應狀態,當前狀態的StateProof則可以證明合約數據的真偽。當然對于UTXO也可以在每個區塊中對UTXO的root進行驗證,這一點與當前Bitcoin的實現有關,并非UTXO的特點。
來源:hackernoon.com
編譯:共享財經馬明
原創:市后諸葛 以太坊2.0的信標鏈測試工作陸續完成,Casper也再次進入到公眾視野。所謂casper,就是以太坊2.0舍棄pow,進入pos之后所要采用的全新共識協議.
1900/1/1 0:00:00Facebook即將推出穩定幣,早就成為不是新聞的新聞,扎克伯格多次在公開場合談及臉書的穩定幣計劃,各路媒體也競相報道.
1900/1/1 0:00:006月12日,距離理財錢包TokenStore疑似跑路已過去3天。今天,各地維權人員仍在積極奔走,到相關部門反映情況.
1900/1/1 0:00:00投資在區塊鏈行業是剛需,區塊鏈作為一個新興行業,機會多風險更多。一些項目讓一些人獲得了豐厚回報,但更多項目讓大多數人血本無歸,巨大的財富伴隨著巨大的風險.
1900/1/1 0:00:00摘要:Cosmos怎樣解決今天最難的區塊鏈問題。讓我們從查看聲明開始這篇Cosmos代碼回顧。就這一個,因為這是個大問題。“Cosmos解決了今天最難的區塊鏈問題.
1900/1/1 0:00:00HALO短評: 據統計,鯨魚地址35hK24tcLEWcgNA4JxpvbkNkoAcDGqQPsP在5月24日出現18892個BTC和6月5日出現了多達116456個BTC轉入.
1900/1/1 0:00:00