這是深入Solidity數據存儲位置系列的另一篇。在今天的文章中,我們將更詳細地介紹EVM中的一個重要數據位置:存儲。
我們將看到合約存儲的布局是如何工作的,storage引用。我們還將使用OpenZeppelin和Compound中的一些合約來學習storage引用在實踐中如何工作,同時順便學習這些流行合約和協議背后的Solidity代碼。
目錄
介紹
存儲的布局
存儲器的基礎知識
與存儲交互
函數參數中的存儲指針
函數體中的存儲指針
讀取存儲的成本。
結論
介紹
了解以太坊和基于EVM的鏈中的存儲模型對于良好的智能合約開發至關重要。
你可以在智能合約上永久地存儲數據,以便將來執行時可以訪問它。每個智能合約都在自己的永久存儲中保持其狀態。它就像*"智能合約的迷你數據庫"*,但與其他數據庫不同,這個數據庫是可以公開訪問的。所有存儲在智能合約存儲器中的值可供外部免費讀取,無需向區塊鏈發送交易。
然而,向存儲空間寫入是相當昂貴的。事實上,就Gas成本而言,它是EVM中最昂貴的操作。存儲的內容可以通過sendTransaction調用來改變。這種調用會改變狀態。這就是為什么合約變量被稱為狀態變量的原因。
需要記住的一件事是,在以太坊和EVM的設計中,一個合約既不能讀也不能寫非自身定義的任何存儲。合約A可以從另一個合約B的存儲中讀取或寫入的唯一方法是當合約B暴露出使其能夠這樣做的函數。
存儲的基本原理
智能合約的存儲是一個持久的可讀可寫的數據位置。意思是說,如果數據在一次交易中被寫入合約存儲,一旦交易完成,它就會持久存在。在這個交易之后,讀取合約存儲將檢索到之前這個交易所寫入/更新的數據。
三星宣布啟動Discord服務器以深入Web3.0領域:6月7日消息,三星(Samsung)宣布啟動Samsung US Discord官方服務器,以加深與消費者的聯系并培養創作者社區。在Samsung US Discord中,粉絲、游戲玩家和創作者能夠互動,并可以獲得對產品、活動、NFT等的獨家訪問權。在6月7日的前24小時內,服務器的早期采用者將獲得OG角色。[2022/6/7 4:09:03]
每個合約都有自己的存儲,可以用以下規則來描述和綁定:
持有狀態變量
在交易和函數調用之間持久存在
讀取是免費的,但寫入是昂貴的
合約存儲在合約構建期間被預先分配。
駐留在存儲中的變量在Solidity中被稱為狀態變量。
你應該記住關于合約存儲的唯一事情是:
存儲是持久保存和昂貴的!
將數據保存到存儲中是EVM中需要最多的Gas的操作之一。
寫入存儲的實際成本是多少?
成本并不總是相同的,計算寫入存儲的Gas是相當復雜的公式,尤其是在最新的以太坊2
所有靜態大小的變量都是按照它們被定義的順序依次放入存儲槽的。
記住:每個存儲槽最多可以容納32字節長的值。
在我們上面的例子中,a和b是32字節長。因此,它們被分配了自己的存儲槽。
將狀態變量打包在一個存儲槽中
在我們之前的例子中沒有什么特別之處。但是現在讓我們考慮這樣的情況:你有幾個不同大小的uint變量,如下所示:
pragma?solidity?^0
它的存儲布局會是這樣的:
因此,一個變量的"地址"由兩個部分組成。
槽號:變量所在的位置。
變量開始的字節偏移量。
讓我們繼續看一些基本的匯編代碼,以便更好地理解。看看下面的合約和它的函數:
contract?Storage?{??uint64?a?=?1;??uint64?b?=?2;??uint128?c?=?3;function?getSlotNumbers()?public?view?returns(uint256?slotA,?uint256?slotB,?uint256?slotC)?{????assembly?{????slotA?:=?a.slot??????slotB?:=?b.slot??????slotC?:=?c.slot????}}??function?getVariableOffsets()?public?view?returns(uint256?offsetA,?uint256?offsetB,?uint256?offsetC)?{??assembly?{??????????offsetA?:=?a.offset????????????offsetB?:=?b.offset????????????offsetC?:=?c.offset????????}}}
聲音 | 立陶宛銀行:央行“父母控制”已過時 應更深入了解加密資產領域:在12月10日發布的有關中央銀行數字貨幣(CBDC)的分析中,立陶宛銀行表示,在加密資產方面,中央銀行的“父母控制”已經過時,因此不應阻止中央銀行進入該領域以了解它。銀行應參與數字資產領域,以獲取此快速發展資產類別的經驗。(Cointelegraph)[2019/12/11]
通過Remix運行這兩個函數可以得到以下輸出:
要檢索變量c所指向的槽,使用c.slot,要檢索字節偏移量,使用c.offset。僅使用c本身會導致錯誤:
function?ReadVariableC()?public?view?returns?(uint64?value)?{assembly?{????????value?:=?sload(c)????}}
上面的代碼將不會被編譯,并會出現以下錯誤
有一點也要提到的是,在內聯匯編中,你不能向存儲變量的.slot或.offset賦值:
function?doesNotCompile()?public?{????assembly?{????????a.slot?:=?8????????a.offset?:=?9????}}
solc編譯器的錯誤報告
聲音 | 英國財政部金融服務副主任:希望更深入地研究加密行業:據unhashed報道,英國財政部金融服務副主任Gillian Dorner表示,政府相關部門希望能更深入地研究加密行業,以采取相應的應對辦法。英國正面臨著創新經濟、保護消費者和打擊金融犯罪的多重挑戰。[2018/11/23]
Yul中存儲指針的偏移量的值是多少呢?在函數體中,一些變量可以是存儲指針/存儲引用。例如,這包括struct、array和mapping。對于這樣的變量,在Yul中.offset總是為零,因為這樣的變量總是占據了一個完整的存儲槽,不能與其他變量緊密地擠在一起存儲。
結論
智能合約的存儲空間,無論是初始化還是修改里面的數據,都要付出高昂的代價。雖然從合約存儲中讀取數據是免費的,但如果這些讀取操作是改變狀態的交易的一部分,我們還是應該考慮到向智能合約的存儲讀取時的Gas成本。
由于對存儲的操作有很高的Gas成本,Solidity文檔中指出了一個重要的考慮。
應該將你存儲在持久性存儲中的內容減少到合約運行所需的程度。
建議盡可能地將某些數據存儲在合約存儲之外,以減少相關的Gas成本。
參考資料
深入以太坊,Part2
Solidity文檔:狀態變量在儲存中的布局g
openzeppelin-contracts/StorageSlot.sol
Solidity中的數據表示
了解以太坊智能合約的存儲
解剖智能合約的結構--功能、數據和變量
譯文出自:登鏈翻譯計劃譯者:翻譯小組?校對:Tiny熊
本翻譯由DuetProtocol贊助支持。
原文鏈接:https://betterprogramming.pub/all-about-solidity-data-locations-part-i-storage-e50604bfc1ad
五糧液牽手IBM 將在區塊鏈等方面展開深入合作:近日,在宜賓舉行的五糧液(000858.SZ)數字化轉型項目啟動大會上,五糧液和IBM雙方表示,將在區塊鏈、云計算、人工智能等領先科技方面進行深入的合作應用,借用IBM豐富的行業數字化轉型經驗和技術,按照“年輕化”“低度化”“數字化”“國際化”的創新思維,帶動酒業乃至及“大機械、大物流、大包裝、大金融、大健康”五大板塊快速有序發展,助力五糧液構建“智慧商業”模式,實現高質量發展。[2018/4/29]
參考資料
登鏈翻譯計劃:https://github.com/lbc-team/Pioneer
翻譯小組:https://learnblockchain.cn/people/412
Tiny熊:https://learnblockchain.cn/people/15
深入Solidity數據存儲位置:https://learnblockchain.cn/article/4864
OpenZeppelin:https://docs.openzeppelin.com/
Compound:https://compound.finance/docs
OpenZeppelin在他們的深入EVM第二部分文章中:https://blog.openzeppelin.com/ethereum-in-depth-part-2-6339cf6bddb9/
在他的文章中,SteveMarx:https://programtheblockchain.com/posts/2018/03/09/understanding-ethereum-smart-contract-storage/
Solidity文檔:https://learnblockchain.cn/docs/solidity/internals/layout_in_storage.html
Pool:https://docs.aave.com/developers/core-contracts/pool
來源:Aavev3Protocol,Pool.sol:https://github.com/aave/aave-v3-core/blob/master/contracts/protocol/pool/Pool.sol
來源:Aavev3,PoolStorage.sol:https://github.com/aave/aave-v3-core/blob/master/contracts/protocol/pool/PoolStorage.sol
來源:OpenZeppelinGithub代碼庫,ERC20.sol:https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/token/ERC20/ERC20.sol
在Remix上試試:https://remix.ethereum.org/?#code=Ly8gU1BEWC1MaWNlbnNlLUlkZW50aWZpZXI6IE1JVApwcmFnbWEgc29saWRpdHkgXjAuOC40OwoKaW1wb3J0ICJAb3BlbnplcHBlbGluL2NvbnRyYWN0c0A0LjcuMC90b2tlbi9FUkMyMC9FUkMyMC5zb2wiOwppbXBvcnQgIkBvcGVuemVwcGVsaW4vY29udHJhY3RzQDQuNy4wL2FjY2Vzcy9Pd25hYmxlLnNvbCI7Cgpjb250cmFjdCBNeVRva2VuIGlzIEVSQzIwLCBPd25hYmxlIHsKICAgIGNvbnN0cnVjdG9yKCkgRVJDMjAoIk15VG9rZW4iLCAiTVRLIikgewogICAgICAgIF9taW50KG1zZy5zZW5kZXIsIDEwMDAwICogMTAgKiogZGVjaW1hbHMoKSk7CiAgICB9CgogICAgZnVuY3Rpb24gbWludChhZGRyZXNzIHRvLCB1aW50MjU2IGFtb3VudCkgcHVibGljIG9ubHlPd25lciB7CiAgICAgICAgX21pbnQodG8sIGFtb3VudCk7CiAgICB9Cn0K&optimize=false&runs=200&evmVersion=null&version=soljson-v0.8.7+commit.e28d00a7.js
faheelfromTwitter.:https://twitter.com/721Orbit/status/1511961744238948356?s=20&t=KDGCQ4OwQ47e2NACgQ8WWg
來源:OpenZeppelinGithub資源庫中的Timer.sol:https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/Timers.sol
Uniswap:https://github.com/Uniswap/governance/blob/master/contracts/GovernorAlpha.sol
IndexedFinance:https://github.com/indexed-finance/governance/blob/master/contracts/governance/GovernorAlpha.sol
應該將你存儲在持久性存儲中的內容減少到合約運行所需的程度:https://learnblockchain.cn/docs/solidity/introduction-to-smart-contracts.html#index-10
深入以太坊,Part2:https://blog.openzeppelin.com/ethereum-in-depth-part-2-6339cf6bddb9/
Solidity文檔:狀態變量在儲存中的布局g:https://learnblockchain.cn/docs/solidity/internals/layout_in_storage.html
openzeppelin-contracts/StorageSlot.sol:https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/StorageSlot.sol
Solidity中的數據表示:https://ethdebug.github.io/solidity-279"??src="https://img.jinse.cn/5363788_image3.png"?>
原文作者:DerekWalkush原文標題:RecentTrendsinTokenDistribution代幣設計的創新落后于更大的生態系統;研究人員將重點一直放在擴展、智能合約優化和其他更多技.
1900/1/1 0:00:00還記得當初剛進加密行業那會,公鏈這個詞是個很高大上的東西。因為人們一提公鏈,往往首先想到的ETH這種“通用智能合約型”,或者說平臺型公鏈,而非類似BTC,LTC這種“一幣一公鏈”的公鏈,這些,我.
1900/1/1 0:00:00XEN通過Youtuber視頻宣傳、制造話題等已有方式打出的“組合拳”使其“一夜成名“。來源:foresightnews作者:WhoKnowsDAOXENCrypto恐怕是上周討論度最高的項目了.
1900/1/1 0:00:00作者:WillComyns代幣必須開始提供收入份額以及治理。 代幣是一種收益權 現代代幣設計的基礎工具可以追溯到減少實用代幣速度的目標.
1900/1/1 0:00:00原文作者:加密研究員WagameEth原文編譯:0x214,BlockBeats以太坊Layer2擴容解決方案zkSync2.0主網將于三周之內面世.
1900/1/1 0:00:002022年10月19日,據BeosinEagleEyeWeb3安全預警與監控平臺監測顯示,Celo生態上的Moola協議遭受攻擊,黑客獲利約840萬美元.
1900/1/1 0:00:00