獨家 | Fairyproof Tech：Pinecone被攻擊事件分析_NEC:PCT

本文由“Fairyproof Tech”原創，授權“金色財經”獨家發布。

8月19日，BSC上的收益聚合項目Pinecone Finance的保險庫受到黑客攻擊，損失約350萬沒PCT代幣（市值約合20萬美元）。

截至寫稿時為止，項目方已經針對此次攻擊中受損的用戶發布了補償計劃：項目團隊及投資人共持有491萬枚代幣，將用所有代幣補償用戶。

盡管此次攻擊受損的金額相對近期動輒千萬、上億美元的金額不算太大，但這起攻擊事件還是給我們留下了值得吸取的經驗和教訓。

這次攻擊出現漏洞的地方在于轉賬過程使用的代幣有損耗，而合約對這個損耗沒有處理好于是就導致漏洞出現從而被黑客攻擊。

在正常狀況下，用戶之間轉賬（ERC-20等）代幣的時候，如果代幣在轉賬過程中沒有損耗，處理起來是比較簡單的。但如果某些代幣在轉賬過程中會出現損耗，則處理這類代幣的轉賬就要非常小心了。

獨家 | BTC 24h 鏈上交易量下降12.76%:據歐科云鏈OKLink數據顯示，BTC 24h 鏈上活躍地址數總計848169，較前日下降7.6% ；鏈上交易量總計532306.32 BTC，較前日下降12.76% ；鏈上交易筆數總計280603，較前日下降15.11% ；BTC鏈上活躍度下降。

截至上午10時，全網算力約為106.48EH/s，較前日下降3.64EH/s，全網算力呈下降趨勢。[2020/6/19]

在Pinecone項目中，其代幣PCT是作為資金池的質押代幣，在其合約設計的代幣轉賬過程中會有手續費的損耗。而項目將這個損耗計入了用戶的份額中，于是用戶份額和質押的PCT總額就會出現偏差。這個偏差就能被攻擊者用來領取多余的獎勵。

具體而言，本次攻擊存在漏洞的合約有：

PineconeFarm合約，其地址為：

0x4099f27fb72788b7bb5cb64e3d2b865eb82d0f8f

獨家 | Bakkt期貨合約數據一覽:金色財經報道，Bakkt Volume Bot數據顯示，本周Bakkt比特幣月度期貨合約總交易額為8900萬美元，環比上升9%，最大未平倉合約量為1200萬美元，環比下降34%。[2020/3/8]

farm合約使用的策略合約IPineconeStrategy，其地址為：

0x1e542DB46eb87cc8E5fA8e1856eC53F89dc4bC89

PCT代幣合約，其地址為：

0x6019384a802310117a6E889e7021d2d0A144fE50

漏洞涉及的相關代碼片段為：

PineconeToke的_transfer()函數：

獨家 | BTC24小時資金凈流出74.42億元:根據AICoin數據顯示，24小時資金凈流入排名中SEELE排名第一， 24小時凈流入1.93億元人民幣；ROAD24小時資金凈流入排名第二，24小時凈流入1.65億元人民幣;TRX24小時金凈流入排名第三，24小時凈流入1.57億元人民幣。PAX 24小時資金凈流入排名第四，24小時資金凈流入1.16億元人民幣；LINK24小時資金凈流入排名第五，24小時資金凈流入1.06億元人民幣。BTC24小時資金凈流出74.42億元人民幣。[2020/2/16]

在這里，PineconeToken的transferFrom的調用了_transfer()函數，在_transfer()中用戶轉賬會收取手續費，因而實際到賬的金額比transferFrom傳入的 amount 值要小。

PineconeFarm合約的deposit()函數：

獨家 | 金色財經2月11日挖礦收益播報:金色財經報道，據印比特數據顯示，按照BTC參考價格68100元、電價0.38元/kWh計算，當前在售主流BTC礦機的市場價格及回本周期為：神馬M20S-68T（二手機11560元，246天回本）、芯動T3+-57T（全新現貨9300元，287天回本）、阿瓦隆1066-50T（全新現貨6300元，231天回本）、螞蟻T17e-50T（準現貨7100元，227天回本）。[2020/2/11]

在上述代碼中，PineconeFarm將存入的PCT質押到IPineconeStrategy合約中獲取收益。通過使用BSC的vm trace工具，可以發現這個IPineconeStrategy是一個VaultRabbitCake合約。PineconeFarm對用戶份額share的計算會用到_wantAmt。而這個_wantAmt和下面的函數片段又有關聯。

獨家 | 蔡良濱：對加密貨幣交叉監管易致真空風險:加密貨幣的屬性一直存在爭議，近日泰國全新法律將數字資產定義為貨幣和證券雙重屬性。日本金融廳擬將虛擬貨幣劃分為金融商品，受金融商品交易法約束。對于加密貨幣的屬性問題及適用的監管法律問題，FORTUNA方圖創始人蔡良濱在接受金色財經獨家采訪時表示：“各國對于加密貨幣市場到底適用于既有的哪一套監管體系范疇的爭論一直持續著。類似日本政府一刀切，統一認定為金融商品這樣的做法，最大的好處就是有明確的單一監管部門對這個市場進行負責，有明確的監管法規可以適用，有明確的監管工具與范式可以套用。而像近期泰國政府認定加密貨幣具備‘貨幣’與‘證券’雙重屬性的做法，很容易導致監管真空風險。事實上，不只是加密貨幣市場，金融市場里其他交叉領域的監管，最后都有可能變成‘真空地帶’，釀成巨大風險。我們熟悉的早期P2P理財如此、早期現金貸如此、利用‘三會分立’多層嵌套的杠桿融資亦如此，越是界定模糊，越是風險巨大。”

蔡良濱進一步表示，如果加密貨幣市場要走向成熟，配套監管設施是必須具備的，而且良好的監管會正面引導市場走向更加成熟和合規的方向。例如，如果確定為證券監管范疇，那么加密通證將會作為一種新型的更有效率的資產證券化的手段得以在傳統金融世界里得到普及，但這個前提是對于信息披露、資金托管等重要環節的監管覆蓋；再例如，如果確定為貨幣范疇，需對其發行總量、超發情況、反洗錢、偷漏稅、外匯管制等領域監管到位。[2018/7/3]

策略合約的deposit()函數

從上述代碼可以看出，在計算sharesAdded時，其分母是wantTotal，而wantTotal 依賴balance()。balance是關聯的總鎖倉PCT余額。由于實際的PCT余額小于 deposit傳入的金額_wantAmt，這就會造成用戶份額在計算時增加了。

最后，當攻擊者調用withdraw函數時，只要輸入比deposit值大的參數就可以贖回超過質押數的PCT代幣。

按照這個機制，黑客在攻擊時，可以重復重復調用deposit和withdraw功能，從而導致合約質押的PCT損耗不斷增加、資金池持有的PCT余額不斷變小。然后在計算獎勵時，由于使用資金池中的余額作為分母，而分母越小，則可額外領取的獎勵就越多。

了解了代碼的漏洞及相關機制后，我們再來看黑客諸多攻擊中的一次攻擊：

這次攻擊中，黑客的地址為：0xfc6682db7e9f57882e8b18ebc9adc7a19f770494，其交易流程如下：

可以看出第一筆交易0xe446f質押了8.1萬PCT，然后在0x76d33 提取獎勵時卻提取了16萬PCT。

我們繼續查看withdraw交易的參數，可以看出傳入amount值為 22603495a2af5d0ccc34，將其轉換為10進制數就是16萬，遠超質押金額8.1萬。詳細細節如下圖所示：

從這次攻擊的漏洞原因看，在轉賬時有損耗的代幣在參與收益類項目時，存在較多的問題。因此Fairyproof Tech提醒項目方要充分考慮損耗對收益計算的影響。

對此類問題，Fairyproof Tech一直以來都會在審計時特別和項目方強調。另外我們也再次強調審計在項目中的重要性，希望項目方在項目上線前充分做好審計工作。

關于Fairyproof Tech：

Fairyproof Tech科技有限公司是一家專注區塊鏈生態安全的公司。Fairyproof Tech科技主要通過“代碼風險檢測+邏輯風險檢測“的一體化綜合方案服務了諸多新興知名項目。公司成立于2021年01月，團隊由一支擁有豐富智能合約編程經驗及網絡安全經驗的團隊創建。

團隊成員參與發起并提交了以太坊領域的多項標準草案，包括ERC-1646、ERC-2569、ERC-2794，其中ERC-2569 被以太坊團隊正式收入。

團隊參與了多項以太坊項目的發起及構建，包括區塊鏈平臺、DAO組織、鏈上數據存儲、去中心化交易所等項目， 并參與了多個項目的安全審計工作，在此基礎上基于團隊豐富的經驗構建了完善的漏洞追蹤及安全防范系統。

作者：

Fairyproof TechCEO 譚粵飛

美國弗吉尼亞理工大學(Virginia Tech, Blacksburg, VA, USA) 工業工程（Industrial Engineering） 碩士(Master)。曾任美國硅谷半導體公司 AIBT Inc（San Jose, CA, USA） 軟件工程師，負責底層控制系統的開發、設備制程的程序實現、算法的設計，并負責與臺積電的全面技術對接和交流。自2011至今，從事嵌入式，互聯網及區塊鏈技術的研究，深圳大學創業學院《區塊鏈概論》課程教師，中山大學區塊鏈與智能中心客座研究員，廣東省金融創新研究會常務理事 。個人擁有4項區塊鏈相關專利、3本出版著作。

Tags：PCTINENECCONSPCT TokenWinerzIQONIQ FanEcoSystemMCONTENT

火幣APP