智能合約在區(qū)塊鏈上的可執(zhí)行代碼是一種類(lèi)似匯編語(yǔ)言的指令集，這些指令集通過(guò)EVM的解釋和執(zhí)行，對(duì)區(qū)塊鏈的狀態(tài)進(jìn)行讀寫(xiě)，實(shí)現(xiàn)合約規(guī)定的業(yè)務(wù)邏輯。

　　智能合約一般具有值和狀態(tài)兩個(gè)屬性,代碼中用If-Then和What-If語(yǔ)句預(yù)置了合約條款的相應(yīng)觸發(fā)場(chǎng)景和響應(yīng)規(guī)則,智能合約經(jīng)多方共同協(xié)定、各自簽署后隨用戶(hù)發(fā)起的交易(Transaction,Txn)提交,經(jīng)P2P網(wǎng)絡(luò)傳播、礦工驗(yàn)證后存儲(chǔ)在區(qū)塊鏈特定區(qū)塊中,用戶(hù)得到返回的合約地址及合約接口等信息后即可通過(guò)發(fā)起交易來(lái)調(diào)用合約.

?

?

　　區(qū)塊鏈?zhǔn)且环N將數(shù)據(jù)區(qū)塊按照時(shí)間順序組合成的鏈?zhǔn)浇Y(jié)構(gòu),是去中心化系統(tǒng)中各節(jié)點(diǎn)共享且共同維護(hù)的分布式數(shù)據(jù)賬本[7],具體的:各節(jié)點(diǎn)由P2P組網(wǎng)方式相互連通和交互,受激勵(lì)機(jī)制激勵(lì)貢獻(xiàn)自身算力,根據(jù)數(shù)據(jù)驗(yàn)證機(jī)制及傳播協(xié)議,執(zhí)行、驗(yàn)證并傳播一段時(shí)間內(nèi)生成的有效交易數(shù)據(jù),同時(shí)利用Merkle樹(shù)、哈希算法、時(shí)間戳等技術(shù)加密、生成數(shù)據(jù)區(qū)塊,依據(jù)共識(shí)算法爭(zhēng)奪記賬權(quán),最終獲得記賬權(quán)的節(jié)點(diǎn)(礦工),將其生成的數(shù)據(jù)區(qū)塊鏈接到區(qū)塊鏈主鏈上并獲得相應(yīng)獎(jiǎng)勵(lì),其余節(jié)點(diǎn)更新區(qū)塊鏈賬本.

因此通過(guò)Solidity這種高級(jí)編程語(yǔ)言，加上Solidity編譯器，可以將高級(jí)語(yǔ)言編譯成匯編指令集碼，再將其部署到區(qū)塊鏈上執(zhí)行。

// The next token ID to be minted.

uint256 private _currentIndex;

// The number of tokens burned.

uint256 private _burnCounter;

// Token name

string private _name;

// Token symbol

string private _symbol;

// Mapping from token ID to ownership details

// An empty struct value does not necessarily mean the token is unowned.

// See {_packedOwnershipOf} implementation for details.

//

// Bits Layout:

// - [0..159]? ?`addr`

// - [160..223] `startTimestamp`

// - [224]? ? ? `burned`

// - [225]? ? ? `nextInitialized`

// - [232..255] `extraData`

mapping(uint256 => uint256) private _packedOwnerships;

// Mapping owner address to address data.

//

// Bits Layout:

// - [0..63]? ? `balance`

// - [64..127]? `numberMinted`

// - [128..191] `numberBurned`

// - [192..255] `aux`

mapping(address => uint256) private _packedAddressData;

// Mapping from token ID to approved address.

mapping(uint256 => TokenApprovalRef) private _tokenApprovals;

// Mapping from owner to operator approvals

mapping(address => mapping(address => bool)) private _operatorApprovals;