搜尋結果

搜尋「security」的結果

共 165 篇文章
Self-Custody

比特幣自我保管:緊急恢復演練手冊

比特幣自我保管的完整演練指南。從助記詞生成、異地備份、破壞性測試,到各種緊急狀況的模擬處理(火災、被盜、遠程恢復)。強調「不做演練就等於沒有真正保管」的核心理念。

初學者 2026-04-01
Self-Custody

比特幣錢包安全實務:從 Mt.Gox 到 FTX 的災難教訓手冊

用血淋淋的歷史案例深度分析比特幣安全事件,包括 Mt.Gox 交易所倒閉、QuadrigaCX 創辦人死亡事件、以及 FTX/Alameda 挪用風暴。提供自托管錢包安全最佳實踐,包括硬體錢包選擇、助記詞備份、多重簽名配置、以及錢包恢復演練的完整指南。

中級 2026-04-01
Technical

比特幣 Nakamoto 共識的經濟激勵形式化驗證:從機制設計到均衡穩定性

使用形式化方法分析比特幣礦工激勵機制的數學基礎。涵蓋攻擊模型的數學形式化、博弈論均衡分析、Selfish Mining 的收益函數推導、51% 攻擊的經濟邊界計算、以及 2140 年後安全性預算的三種情境模擬。深入探討激勵相容性、均衡穩健性與外部衝擊的應對策略。

進階 2026-03-29
Technical

比特幣 51% 攻擊的經濟激勵模型:形式化驗證與攻擊邊界

深入分析比特幣 51% 攻擊的經濟激勵模型,涵蓋 Nakamoto 安全性公式的數學推導、納什均衡視角的礦工行為分析、自私挖礦(Selfish Mining)策略的收益邊界計算、攻擊成本的現實構成、以及 Layer 2 時代的新安全挑戰。提供形式化驗證框架(Garay-Desmedt-Leonardoso)的完整解讀,並探討 2140 年後費率市場對網路安全性的影響。

進階 2026-03-28
Technical

比特幣共識機制深水區:那些白皮書沒寫清楚的數學證明

比特幣共識機制的深度數學分析。從拜占庭將軍問題的形式化定義出發,嚴格推導 Common Prefix 性質、Bounded Cherry-Picking 證明、Selfish Mining 收益模型,以及 Grivakis 安全分析框架。提供 51% 攻擊成本的量化估算與激勵相容性的形式化證明。

進階 2026-03-28
Philosophy

量子計算機什麼時候能破解比特幣?一份不吹不黑的時間線預測

系統性分析量子計算對比特幣的威脅時間線。涵蓋 SHA-256 和 ECDSA 的量子安全性評估、P2PK 與 P2PKH 地址的不同量子威脅等級、以及比特幣社群 BIP-360 後量子遷移方案的詳細解讀。提供個人用戶的量子防護策略與短期、中期、長期行動指南。

中級 2026-03-28