以太坊密碼學形式化驗證進階指南：Keccak、橢圓曲線與零知識證明的數學基石
本文從數學角度深入分析以太坊密碼學的安全性基礎，涵蓋 Keccak 哈希函數的代數結構、secp256k1 橢圓曲線密碼學的安全性證明、BLS 簽章的聚合機制、以及零知識證明的數學原理。提供完整的數學推導、程式碼範例和形式化驗證工具介紹。強調「非學術讀者友善摘要」層次，幫助不同背景的讀者理解密碼學安全性。包含學術論文引用與版本對照，是以太坊密碼學領域的深度學習資源。
標籤: cryptography
共 123 篇文章
以太坊密碼學形式化驗證：從共識安全到智能合約的數學證明之旅
本文以通俗易懂的方式，深入解讀以太坊密碼學中最關鍵的幾個形式化驗證方法。涵蓋 Casper 共識的安全性證明（Accountable Safety、Plausible Liveness）、BLS 簽章的安全性分析、從 Cozian 假設到 BLS 安全性的推導過程、以及智能合約的形式化驗證方法（KEVM、Certora Prover、F*）。透過完整的數學推導和程式碼範例，幫助讀者建立對以太坊安全性的系統性理解。
以太坊密碼學互動式視覺化指南：用蠟筆和故事解開區塊鏈的神秘面紗
密碼學讓人又愛又恨——愛是因為它保護了我們的資產，恨是因為那些數學公式看起來像是從火星語翻譯過來的。這篇文章用非正式、口語化的風格，帶你一步一步走過每個概念，從橢圓曲線到雜湊函數，從 Merkle Tree 到 ECDSA 簽章。用 Python 代碼實際演示每一個運算過程，讓密碼學不再是黑盒子。我們涵蓋 secp256k1 曲線的點加法與標量乘法、Keccak-256 的雪崩效應、Merkle Proof 的逐步構建、以及簽章驗證的 ecrecover 原理。適合想要深入理解以太坊底層密碼學基礎、但被傳統教學方式搞暈的工程師和愛好者。
以太坊密碼學原語互動式教學：從橢圓曲線到 Merkle Patricia Tree
本文以互動式教學方式解析以太坊核心密碼學原語，包括 Keccak 雜湊函數的海綿結構與實作、secp256k1 橢圓曲線密碼學的數學原理、ECDSA 簽章機制與 recovery id 解析、Merkle Patricia Tree 的混合設計與狀態驗證。透過大量圖解說明和 Python 程式碼範例，讓讀者從直觀理解密碼學而非陷入數學公式的泥沼。
以太坊知識缺口地圖：系統性識別內容覆蓋不足的領域
本文系統性地識別以太坊內容生態中的知識缺口，包括：輕節點經濟學驗證、驗證者客戶端多樣性、PSS 監管框架、The Merge 技術決策、DAO Hack 內部分析、密碼學史脈絡、技術迷思澄清、Layer 2 深度技術、以太坊密碼學原語等九大領域。分析每個領域現有內容的不足之處，並提出具體的填補策略。
以太坊黃皮書數學推導深度解析：從狀態轉換到區塊獎勵的完整規格證明
本文深入剖析以太坊 Yellow Paper 的核心數學推導，用口語化解釋那些「顯然可得」的證明步驟到底怎麼得的。涵蓋基本符號系統、狀態轉換函數（Τ、Ξs、Ξg、Ξevm 層次結構）、Gas 成本模型（靜態/動態 opcode 成本、記憶體計算）、工作量證明 Ethash 的混雜函數、區塊獎勵數學模型、以及密碼學原語（Keccak-256、ECDSA、Merkle Patricia Trie）的直覺解釋。同時探討形式化驗證的價值與局限性。
以太坊隱私技術的密碼學原創分析：ZK 電路設計的信任假設深度比較
本文原創分析不同零知識證明系統的信任假設差異，深入比較 Groth16、Plonk、Halo2、STARK 等主流 ZK 系統的信任模型。以太坊隱私方案如 Tornado Cash、Aztec Network、Privacy Pools 的信任假設如何影響安全性？為什麼 Halo2 被稱為「透明」的系統？完整的密碼學推導和量化評估框架，幫助理解信任與透明之間的平衡取捨。
ZK-SNARK 電路代數推導完整指南：以太坊上的零知識證明工程實踐
本文從代數推導的角度深入分析 ZK-SNARK 電路的設計原理，涵蓋 PLONK 約束系統的代數結構、Groth16 的 QAP 推導、Circom 電路的代數實現、以及多項式承諾的代數原理。我們提供完整的數學推導過程、實際電路示例和工程實現細節，幫助讀者從密碼學工程師的視角理解零知識證明。
以太坊零知識證明系統與密碼學原語的數學原理完整指南
本文深入剖析零知識證明（ZKP）的數學原理，從基礎概念到 ZK-SNARK、ZK-STARK、PLONK 等主流方案的詳細推導。涵蓋算術電路、R1CS 約束系統、KZG 多項式承諾、雙線性配對、FRI 協議等核心密碼學原語的完整數學推導，以及 zkEVM 的技術實現挑戰與不同方案比較。
Keccak 雜湊函數安全假設與以太坊密碼學原語深度分析：從海綿結構到 Ethash 的完整技術解析
本文深入分析以太坊使用的 Keccak-256 密碼學原語，涵蓋海綿結構的設計哲學、Keccak-f 置換函數的數學原理、以及與 NIST SHA-3 標準化版本的差異。詳細說明為什麼以太坊選擇原始的 Keccak 而非 SHA-3，以及這種選擇的安全性意涵。同時分析 Keccak-256 在以太坊中的實際應用場景：地址生成、智慧合約、MPT 資料結構。專章探討 Ethash 工作量證明演算法的設計原理，以及 Merge 之後 PoS 轉變的密碼經濟學影響。最後提供 Solidity 中安全使用 Keccak 的最佳實踐。
ZK 密碼學的數學推導互動指南：從零知識證明到底層電路設計
本文以互動式學習方式解析零知識證明的數學原理，跳過抽象的符號推導，用大量具體數字例子展示 zk-SNARKs 和 zk-STARKs 的運作原理。我們從 Schnorr 識別協議開始，逐步過渡到 R1CS 約束系統、多項式承諾、同態加密等核心概念，最後分析為什麼這些技術對 Layer 2 的發展至關重要。適合想要建立 ZK 密碼學直覺但被複雜數學符號阻擋的讀者。
ZK 電路實作完全攻略：Noir 語言從入門到部署的完整代碼範例
本文以非正式、口語化的風格，手把手教學 Noir 語言的 ZK 電路開發。涵蓋環境架設、範圍證明、Merkle 樹驗證、知識簽章等實戰電路的完整代碼範例，深入探討約束數量優化、witness 函數使用、常見陷阱等進階議題，並提供部署到以太坊的實務操作指引。這是一篇理論與實作完美結合的 ZK 開發教程。