比特幣 51% 攻擊成本量化學術分析：攻擊動機、邊界條件與長期安全模型的嚴格推導
從學術角度建立比特幣 51% 攻擊成本的嚴格量化模型。涵蓋攻擊成功概率的數值分析（即時租用 vs 長期收購成本模型）、雙花攻擊盈虧平衡計算、Selfish Mining 經濟學、Layer 2 TVL 場景、2140 年後安全預算演化，以及礦池集中化風險與防禦機制建議。
搜尋結果
搜尋「proof-of-work」的結果
共 18 篇文章
比特幣共識機制數學證明：Nakamoto 共識的形式化驗證與激勵機制分析
比特幣 Nakamoto 共識機制的嚴格數學分析，涵蓋拜占庭將軍問題形式化定義、雙花攻擊概率邊界證明、Nash 均衡激勵相容性分析、Coq/TLA+ 形式化驗證方法，以及自私挖礦攻擊的數學邊界。提供完整的數學推導、馬可夫鏈模型、博弈論框架與安全性/活性證明。
比特幣白皮書密碼學章節逐段深度學術分析：從原創論文到中本聰的創新整合
比特幣白皮書《Bitcoin: A Peer-to-Peer Electronic Cash System》共計9頁、12章節，解決了密碼學與分散式系統領域中數十年未能突破的核心難題。本論文提供白皮書密碼學章節的逐段學術分析，深入挖掘中本聰如何整合密碼朋克運動的各項技術發明，從密碼學原創論文的理論基礎到比特幣的實際實現，揭示這份歷史性文件背後的密碼學創新與工程取捨。
比特幣 Nakamoto 共識機制數學證明：從拜占庭將軍問題到工作量證明的嚴格形式化分析
從嚴格的數學角度提供拜占庭將軍問題的完整形式化定義，證明比特幣共識機制的安全性與活性，推導攻擊者成功概率的精確公式，詳細分析工作量證明的隨機過程模型、激勵相容性的形式化證明，以及各種攻擊場景的數學邊界。
中本聰共識數學證明
從數學角度證明中本聰共識的安全性，分析誠實節點與攻擊者之間的博弈，並推導確保系統安全的關鍵參數。
比特幣挖礦基礎
比特幣挖礦原理完整教學：深入說明比特幣工作量證明（PoW）機制的運作原理、礦機運作方式與挖礦產業的運作流程。