木星链 木星链
Ctrl+D收藏木星链

FFF:解构智能合约

作者:

时间:1900/1/1 0:00:00

第一部分·前言

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

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

Genesis欠前50名债权人超过36亿美元:金色财经报道,1月19日向纽约南区美国破产法院申请第 11 章破产保护后,Genesis公布了其前50项无担保债权的清单。索赔的总价值超过36亿美元。据一位知情人士透露,它们大多属于个人债权人。该列表包括许多涉及知名加密公司的索赔。数周以来一直与Genesis的母公司Digital Currency Group发生公开争执的Gemini Trust Company以7.66亿美元的索赔额位居榜首。[2023/1/20 11:23:05]

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;}}注意:此合约容易受到溢出攻击,我们只是为了说明问题,所以力求简洁。

Osmosis V13.0.0升级提案已开放投票:12月3日消息,对Cosmos生态DEX Osmosis进行V13.0.0升级的提案已开放投票。本次升级的内容包括引入为紧密相关的两种资产提供低滑点的Stableswap池;对于通过IBC跨链至Osmosis的代币数量、时间等进行限制以提高安全性;支持跨链CosmWasm合约以及支持对锁定的流动性进行立即解锁以用于抵押品清算等功能。[2022/12/3 21:20:12]

编译合约

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

IBC Group创始人:Alameda Research开始转移其Arbitrum链上资金:11月14日消息,IBC Group创始人兼首席执行官Mario Nawfal在社交媒体上透露,Alameda Research开始转移在Arbitrum链上的资金。据Dune Analytics数据显示,当前Alameda Research钱包总余额已降至54,839,475美元,FTX钱包总余额已降至81,516,591美元。[2022/11/14 13:02:41]

部署合约

接下来,转到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个过程。反汇编字节码

纽约市第一座NFT办公楼售出:金色财经报道,纽约市第一座NFT办公楼已售出。占地4700平方米的NFT位于纽约市西37街44号,是一种不可逆转的数字资产,旨在将建筑物数字资产的所有权货币化和验证其所有权,并被房地产开发商Azul NYC 收购。

这座 16 层的结构让人质疑建筑在房地产和虚拟世界中所扮演的角色,它是由 Integrated Projects 设计的,他们在 9 月初宣布出售。此外,44W37 NFT是在以太坊上铸造的,仅以 1 ETH 的价格出售,目前价值约 1300 美元。[2022/9/22 7:14:39]

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

机构级流动性质押协议Alluvial获Coinbase及Figment支持:5月17日消息,机构级流动性质押协议 Alluviall 获 Coinbase 及加密货币质押项目 Figment 支持,Coinbase Cloud 和 Figment 将作为新 Alluvial 协议的验证者。Alluviall 的创始团队包括前 Figment 流动性质押产品负责人 Matt Leisinger、质押平台 Kiln 的前 CTO Nicolas Maurice 以及 Index Cooperative DAO 机构业务前负责人 Mike Taormina。

Matt Leisinger 表示,Alluvial 除了可以提供质押服务外,还将支持合规性要求。Alluvial 最初将支持以太坊,未来将制定多链计划,协议预计将在今年晚些时候推出。( The Block)[2022/5/18 3:23:43]

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

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

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

标签:FFFPUSHUSHALAfff币价格PUSH币最新价格nusharesDIGITALAX

火币APP下载热门资讯
比特币:比特币两大分歧的碰撞:是吸引机构投资的中心化资产?还是去中心化货币?

译者丨Moni原地址:https://www.coindesk.com/the-coming-bifurcation-of-bitcoin对于许多身处在比特币社区的人来说.

1900/1/1 0:00:00
区块链:OK区块链资本等近日发布《区块链金融产业全景及趋势报告》

OK区块链资本联合中科院大学数字经济与区块链研究中心撰写的《区块链金融产业全景及趋势报告》于近日正式对外发布.

1900/1/1 0:00:00
EOS:席卷EOS游戏超500万元的黑客攻击,究竟是怎么一回儿事?

12月18日晚间至19日凌晨,多个EOS头部DAPP遭受攻击。EOSMax、ToBet、BigGame和BetDice遭受交易回滚攻击,分别损失55000EOS、22000EOS、14903.1.

1900/1/1 0:00:00
DAI:比特大陆矿场全部清退,正倾售二手矿机

文|雪姣、吴盐比特大陆大举裁员的消息还在发酵,这批裁减潮中,曾为比特大陆贡献2.2亿美元年收益的挖矿业务也未能幸免.

1900/1/1 0:00:00
APP:2019大佬说 | 用户体验好的DAPP,有可能让不靠谱的链变成伟大的链

文|芦荟,郝方舟编辑|郝方舟新一年的钟声刚刚敲响,属于2019的喧嚣、疯狂、奇迹、感动正在开启.

1900/1/1 0:00:00
REG:深度解析 Reg S 豁免流程|标准共识

RegulationS豁免发行是证券通证发行中豁免发行的一种,RegulationS基于1933年《证券法》的制定.

1900/1/1 0:00:00