以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads
首頁 > MANA > Info

ESS:GnosisSafe - 合約結構分析

Author:

Time:1900/1/1 0:00:00

本文作者: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);}

以太坊側鏈 Gnosis 推出區塊瀏覽器 GnosisScan:8月12日消息,以太坊側鏈 Gnosis 推出區塊瀏覽器 GnosisScan,支持 ERC-20、ERC-721、ERC-1155 格式代幣的查詢,并提供 Gas 追蹤、合約修改檢查、開發者 API 等功能。此外,開發人員還可以使用 Truffle 和 Hardhat 插件直接通過命令行自動驗證智能合約在 GnosisScan 上的源代碼。[2022/8/12 12:20:48]

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-通過模塊執行方法

全鏈式DEX Sifchain正式發布Magnolia版本,包含IBC v2等功能:1月27日消息,全鏈式DEX Sifchain宣布正式發布Magnolia版本,該版本功能包括可執行一個游戲計劃來解決Terra的所有問題、IBC v2允許以太坊連接至Cosmos,以及支持多個代幣的獎勵支付。

據了解,Sifchain是基于Cosmos SDK構建的一個全鏈式去中心化交易平臺,此次升級將使它成為目前唯一一個同時可以交易ERC20掛鉤資產和Cosmos生態系統資產的DEX。[2022/1/27 9:17:24]

functionexecTransactionFromModuleReturnData(addressto,uint256value,bytesmemorydata,Enum

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)

0xHabitat的Gnosis Safe多簽遭攻擊,團隊資金被盜約140萬枚HBT:12月4日消息,致力于使用Optimistic Rollup技術提升DAO規模的0xHabitat的Gnosis Safe多簽遭攻擊,團隊資金被盜約140萬枚HBT。LP需要退出SLP HBT-ETH代幣,建議HBT代幣持有者從rollup中退出資金。官方表示,當前的HBT代幣很可能會被新代幣取代,會在2021年12月01日攻擊前拍快照。[2021/12/4 12:50:39]

在上面的創建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 Guild團隊推出DAO擴展工具包Zadiac:9月15日消息,由Gnosis孵化的軟件社區Gnosis Guild團隊推出DAO擴展工具包Zadiac,并在Zadiac APP中增加了4個新工具:Exit、Bridge、Delay 和 Reality。Exit模塊允許參與者用指定的代幣來兌換Avatar數字資產的部分份額;

Bridge模塊允許一個鏈上的地址使用任意消息橋(AMB)控制另一個鏈上的Avatar;Delay修改器允許Avatar在一個模塊發起交易時和模塊被Avatar執行時強制執行一個時間延遲;Reality模塊允許在鏈上執行預言機 Reality.eth報告的事件結果。[2021/9/15 23:26:57]

使用create2這一OPCODE就沒有這個問題,但使用create2時,需要理解構造函數中的參數應該怎么傳入進去:

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

即將contructor里的參數直接以ABI編碼后貼在contract.creationCode里。

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

動態 | Bitfinex現已開啟GNO、GEN、SCRL交易:據Bitfinex官方公告,Bitfinex現已開啟Gnosis(GNO),DAOstack(GEN)和Scroll(SCRL)交易。[2019/4/18]

注意點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

Tags:MODESSRESDDRkomodoAccess ProtocolRES價格DDRT幣

MANA
以太坊:火幣區塊鏈行業周報(第一百八十三期)2021.9.13-2021.9.19

摘要 ?區塊鏈一周動態 主流項目動態:1.Uniswap上線路由優化方案以降低交易成本,單筆交易最多可拆分至7條路徑;2.SushiSwapMISO平臺遭攻擊.

1900/1/1 0:00:00
OLA:基于Solana的Grape Protocol完成120萬美元種子輪融資,Multicoin Capital領投

據TheBlock9月23日消息,基于Solana的“DAO基礎設施”協議GrapeProtocol完成120萬美元的種子輪融資,MulticoinCapital領投.

1900/1/1 0:00:00
BDC:印度央行前行長:加密貨幣對印度有三重威脅

據英國《經濟時報》報道,9月24日,印度央行前行長DuvvuriSubbarao接受ETMarkets.com采訪時表示,加密貨幣對印度有三重威脅,這是央行的擔憂所在.

1900/1/1 0:00:00
DIG:比特幣礦企Genesis Digital Assets完成4.31億美元融資

9月22日消息,比特幣礦企GenesisDigitalAssets宣布完成4.31億美元戰略融資,由Paradigm領投.

1900/1/1 0:00:00
USDT:ZT創新板即將上線ETERNAL

親愛的ZT用戶: ZT創新板即將上線ETERNAL,并開啟ETERNAL/USDT交易對。具體上線時間如下:充值:已開啟;交易:2021年9月24日16:00?; ETERNAL Hero上線Z.

1900/1/1 0:00:00
BIT:一文了解比特幣開發史:中本聰離開項目前后的開發情況

作者:?0xB10C 翻譯:?阿劍 要想完全理解比特幣開發現狀背后的原因,就不能不了解一些歷史事件.

1900/1/1 0:00:00
ads