VER:首發 | Keep3r項目中心化風險漏洞分析

北京時間2020年11月20日，Telegram社群出現某些截圖聲稱Keep3rLink接受了CertiK的審計服務。

在此，CertiK鄭重聲明：CertiK團隊從未對"Keep3rLink"項目進行過任何審計。

同日，CertiK安全研究團隊發現Keep3r項目存在中心化安全風險。

項目擁有者擁有過大權限，可將允許獎勵的限制提高，從而可以向任意參與者發送任意數額的獎勵且可向任意地址鑄造任意數目代幣。?

項目風險及相關細節

Keep3rV1：

●代碼地址：

https://github.com/keep3r-network/keep3r.network/blob/master/contracts/Keep3r.sol

●?部署地址：

百度Apollo首發 “Apollo 001”系列紀念數字藏品:金色財經報道，據百度Apollo智能駕駛官方公眾號，百度Apollo全網首發首款 “Apollo 001”系列紀念數字藏品，以百度汽車機器人為主體形象，每款對應一個百度Apollo自動駕駛重要里程碑事件。據悉，該數字藏品將于2022年7月8日 09:55發布汽車機器人家族全家福空投款。[2022/7/7 1:58:19]

https://etherscan.io/address/0x1cEB5cB57C4D4E2b2433641b95Dd330A33185A44

Keep3rV1Helper：

●?代碼地址：

https://github.com/keep3r-network/keep3r.network/blob/master/contracts/Keep3rV1Helper.sol

首發 | 區塊鏈技術及軟件安全實戰基地正式成立:金色財經報道，今日，中軟協區塊鏈分會、人民大學、菏澤市局相關部門聯合共建的區塊鏈技術及軟件安全實戰基地正式成立。同時聘任中軟協區塊鏈分會副秘書長宋愛陸為區塊鏈技術及軟件安全實戰基地特別專家。

區塊鏈技術及軟件安全實戰基地主要涉及領域為：非法數字貨幣交易與洗錢、區塊鏈傳銷與電信詐騙、網絡賭博、四方支付、冒用商標注冊等，聯合社會治理、城市安全、前沿技術領域的行業專家，進行警協合作。

據公開報道，近期菏澤市下屬機關剛破獲一起特大電信網絡詐騙案，打掉多個涉嫌以網貸和投資“比特幣”為名的詐騙團伙，抓獲犯罪嫌疑人83名，扣押凍結涉案資金2700萬元。[2020/7/21]

●?部署地址：

https://etherscan.io/address/0x93747c4260e64507a213b4016e1d435c9928617f

首發 | 劉堯：百度區塊鏈推出天鏈平臺賦能鏈上業務:12月20日，由CSDN主辦的“2019中國區塊鏈開發者大會”12月20日在北京舉行。百度智能云區塊鏈產品負責人劉堯以《企業區塊鏈賦能產業創新落地》為主題進行了演講，他指出：2020年將是區塊鏈企業落地的元年，為了支持中國區塊鏈的產業落地，百度將區塊鏈進行平臺化戰略升級，依托百度智能云推出天鏈平臺，就是要賦能360行的鏈上業務創新落地。[2019/12/20]

如下圖圖一所示，Keep3r項目的Keep3rV1智能合約中定義了兩個角色：governance與pendingGovernance。

1178行setGovernance()函數允許當前governance角色將pendingGovernance角色設定為任意給定地址_governance。

同時在1186行acceptGovernance()函數中，當前pendingGovernance可以將自己授權為governance角色。

首發 | 百度推動246家博物館線上藏品上鏈:金色財經訊，近日，百度超級鏈聯合百度百科，基于區塊鏈技術創建 “文博藝術鏈”，推動百科博物館計劃中的246家博物館線上藏品上鏈。基于“文博藝術鏈”，百度將與博物館共同推動線上藏品版權的確權與維護，同時探索線上藏品版權數字化交易方式，為合作的博物館提供更全面的服務和更多的權益。據介紹，此項目將分階段進行，一期將完成線上藏品的入鏈確權，為每一件藏品生產專屬的版權存證證書。讓每一名用戶可以在百度百科博物館計劃的PC端和WAP端的藏品頁查看證書。后續，百度還將推動AI與區塊鏈技術在文博領域的結合應用，用來保障上鏈數據與藏品相匹配，為后續進行藏品圖像版權數字化交易奠定基礎。[2019/1/30]

因此從邏輯上governance角色與pendingGovernance角色可以循環授權，且沒有任何event事件可以提醒投資者governance角色與pendingGovernance角色的變更。

IMEOS首發 BM表示EOS合約具有整數溢出保護:據金色財經合作媒體IMEOS報道：近日ETH出現多個ERC20智能合約的處理溢出錯誤，BM在推特上發表評論：新的ETH契約Bug可能會破壞整個Token的供應，讓持有者留下無價值Token.這就算為什么代碼不能成為法律，隨即表示EOS erc合約不容易受到這種攻擊。而EOS官方群也有人表示擔憂EOS是否具有整數溢出保護？BM回應：有很多C ++模板類可以封裝類型并檢查溢出。[2018/4/25]

此時，項目擁有者可以隨意設置擁有兩個角色的地址。

圖一：governance、pendingGovernance角色以及KPRH設置函數setKeep3rHelper()

一旦擁有governance角色，擁有角色的地址可以利用圖一中1169行setKeep3rHelper()函數對當前KPRH指向的Keep3rHelper智能合約進行修改。

修改之后圖二中1076行KPRH.getQuoteLimit()的具體實現就也極有可能被修改，接下來會返回給調用該函數的Keep3rV1合約不同的返回值。

圖二：對某個用戶keeper進行獎勵的函數workReceipt()

項目擁有者如果考慮發動攻擊，由于擁有governance角色，因此可以首先調用圖三中addKPRCredit()函數。

在916行對某一個job的地址給與任意數目的信用數目credit。

之后可以部署一個新的Keep3rHelper智能合約，然后在該智能合約中的將getQuoteLimit方法定義為返回uint類型變量的最大值。

然后項目擁有者可以使用ADDR_A的地址來調用圖1中setKeep3rHelper()函數，將KPRH值指向給定的Keep3rHelper智能合約。

最終調用圖二中workReceipt()函數，由于1076行代碼由于KPRH.getQuoteLimit()函數被指定返回最大值的緣故必定通過。

在1077行中由于項目擁有者使用ADDR_A的地址來進行的調用，其在該智能合約中擁有的信用數目為CREDIT_A，因此amount的數目可以為略小于CREDIT_A的任意值。

當通過1077行之后，amount的獎勵數目被給與keeper的地址。

最終該keeper可以調用合同內部的ERC20的轉移函數，將獲得的獎勵轉移到自己給定的地址中，完成攻擊行為。

圖三：對某個job增加信用數目credit的函數addKPRCredit()

除了上文講述的中心化風險漏洞之外，圖四中的mint()允許為governance角色的地址鑄造任意數目的代幣。

由于governance角色的地址可以通過圖一中的setGovernance()函數以及acceptGovernance()進行設置。

也就代表著項目管理者只要擁有governanvce角色，即可以通過重設governance角色地址的方式，向任意地址鑄造任意數目的代幣。

圖四：允許governance角色隨意鑄造代幣的函數mint()

通過查詢etherscan上Keep3rV1智能合約的數據，圖五顯示Keep3rV1擁有者地址為0x2d407ddb06311396fe14d4b49da5f0471447d45c。

同時，如圖六顯示，北京時間11月20日早11點governance角色的地址也為0x2d407ddb06311396fe14d4b49da5f0471447d45c。

可以得知項目擁有者擁有governance角色權限，因此有權限可以通過上述中心化漏洞進行攻擊并獲利。

圖五：Keep3rV1智能合約擁有者等相關信息

圖六：governance角色地址

總結

區塊鏈作為時代顛覆性的核心技術，也已在各個領域得到了廣泛的應用，隱藏在收益和利好之下的安全隱患也不應被忽視。

安全審計現在已經是高質量項目的標配。

若項目沒有被審計，對于用戶來說，投資行為則要格外慎重；對于項目方來說，則需要準備好相關資料并尋找專業并且聲譽好的審計公司進行審計。

若項目被審計過，則需盡量了解審計公司背景以及其審計報告中的各項指標。

CertiK采用形式化驗證工具來證明智能合約可靠性，公司內部審計專家將利用包括形式化驗證在內的多種軟件測試方法，結合一流的白帽黑客團隊提供專業滲透測試，從而確保項目從前端到智能合約整體的安全性。

近期，有部分項目方假借CertiK的名義發布不實審計報告。

首先，CertiK很感謝項目方對我們的認可。但項目方應對項目的發展負責，一份完整且符合安全標準的安全審計報告不可或缺，如您有審計需求，歡迎搜索微信關注CertiK官方微信公眾號，點擊公眾號底部對話框，留言免費獲取咨詢及報價！?

CertiK在此提示：任何與CertiK審計相關的消息，請仔細甄別。切勿輕信相關不實內容，并請以CertiK官方或權威媒體發布的消息為準。

Tags：VERGOVERNNANCCO MetaverseFuturov Governance TokenaeternityZonoSwap Finance

XMR