比特幣密碼學數學原理：secp256k1、ECDSA、SHA-256 與 RIPEMD-160 的形式化分析
從形式化數學角度深入分析比特幣採用的密碼學技術：secp256k1 橢圓曲線的群論結構、ECDSA 簽名算法的數學原理、SHA-256 哈希函數的壓縮函數設計、以及 RIPEMD-160 的安全性分析。同時探討這些密碼學原語的抗量子計算前景與 BIP-360 後量子簽名框架的技術架構。
標籤: elliptic-curve
共 18 篇文章
比特幣密碼學原語數學推導與形式化驗證：從橢圓曲線群運算到 Schnorr 簽名密鑰聚合
從嚴格的數學角度提供比特幣核心密碼學原語的完整數學推導，包括 secp256k1 橢圓曲線的群結構分析、ECDSA 簽名機制的形式化證明、Schnorr 簽名的密鑰聚合數學推導、以及基於離散對數問題的不可偽造性證明。同時介紹形式化驗證方法在比特幣密碼學實現中的應用。
比特幣密碼學原語完整數學推導：secp256k1 群運算、Schnorr 簽名密鑰聚合與安全性歸約
提供比特幣核心密碼學組件的完整數學推導，包括 secp256k1 橢圓曲線的群運算封閉性證明、Schnorr 簽名的密鑰聚合公式推導、MuSig2 多簽協議的密碼學安全性分析、secp256k1 橢圓曲線運算的逐步視覺化解說、Taproot 中的 Schnorr 實現，以及基於隨機預言機模型和分叉引理的形式化安全性歸約。從抽象代數視角建立嚴密的數學框架。
比特幣 Schnorr 簽名密鑰聚合的完整數學推導：從理論到 BIP-340 實現
從嚴格的數學角度提供 Schnorr 密鑰聚合的完整推導過程，包括離散對數問題的安全性分析、線性同餘性質的嚴格證明、MuSig2 多簽名協議的完整描述與安全性證明、BIP-340 的比特幣具體實現對照，以及 secp256k1 庫的恆定時間安全實現分析。涵蓋從抽象代數到實際源碼的完整技術圖景。
比特幣 secp256k1 橢圓曲線密碼學完整數學推導：從群論基礎到簽名驗證
從嚴格的數學角度完整推導比特幣 secp256k1 曲線的群結構、點加法運算、標量乘法算法，以及這些運算如何構成 ECDSA 和 Schnorr 簽名機制的安全性基礎。涵蓋群論基礎、有限域運算、倍點公式、Jacobian 座標優化、ECDLP 攻擊算法、Schnorr 簽名與 MuSig2 多簽、以及後量子遷移的數學挑戰。
比特幣密碼學基礎與安全性分析：從數學原理到實際應用的完整推導
從數學角度深入分析比特幣所使用的密碼學技術，包括有限域與橢圓曲線數學、ECDLP 離散對數問題、SHA-256 雜湊函數、ECDSA 簽名機制、比特幣位址生成流程、以及交易驗證的密碼學原理。提供完整的數學推導過程和安全性證明，幫助讀者理解比特幣為何能夠在沒有可信第三方的情況下運行。