以太坊合併 (The Merge)：技術決策、社群政治與歷史意義的完整紀錄
本文完整記錄 2022 年以太坊合併的技術決策過程和社群政治。從 PoW 到 PoS 的七年轉換歷程，包括技術架構變化、能源消耗改善、發行量變化、社群反應、以及合併對以太坊生態的深遠影響。
標籤: consensus
共 74 篇文章
以太坊 The Merge 技術決策深度內幕：從 PoW 到 PoS 的七年抗戰與政治博弈
說起以太坊的 Merge 這檔事，我必須說——這大概是人類軟體史上最漫長、最糾結、也最戲劇性的升級了。從 2014 年 Vitalik 首次提出要轉 Proof of Stake 那天開始，到 2022 年 9 月 15 正式完成，整整折騰了八年。本文以內行人視角，深度揭露 The Merge 背後的技術決策過程、Casper 的前世今生、Beacon Chain 的孤獨測試歲月、以及那些差點搞砸的 Bug 和意外。同時分析礦工、環保人士、投資者等各方的真實心態。
以太幣質押收益動態模型：年化報酬率怎麼算出來的？歷史數據一次看清楚
以太坊的質押收益可不是固定的餡餅。這個數字每天都在變動，受網路活躍度、驗證者數量、懲罰機制、MEV 獎勵等等因素影響。這篇文章把質押收益的來龍去脈全部拆開，用數字說話，拒絕模糊地帶。我們涵蓋區塊獎勵、MEV 獎勵、小費收入的完整計算公式，並提供 Python 蒙地卡羅模擬器預測不同情境下的收益。
以太坊 Yellow Paper 工程師視角導讀：從規格到實作的完整解析手冊
Yellow Paper 是以太坊的形式化規格文件，本文以工程師能理解的方式導讀其核心內容。涵蓋世界狀態、區塊結構、交易執行、EVM 執行模型、Gas 成本定義等章節的深度解析，配合 go-ethereum 原始碼對照，幫助讀者理解『為什麼』而非僅止於『是什麼』。適合想深入理解以太坊底層運作的進階開發者與研究者。
以太坊 Beacon Chain 驗證者選擇演算法深度解析：從抽獎系統到共識安全的數學之旅
本文從第一原理出發，深入分析以太坊 Beacon Chain 的驗證者選擇演算法。我們涵蓋 RANDAO 隨機函數、區塊生產者選擇、委員會選擇機制、BLS 簽名聚合等核心組件的數學推導，同時提供完整的 Python 程式碼模擬和安全性證明。通過實際數據分析，幫助讀者理解以太坊共識層如何保障網路安全與去中心化特性。
以太坊密碼學形式化驗證：從共識安全到智能合約的數學證明之旅
本文以通俗易懂的方式，深入解讀以太坊密碼學中最關鍵的幾個形式化驗證方法。涵蓋 Casper 共識的安全性證明（Accountable Safety、Plausible Liveness）、BLS 簽章的安全性分析、從 Cozian 假設到 BLS 安全性的推導過程、以及智能合約的形式化驗證方法（KEVM、Certora Prover、F*）。透過完整的數學推導和程式碼範例，幫助讀者建立對以太坊安全性的系統性理解。
以太坊 Gasper 共識安全性證明：從形式化推導到工程實現
本文深入分析以太坊 Gasper 共識機制的安全性證明，從 CBC Casper 的血統起源開始，完整推導 Casper FFG 的形式化安全性、LMD GHOST 的分叉選擇規則、以及 Gasper 的經濟安全性分析。我們提供詳細的數學推導、激勵相容性的形式化分析、以及多客戶端實現的安全性比較，幫助讀者建立對以太坊共識機制安全性的嚴格數學理解。
以太坊共識論文實作指南：從 GHOST 到 Casper FFG 的完整程式碼演練
本文從學術論文出發，完整實作以太坊共識機制的核心演算法。涵蓋 GHOST 協議的貪心最重子樹選擇規則、Casper FFG 的最終確認投票機制、Gasper 混合共識的數學證明、以及輕客戶端的實現。提供完整的 Python 和 Go 程式碼範例，附帶詳細的推導過程和安全性分析。適合想深入理解以太坊共識原理的開發者和研究者。
以太坊技術迷思大解密：那些新手和中級開發者最常踩的坑
在以太坊的世界裡打滾久了，真的會看到同一個問題被問個八百遍。有些是對區塊鏈本質的誤解，有些則是對特定機制的迷思。本文深入剖析 EVM、Gas、共識機制、輕節點、Layer 2、MEV 等核心概念的最常見誤解，幫助讀者建立正確的技術認知，避免實際操作中的大坑。
以太坊黃皮書數學推導深度解析：從狀態轉換到區塊獎勵的完整規格證明
本文深入剖析以太坊 Yellow Paper 的核心數學推導，用口語化解釋那些「顯然可得」的證明步驟到底怎麼得的。涵蓋基本符號系統、狀態轉換函數（Τ、Ξs、Ξg、Ξevm 層次結構）、Gas 成本模型（靜態/動態 opcode 成本、記憶體計算）、工作量證明 Ethash 的混雜函數、區塊獎勵數學模型、以及密碼學原語（Keccak-256、ECDSA、Merkle Patricia Trie）的直覺解釋。同時探討形式化驗證的價值與局限性。
以太坊密碼經濟學深度指南：GHOST 共識安全性證明、激勵相容性的貝葉斯分析與比特幣激勵結構對比
本文深入探討以太坊密碼經濟學的核心課題，包括 GHOST 共識協議的數學安全性證明、激勵相容性的貝葉斯博弈框架分析、以及以太坊與比特幣激勵結構的詳細對比。我們涵蓋自私挖礦攻擊的收益分析、驗證者罰沒條件的形式化推導、MEV 對激勵結構的影響、以及密碼經濟學未來面臨的協調問題與公地悲劇挑戰。
以太坊與 Monad、Sui、Aptos 密碼學原語與執行模型深度技術比較
本文深入比較以太坊、Monad、Sui、Aptos 四條區塊鏈在密碼學原語設計、共識機制、執行模型上的技術差異。涵蓋 ECDSA/secp256k1 與 Ed25519 簽名演算法深度分析、Gasper/Narwhal+Tusk/DiemBFT 共識機制比較、EVM 與 Move VM 執行模型差異、Monad 並行執行引擎架構。提供完整的密碼學基礎架構、安全模型、性能優化策略比較，幫助開發者理解各平台的設計權衡與應用場景。