GnosisSafe - 合约结构分析_MOD:Champignons of Arborethia

本文作者:bixia1994-互联网小工

上篇文章简单分析GnosisSafe中的部分业务逻辑,主要是链下签名与链上验证的逻辑,关于方法执行,Gas费用扣减等并未涉及到。因为主要是目前也暂时用不到那一块。这一篇文章主要是分析下GnosisSafe的合约结构。代码以最新release的v1

enableModule-使能该模块,实际上是添加该模块到链表里

//sentinel->A<->AfunctionenableModule(addressmodule)publicauthorized{//要求该module不能重复添加。如果该module在链表尾部,则该module应该指向自己require(modules==address(0));//将该module->A<->Amodules=modules;//将哨兵重新指向module:sentinel->module->A<->Amodules=module;}

disableModule-废弃该模块,将该module移除链表

//sentinel->prevModule->module->B<->BfunctiondisableModule(addressprevModule,addressmodule)publicauthorized{//要求要废除的module和该module前的preModule都在链表中,且prevModule->modulerequire(modules!=address(0)&&modules!=address&&modules=module);//sentinel->prevModule->B<->Bmodules=modules;//module->address(0)modules=address(0);}

MakerDAO社区通过批准GNO为Spark Protocol抵押资产的民意投票:5月21日消息,MakerDAO 社区通过批准 GNO 为 Spark Protocol 抵押资产的民意投票,之后会提交执行投票。Spark Protocol 是 MakerDAO 最近启动的借贷协议 Spark Protocol。[2023/5/21 15:17:08]

getModulesPaginated-拿到所有的模块列表

functiongetModulesPaginated(addressstart,uint256pageSize)externalviewreturns(addressmemoryarray,addressnext){array=newaddress(pageSize"""""""");//遍历链表,不包括哨兵addresscurrentModule=modules;uintmoduleCount=0;while(currentModule!=address(0)&&currentModule!=SENTINEL_MODULES&&moduleCount<pageSize){array=currentModule;moduleCount=1;currentModule=modules;}next=currentModule;//设置正确的array大小assembly{mstore(array,moduleCount。

execTransactionFromModuleReturnData-通过模块执行方法

functionexecTransactionFromModuleReturnData(addressto,uint256value,bytesmemorydata,Enum

Starry Night Capital已将其NFT转移至Gnosis Safe:金色财经报道,三箭资本支持的基金Starry Night Capital已将其NFT转移到智能合约钱包Gnosis Safe中。据Nansen.ai称,此前由Starry Night收集的NFT后来被转移到Gnosis Safe地址,包括2021年10月以约350万美元售出的Pepe the Frog NFT Genesis等等。

根据CoinMetrics研究员Kyle Waters此前的说法,Starry Night Capital在2022年6月的清算令之前将其全部70件作品移至SuperRare。(CoinDesk)[2022/10/5 18:39:59]

modifierauthorized(){require(msg

思考3:代理合约通过delegatecall来访问主合约,而调用主合约中的执行模块方法时,可以选择用call来执行传入的to地址上的方法,那么delegatecall的上下文环境里,再使用call,最后它的状态变化发生在哪里?是代理合约里呢还是call中的to地址上?

问题实质是msg

可以看到在构造函数里有一个参数address_singleton,作为工厂合约,最简单的生产一个Proxy的方法如下:

functioncreateProxy(addresssingleton,bytesmemorydata)publicreturns(GnosisSafeProxyproxy){proxy=newGnosisSafeProxy(singleton);//初始化(boolsuccess,bytesmemoryres)=address(proxy)

去中心化投注系统Azuro完成400万美元融资,Gnosis等参投:6月27日消息,去中心化投注系统Azuro完成400万美元融资,Hypersphere、Ethereal Ventures、Arrington Capital、Delphi Digital、AllianceDAO、Gnosis、Merit Circle等参投。

Azuro计划利用融资资金扩展至不同区块链,以增加更多投注市场,并创建NFT投注市场。Azuro最近在Gnosis Chain上发布其主网,并在本月早些时候上线其前端。[2022/6/28 1:34:53]

在上面的创建Proxy合约的过程中,其实质是调用了create这一opcode。又因为create这一个opcode的创建合约的地址仅与Factory合约的地址和nonce有关,故导致钱包地址可被人手动推算出来。导致任何通过Factory合约这一方法创建钱包的人的钱包地址都可以被推断,出现安全隐患。

地址的推算方法如下:

//首先拿到工厂合约的地址:addressfactory=0xa6b71e26c5e0845f74c812102ca7114b6a896ab2;假设nonce=1,则RLP((s,n))为:ethers.utils.RLP.encode()=>RLP((factory,nonce))=0xd694a6b71e26c5e0845f74c812102ca7114b6a896ab201Keccak256(RLP((factory,nonce)))=0x4c2134364fb2823682748fe543e77ba9f5e59cefb97d55cf58641ebb7beb22c4address=0x43e77ba9f5e59cefb97d55cf58641ebb7beb22c4

Gnosis Safe 生态系统拟议管理方Safe Foundation计划融资1亿美元:金色财经报道,Gnosis Safe 生态系统拟议的管理方Safe Foundation正计划通过代币销售募集1亿美元资金,据悉,Safe Foundation将铸造10亿枚SAFE 代币(一种尚未推出的治理代币),其中总供应量的 8% 会指定出售给一些战略投资者,目前已经从1kx、Dragonfly Capital、Coinbase Ventures、Blockchain Capital 和 Zee Prime等投资方那里获得了6500 万美元的投资承诺,项目估值大约为12.5亿美元,SAFE代币将促进 Gnosis Safe 生态系统发展,同时保护项目的一些关键资产,例如 IP、域名和 GitHub 存储库等。另据Gnosis Safe 项目负责人 Lukas Schor 表示,该工具“已成为 Web3 的关键基础设施”,能为 DAO 和中心化交易所提供动力,最终目标是使 Gnosis Safe 成为一个完整的社区运营和拥有的项目。(The blcok)[2022/2/16 9:54:11]

使用create2这一OPCODE就没有这个问题,但使用create2时,需要理解构造函数中的参数应该怎么传入进去:

Argumentsfortheconstructorofacontractaredirectlyappendedattheendofthecontract’scode,alsoinABIencoding.Theconstructorwillaccessthemthroughahard-codedoffset,andnotbyusingthecodesizeopcode,sincethisofcoursechangeswhenappendingdatatothecode.

尽管xDai有意与Gnosis合并,但部分STAKE代币持有者并不支持:11月13日消息,近日,由预测平台Gnosis(GNO)推出的去中心化自治组织GnosisDAO发起GIP 16社区提案,建议Gnosis和xDai社区合并代币,并在Gnosis Chain的名义下开发xDai区块链。其中Gnosis DAO准备以各种激励的形式提供40万枚GNO(约1.9亿美元),以帮助开发Gnosis Chain,吸引新的协议,并扩大用户基础。然而,并非所有相关方都支持合并。在治理论坛上,xDai的STAKE代币持有者抱怨说,这笔交易的条款无异于Gnosis的“恶意收购”。但与此同时,xDai团队也表示,Gnosis的业务开发、营销和资金注入可能是该链需要的,以避免其成为一个“过时、老派、婴儿潮一代的网络”。(CoinDesk)[2021/11/13 21:48:41]

即将contructor里的参数直接以ABI编码后贴在contract.creationCode里。

bytesmemorydata=abi.encode(type(GnosisSafeProxy).creationCode,uint256(uint160(singleton)))

注意点2:代理合约与实现合约的Storage插槽排布是否一致

由于代理合约GnosisSafeProxy与实现合约GnosisSafe是通过delegatecall来调用,故需要仔细检查两边的插槽排布,需让其保持一致。

首先是GnosisSafeProxy代理合约:

slot_00=>singleton

然后是GnosisSafe实现合约

contractGnosisSafeisEtherPaymentFallback,Singleton,ModuleManager,OwnerManager,SignatureDecoder,SecuredTokenTransfer,ISignatureValidatorConstants,FallbackManager,StorageAccessible,GuardManagerEtherPaymentFallback=>无全局变量Singleton=>有全局变量slot_00=>singletonModuleManagerisSelfAuthorized,ExecutorSelfAuthorized=>无全局变量Executor=>无全局变量ModuleManager=>有全局变量mapping(address=>address)internalmodulesOwnerManagerisSelfAuthorizedSelfAuthorized=>无全局变量OwnerManager=>有全局变量mapping(address=>address)internalowners;uint256internalownerCount;uint256internalthreshold;SignatureDecoder=>无全局变量SecuredTokenTransfer=>无全局变量ISignatureValidatorConstants=>无全局变量FallbackManagerisSelfAuthorizedSelfAuthorized=>无全局变量FallbackManager=>有全局变量keccak256("fallback_manager.handler.address")=>fallback_handlerStorageAccessible=>无全局变量GuardManagerisSelfAuthorizedSelfAuthorized=>无全局变量GuardManager=>有全局变量keccak256("guard_manager.guard.address")=>set_guardGnosisSafe=>有全局变量uint256publicnonce;bytes32private_deprecatedDomainSeparator;mapping(bytes32=>uint256)publicsignedMessages;mapping(address=>mapping(bytes32=>uint256))publicapprovedHashes;

将上面的GnosisSafe实现合约的插槽整理如下:

slot_00=>singletonslot_01=>mapping(address=>address)internalmodulesslot_02=>mapping(address=>address)internalowners;slot_03=>uint256internalownerCount;slot_04=>uint256internalthreshold;slot_05=>uint256publicnonce;slot_06=>bytes32private_deprecatedDomainSeparator;slot_07=>mapping(bytes32=>uint256)publicsignedMessages;slot_08=>mapping(address=>mapping(bytes32=>uint256))publicapprovedHashes;keccak256("fallback_manager.handler.address")=>fallback_handlerkeccak256("guard_manager.guard.address")=>set_guard

可以看到代理合约Proxy和实现合约GnosisSafe的插槽并不完全一致,但是在代理合约Proxy的插槽排布中,slot_00位置处的值都是singleton,并未出现碰撞。可能是Gnosis想让proxy合约尽可能小,所以这样设计。

注意点3:与compound的Unitroller部分对比

Compound中的Unitroller是一个可升级合约架构,即其对应的实现comptrollerImplementation合约地址可以通过Unitorller中的方法去更改,从而实现合约升级。而GnosisSafeProxy并不是一个可升级合约架构,它对应的实现singleton是在初始化时就写死的,没有办法去更改实现。

作为一个代理合约,其实现地址通常需要在创建时就传入进去,然后再调用init方法来进行初始化。

参考资料

上篇文章:https://learnblockchain.cn/article/2980

Gas费用:https://learnblockchain.cn/2019/06/11/gas-mean

多签:https://learnblockchain.cn/article/1127

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

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

登链社区

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

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

入驻指南:

/apply_guide/

本文网址:

/news/10362787.html

免责声明:

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

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

上一篇:

每周编辑精选WeeklyEditors&#039;Picks

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

水星链

[0:0ms0-0:684ms