SOLID:如何將你的合約升級到Solidity 0.8？

我們離Solidity1.0的發布越來越近了。Solidity0.8在0.7發布之后僅5個月就發布了!

登鏈社區正在同步翻譯Solidity0.8的文檔

今天我們就來探討一下如何把合約遷移升級到0.8版本......

尤達寶寶發布0.8新功能和如何使用

我們來看看兩個大的新功能：集成的SafeMath和新的錯誤處理。

1.集成SafeMath

SafeMathMeme沒錯，你不需要再導入OpenzeppelinSafeMath了。最重要的是，你不需要做任何事情就可以激活Solidity集成的SafeMath。只要寫上ab，就會在溢出時自動回退交易。

你可能會在Remix等工具中看到如下錯誤提示，因為0.8還沒有完全支持。比如溢出還沒有給出確切的原因。

?transact?to?Solidity08.test?errored:?VM?error:?revert.?revert

波卡社區正在討論如何限制驗證者大幅更改傭金:剛剛，Web3基金會技術教育主管Bill Laboon發推提醒用戶小心騙局。Web3基金會、Polkadot官方以及Parity都沒有贈送DOT和KSM代幣。與此同時，Bill Laboon還公布波卡項目進展。內容顯示：1.目前驗證者可以隨意更改傭金比例。目前社區正在討論如何限制傭金變動以避免傭金大幅變動，例如在獲得足夠多的提名者后，將傭金由0%改為100%。2.財政部已經開始討論Elara 0.2提案。Elara 0.2是Patract Labs是為以Substrate為基礎的鏈提供的基礎設施。[2020/10/29]

但這種情況在未來應該會有所改變。

如果你確實就希望代碼能夠溢出呢？還是非常在意Gas費了？

則通過unchecked形式包裝語句來停用SafeMath：

contract?Solidity08?{????function?test()?external?pure?returns(uint256)?{????????//?默認使用?SafeMath?，此時會回退????????uint256?x?=?0;????????x--;????????return?x;????}}contract?Solidity08?{????function?test()?external?pure?returns(uint256)?{????????//?不使用SafeMath，返回?type(uint256).max????????uint256?x?=?0;????????unchecked?{?x--;?}????????return?x;????}}

掌柜調查署 | 競爭之下平臺幣會如何發展？:4月14日16:00，AAX交易所CEO Thor Chan將攜帶新上線的平臺通證AAB做客金色財經掌柜調查署，一起來看競爭之下，平臺幣會如何發展。更多詳情點擊原文鏈接查看。[2020/4/14]

2.無效的操作碼被還原取代

到目前為止，某些操作會導致INVALID操作碼的執行。這個操作碼的問題是，它消耗掉所有剩余的Gas。這顯然是不好的且沒必要。為什么要浪費Gas，把它捐給礦工？

更多細節，在這里查看revert和assert的區別。

現在Solidity使用revert操作碼。為了區分常規revert和系統內部錯誤，Solidity在返回數據前加上一個標識符：

常規Revert錯誤以keccak256(Error(string))的前四個字節開始，等于0x08c379a0。

**系統內部錯誤**以keccak256(Panic(uint256))的前四個字節開始，等于0x4e487b71。

現場 | 以太坊行業峰會第一場圓桌 如何應對智能合約安全問題:金色財經9月8日現場報道，Loi Luu (KyberNetwork 創始人)、Shawn Douglass

(Amberdata 聯合創始人兼CEO)、Jay Zhou (Loopring Protocol 聯合創始人)、Alan Li (FBG X 研發部負責人)、Antoine Cote (Enuma Technologies 聯合創始人兼CEO) 參與了討論，嘉賓們一致認為，由于智能合約涉及資產交易且不可篡改，一旦發生安全問題將引起資產嚴重受損，關注智能合約安全是必要的。Loi Luu指出,區塊鏈行業項目方，需要為開發者設立預警機制。開源代碼要引入第三方檢測，避免犯一些顯而易見的錯誤。

Jay zhou認為，需要更有經驗的開發者去開發用戶易用、以人為本的合約，同時也有必要引入交叉審計。

Shawn Douglass說：“因為智能合約的不可篡改性，在程序員開發前，就必須告知開發者未來可能造成的后果，特別是在涉及資產的領域必須確保事前萬無一失甚至考慮保險。”

Antoine Cote表示，可以在早期時候引入懸賞機制讓黑客或者社區成員共同發現漏洞。大家討論后得出共識，每一個開發者都必須在開發速度和安全性之間做一個平衡。在區塊鏈領域，注重安全和責任心是必須的。[2018/9/8]

Panic有一個額外的錯誤標識。目前可用的Panic有：

動態 | 印度官員赴日本等國學習監管機構如何處理加密貨幣問題:據bitcoin 9月3日消息，印度證券交易委員會（SEBI）在其2017 – 18年度報告中透露，它已派出一些官員前往日本、英國、瑞士三個國家，研究監管機構如何處理加密貨幣問題。印度證券監管機構此次行動旨在與國際監管機構合作，深入了解其加密機制和系統，以改善其自身管理流程。[2018/9/3]

0x01:使用asset；

0x11:SafeMath的溢出。

0x12:除以0。

0x21:轉換為不存在的枚舉類型。

0x22:存儲字節數組編碼錯誤。

0x31:在一個空數組上pop()。

0x32:索引超長度異常。

0x41:分配過多的內存或創建過大的數組。

0x51:調用未初始化的內部函數類型的變量。

更多細節請參見文檔中新的錯誤處理部分這里。

韓國政府正在考慮如何兌現沒收得來的加密貨幣:韓國政府正在考慮如何兌現最近沒收所得來的加密貨幣。作為一起刑事案件罰款，政府沒收了網站運營商“安恩”(Ahn)的191.32333418個比特幣。韓國最高法院此前判定，加密貨幣是政府可以沒收的財產。最有可能的選擇是通過政府所有的拍賣平臺進行拍賣。[2018/6/10]

如何遷移到Solidity0.8

在大多數情況下，遷移應該是非常直接的。只有在一些情況下，你做奇怪的類型轉換可能會變得更加困難。

你必須為遷移做出的改變包括：

ABIEncoderV2現在是默認自動激活。從0.6開始，Encoder就不再是實驗性的了，只是因為遺留的原因，保留了pragmaexperimental這個名字。現在你不需要再加這行了。

移除任何OpenzeppelinSafeMath，你不再需要它了。

可能需要進行一些類型轉換。

msg.sender和tx.origin默認不屬于payable類型。將msg.sender.transfer改為payable(msg.sender).transfer。

只有在符合給定類型的情況下，才允許類型轉換，所以uint256(-1)將不再工作。使用type(uint256).max代替。

當多次改變符號時，類型轉換在某些情況下會受到限制，因為類型轉換的順序可能會對結果產生影響。你現在會看到一個類似TypeError的錯誤。不允許從int256到bytes32進行顯示的類型轉換，得先手動轉換為uint256。

修飾組合

myContract.functionCall{gas:10000}{value:1ether}()改為：

myContract.functionCall{gas:10000,value:1ether}()。

將x**y**z改為(x**y)**z，因為默認的執行順序改變了。

將byte類型改為byte1。

我省略了一些細節，關于完整的變更日志和所有變更的細節，請查看文檔這里。

來源：https://soliditydeveloper.com/solidity-0.8

參考資料

登鏈翻譯計劃:https://github.com/lbc-team/Pioneer

翻譯小組:https://learnblockchain.cn/people/412

Tiny熊:https://learnblockchain.cn/people/15

Solidity0.8:https://blog.soliditylang.org/2020/12/16/solidity-v0.8.0-release-announcement/

0.7發布:https://blog.soliditylang.org/2020/07/28/solidity-v0.7.0-release-announcement/

Solidity0.8的文檔:https://learnblockchain.cn/docs/solidity/

SafeMath:https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/math/SafeMath.sol

這里:https://medium.com/blockchannel/the-use-of-revert-assert-and-require-in-solidity-and-the-new-revert-opcode-in-the-evm-1a3a7990e06e

這里:https://docs.soliditylang.org/en/latest/control-structures.html#panic-via-assert-and-error-via-require

這里:https://docs.soliditylang.org/en/latest/080-breaking-changes.html

CellNetwork:https://www.cellnetwork.io/?utm_souce=learnblockchain

譯文出自：登鏈翻譯計劃

譯者：翻譯小組

校對：Tiny熊

Tags：SOLLIDSOLIDDITSurviving SoldiersSolidblockSMARTCREDIT幣

萊特幣