以太坊跨鏈橋接協定形式化安全性分析：從密碼學證明到工程實踐
本文從形式化分析的角度，全面剖析以太坊跨鏈橋接協定的安全性。涵蓋輕客戶端驗證、HTLC 原子交換、訊息完整性證明、橋接合約形式化驗證等核心主題。包含 Wormhole 攻擊的數學模型分析、Wormhole 和 Ronin 橋安全事故的根因分析、Certora Prover 和 K Framework 驗證框架的實戰教程。
標籤: cryptography
共 123 篇文章
以太坊密碼學Primer：從零理解區塊鏈的安全基石
本文以口語化、易懂的方式介紹以太坊密碼學的核心概念，包括 Hash、Keccak-256、公私鑰、ECDSA 簽名、Merkle Tree 以及前編譯合約等基礎元件。文章使用大量生活化的比喻和實際程式碼範例，幫助讀者建立對密碼學的直觀理解，並為學習進階密碼學內容奠定基礎。
以太坊「世界電腦」與「可編程貨幣」的世紀之爭：Vitalik 早期思想的批判性閱讀
本文從批判性視角深度分析以太坊「世界電腦」與「可編程貨幣」兩種核心定位之間的內在張力。透過對 Vitalik Buterin 早期文章的系統性閱讀，探討這兩個願景在技術設計、經濟模型、治理結構上的具體衝突，並提出一個整合性的分析框架。我們將分析 EVM 設計選擇、Gas 機制、密碼學承諾、DeFi 崛起、EIP-1559 貨幣政策轉折、質押經濟學等關鍵議題，同時指出 Vitalik 早期思想的盲點與過度樂觀之處。
ZK-SNARK 與 STARK 實作深度對比：從理論到以太坊應用的完整指南
本文深入比較 ZK-SNARK 和 STARK 兩種零知識證明系統的實作差異。包括密碼學假設的比較、系統架構的詳細分析、R1CS 到 QAP 的數學推導、FRI 協議原理，以及在以太坊 zkEVM 和 Starknet 中的具體應用。
Keccak 密碼學原創分析：海綿結構與以太坊雜湊函數的深度數學推導
本文從密碼學角度深入分析 Keccak 的核心設計，包括海綿結構的數學原理、五步輪函數的詳細推導、以及與 SHA-3 的差異。特別討論 Keccak 在以太坊中的具體應用場景和後量子安全性評估。
Privacy Pool 關聯性證明數學推導完整指南：從零知識到大規模應用的深度解析
本文深入解析 Privacy Pool 的關聯性證明（Association Proof）機制，從 Pedersen 承諾、Schnorr 協議到 Kate 承諾的完整數學推導。涵蓋匿名集的組織方式、非成員證明的有序 Merkle 樹技術、Aztec 網路的 zk-zk Rollup 架構、以及隱私合規框架的實際部署案例。提供完整的 Noir 電路代碼範例和密碼學推導，幫助讀者理解如何用零知識證明在隱私和監管合規之間取得平衡。
STARK 數學推導完整指南：從 FRI 協議到 STARK 系統的深度密碼學分析
本文深入分析 STARK（Scalable Transparent Argument of Knowledge）的數學推導基礎，特別是 FRI（Fast Reed-Solomon Interactive Oracle Proof of Proximity）協議的核心原理。從 Reed-Solomon 編碼、FRI 折疊操作到完整 STARK 系統架構，提供完整的數學推導與 Python 實現程式碼。
ZK-SNARK 電路設計與 PLONK/Halo2 約束系統深度數學推導：從代數基礎到工程實踐
本文深入解析 PLONK 和 Halo2 約束系統的數學原理與工程實踐。涵蓋從 R1CS 到 PLONKish 的約束系統演進、拉格朗日基與信號映射、門約束與複製約束的代數表示、PLONK 排列論證的數學推導、Halo2 的布局概念與自訂約束、Circom 與 Halo2 的實戰代碼範例。提供完整的代數推導過程，幫助讀者從理論層面理解 ZK 電路的核心原理。
密碼學原語的直覺式解釋：以太坊零知識證明與橢圓曲線的視覺化理解
本文用日常生活中的比喻和視覺化方式解析以太坊密碼學原語。涵蓋零知識證明的顏色混色比喻、離散對數問題的迷宮比喻、Keccak 海綿結構的直覺理解、以及 BLS 簽名聚合的集體結婚證書比喻。旨在幫助非數學背景讀者建立正確的密碼學直覺，而非陷入複雜的數學推導。特別適合希望理解以太坊底層密碼學但被傳統教材催眠的讀者。
密碼學發展史中的以太坊：從 Hashcash 到智慧合約的演化脈絡
以太坊並非憑空出現，它是數十年密碼學研究、密碼朋克運動和密碼學革命的結晶。本文追溯以太坊的技術血統，從 PGP 的密碼朋克時代、Hashcash 的工作量證明原型、橢圓曲線密碼學的數學基礎、到拜占庭將軍問題的分布式共識突破，全面解析密碼學歷史如何塑造了以太坊的設計哲學。
以太坊2014年白皮書的形成背景與思想根源：Vitalik的進化之路
本文深入回顧以太坊 2014 年白皮書形成前的思想演變過程，涵蓋 Vitalik Buterin 早期在比特幣社群的浸泡經歷、從比特幣框架內創新到另起爐灶的心路歷程、Mastercoin 給予的靈感與限制、以及白皮書艱辛的誕生之路。詳細分析「圖靈完整性」與 Gas 機制的由來、以太坊命名的由來、早期團隊集結的過程。同時探討 Vitalik 從技術理想到務實落地的思想演變，以及區塊鏈治理的早期思想是如何在白皮書中初步形成的。
以太坊帳戶模型與交易生命週期完整技術參考：從私鑰到區塊確認的深度解析
本文深入剖析以太坊帳戶模型的底層邏輯與交易生命週期的完整流程。涵蓋 EOA 與合約帳戶的本質差異、私鑰到地址的密碼學推導、交易結構與 EIP-1559 費用機制、簽名驗證流程、Mempool 運作、以及從交易發送到區塊確認的完整生命週期。同時探討 EIP-7702 與帳戶抽象的未來演進方向。