我们离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
币安正组建团队研究区块链和加密货币如何对Twitter有所帮助:10月28日消息,币安正在组建一个团队致力于研究区块链和加密货币如何对 Twitter 有所帮助,该团队将探索如何构建链上解决方案来解决 Twitter 的机器人账户等问题。此前在马斯克与 Twitter 的诉讼中公布的短信也显示,马斯克讨论了将 Twitter 置于区块链上的可能性,但后来又认为该举措无法实现。
此前,特斯拉CEO埃隆·马斯克已正式完成以每股54.2美元(约合440亿美元)的价格收购推特公司的交易,马斯克还罢免了首席执行官Parag Agrawal和首席财务官Ned Segal。(路透社)[2022/10/29 11:54:05]
但这种情况在未来应该会有所改变。
如果你确实就希望代码能够溢出呢?还是非常在意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;????}}
直播 |“后浪”仙女力场-大丹如何乘风破浪:金色财经 · 直播主办的《 币圈 “后浪” 仙女直播周》第7期20:00 力场|大丹将在直播间聊聊“币圈‘后浪’仙女如何乘风破浪”,感兴趣的朋友扫码移步收听![2020/7/6]
2.无效的操作码被还原取代
到目前为止,某些操作会导致INVALID操作码的执行。这个操作码的问题是,它消耗掉所有剩余的Gas。这显然是不好的且没必要。为什么要浪费Gas,把它捐给矿工?
更多细节,在这里查看revert和assert的区别。
现在Solidity使用revert操作码。为了区分常规revert和系统内部错误,Solidity在返回数据前加上一个标识符:
常规Revert错误以keccak256(Error(string))的前四个字节开始,等于0x08c379a0。
**系统内部错误**以keccak256(Panic(uint256))的前四个字节开始,等于0x4e487b71。
声音 | Jeffrey Wernick:华尔街不喜欢比特币 不知如何用它讲好故事:芝加哥大学经济学与金融学博士、区块链和比特币项目早期参与者、Uber和Airbnb早期投资人Jeffrey Wernick称,华尔街不喜欢比特币,或因不知如何用其讲好故事拿下高估值。Wernick认为,现在的华尔街的公司估值模式已经从传统的现金流折现模型(DCF)转向通过炒作故事概念来获取高估值。他认为,DCF是里的清的帐,可以通过现有现金流、未来增长预期和折现率定价求得。在这种模式下的高估值是因为,低融资成本下的低折现率导致的。Wernick解释,在炒作概念的估值模式里,项目方会找博士来撰写估值模式和框架,并称这是正确的估值方法,接着再找更多人的输出类似的观点,造成一个所谓的共识,最后再说服其他人接受这一共识。之后,他们会如法炮制的输出“为什么这家公司估值应该比去年更高“的共识。但是,这些始终都是概念。Wernick还指出,特斯拉就是通过炒作概念来获取高估值的,通过不断地讲故事来维持高估值、保证投资人不受损失。[2019/6/21]
Panic有一个额外的错误标识。目前可用的Panic有:
现场 | 以太坊行业峰会第一场圆桌 如何应对智能合约安全问题:金色财经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]
0x01:使用asset;
动态 | 南非税务署正研究如何识别逃税的加密货币交易者:据CCN报道,南非税务机关南非税务署(SARS)正在调查识别逃税的加密货币交易员的方法。该机构专员Mark Kingon最近在约翰内斯堡的内部审计协会会议上说,该机构正在研究如何发现不符合要求的加密货币交易员,以调查任何未能从投资中申报利润的情况。[2018/8/21]
0x11:SafeMath的溢出。
0x12:除以0。
0x21:转换为不存在的枚举类型。
0x22:存储字节数组编码错误。
0x31:在一个空数组上pop()。
0x32:索引超长度异常。
0x41:分配过多的内存或创建过大的数组。
0x51:调用未初始化的内部函数类型的变量。
更多细节请参见文档中新的错误处理部分这里。
如何迁移到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熊
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。