TIM:Solidity 0.8.5 发布_TOR

译文出自：登链翻译计划

译者：翻译小组

校对：Tiny熊

Solidity团队于2021年6月10日发布0

调用f("12345678")将返回12345678，如同调用f("1234567890")。如果数组比目标固定类型短，它将在末尾填充零，所以调用f("1234")将返回1234。

使用bytes转换功能的一个好例子是在代理中使用：

//SPDX-License-Identifier:GPL-3

///Forwardsallcallstotheclientbutperformsadditionalchecksforcallsto"setOwner(address)"

(boolstatus,)=client

}

在0.8.5以前，不可能做到bytes4sig=bytes4(_payload);，相反，你必须使用以下方法进行转换：

bytes4sig=_payload|(bytes4(_payload)>>8)|(bytes4(_payload)>>16)|(bytes4(_payload)>>24);

Yul中的Verbatim

完整的功能文档可以在这里找到。

这个版本为Yul引入了一组verbatim内置函数，允许你在二进制中注入任意字节码。目前只能通过纯Yul来实现，也就是说，不能通过内联汇编来实现。

主要有两个用途：

使用Yul不知道的操作码。

产生未被优化器修改的特定字节码序列。

这些函数是verbatimi_o("",...)，其中:

n是一个介于0和99之间的小数，用于指定输入栈槽/变量的数量。

m是一个介于0和99之间的十进制数，指定输出栈槽/变量的数量。

data是一个字符串常量，包含字节的序列。

注意，在使用verbatim时有一些注意事项，关于它的细节可以在文档中找到。

用于新的操作码

作为一个实际的例子，我们可以用它来方便地将一个新提出的EVM操作码注入二进制。以提议的BASEFEE操作码为例，由于Solidity编译器目前不支持这个操作码，人们可以使用verbatim在Yul中实现它。

{functionbasefee()->out{out:=verbatim_0i_1o(hex"48"。sstore(0,basefee()。

下面是另一个例子，它有一个输入参数为verbatim。

letx:=calldataload(0)//Thehex"600202"correspondstoEVMinstructions://PUSH02MUL//Thatis,itmultipliesxby2.letdouble:=verbatim_1i_1o(hex"600202",x)

上面的代码将产生一个dup1操作码来检索x，后面直接是600202。该代码被假定为消耗x的值，并在堆栈的顶部产生结果。然后编译器生成代码，为double分配一个堆栈槽，并将结果存储在那里。

用于Optimism使用场景

第二个使用场景对于像Optimism这样的第2层解决方案来说是很有用的，以及其他类似的情况，比如字节码分析或调试。Optimism目前使用一个自定义的Solidity编译器，因为他们模拟了智能合约的执行，其中对状态的改变都不会直接执行，而是由对管理人合约的调用来代替，该合约存储了这些改变以备验证。这方面的问题是检查合约是否符合这些限制，特别是由于这必须由链上欺诈检测机制来完成。他们所做的是，检查合约是否使用了任何一个改变状态的操作码，除了调用管理人合约的call操作码之外。为了正确检测这个异常，导致这个call操作码的操作序列必须有一个特定的形式，通常，Solidity优化器会进行一些重新排列，并破坏这个形式。幸运的是，verbatim可以解决这个问题，这样Optimism就不需要再依赖自定义的Solidity编译器，可以使用所有后来的Solidity编译器版本而不需要修改。

Optimism编译器可以采用由Solidity编译器生成的Yul代码，附加以下Yul辅助函数，并在语法上将所有改变状态的内置函数调用替换为其ovm_对应的函数。例如，所有的sstore(x,y)调用被ovm_sstore(x,y)调用所取代。在这种替换之后，Yul优化器甚至可以再次运行。(这段代码只说明了sstore。)

///Genericcalltothemanagercontract.functionovm_callManager(arguments,arguments_size,output_area,output_area_size){verbatim_4i_0o(hex"336000905af158600e01573d6000803e3d6000fd5b3d6001141558600a015760016000f35b",arguments,arguments_size,output_area,output_area_size。//Callamanagerfunctionwithtwoargumentsfunctionovm_kall_2i(signature,x,y){//Storetouchedmemoryinlocalsandrestoreitattheend.lettmp_a:=mload(0x00)lettmp_b:=mload(0x20)lettmp_c:=mload(0x40)mstore(0,signature)mstore(4,x)mstore(0x24,y)ovm_callManager(0,0x44,0,0)mstore(0x00,tmp_a)mstore(0x20,tmp_b)mstore(0x40,tmp_c。//Replaceallcallsto``sstore(x,y)``by``ovm_sstore(x,y)``functionovm_sstore(x,y){//Thehexcodeistheselectorof//thesstorefunctiononthemanagercontract.ovm_kall_2i(hex"22bd64c0",x,y。

完整的更新日志

语言特性方面

允许从bytes和bytes片转换到bytes1/.../bytes32。

Yul:增加verbatim内置函数，以注入任意字节码。

编译器功能方面

代码生成器：为panic异常代码插入辅助函数，而不是无条件地内联。

EVM：将默认的EVM版本设置为Berlin。

SMTChecker：函数定义可以用自定义的Natspec标签custom:smtcheckerabstract-function-nondet来注解，以便在调用时用非确定性的值抽象化。

标准JSON/组合JSON：新的工件functionDebugData，包含函数入口点的字节码偏移，未来可能会有更多信息。

Yul优化器：评估keccak256(a,c)，当内存位置a的值在编译时是已知的，c是常数<=32。

AST的变化

增加成员hexValue，用于Yul字符串和十六进制字符还修复一些bug，衷心感谢所有帮助实现该版本的贡献者。

可以在这里下载新版本的Solidity。

本翻译由CellNetwork赞助支持。

来源：https://blog.soliditylang.org/2021/06/10/solidity-0.8.5-release-announcement/

参考资料

登链翻译计划:https://github.com/lbc-team/Pioneer

翻译小组:https://learnblockchain.cn/people/412

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

Solidityv0.8.5:https://github.com/ethereum/solidity/releases/tag/v0.8.5

可以在这里:https://docs.soliditylang.org/en/v0.8.5/types.html#explicit-conversions

这里:https://docs.soliditylang.org/en/v0.8.5/yul.html#verbatim

文档:https://docs.soliditylang.org/en/v0.8.5/yul.html#verbatim

EIP-3198:https://eips.ethereum.org/EIPS/eip-3198

EIP-1559:https://eips.ethereum.org/EIPS/eip-1559

这里:https://github.com/ethereum/solidity/releases/tag/v0.8.5

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

免责声明：作为区块链信息平台，本站所发布文章仅代表作者个人观点，与链闻ChainNews立场无关。文章内的信息、意见等均仅供参考，并非作为或被视为实际投资建议。

本文来源于非小号媒体平台：

登链社区

现已在非小号资讯平台发布105篇作品，

非小号开放平台欢迎币圈作者入驻

入驻指南：

/apply_guide/

本文网址：

/news/10084552.html

免责声明：

1.资讯内容不构成投资建议，投资者应独立决策并自行承担风险

2.本文版权归属原作所有，仅代表作者本人观点，不代表非小号的观点或立场

上一篇：

SendingLabs完成1250万美元种子轮融资，以构建「Web3通信堆栈」

标签：STOTIMTORSTOREetkstokenSTIMMYDefactorSTORE币

欧易okex官网热门资讯