Keccak 密碼學原創分析：海綿結構與以太坊雜湊函數的深度數學推導
本文從密碼學角度深入分析 Keccak 的核心設計，包括海綿結構的數學原理、五步輪函數的詳細推導、以及與 SHA-3 的差異。特別討論 Keccak 在以太坊中的具體應用場景和後量子安全性評估。
標籤: technical
共 469 篇文章
MEV 對普通用戶的實際影響：量化分析與生存指南
本文深入分析 MEV（最大可提取價值）對普通以太坊用戶的實際影響，涵蓋搶先交易、三明治攻擊、清算套利等常見 MEV 策略的運作原理與量化數據。提供完整的 MEV 損失估算，讓讀者了解每筆交易中被「隱形抽水」的實際金額。附實用抗 MEV 策略和工具推薦。
ZK-SNARK 電路設計與 PLONK/Halo2 約束系統深度數學推導：從代數基礎到工程實踐
本文深入解析 PLONK 和 Halo2 約束系統的數學原理與工程實踐。涵蓋從 R1CS 到 PLONKish 的約束系統演進、拉格朗日基與信號映射、門約束與複製約束的代數表示、PLONK 排列論證的數學推導、Halo2 的布局概念與自訂約束、Circom 與 Halo2 的實戰代碼範例。提供完整的代數推導過程，幫助讀者從理論層面理解 ZK 電路的核心原理。
以太坊 Pectra 升級實作深度指南：從技術規格到部署準備的工程視角
2026 年的 Pectra 升級是以太坊史上最具突破性的技術演進之一。本文從工程師視角深度解析 EIP-7702 帳戶抽象、質押上限調整、Proto-Danksharding 後續等核心技術。涵蓋完整的原始碼實現解析、開發者遷移準備清單、以及測試網部署經驗分享。幫助開發者和驗證者全面掌握 Pectra 升級的技術細節與實務準備。
以太坊帳戶模型與交易生命週期完整技術參考：從私鑰到區塊確認的深度解析
本文深入剖析以太坊帳戶模型的底層邏輯與交易生命週期的完整流程。涵蓋 EOA 與合約帳戶的本質差異、私鑰到地址的密碼學推導、交易結構與 EIP-1559 費用機制、簽名驗證流程、Mempool 運作、以及從交易發送到區塊確認的完整生命週期。同時探討 EIP-7702 與帳戶抽象的未來演進方向。
以太坊 Beacon Chain 驗證者選擇演算法深度解析：從抽獎系統到共識安全的數學之旅
本文從第一原理出發，深入分析以太坊 Beacon Chain 的驗證者選擇演算法。我們涵蓋 RANDAO 隨機函數、區塊生產者選擇、委員會選擇機制、BLS 簽名聚合等核心組件的數學推導，同時提供完整的 Python 程式碼模擬和安全性證明。通過實際數據分析，幫助讀者理解以太坊共識層如何保障網路安全與去中心化特性。
以太坊密碼經濟學量化分析完整指南：質押收益率模型、網路安全成本與驗證者激勵機制數學推導
本文深入探討以太坊密碼經濟學的量化分析方法，涵蓋質押收益率的數學模型推導、網路安全成本的經濟學分析、驗勵者激勵機制的遊戲理論基礎、以及 EIP-1559 實施後的動態發行模型。透過完整的公式推導與實證數據分析，幫助讀者理解以太坊 PoS 機制的經濟學內涵與安全性保障原理。
以太坊密碼學形式化驗證：從共識安全到智能合約的數學證明之旅
本文以通俗易懂的方式，深入解讀以太坊密碼學中最關鍵的幾個形式化驗證方法。涵蓋 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 程式碼範例，讓讀者從直觀理解密碼學而非陷入數學公式的泥沼。
以太坊 EVM 執行模型原始碼深度解析：從 Go-Ethereum 到 Rust-Reth 的實作對比
本文從原始碼層級深入分析以太坊 EVM 執行引擎的內部實作，涵蓋 geth 和 Reth 兩大主流客戶端的架構設計、Stack/Memory/Storage 的實作細節、Call 框架的 Gas 計算模型、預編譯合約的實現，以及 Blob 交易的費用機制。透過對比不同客戶端的實作差異，幫助讀者理解 EVM 設計的深層邏輯與效能優化策略。
以太坊 EVM Opcode 數學推導與 Go-ethereum 原始碼深度分析：理解 Gas 消耗的底層邏輯
本文從數學推導和原始碼兩個維度深入理解 EVM Opcode 的 Gas 模型。我們推導 ADD/MUL 的計算複雜度、SHA3 的成本公式、SLOAD 動態定價的原理，並深度解析 go-ethereum 核心原始碼中 gas_table.go 的實現邏輯。涵蓋記憶體二次方成本模型、SSTORE 退款機制的數學基礎、以及 EIP-4844 Blob 交易的新成本模型。