以太坊基礎(chǔ)概念詳解

pingink 發(fā)布于2019-06-27 18:18 / 1868人閱讀

摘要：主要講解以太坊中的一些基本元素，如區(qū)塊賬戶狀態(tài)交易費(fèi)用等。所以它表示的是整個以太坊系統(tǒng)所有賬戶當(dāng)前的狀態(tài)。賬戶以太坊中有兩種賬戶外部擁有賬戶，一般指自然人擁有的賬戶?？偨Y(jié)以上就是以太坊里的一些基礎(chǔ)元素，沒有講到復(fù)雜的交易執(zhí)行等，后續(xù)再寫。

本文不講區(qū)塊鏈，也就意味著你有一些區(qū)塊鏈的基本認(rèn)知。
主要講解以太坊中的一些基本元素，如：區(qū)塊、賬戶、狀態(tài)、交易、費(fèi)用等。因這些概念之間相互緊密聯(lián)系，雖描述的時候盡量分出層級，但提醒看官看得時候可以前后翻閱。

對以太坊的解剖按從整體到局部的思路進(jìn)行：

1、以太坊

以太坊可以用幾句話道出其本質(zhì)：

以太坊是一個基于交易的狀態(tài)機(jī)。

全球就這一臺單機(jī)（但分布存在），【系統(tǒng)狀態(tài)】不停的改變。系統(tǒng)狀態(tài)是一個術(shù)語，即后面講到的world state。

這臺單機(jī)主要由區(qū)塊鏈組成，區(qū)塊鏈上保存著狀態(tài)和交易。

當(dāng)我們與以太坊交互時，其實就是在執(zhí)行交易、改變系統(tǒng)狀態(tài)。

用一個簡潔優(yōu)美的公式表示就是：

σ′ =Υ(σ,T)

Υ是狀態(tài)轉(zhuǎn)換函數(shù)，T是交易，σ是狀態(tài)，σ′轉(zhuǎn)換后的狀態(tài)。

借用一張圖吧

從創(chuàng)世區(qū)塊開始，無盡的交易不斷的刷新著系統(tǒng)當(dāng)前狀態(tài)，每產(chǎn)生一個區(qū)塊就對當(dāng)前狀態(tài)做一次快照（patricia trie根）存入?yún)^(qū)塊頭中。

patricia trie是merkle tree的變體，請自行了解merkle tree。

2、區(qū)塊結(jié)構(gòu)

再看一個公式

B≡ (B_H,B_T,B_U)

意思是區(qū)塊恒等于(區(qū)塊頭,交易列表,叔塊)

所以，區(qū)塊是由三大部分組成：
區(qū)塊頭，叔塊，交易列表。請看圖：

1）區(qū)塊頭由15個字段組成。
2）叔塊其實就是孤塊，因以太坊出塊速度很快平均十幾秒就會打包生成一個塊，所以礦工挖礦的競爭性很高，可能同時產(chǎn)出幾個都合法的區(qū)塊，以太坊為了一些安全性起見，允許競爭塊也掛在到主鏈上，同時給與挖出這些孤塊的礦工們少許獎勵增加工作的公平性。這些孤塊最多允許6個高度，這也是6個區(qū)塊確認(rèn)主鏈說法的來源。
3）交易列表，存儲的是本區(qū)塊中所有的交易內(nèi)容。

圖中的公式后面說。

看一下一個實際的區(qū)塊信息：

"blocks" : [
            {
                "blockHeader" : {
                    "bloom" : "0x00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
                    "coinbase" : "0x3535353535353535353535353535353535353535",
                    "difficulty" : "0x020000",
                    "extraData" : "",
                    "gasLimit" : "0x05f5e100",
                    "gasUsed" : "0x014fa1",
                    "hash" : "0x39f4659b079e257df8fd7e699528531e97a6b8a442ca0d11200c4a2f7433c483",
                    "mixHash" : "0x7379f33af4ae2db7e293f808a165135d0b1a99572cc96fb9f7d17ef64a751969",
                    "nonce" : "0x8e08d7aabeee8773",
                    "number" : "0x01",
                    "parentHash" : "0xadbef3bf0b3b7b14f6e7b1a45d240ecc863543a279a86c23f60170e8e7a6bcc3",
                    "receiptTrie" : "0xb21660268480338c0cd0613358315359b619bd527d5850949c4863cddaec316b",
                    "stateRoot" : "0xde4ce9b5b2f88ab1680962c64281224b1743bdf94bd6a9e390ea779ff616c1f7",
                    "timestamp" : "0x03e8",
                    "transactionsTrie" : "0x56445ba866f3e41851154fb8700dcec8556a178f1833021e030b8a47b494769d",
                    "uncleHash" : "0x1dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347"
                },
                "rlp" : "0xf90308f901f9a0adbef3bf0b3b7b14f6e7b1a45d240ecc863543a279a86c23f60170e8e7a6bcc3a01dcc4de8dec75d7aab85b567b6ccd41ad312451b948a7413f0a142fd40d49347943535353535353535353535353535353535353535a0de4ce9b5b2f88ab1680962c64281224b1743bdf94bd6a9e390ea779ff616c1f7a056445ba866f3e41851154fb8700dcec8556a178f1833021e030b8a47b494769da0b21660268480338c0cd0613358315359b619bd527d5850949c4863cddaec316bb901000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000083020000018405f5e10083014fa18203e880a07379f33af4ae2db7e293f808a165135d0b1a99572cc96fb9f7d17ef64a751969888e08d7aabeee8773f90108f90105460183030d4094c305c901078781c232a2a521c2af7980f8385ee980b8a430c8d1da000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000230644e72e131a029b85045b68181585d2833e84879b9709143e1f593f00000001ba021a28cc82b40931239f8653ffa5300e1a506c0ef7fb79a663772cafe6558ab44a075af23441f7f176a2770af41142c77b671391209b15d59144e7a1332179b5e14c0",
                "transactions" : [
                    {
                        "data" : "0x30c8d1da000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000230644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000000",
                        "gasLimit" : "0x030d40",
                        "gasPrice" : "0x01",
                        "nonce" : "0x46",
                        "r" : "0x21a28cc82b40931239f8653ffa5300e1a506c0ef7fb79a663772cafe6558ab44",
                        "s" : "0x75af23441f7f176a2770af41142c77b671391209b15d59144e7a1332179b5e14",
                        "to" : "0xc305c901078781c232a2a521c2af7980f8385ee9",
                        "v" : "0x1b",
                        "value" : "0x00"
                    }
                ],
                "uncleHeaders" : [
                ]
            }
        ]

3、區(qū)塊頭

區(qū)塊頭包含15個字段，介紹如下：

type Header struct {
        ParentHash  common.Hash    //Hp，上一區(qū)塊全部內(nèi)容的hash，區(qū)塊因它而成鏈！
        UncleHash   common.Hash    //Ho，本區(qū)塊的ommers（所有叔塊）列表的hash
        Coinbase    common.Address //Hc，成功挖出本區(qū)塊的礦工地址，用于接收礦工費(fèi)
        Root        common.Hash    //Hr，本區(qū)塊所有交易的狀態(tài)tree的根hash
        TxHash      common.Hash    //Ht，本區(qū)塊所有交易tree的根hash
        ReceiptHash common.Hash    //He，本區(qū)塊所有交易的收據(jù)的tree的根hash
        Bloom       Bloom          //Hb，交易收據(jù)日志組成的Bloom過濾器 
        Difficulty  *big.Int       //Hd，本區(qū)塊難度級別
        Number      *big.Int       //Hi，區(qū)塊序號，從創(chuàng)世塊0遞增
        GasLimit    uint64         //Hl，每個區(qū)塊當(dāng)前的gas limit
        GasUsed     uint64         //Hg，本區(qū)塊交易消耗的總gas
        Time        *big.Int       //Hs，本區(qū)塊創(chuàng)建時的Unix時間戳
        Extra       []byte         //Hx，區(qū)塊附加數(shù)據(jù)，<=32字節(jié)
        MixDigest   common.Hash    //Hm，256位的hash，與nonce組合證明出塊執(zhí)行了足夠的計算
        Nonce       BlockNonce     //Hn，64位的hash，與MixDigest組合證明出塊執(zhí)行了足夠的計算
}

首先，ParentHash是上一個區(qū)塊全部內(nèi)容的hash值，下一個區(qū)塊總是包含上一個區(qū)塊全部內(nèi)容的hash值，這就使得區(qū)塊成鏈。

再次，有三個特別的字段保存的是patricia trie的根，Root（狀態(tài)hash）、TxHash（交易列表hash）、ReceiptHash(收據(jù)列表hash)。這個Root就是系統(tǒng)狀態(tài)hash。系統(tǒng)狀態(tài)就是以太坊整個網(wǎng)絡(luò)中所有賬戶的狀態(tài)，就是world state，它是一個merkle patricia trie結(jié)構(gòu)。這個樹（包括所有patricia trie）并不存在于區(qū)塊，而存在于節(jié)點的levelDB中。只有它的根hash存在于區(qū)塊頭Root中，每一個區(qū)塊頭里的Root都是區(qū)塊被挖出確認(rèn)時的快照，而world state指現(xiàn)在所有賬戶的狀態(tài)。

world state是跨塊存在的，另外兩棵樹只存儲本區(qū)塊的交易和收據(jù)。

4、world state

再說一下world state：
world state是一顆全局狀態(tài)樹，在以太坊里只有一個，它被持續(xù)地更新。
這棵樹包含了以太坊網(wǎng)絡(luò)里每一個賬戶的key/value映射。
所以它表示的是整個以太坊系統(tǒng)所有賬戶當(dāng)前的狀態(tài)。

其折疊函數(shù)是：

L_S(σ) ≡ {p(a) : σ[a]≠ ?}

意味著非空p(a)的集合，p(a)就是patrcia 葉子節(jié)點的內(nèi)容：

p(a) ≡  （KEC(a), RLP((σ[a]n, σ[a]b, σ[a]s, σ[a]c))）

這表示一個葉子節(jié)點是一個key/value映射，key是KEC(a)即160位的賬戶地址的哈希(Keccak-256算法)，value是賬戶（nonce、balance、storageRoot、codeHash）的RLP格式序列化字節(jié)。

5、賬戶

以太坊中有兩種賬戶
1、外部擁有賬戶（EOA），一般指自然人擁有的賬戶。
2、合約賬戶（CA），為智能合約分配的賬戶。

看一下賬戶的源碼定義：

type Account struct {
    Nonce    uint64      // σ[a]n ,若為EOA是發(fā)送的交易序號，如為CA是合約創(chuàng)建的序號。
    Balance  *big.Int    // σ[a]b ，這個地址的余額。
     //merkle root of the storage trie
    Root     common.Hash // σ[a]s ，賬戶自身內(nèi)容RPL編碼組成的Merkle Trie的根哈希
    CodeHash []byte      // σ[a]c ，賬戶綁定的EVM Code，賬戶一經(jīng)創(chuàng)建不可修改。
}

EOA特征
codeHash為空
storageRoot為空
通過私鑰控制
發(fā)起交易（轉(zhuǎn)移以太幣或觸發(fā)合約代碼）

CA特征
不能發(fā)起交易，可以被觸發(fā)執(zhí)行合約代碼（通過EOA發(fā)起的交易或者從其他CA接收的消息調(diào)用激活）

怎么判斷一個賬戶是空賬戶？

EMPTY(σ,a)≡ σ[a]c =KEC(()) ∧ σ[a]n =0 ∧ σ[a]b =0

從公式看，一個賬戶的Root為空且nonce為0且余額為0，則說明這是一個空賬戶。

6、交易

再回顧一個公式

σ′ =Υ(σ,T)

以太坊是一個基于交易的狀態(tài)機(jī)。
任意兩個賬戶之間的交易都會引起world state的改變。
兩個相鄰區(qū)塊之間的狀態(tài)差別很小，patricia trie這種數(shù)據(jù)結(jié)構(gòu)能高效的處理整個系統(tǒng)賬戶變化的部分。

交易基本定義：【從外部擁有賬戶】發(fā)送的加密簽名序列化指令。換句話說交易必須是從EOA發(fā)起的才能叫交易，CA之間的通信叫消息也有叫內(nèi)部交易的，現(xiàn)在是有區(qū)別，以后這個區(qū)別會不會模糊化不知道。

交易類型有兩種：
1、消息調(diào)用（T_d）
2、合約創(chuàng)建（T_i）

從EOA到EOA的交易僅是轉(zhuǎn)賬。
EOA到CA可以激活各種操作。

看交易的源碼定義：

type txdata struct {
    AccountNonce uint64          //Tn
    Price        *big.Int        //Tp
    GasLimit     uint64          //Tg
    Recipient    *common.Address //Tt
    Amount       *big.Int        //Tv
    Payload      []byte          //Td || Ti 
    V *big.Int
    R *big.Int
    S *big.Int
    // This is only used when marshaling to JSON.
    Hash *common.Hash
}

T_n必須等于發(fā)起交易的賬戶的nonce（翻閱前面說法可知，賬戶nonce是該賬戶發(fā)起的第幾筆交易的序號，如果是創(chuàng)建合約則代表第幾次創(chuàng)建合約的序號）
T_p是這筆交易消耗的gas單價
T_g是你愿意為這筆交易最多可以支付的上限
T_t是接收賬戶的地址，如果為空說明接受賬戶是一個CA，否則是EOA
T_v是到接收者的額度
T_d或T_i，如果交易類型是消息調(diào)用則Palload寫為T_d，表示輸入數(shù)據(jù)，例如消息的參數(shù)，假設(shè)有一個注冊域名的合約服務(wù)，則Td就是該服務(wù)需要的參數(shù)如IP等。如果交易類型是創(chuàng)建合約，則Payload寫為Ti，表示一段代碼，這段代碼用于創(chuàng)建合約賬戶，這段初始化代碼只會被執(zhí)行一次就丟棄掉，第二次執(zhí)行的是創(chuàng)建完的合約代碼體。

交易的公式：

可以看到當(dāng)接收賬戶不同時，區(qū)別僅僅是T_d和T_i的區(qū)別。

另外，一個區(qū)塊里交易的順序由裝配這個區(qū)塊的礦工決定。

7、費(fèi)用

以太坊網(wǎng)絡(luò)里任何計算都要支付gas（燃料），
思考為什么不直接用eth做費(fèi)用？
答案是用兩個概念gas和eth區(qū)別價值和價格，gas是一種固定衡量的價值，而eth是市場上快速變化的價格，很多EVM（以太坊虛擬機(jī)）的操作指令都需要消耗固定的費(fèi)用就用gas來計價，gas的最小單位是wei，1eth = 10¹⁸wei = 10⁹gwei。所以eth和gas之間是有匯率的。

GasPrice：燃料單價
GasLimit：愿意支付的燃料上限

GasLimit × GasPrice = 愿意支付的最大費(fèi)用
10000 × 100gwei = 10¹⁵wei = 0.001eth

這圖要說明的是：
一筆交易中，你設(shè)置的最大費(fèi)用如果沒有消耗完，多出的會返回給你。如果最大費(fèi)用不夠計算的花費(fèi)，那么交易會終止、已改變的狀態(tài)會回滾、但是錢被消耗不會退回了。這些已消耗的費(fèi)用都獎勵給礦工了。

計算都是有費(fèi)用的，初次之外還有一些東西需要繳費(fèi)：

費(fèi)用的三種不同構(gòu)成：
1）計算操作的固定費(fèi)用
2）交易（合約創(chuàng)建或消息調(diào)用）費(fèi)用
3）存儲（內(nèi)存、存儲賬戶合約數(shù)據(jù)）費(fèi)用

著重說一下存儲費(fèi)用：
存儲收費(fèi)是因為假如你的合約使得狀態(tài)數(shù)據(jù)庫存儲增大，所有節(jié)點都會增加存儲。
以太幣是鼓勵盡量保持少量存儲的。
但是如果有操作是清除一個存儲條目，這個操作的費(fèi)用不但會被免除，而且由于釋放空間還會獲得退款。

總結(jié)

以上就是以太坊里的一些基礎(chǔ)元素，沒有講到復(fù)雜的交易執(zhí)行、EVM等，后續(xù)再寫。

下面是一個區(qū)塊鏈小程序，供大家參考：

GPU云服務(wù)器云服務(wù)器以太坊以太坊區(qū)塊 linux以太坊以太坊區(qū)塊查詢

文章版權(quán)歸作者所有，未經(jīng)允許請勿轉(zhuǎn)載,若此文章存在違規(guī)行為，您可以聯(lián)系管理員刪除。

轉(zhuǎn)載請注明本文地址：http://systransis.cn/yun/24001.html

發(fā)表評論

登陸后可評論

0條評論

pingink

男|高級講師

我要關(guān)注我要私信

TA的文章

知道了螞蟻森林這個“秘密”，我坐不住了?。?/a>

閱讀 2264·2021-09-26 09:55

字節(jié)跳動上線Pixsoul，主打特效變臉

閱讀 3596·2021-09-23 11:22
前端每日實戰(zhàn)：78# 視頻演示如何用純 CSS 創(chuàng)作 Windows 啟動界面

閱讀 2157·2019-08-30 15:54
CSS學(xué)習(xí)筆記(九) 界面組件之導(dǎo)航菜單

閱讀 1907·2019-08-28 18:03
Node.js 指南（Node.js事件循環(huán)、定時器和process.nextTick()）

閱讀 2600·2019-08-26 12:22
總結(jié)下var、let 和 const 的區(qū)別

閱讀 3435·2019-08-26 12:20
理解ECMAScript中所有的參數(shù)傳遞的都是值，不可能通過引用傳遞參數(shù)

閱讀 1732·2019-08-26 11:56
vue--為什么data屬性必須是一個函數(shù)

閱讀 2254·2019-08-23 15:30

成人国产在线小视频_日韩寡妇人妻调教在线播放_色成人www永久在线观看_2018国产精品久久_亚洲欧美高清在线30p_亚洲少妇综合一区_黄色在线播放国产_亚洲另类技巧小说校园_国产主播xx日韩_a级毛片在线免费

資訊專欄INFORMATION COLUMN

上云采購季！| 2核2G4M爆款云服務(wù)器低至59元/年，更有多臺、長期優(yōu)惠，快來選購！

以太坊基礎(chǔ)概念詳解

相關(guān)文章

Java開發(fā)區(qū)塊鏈的三大sdk庫

區(qū)塊鏈開發(fā)中使用的最流行的編程語言

以太坊將成為新互聯(lián)網(wǎng)的支柱

solidity語言開發(fā)智能合約中的繼承

如何理解比特幣和區(qū)塊鏈？

發(fā)表評論

0條評論

pingink

男|高級講師

TA的文章

知道了螞蟻森林這個“秘密”，我坐不住了?。?/a>

字節(jié)跳動上線Pixsoul，主打特效變臉

前端每日實戰(zhàn)：78# 視頻演示如何用純 CSS 創(chuàng)作 Windows 啟動界面

CSS學(xué)習(xí)筆記(九) 界面組件之導(dǎo)航菜單

Node.js 指南（Node.js事件循環(huán)、定時器和process.nextTick()）

總結(jié)下var、let 和 const 的區(qū)別

理解ECMAScript中所有的參數(shù)傳遞的都是值，不可能通過引用傳遞參數(shù)

vue--為什么data屬性必須是一個函數(shù)

最新活動

資訊專欄INFORMATION COLUMN

上云采購季！| 2核2G4M爆款云服務(wù)器低至59元/年，更有多臺、長期優(yōu)惠，快來選購！

以太坊基礎(chǔ)概念詳解

相關(guān)文章

發(fā)表評論

0條評論

男|高級講師

TA的文章

最新活動

上云采購季！| 2核2G4M爆款云服務(wù)器低至59元/年，更有多臺、長期優(yōu)惠，快來選購！