FFF:解构智能合约

第一部分·前言

想象一下,你正在驾驶着1969年的MustangMach在美国西部的公路上快速行驶,阳光照耀在华丽的镀金轮辋上,整条道路只有你和沙漠,一望无际的地平线见证着你和落日的追逐......心旷神怡间,突然一身巨响,你335马力的快马被滚滚的白烟吞没,瞬间变成了蒸汽机车,于是你被迫停在路边。你打算看看出现了什么问题,当你翻开前车盖,发现自己完全看不懂。你根本就不知道这该死的机器是怎么工作的,于是你拿起手机准备求救,发现附近没有信号......

上面描述的情形是不是和你正在做的DApp开发很像?在开发Dapp的过程中,在类比中,豪车是你的智能合约,轮辋和改造过的地方是那些经过深思熟虑的小细节。而一旦出现问题,你就需要在智能合约EVM字节码中寻找答案,大部分情况下你都完全不知道发生了什么。如果你是Dapp的开发者,并且遇到过上面的尴尬状况的话,那么以后再也不用担心了!因为,本系列文章的目的就是解构一个简单的Solidity合约,查看其字节码,并将其分解为可识别的结构,直至最低级别。我们将打开Solidity这台跑车的引擎盖。在本系列的最后,您在查看或调试EVM字节码时应该感觉很舒服。本系列的重点是揭开Solidity编译器生成的EVM字节码的神秘面纱,它真的比它看起来简单得多。以下是我们解构时要使用到的智能合约代码:pragmasolidity^0

OneKeyCard将于7月17日停服更新:金色财经报道,硬件钱包OneKey发推称,OneKeyCard将于2023年7月17日10:00至2023年7月18日10:00进行停服更新。期间将无法访问OneKey相关服务,卡片的支付功能不受影响。[2023/7/13 10:52:43]

functiontotalSupply()publicviewreturns(uint256){returntotalSupply_;}functiontransfer(address_to,uint256_value)publicreturns(bool){require(_to!=address(0));require(_value<=balances);balances=balances-_value;balances=balances+_value;returntrue;}functionbalanceOf(address_owner)publicviewreturns(uint256){returnbalances;}}注意:此合约容易受到溢出攻击,我们只是为了说明问题,所以力求简洁。

编译合约

为了编译合约,我们将使用Remix。当你打开Remix编译器,单击文件浏览器区域上方左上角的+按钮,创建新的智能合约。将文件名设置为BasicToken.sol。创建好之后,将上面的代码粘贴到编辑器上。在右侧,转到“Setting”的选项中,确保选中了“EnablePersonalMode”。另外,要注意选择的Solidity编译器版本是“version:0.4.24+commit.e67f0147.Emscripten.clang”。这两个细节非常重要,否则你将无法查看文中讨论的字节码。接下来,你可以进入Compile选项并单击Details按钮,你会看到一个弹出窗口,里面包含Solidity编译器生成的所有东西,其中一个是名为BYTECODE的JSON对象,它具有“object”属性,这个就是编译的合约代码,它的代码是这样的:608060405234801561001057600080fd5b5060405160208061021783398101604090815290516000818155338152600160205291909120556101d1806100466000396000f3006080604052600436106100565763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166318160ddd811461005b57806370a0823114610082578063a9059cbb146100b0575b600080fd5b34801561006757600080fd5b506100706100f5565b60408051918252519081900360200190f35b34801561008e57600080fd5b5061007073ffffffffffffffffffffffffffffffffffffffff600435166100fb565b3480156100bc57600080fd5b506100e173ffffffffffffffffffffffffffffffffffffffff60043516602435610123565b604080519115158252519081900360200190f35b60005490565b73ffffffffffffffffffffffffffffffffffffffff1660009081526001602052604090205490565b600073ffffffffffffffffffffffffffffffffffffffff8316151561014757600080fd5b3360009081526001602052604090205482111561016357600080fd5b503360009081526001602081905260408083208054859003905573ffffffffffffffffffffffffffffffffffffffff85168352909120805483019055929150505600a165627a7a72305820a5d999f4459642872a29be93a490575d345e40fc91a7cccb2cf29c88bcdaf3be0029没错,这些代码完全没有可读性。

Stably Corporation在Polymesh链上推出稳定币Stably USD:金色财经报道,总部位于西雅图的 Web3 支付基础设施和稳定币即服务提供商Stably Corporation 宣布在 Polymesh 区块链上正式推出 Stably USD。Stably拥有FinCEN注册的MSB牌照。其发行的稳定币USDS已于2018年上线以太坊主网,之后在2022年分别登陆Harmony公链和XRP Ledger(XRPL)。据悉,Stably USD 是 Polymesh 首个在美国本土发行的稳定币,也是 Stably 和 Polymesh 之间持续合作的第一个产品,允许机构用户还创建Stably Prime账户,以便铸造/兑换 Stably 美元或将其兑换成其他数字资产,包括 USDC、USDT、BTC、ETH等。(prnewswire)[2023/2/16 12:11:48]

部署合约

接下来,转到Remix中的Run部分。首先,确保您使用的是JavascriptVM。这基本上是一个嵌入式JavascriptEVM+网络,理想的以太坊训练场。确保在ComboBox中选择了BasicToken,并在Deploy输入框中输入数字10000。接下来,单击“Deploy”按钮进行部署。这部署的是我们创建的BasicToken智能合约实例,最初提供的10000个token由当前在ComboBox帐户顶部选择的帐户拥有,该帐户会保留我们设置的所有token供应。在“Run”选项卡的“DeployedContracts”中,您可以看到已部署的智能合约,其中包含与合约进行交互的三个字段:transfer,balanceOf和totalSupply。在这里,我们能够与刚刚部署的智能合约实例进行交互。但在此之前,让我们来看看合同的“Deploy”究竟是什么意思:在页面底部的控制台区域中,你可以看到一条日志“creationofBasicTokenpending...”,然后是一个包含各种字段的事务条目:from,to,value,data,logs和hash。单击此条目以展开交易信息,你应该看到transaction的date、input,以及我们上面提到的字节码。所以,创建一个智能合约实例,其中会包含自己的地址和代码。我们将在下一篇文章中详细研究这transaction个过程。反汇编字节码

跨链互操作性网络Axelar将在“Maeve”主网升级中引入二次投票机制:9月6日消息,跨链互操作性网络 Axelar 宣布引入二次投票机制,进一步提升 valanche、Osmosis 和 Polkadot 等 Web3 协议跨链通信安全。二次投票旨在增强 Axelar 去中心化程度来提高其网络安全性,但每次额外投票需要更多 Token,该机制将在 Axelar “Maeve”主网升级中部署。Axelar 拥有广泛的生态系统合作伙伴网络,包括 Aurora、Avalanche、Cosmos、以太坊、Fantom、Keplr、Metrika、Pangolin、Moonbeam、Osmosis、Polkadot、Polygon 和 Solarbeam,迄今融资总额约为 6400 万美元。(joplinglobe)[2022/9/6 13:12:19]

在控制台中心,transaction框框的右侧,有个“debug”按钮。点击这个按钮,你将激活Remix右侧区域中的Debugger选项。我们可以一起看看Instructions部分,如果向下滚动,应该是出现以下内容:000PUSH180002PUSH140004MSTORE005CALLVALUE006DUP1007ISZERO008PUSH20010011JUMPI012PUSH100014DUP1015REVERT016JUMPDEST017POP018PUSH140020MLOAD021PUSH120023DUP1024PUSH20217027DUP4028CODECOPY029DUP2030ADD031PUSH140033SWAP1034DUP2035MSTORE036SWAP1037MLOAD038PUSH100040DUP2041DUP2042SSTORE043CALLER044DUP2045MSTORE046PUSH101048PUSH120050MSTORE051SWAP2...为了确保你前面的操作没有出错,你可以把你所操作的Remix编译器中看到的内容与上面进行比较。这其实就是合约的反汇编字节码。如果您按字节扫描原始字节码,则EVM会识别与特定操作关联的特定操作码。例如:0x60=>PUSH0x01=>ADD0x02=>MUL0x00=>STOP...反汇编的代码非常低级并且很难看懂,但是我们可以通过这种方式可以开始理解它。Opcode

过去30天美元稳定币USDC市值蒸发超25亿美元:金色财经报道,据最新数据显示,美元稳定币USDC市值已跌破520亿美元,本文撰写时约为518.7亿美元,相较于过去三十天544.4亿美元高点已缩水25.7亿美元。截至目前,以太坊链上USDC发行量最高,约为431.5亿美元,其次是Solana和TRON区块链,分别是39.1亿美元和34.25亿美元。[2022/9/5 13:08:43]

在解构智能合约代码开始之前,你将需要一个基本的工具集理解单个opcode,如PUSH,ADD,SWAP,DUP等的操作码,到最后,每个操作吗只能从EVM的堆栈,内存或属于合约的存储中压入一个项或消费一个项。要查看EVM可以处理的所有可用操作码,可以查看Pyethereum,上面显示了操作码列表。要了解每个操作码的工作原理,Solidity官方的汇编文档也是一个很好的参考。即使它不是与原始操作码一一对应,但是非常接近。如果你能读懂技术文档,可以阅读以太坊黄皮书,其实归根结底都是上面的内容。虽然和大家推荐了这么多文档,现在从头到尾阅读这些资源没有什么意义,你只要记住有这么个资料就行,我们将在需要的时候使用到它们。指令上面反汇编代码中的每一行都是EVM执行的操作指令,每条指令都包含一个操作码,例如,让我们采用其中一条指令,指令88,将数字4推送到堆栈。这个特殊的反汇编程序解释说明如下:88PUSH10x04|||||Hexvalueforpush.|OpcodeInstructionnumber尽管反汇编的代码能让我们更加理解底层的东西,但它还是让人摸不着头脑。我们需要一个能够解构所有问题的方法。策略

报告:CleanSpark是被严重低估的比特币矿业股:7月24日消息,根据Arcane Research发布的研究报告,比特币熊市已将矿业股估值推至谷底。根据其资产负债表和收入数据,最被低估的比特币矿业上市公司是CleanSpark,EV / EBITDA(企业估值除以利息、折旧和摊销前利润)仅为2.9。CleanSpark几乎没有债务,甚至能够利用熊市以非常低的价格订购矿机。

Marathon是估值最高的矿业公司,EV/EBITDA为17.2。如果该公司能在2023年3月初实现23.3 EH/s的目标,其收入将增加,其EV/EBITDA可能是合理的。但如果他们没有达到这个目标,其股票价值与同行相比可能被严重高估。

Stronghold的EV/EBITDA最低,为2.3,由于该公司背负巨额债务,因此其估值远低于竞争对手是可以理解的。据悉,一般来说,低于10的EV / EBITDA被认为是健康的。[2022/7/24 2:34:47]

任何一开始看上去不可能完成的任务,其实都可以通过不断的拆解,分解成可以解决的任务,我们遇到的问题也不例外,面对这个问题,我所采取的策略就是“分而治之”。我们可以试图找到反汇编代码的分叉点,并逐渐分解,直到分解成很小的块,我们将在Remix的调试器中逐步完成。在下图中,我们可以看到我们对反汇编代码进行的第一次拆分。

如果你不了解图表,也不要担心,你不用一开始就什么都会,我们的系列文章将会循序渐进的介绍。现在就跟着我们的节奏,不断深入你的豪车的内部结构吧。*本文由AlejandroSantander首发于medium,由猎豹区块链安全翻译并整理*猎豹区块链安全以金山霸的技术为依托,结合人工智能、nlp等技术,为区块链用户提供合约审计、情感分析等生态安全服务。您可访问Ratingtoken官网了解更多

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

BNB区块链:从价值网络到共识社会

昨天,混序部落迎来了一位贵客——信息化与数字经济研究智库创始人、同济大学人工智能与区块链智能实验研究员、中国区块链技术改革联盟首席数字经济学家刘志毅教授.

[0:15ms0-1:25ms