KeyFrame內部研究專用

區塊鏈:破解代碼 #區塊鏈 #blockchain #blockchainsecurity

企業的IT諮詢顧問·2月11日週三·7 min中文

三句話摘要

透過比特幣、Verge、狗狗幣三個真實駭客案例,揭示區塊鏈系統因程式碼設計缺陷而從內部崩潰的安全教訓。 區塊鏈的安全不靠神話,靠的是持續的程式碼測試、謹慎的功能設計,以及勤勞的安全維護——這三點任一鬆懈,「不可篡改」就只是行銷話術。 程式碼本身就是最大風險面:區塊鏈再去中心化,仍是人寫的軟體,一個整數溢位就能讓總供應量瞬間失效,上線前壓力測試是不可妥協的底線。

重點整理

重點
  • 1

    程式碼本身就是最大風險面:區塊鏈再去中心化,仍是人寫的軟體,一個整數溢位就能讓總供應量瞬間失效,上線前壓力測試是不可妥協的底線。

  • 2

    功能疊加會產生非線性風險:Verge 的時間戳彈性、難度自動調整、多演算法支援,三個各自合理的設計,組合後形成攻擊者可操控的漏洞鏈,系統複雜度與安全死角成正比。

  • 3

    複製程式碼不等於繼承安全性:開源生態中,fork 專案若不持續同步上游的安全補丁,等於用別人的舊鎖保護自己的金庫,懶惰的維護成本遠高於更新本身。

  • 4

    緊急回滾是雙刃劍:比特幣的回滾救了系統,但同時證明「不可竄改」是有條件的,社群共識的力量可以改寫歷史,這對信任基礎是根本性衝擊。

實用技巧與重點

乾貨
  • 比特幣總供應量上限:2,100 萬枚
  • 攻擊者單筆交易憑空產生:1,840 億枚比特幣,超過正常上限 8,762 倍
  • 攻擊者若成功將掌控全球:超過 98% 的比特幣
  • 修復手段:區塊鏈強制回滾(硬分叉)
  • 漏洞類型:整數溢位(Integer Overflow)
  • Verge 攻擊算力門檻:不足 10%,即可發動 51% 攻擊
  • Verge 漏洞組合:時間戳允許 ±2 小時誤差 + 挖礦難度動態調整 + 支援 5 種挖礦演算法
  • 攻擊手法:送出偽造時間戳區塊 → 觸發難度驟降 → 以少數算力壟斷網路
  • 狗狗幣(Dogecoin)偽造幣量:佔當時流通量 25%
  • 狗狗幣事件當時市值:約 $15,000 美元
  • 根本原因:未同步比特幣已發布的安全補丁(Copy-paste vulnerability
  • 評估新專案的三個問題:是否有第三方程式碼審計?開發團隊更新頻率?系統複雜度是否製造隱藏風險?

結論

結論

區塊鏈的安全不靠神話,靠的是持續的程式碼測試、謹慎的功能設計,以及勤勞的安全維護——這三點任一鬆懈,「不可篡改」就只是行銷話術。

完整解析

詳細

區塊鏈長期以「不可篡改」作為核心賣點,但這個敘事存在一個根本盲點:區塊鏈的安全性建立在程式碼之上,而程式碼是人寫的。只要設計圖有缺陷,再堅固的分散式架構也可能從內部崩潰。影片透過三個真實案例,系統性地拆解了這種「由內而外的爆炸」如何發生。

第一個案例發生在比特幣早期,漏洞類型是整數溢位——類似汽車里程表從 999,999 公里歸零翻回 0 的原理。某駭客利用這個邏輯瑕疵,在單筆交易中憑空製造了 1,840 億枚比特幣,遠超比特幣 2,100 萬枚的硬上限,等同一個人掌控全球逾 98% 的供應量。開發團隊的應對是啟動社群投票,強制將區塊鏈回滾至攻擊發生前的狀態。這個決定雖然拯救了系統,卻也親手打破了「一旦寫入永不改變」的神話,暴露出共識機制才是真正的終極權威,而非技術本身。

第二個案例主角是 Verge 幣,攻擊手法更為精妙:不需要找程式漏洞,只需把三個各自正常的功能組合成武器。Verge 允許時間戳有兩小時的誤差、挖礦難度會根據速度自動下調、並支援五種挖礦演算法。攻擊者送出一個時間設定在一小時前的假區塊,讓系統誤判挖礦速度驟降,隨即自動把某一演算法的難度調到極低。結果攻擊者僅用不到 10% 的算力就控制了整個網路,順利發動 51% 攻擊,為所欲為地竄改交易紀錄。這個案例的核心教訓是:功能越多,系統互動越複雜,開發者越難預見各種組合所產生的非線性風險。

第三個案例最貼近日常開發現實——狗狗幣的悲劇不來自高超技術,而來自複製貼上後的怠惰。狗狗幣的程式碼幾乎直接 fork 自比特幣,但當比特幣開發團隊修補一個嚴重漏洞後,狗狗幣團隊沒有同步這個安全補丁。攻擊者發現這個落差,成功偽造出佔當時流通量整整 25% 的空氣幣。儘管當時市值僅約 15,000 美元,但這個案例清楚說明:在開源生態中,繼承程式碼不等於繼承安全性,持續的維護與更新才是真正的護城河。

綜合三個案例,影片歸結出三條實用法則:程式碼測試不能馬虎、複雜功能要評估交互風險、開源依賴要持續同步上游更新。對於普通投資者或使用者,這些教訓也直接轉化為評估新專案的三個問題:有無第三方程式碼審計?開發團隊更新是否勤快?系統複雜度是否製造了難以預見的風險?

關鍵時刻

Pipeline v2

帶時間戳的重點,會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。

事實查核

Pipeline v2

說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。

更多「Web3 安全」的內容

IF YOU OWN XRP YOU NEED TO SEE THIS PRICE MANIPULATION! ⚠️
8 min
Web3 安全英文8月14日

IF YOU OWN XRP YOU NEED TO SEE THIS PRICE MANIPULATION! ⚠️

Zach Humphries

  • 機構支撐的積極意義:價格操縱常被視為負面,但Ripple掌握大量XRP供應與escrow,在熊市期間提高價格下限,實際上替零售投資者鎖定了低風險的積累區間,這不是剝削而是市場穩定機制。
  • 歷史模式驗證:2024年7月至11月XRP在50美分附近橫盤整理,低點觸及42美分(wick),高點65美分;隨後11月5日至12月5日單月上漲456%,年底到2025年初累計漲幅534%,這個歷史周期正在1美元價位重演。
  • 比特幣聯動邏輯:講者在4-5月就預測「如果比特幣跌至60k以下,XRP會跌至1美元或更低」,此預測精準應驗,反映出熊市中兩者的明確連動關係。
Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady
72 min
Web3 安全英文PODCAST8月5日

Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady

Zero Knowledge

  • 反向 Linux 架構:Commonware 刻意暴露棧各層級控制,讓開發者自訂執行環境、共識機制、密碼學實現,而非像 Cosmos SDK 只允許應用層以上定制。2-3 個月能組裝一條定製鏈,代價是額外深度但回報是長期維護成本降低及效能優化彈性。
  • 容錯假設的典範轉移:Alpine Glow(Solana 2025)實現單輪投票定終的關鍵是將容錯預算分離為獨立的 Byzantine 和 Crash 容限。傳統系統把 33% 當一個整體預算;新模型允許 20% 惡意加 20% 崩潰,打破了 PBFT 理論界線,釋放單輪設計空間。
  • Minimet 與 Multimet 的遞進:Minimet 是 5F+1 設定下的乾淨構造,實現更短視圖延遲;Multimet(剛發布)進一步允許並行 mini-commits 且驗證者可推翻領導者審查,使用者交易在全球分布式網路達到 200-300 毫秒端到端定終。
Private Information Retrieval (PIR) with Alex Hoover
64 min
Web3 安全英文PODCAST7月29日

Private Information Retrieval (PIR) with Alex Hoover

Zero Knowledge

  • PIR 保護的是訪問模式,不是資料本身
  • PIR 與加密不同,它關注的是隱藏「客戶端查詢了什麼」,而非「資料是否加密」。在公開資料庫(如區塊鏈)上,客戶端可以在不洩露查詢對象給伺服器的情況下檢索特定條目,解決了輕量級客戶端的隱私和防審查問題。
  • 客戶端預處理方案是突破瓶頸的關鍵