Solidity編程語(yǔ)言是一門(mén)基于以太坊(Ethereum)的區(qū)塊鏈語(yǔ)言。深入淺出Solidity系列文章將介紹該語(yǔ)言的一些特點(diǎn)舶衬,希望能給大家?guī)?lái)一些深入的了解重贺。
說(shuō)到Solidity的地址就不得不先提到比特幣的UXTO模型耿导。
UXTO是什么声怔?
UXTO是Unspend Transaction Output
的縮寫(xiě),意指未花費(fèi)的交易輸出舱呻。我們都知道比特幣是一個(gè)超級(jí)帳本醋火,整個(gè)系統(tǒng)記錄的就是一筆筆操作。舉例來(lái)說(shuō):小明有20元箱吕,要向只有5元的小紅轉(zhuǎn)帳10元芥驳,可以將上述操作表述為:
操作({ 小明:20,小紅: 5 }茬高,“從小明到小紅發(fā)送10元”) = { 小明:10兆旬,小紅:15元 }
要想知道當(dāng)前小明的余額(狀態(tài)),就得從整個(gè)帳本記錄的第一筆操作開(kāi)始推算小明未被花費(fèi)的錢(qián)怎栽。推算都誰(shuí)轉(zhuǎn)過(guò)給他丽猬,他轉(zhuǎn)給其它人多少,最后余額是否如他現(xiàn)在所說(shuō)熏瞄,檢查確認(rèn)金額正確且是小明本人后才會(huì)記錄這樣一筆操作脚祟,當(dāng)然在這之后,小明的余額就只有10元了强饮。
整個(gè)系統(tǒng)實(shí)際沒(méi)有提供一種帳戶的概念愚铡,比如一查小明的帳戶就知道當(dāng)前的余額了,而是要推演所有未花的操作輸出。白皮書(shū)內(nèi)還為我們羅列了UTXO模型其它的一些缺點(diǎn) [^以太坊白皮書(shū):https://github.com/ethereum/wiki/wiki/White-Paper#scripting] :
價(jià)值盲(Value-blindness)沥寥。UTXO腳本不能為賬戶的取款額度提供精細(xì)的控制。例如柠座,預(yù)言機(jī)合約(oracle contract)的一個(gè)強(qiáng)大應(yīng)用是對(duì)沖合約邑雅,A和B各自向?qū)_合約中發(fā)送價(jià)值1000美元的比特幣,30天以后妈经,腳本向A發(fā)送價(jià)值1000美元的比特幣淮野,向B發(fā)送剩余的比特幣。雖然實(shí)現(xiàn)對(duì)沖合約需要一個(gè)預(yù)言機(jī)(oracle)決定一比特幣值多少美元吹泡,但是與現(xiàn)在完全中心化的解決方案相比骤星,這一機(jī)制已經(jīng)在減少信任和基礎(chǔ)設(shè)施方面有了巨大的進(jìn)步。然而爆哑,因?yàn)閁TXO是不可分割的洞难,為實(shí)現(xiàn)此合約,唯一的方法是非常低效地采用許多有不同面值的UTXO(例如對(duì)應(yīng)于最大為30的每個(gè)k揭朝,有一個(gè)2^k 的UTXO)并使預(yù)言機(jī)挑出正確的UTXO發(fā)送給A和B队贱。
缺少狀態(tài) – UTXO只能是已花費(fèi)或者未花費(fèi)狀態(tài),這就沒(méi)有給需要任何其它內(nèi)部狀態(tài)的多階段合約或者腳本留出生存空間潭袱。這使得實(shí)現(xiàn)多階段期權(quán)合約柱嫌、去中心化的交換要約或者兩階段加密承諾協(xié)議(對(duì)確保計(jì)算獎(jiǎng)勵(lì)非常必要)非常困難。這也意味著UTXO只能用于建立簡(jiǎn)單的屯换、一次性的合約编丘,而不是例如去中心化組織這樣的有著更加復(fù)雜的狀態(tài)的合約,使得元協(xié)議難以實(shí)現(xiàn)彤悔。二元狀態(tài)與價(jià)值盲結(jié)合在一起意味著另一個(gè)重要的應(yīng)用嘉抓,取款限額,是不可能實(shí)現(xiàn)的蜗巧。
區(qū)塊鏈盲(Blockchain-blindness)- UTXO看不到區(qū)塊鏈的數(shù)據(jù)掌眠,例如隨機(jī)數(shù)和上一個(gè)區(qū)塊的哈希。這一缺陷剝奪了腳本語(yǔ)言所擁有的基于隨機(jī)性的潛在價(jià)值幕屹,嚴(yán)重地限制了博彩等其它領(lǐng)域應(yīng)用蓝丙。
由于UTXO的上述問(wèn)題,且以太坊的目的是基于腳本望拖、競(jìng)爭(zhēng)幣和鏈上元協(xié)議(on-chain meta-protocol)概念進(jìn)行整合和提高渺尘,使得開(kāi)發(fā)者能夠創(chuàng)建任意的基于共識(shí)的、可擴(kuò)展的说敏、標(biāo)準(zhǔn)化的鸥跟、特性完備的、易于開(kāi)發(fā)的和協(xié)同的應(yīng)用。最后以太坊選擇了自已的帳戶模型[^更多信息參考accounts-and-not-utxos:https://github.com/ethereum/wiki/wiki/Design-Rationale#accounts-and-not-utxos] 医咨。
地址(Address)
地址(Address
)枫匾,代表一個(gè)帳戶。帳戶可以是普通的個(gè)人帳戶拟淮,也可以是包含代碼的合約帳戶干茉。所以地址某些時(shí)候代表的就是一份合約代碼。
address
: 20字節(jié)很泊,是所有合約的基礎(chǔ)角虫,且包含自有的一些成員變量。
支持的操作符有<=
委造,<
戳鹅,==
,!=
昏兆,=
和>
枫虏。
Address的成員
balance
和send()
: 可以用balance
查詢地址的余額,使用send()
來(lái)向某個(gè)地址轉(zhuǎn)帳(貨幣單位是wei
)亮垫。在支付相關(guān)的章節(jié)模软,我們會(huì)詳細(xì)介紹如何使用。
call()
饮潦,callcode()
燃异,delegatecall()
:支持傳入任意類型的任意參數(shù)來(lái)直接與合約進(jìn)行交互。在call继蜡,callcod回俐,delegatecall介紹章節(jié),我們會(huì)詳細(xì)介紹如何使用稀并。
由于所有的合約都繼承了地址的這些成員仅颇,所以你可以直接在當(dāng)前合約中使用this.balance
來(lái)查詢當(dāng)前合約的余額。
pragma solidity ^0.4.0;
contract Address {
function getBalance() returns (uint) {
return this.balance;//0
}
}
參考資料:
[^balance和send:http://solidity.readthedocs.io/en/develop/types.html#members-of-addresses]
[^call碘举,callcode和delegatecall:http://solidity.readthedocs.io/en/develop/types.html#members-of-addresses]
關(guān)于作者
專注基于以太坊(Ethereum)的相關(guān)區(qū)塊鏈(Blockchain)技術(shù)忘瓦,了解以太坊,Solidity引颈,Truffle等耕皮。個(gè)人博客:http://me.tryblockchain.org