橢圓曲線密碼學基礎：以太坊簽章機制與零知識證明的數學理論
橢圓曲線密碼學（ECC）是現代密碼學的基石，也是比特幣和以太坊所採用的核心密碼學技術。secp256k1 曲線被用於以太坊的交易簽章，BLS 簽名在共識層發揮關鍵作用，而零知識證明系統（如 zk-SNARK、zk-STARK）則構建於橢圓曲線配對之上。本文將從數學原理出發，深入解析橢圓曲線密碼學的理論基礎，闡述離散對數問題的複雜性如何保障系統安全，並詳細說明這些理論如何應用於以太坊的各類密碼學實踐。
橢圓曲線密碼學基礎
橢圓曲線密碼學（ECC）是現代密碼學的基石，比特幣和以太坊都用它。搞密碼學應用的話，這些基礎必須懂。
橢圓曲線方程式
y² = x³ + ax + b (mod p)以太坊用的 secp256k1 曲線：
- a = 0
- b = 7
- p = 2^256 - 2^32 - 2^9 - 2^6 - 2^4 - 1
點加法
曲線上的兩點可以「相加」：
普通加法（P ≠ Q）
λ = (y₂ - y₁) / (x₂ - x₁) mod p
x₃ = λ² - x₁ - x₂
y₃ = λ(x₁ - x₃) - y₁倍點（P = Q）
λ = (3x₁² + a) / (2y₁) mod p
x₃ = λ² - 2x₁
y₃ = λ(x₁ - x₃) - y₁為什麼安全？
離散對數問題（ECDLP）：
給定 G 和 Q = dG，求 d目前沒有已知的多項式時間算法。這是比特幣和以太坊安全的基礎。
在零知識證明中的應用
Pedersen 承諾
Commit(m, r) = m·G + r·H同態性：
Commit(m₁, r₁) + Commit(m₂, r₂) = Commit(m₁+m₂, r₁+r₂)配對（Pairing）
雙線性配對 e(G, H)：
e(aG, bH) = e(G, H)^(ab)配對讓 ZK-SNARK 驗證變得高效。
結語
橢圓曲線密碼學看起來數學很多，但其實核心思想很簡單：利用曲線上的點運算構建單向函數，讓「知道結果容易、知道私鑰困難」成為可能。
COMMIT: Add elliptic curve cryptography fundamentals guide
相關文章
- 橢圓曲線點壓縮數學原理完整指南：從代數基礎到 secp256k1 實作 — 橢圓曲線點壓縮是以太坊、比特幣等區塊鏈系統中廣泛使用的空間優化技術。通過僅存儲曲線點的 x 座標和一個奇偶校驗位，點壓縮可以將 64 位元組的未壓縮座標減少到僅 33 位元組，節省約 50% 的存儲空間和傳輸帶寬。本文從數學原理出發，深入解析點壓縮的代數基礎、橢圓曲線密碼學中的實際應用、以及在 secp256k1 曲線上的完整推導過程。涵蓋模平方根計算、Tonelli-Shanks 算法、SEC 1/2 標準、以太坊智能合約實作，以及側信道攻擊防禦等核心主題。
- 以太坊、Zcash 與 Monero 隱私性完整比較指南：密碼學原理、實際應用與監管影響 — 本文深入分析以太坊、Zcash 和 Monero 三種主流密碼學貨幣的隱私保護技術架構。我們從密碼學原理出發，涵蓋零知識證明（zk-SNARKs、Halo ARC）、環簽名（Ring Signatures）、環隱藏交易（RingCT）等核心技術的數學推導，同時比較 Pedersen 承諾、Merkle 樹驗證、匿名集大小等關鍵參數。三種技術在發送者隱私、接收者隱私、金額隱私和關聯性隱私等維度上有著不同的權衡取捨。本文還分析各平台在監管環境下的合規挑戰，並預測零知識證明在以太坊 Layer 2 隱私方案中的未來應用方向。
- 零知識證明數學推導完整指南：從密碼學基礎到以太坊應用實戰 — 本文從數學推導的角度，全面分析零知識證明的基本原理、主要類型（SNARK、STARK、Bulletproofs）、電路設計方法，以及在以太坊上的實際應用部署。涵蓋完整的代數推導、Groth16 和 Plonkish 約束系統、FRI 協議、以及 zkEVM 架構分析。詳細比較不同 ZK 系統的 Gas 消耗與 TPS 表現，提供量化數據支撐的事實依據。
- 橢圓曲線離散對數問題：從代數幾何到密碼學安全的直覺解釋 — 橢圓曲線離散對數問題（ECDLP）是以太坊密碼學安全的數學基石。本文從直覺出發，逐步建立對ECDLP的完整理解，涵蓋群論基礎、橢圓曲線幾何、離散對數問題的定義與困難性、以及在以太坊中的實際應用場景。我們將深入分析為何256位金鑰能提供與4096位RSA相當的安全性，並探討量子計算對現有密碼系統的潛在威脅。這是理解以太坊底層密碼學安全性的必讀文章。
- 隱私池聯盟成員證明深度技術實作：zkSNARK 電路設計與合規框架完整指南 — 本文深入探討隱私池中聯盟成員證明的密碼學原理、zkSNARK 電路設計、具體實現方式，以及在實際合規場景中的應用。我們提供完整的 Circom 電路代碼、Solidity 智能合約示例，以及針對不同合規框架的實施策略，涵蓋 AML/KYC 合規集成、等級驗證與監管報告等核心主題。
延伸閱讀與來源
- zkSNARKs 論文 Gro16 ZK-SNARK 論文
- ZK-STARKs 論文 STARK 論文，透明化零知識證明
- Aztec Network ZK Rollup 隱私協議
- Railgun System 跨鏈隱私協議
這篇文章對您有幫助嗎？
請告訴我們如何改進：
0 人覺得有帮助
評論
發表評論
注意：由於這是靜態網站，您的評論將儲存在本地瀏覽器中，不會公開顯示。
目前尚無評論，成為第一個發表評論的人吧！