買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > Bitcoin > Info

UNT:如何解決比特幣和以太坊編程模型中存在的問題_Meta Course

Author:

Time:1900/1/1 0:00:00

三大編程模型

——UTXO模型

首先,從比特幣開始。

比特幣又被稱為點對點電子支付系統,其使用名為UTXO的編程模型。

最簡單的方法是將UTXO看作一個盒子。該盒子包含一個表示貨幣價值的數字和一個鎖。只有拿著相應鑰匙的人才能打開盒子。當進行轉賬時,持有鑰匙的所有者或個人使用鑰匙解鎖,找到另一個空盒子,將新面值放入新盒子中,并附加一個新所有者的鎖。

整個交易可以概括為打開盒子,拿出里面的錢,摧毀原來的盒子,然后把它放在另一個盒子里。

總而言之,盒子表示存儲數據的UTXO模型,鎖表示所有權。

——Account模型

除了UTXO模型,還有Account模型。這個模型最著名的例子是以太坊。

除了數據,以太坊Account模型中還有計算邏輯。你可以將ERC20合約想象成一個盒子,盒子里沒有錢而是一組復雜的邏輯和數字。

與UTXO不同,Account模型的盒子始終可以重復使用,并且在其生命周期內無法打開。

當Account模型的盒子被制作出來時,一套規則會被寫進盒子里,而一些按鈕也會被放置在盒子中,這樣人們就可以和盒子互動了。例如,規則可能這樣表示:如果一方想轉賬,那么她或他或它需要出示身份證明的一種形式,并輸入密碼。一旦完成前面的步驟,就需要以下信息:轉賬金額、收件人和其他信息。一旦進入,她或他或者它需要按下轉移按鈕才能完成轉移。在收到信息后,它會從您的金額中扣除并更改到另一方的帳戶,然后更新所有內部數據。

Polychain Capital實習生展示如何使用100美元對CheapETH進行51%攻擊:風險投資公司Polychain Capital的18歲實習生Anish Agnihotri展示了51%攻擊的工作方式,以達到教育目的。Agnihotri選擇了CheapETH來進行實驗。為了發動攻擊,Agnihotri租用了能夠每秒執行14.4億哈希的挖礦設備。這樣一來,他就可以占據該網絡哈希率的72%左右。此外,他還租用了虛擬機來運行區塊鏈。總費用不到100美元。(The Block)[2021/5/18 22:12:59]

熟悉編程的人會很快發現Account模型類似于現實世界中的OOP,按鈕的概念類似于API。

如果我們擴展盒子隱喻,以太坊的功能更像ATM機。

在Account模型中,該盒子保存邏輯和數據。在將邏輯寫入工廠設置的盒子后,永遠不能更改它。您只能在需要修改數據時使用外部按鈕。每個人的錢都記錄在盒子里。要進行事務時,只需要輸入事務信息,該盒子便會根據規則處理的請求進行數據更新。

——Cell模型

在Cell模型中,我們也可以將Cell看作一個盒子,因為它與UTXO模型非常相似,可以包含任意鎖定的任意對象。

你可以對該框執行并編寫一組規則來指定該盒子可以存儲什么。通過這種方式,單元內的數據可以表示貨或加密貓之類的資產。此外,UTXO中的鎖也是相同的。但是在單元格模型中,用戶可以自由地更改和使用定制的鎖。(你可以將普通掛鎖與指紋鎖或數字鎖做對比)

直播|Claire Wu&馬靜 > 穩定幣和DeFi如何出圈:金色財經 · 直播主辦的《 幣圈 “后浪” 仙女直播周》第6期直播中,本期“后浪”仙女魔笛手技術開發社區創始人Claire Wu & MYKEY市場負責人 馬靜將在直播間聊聊“穩定幣和DeFi如何出圈”,感興趣的朋友掃碼移步收聽![2020/6/24]

總的來說,Cell模型是一個廣義的UTXO模型,具有以下兩個意義:第一、鎖是可定制的;第二、盒子可以存儲用戶定義的數據。

有些人可能會對Cell模型如何使用其編程模型感到好奇。

首先理解區塊鏈系統的演變是很重要的。比特幣是p2p支付系統的衍生,后來又誕生了更廣義的分散式應用平臺——以太坊。區塊鏈的進一步發展帶來了各種各樣的新項目,而且越來越多樣化。

由于需要全網共識的交易和存儲成本高昂,因此區塊鏈不可避免地采用一種架構。該架構允許在一致同意的范圍內實現靈活性,從而允許它們大規模地交付低成本交易。

兩大主要障礙

——可擴展性問題

繼續阻礙區塊鏈發展的一個障礙是可擴展性問題。如果我們無法緩解這一問題,區塊鏈能力將受到限制,我們將無法看到強大的高級應用程序的開發,繼而釋放分散經濟的真正潛力將面臨挑戰。

可擴展性是“區塊鏈三難”的一部分,其中還包括安全性和分散性。而一個區塊鏈系統最多可以具有三難困境中的2個。

——交易成本問題

第二個障礙是交易成本問題。一個社會整體交易成本的降低是衡量一項技術在規模上可行性的最有力指標之一。由于需要全網共識的交易和存儲成本高昂,因此區塊鏈不可避免地采用一種架構。該架構允許在一致同意的范圍內實現靈活性,從而允許它們大規模地交付低成本交易。

大咖零距離 | 疫情行情下 如何使用纏論量化交易:2月15日9:00,金色盤面邀請纏論大師琛實投資做客金色財經《大咖零距離》直播間,將分享《疫情行情下 如何使用纏論量化交易》,敬請關注,欲進群觀看直播掃描海報二維碼報名即可![2020/2/14]

解決方案:分層架構

計算機愛好者知道他們的設備包含一個復雜的分層架構。該分層架構中包括內存、硬盤、多級緩存和各種寄存器。這種架構允許普通大眾低成本使用,同時利用其可伸縮的能力以滿足不斷增長的計算挑戰。

我們可以將相同的設計原則應用于區塊鏈。通過分層的架構,可以創建經濟實惠且通用基礎設施。在我看來,這是區塊鏈驅動的世界唯一可行的未來。隨著Lightning、、Plasma和支付通道的興起,我們已經可以看到這種類型的架構正在興起以及它所促進的用例。在接近這種分層的區塊鏈架構時,重要的是要檢查構成區塊鏈系統的三種不同數據模型之間的關系:UTXO模型,Account模型和Cell模型。

——驗證與計算模型

Cell模型源自UTXO模型,因此是驗證模型。相反,Account模型是計算模型。

在資產從第2層返回到第1層時,第2層解決方案會利用證明提交和驗證機制。而由于第1層扮演的是驗證角色,而不是計算角色,因此我們可以看到UTXO或Cell模型是這種結構的合適方法。

——解決規模擴增性問題

目前,以太坊和“下一代”區塊鏈面臨著規模不斷增長的嚴峻挑戰。雖然大規模采用已實現突破,但全節點的數據存儲成本日漸增高,包括各種僵尸帳戶的擴增,也讓情況變得更糟。

聲音 | 賽迪智庫張凱:區塊鏈如何賦能數字經濟和實體經濟將是未來政策關注的重點:金色財經報道,賽迪智庫工業經濟研究所研究員張凱表示,當今社會是數據爆炸的時代,區塊鏈能夠幾乎零成本地解決所有因信任不足導致的問題,是數據時代隱私和安全的最佳解決方案。區塊鏈如何賦能數字經濟和實體經濟將是未來政策關注的重點,圍繞數字金融、物聯網、智能制造、供應鏈管理等,相關區塊鏈創新應用的鼓勵政策有望出臺。同時,對于區塊鏈技術應用行業亂象,相關規范政策也很有必要。張凱還表示,在產業上,隨著國家明確表態支持區塊鏈技術,各地區塊鏈產業基金投向將更加明確,支撐區塊鏈發展的基礎設施有望迎來升級,同時帶動區塊鏈在稅收、司法,不動產登記等政務領域,醫療、食品安全、公益等民生領域,供應鏈金融、保險、版權、跨境支付等商業領域迎來突破性應用落地。[2019/11/2]

使用Account模型時,所有用戶的資產都存儲在一個合約中。如果沒有直接的方法來為每個用戶分割狀態,則很難根據每個用戶占用狀態的容量和持續時間向他們收費。

同時,這對支付通道收費的實施也提出了挑戰。目前在以太坊,交易費用是一次性支付,授予永久性存儲。但鑒于區塊鏈是公共基礎設施,這種模式是不可持續的。我們可以看到,持續支付倉儲空間租金是一種更加合理的方式。

在Cell模型中,每個用戶的數字資產分別存儲在各自的單元中。如果用戶不想繼續持有資產,則可以釋放單元中的數據,并且可以將存儲容量出售或借給其他用戶。這種設計確保了第1層不會無限期地存儲廢棄的資產,并為狀態存儲開辟了新的可能性。

歐鏈老狼:全球出塊節點大致分為三個組,每個組都在預演如何啟動EOS網絡:EOS超級節點競選團隊歐鏈的老狼在《歐鏈·寧話區塊鏈》第二季的節目中稱 “全球出塊節點大致分為三個組,每個組都在預演如何從無到有啟動EOS網絡。具體什么時候主網上線,需要大家一起協同來做。或許在某一個預定的時間點,大家覺得有些準備工作沒有做好,希望把這個時間點再往后延一點,這種情況是有可能發生的。”[2018/6/2]

結論

總的來說,當考慮存儲和驗證要求時,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

編譯:共享財經馬明

Tags:UNTCCOCOUACCCoinhuntersCCOM幣Meta CourseSPACC

Bitcoin
BIT:陳如波律師:孫宇晨說自己“合法合規”站得住腳嗎?_TOKEN

在高調宣布拍下巴菲特午宴之后,孫宇晨惹來議論紛紛。善于抓熱點的他“趁機”懟王小川、懟王思聰、懟大陸媒體、懟傳統金融市場,進而引來吃瓜群眾對此事進一步關注.

1900/1/1 0:00:00
LEC:互聯網顛覆者----IPFS_FIL

IPFS在2017年8月份創紀錄地募集到了2.5億美金,而這次TokenSale僅僅只出售10%的代幣,這意味著IPFS還沒正式上線,市值已經達到了25億美金.

1900/1/1 0:00:00
EDG:鎖ETH得新幣 紅遍硅谷的波卡皇太子你還不知道?_Ledger Pay

飄忽的兩波行情過去之后,區塊鏈與加密貨幣圈又陷入了平靜。6月以來,一個名為Edgeware項目的糖果分發活動卻在美國加密貨幣圈小火了一下,由于是明星項目Polkadot的第一條平行鏈,在平靜的幣.

1900/1/1 0:00:00
STAK:不容忽視的 PoS 安全性問題_POS

LongHash在之前的兩篇文章》和《如何獲取最大收益——搞懂Staking商業中的五個基本元素》)提過一些與持幣人直接相關的PoS風險問題,本文將深入探討安全風險問題.

1900/1/1 0:00:00
區塊鏈:帶寬與區塊鏈:開發人員如何最小化負擔_SSV

JordanClifford文本文由幣信原創編譯,原文鏈接:https://medium.com/scalar-capital/bandwidth-and-the-blockchain-2ad3.

1900/1/1 0:00:00
VER:區塊鏈當“證人” 有喜也有憂_Nimbus Governance Token

最近,視覺中國再次被卷入輿論漩渦。6月1日,“@蘑菇攝手黃耀華”發微博稱,視覺中國侵犯其圖片版權,裁掉了他的圖片水印以此牟利.

1900/1/1 0:00:00
ads