NEST預言機面臨的礦池拒絕打包攻擊分析

NEST分布式預言機旨在通過讓更多鏈上用戶參與價格轉換過程，來提高預言機數據的可靠性和系統安全性。爲解決惡意報價問題，NEST設計了報價-吃單的提交驗證機制，允許驗證者根據報價進行交易並重新提出修正報價。

然而，這種機制的有效運行依賴於吃單交易和新報價能夠及時出現在鏈上新區塊中。隨着礦池的出現，對交易打包權的壟斷成爲一個潛在問題。大型礦池往往擁有更大的算力優勢，可以選擇性地打包對自己有利或手續費較高的交易，即使這些交易可能不是最先發布到鏈上的。

當這種情況發生在NEST預言機中時，可能導致新報價無法在驗證期內得到及時驗證，最終導致NEST輸出錯誤的價格數據。這爲某些礦池創造了套利機會，potentially威脅到整個DeFi生態系統的安全。

攻擊流程分析

假設所有參與挖礦的成員都是礦池（單一礦工也可視爲小型礦池），各礦池擁有不同的算力佔比，且彼此了解這些信息。

1. 攻擊準備：惡意礦池通過閃電貸等方式預先囤積用於套利的加密貨幣。

2. 提交惡意報價：惡意礦池向NEST提出一個與實際市場價格存在巨大差異的報價。

3. 驗證期博弈：在驗證期內，所有礦池面臨兩個選擇 - 打包修正報價的交易或忽略該交易。這構成了一個多方完全信息靜態博弈。

4. 博弈決策：礦池根據自身算力佔比、潛在收益比較做出決策。假設修正報價的即時收益爲a，不修正並在報價成立後套利的收益爲b（通常b > a）。

5. 收益計算：

   • 選擇修正報價：Pia（Pi爲礦池算力佔比）
   • 選擇不修正：Pib * Pn（Pn爲所有驗證期區塊都不出現修改報價的概率）

6. 納什均衡：礦池根據算力佔比和收益比例，選擇是否對報價進行修正，最終達到納什均衡狀態。

總結

礦池憑藉算力優勢可能會延遲或阻礙報價修正，從而利用NEST預言機進行套利。這不僅是NEST面臨的挑戰，也反映了整個區塊鏈去中心化理念受到礦池現象的衝擊。如何有效解決礦池帶來的問題，是實現真正去中心化過程中的重要挑戰。