密碼學

Zcash 2026 年 6 月披露 Orchard 屏蔽池潛伏四年的偽造漏洞，市場替「無法證明池內存糧是否被動過」即時定價、ZEC 暴跌近五成。本文以蓋吉斯之戒思想實驗為主軸，論證「增發多少」這把道德量尺零點量決策規則、零點以上量傷害規模，中途換了單位。它量得到對非人格化信任的正直，量不到完整人格，最終真正在量的是制度，穩態量制度、窗口量人。

本文是 civic-proof 概念的第 0′ 版學術重述，以 Public Realm Floor 承擔數位身分介入公共行動時的民主合法性下界，並把皮夾、AI 代理、公民行動收據、選擇性揭露 UX、跨法域信任治理與台灣案例整合為一套工程與制度檢核框架。2026 年 5 月 21 日修訂加入 Danielle Allen 第二輪來源，將 AllenBridge 擴為 participatory readiness、power-sharing institutions 與 digital public infrastructure 的制度轉譯層。

civic-proof 系列第 24 篇。承接系列第 19 篇（A2）所建立的 PRF 規範下界 ⟨plurality, validity, contestation, agonism⟩，以台灣為案例分析主軸進行 case-tracing。Working thesis：台灣不是 PRF 之統計樣本上的典型案例，而是 PRF 在民主前線條件下之『條件性典型 + 存在性壓力案例』；其四條件並存——強公民社會、高頻選舉、地震／海纜物理基礎設施情境、跨海峽認知作戰與灰色入侵——提供 PRF 四分量於最嚴苛條件邊界附近之 existence proof，但不主張其結論對其他單一民主政體有外推力。文章八章內含：§1-§2 導論與形式骨架（PRF 合取下界於台灣語境之再述、T_PRF1-T_PRF5 適用邊界、LegitimacyDegrade 分析性閾值身分、本文限制五項）；§3 制度史（民主轉型 1991-1996 / 首次政黨輪替 2000 / eID 撤案 2018-2021 / 數位部成立 2022 / TW DIW 信任清單 2024-2026 上公共鏈）；§4 TW DIW × LLM-agent 界面（對照 EUDI ARF 2025-12 + W3C VCDM v2.0、F1 delegation_chain、F2 14 欄位群 issuer 對應、F3 繁中 selective disclosure UX、likelihood-by-mechanism 五機制）；§5 民間備援 vs 政府單一棧（『有備而來』民間倡議文本四項設計直觀之 PRF 對映、設計直觀 vs 規範主張分離原則、雙分量承擔與 A2 §3.2 不可化約性之內部矛盾誠實處理）；§6 三重壓力 case-tracing（α 認知作戰 / β 海纜中斷 / γ 灰色入侵 × PRF 四分量 likelihood 評估表）；§7 六條反論壓力測試（sui generis / 分量耦合 / 序級偷渡 / litepaper 引用層級 / 浪漫例外論 / 憲政地位）+ anti-mythologization clause；§8 對系列 A1/A2/A14/A15/F1/F2/F3/E1/E3 九篇修正方向 + 三條普適性主張之 universal-conditional 區分；§9 結論與三條 future work。本文嚴守紀律：『有備而來』litepaper 為民間推測性實作專案文本（speculative civilian implementation document），引用稱『民間倡議文本』不採學術引用格式；不主張其為政策推薦或規範主張之根據；LegitimacyDegrade 採方向性 + likelihood-by-mechanism 四級（low / medium / medium-high / high），不出具體機率小數；jurisdictional scope 採功能性 demos 操作定義避開主權承認問題。誠實標明：本文為 illustrative anchor 不是 universal generalization；不替代 A2 之 PRF 規範論。

civic-proof 系列第 25 篇 = capstone overview。承接系列 23 篇主文 + R1-R4 retrofits + article 24 Taiwan deep-dive 共 28 個承擔節點，本文以 PRF 規範下界（A2 article 19）為核心，凝聚為 5 條 contribution claims（C1 PRF 形式化 / C2 civic-proof 操作化 / C3 跨法域治理 / C4 比較案例 / C5 方法論集）與 5 項方法論工具（likelihood-by-mechanism / working-strengthened thesis / universal-conditional / anti-mythologization / 設計直觀-規範主張分離），並對系列誠實邊界、對三組讀者的策略含義、未解問題與 future work 作完整盤點。文章九章內含：§1-§2 導論與 PRF 規範下界再述（含 universal-conditional 區分、PRF 為 floor 非 unique standard 之 ceiling/boundary 關係）；§3 系列承擔矩陣（spine 8 篇 / supporting 10 篇 / retrofits 4 篇 / Taiwan case 1 篇之 92 cell + case-tracing 應用節點；validity 維度密度最高 83% / agonism 最低 57%；F1 為唯一四分量全 ● 承擔者 = operational spine of the spine；A2 = normative closure of the spine）；§4 五條 contribution claims（每條含 claim statement + 對應系列承擔 + 外部譜系對話 + 原創性 marginal value 宣告）；§5 五項方法論貢獻（每項含定義 + 系列出處 + 外部譜系對位 + 適用範圍與邊界）；§6 系列誠實邊界（H.6 七條 + article 24 六條退讓 + Patch Pack 執行紀錄 + 對外引用紀律）；§7 對三組讀者策略含義（工程 / 政策法律 / 政治哲學）；§8 future work 七條 + 優先序；§9 結論四項收束聲明（不為最終結論 / 不主張取代既有規範性進路 / 不主張普適於所有政體 / 不主張為密碼學工程之決定性 ground truth）。本文嚴守紀律：不引入新規範主張；不採 manifesto 語式；不用『將會』『必然』『實證顯示』；不出具體機率小數；採 working thesis 語式；對外引用須附 anti-mythologization clause；引用 speculative civilian implementation document 須採『設計直觀』語式。dissertation 路徑為內部規劃選項（非本文承擔）。

civic-proof 系列第 17 篇 (F2)。承接 article 16 (F1) §5.4 DeliberationRecord schema 與 §7.3.1 civic-action-receipt envelope，把可區分性需求落地為四個可標準化密碼學原語——SA1 SD-JWT-VC baseline 加 BBS+ 條件性高階混合策略、SA2 holder-controlled 加 qualified preservation service 雙軌保存（30 年下限對應 CRPD 給付請領訴訟時效）、SA3 對接 FRE 901(b)(9) 與 eIDAS 2024/1183 Chapter III §7-8 與台灣電子簽章法第 4/10 條的法庭可採性、SA4 透過 G_recognition^A 軟法層 5/10/15 年三段推進的跨境互認。形式骨架為 14 欄位群（含 23 leaf field）civic-action-receipt schema、V_receipt 函數 C1-C6 六道條件、定理 T1-T4。四原語對 F1 5×3 矩陣 9-✓ 與 4-△ cell 在 Z₂ 範圍內覆蓋（定理 T1）；對 Z₃-intrinsic 兩 cell（RT-ℬ ✗、AA-ℬ ✗）為密碼學原語不可達邊界（定理 T2）。CF1-CF5 反事實壓力測試含 CRPD §12 反向使用議題、台灣陸配 / 台商 / 兩岸投資人三場景在 CF4 觸發下的結構性斷裂。working thesis 與 strengthened thesis 嚴格區分；後者透過 crypto-agility by design、第三方 trusted preservation service 對接、G_recognition^A 多軌備援三大緩解 critical path 在五 CF 全觸發下保留核心功能。

civic-proof 系列第 18 篇 (F3)。承接 article 17 (F2) §4–§7 四件密碼學工程原語與 article 16 (F1) §5.4 三項工程修正，把 UX 認知層作為 F2 四原語的「實際可履行性」補強。SD 之 holder informed consent 在四道認知瓶頸下無法履行：(i) Miller 7±2 與 Cowan 2001 working memory 4±1 + Sweller cognitive load theory 顯示 selective disclosure 多選項決策每超過 3 個 attribute group 即顯著退化；(ii) consent fatigue 與 dark patterns 在 wallet 場景同型重演 GDPR cookie banner 八年失敗（11.8% 合規率）；(iii) capacity 變動使「曾經 informed consent」失效，於 CDR ≥ 2 場景以 mechanism-based likelihood medium-high 退化為 substituted；(iv) supporter 介入邊界模糊使「協助理解」滑入「代為決定」。四件 UX 工程原語為 UX1 progressive_disclosure_ui、UX2 dark_patterns_firewall、UX3 capacity_aware_consent、UX4 supporter_ui_three_layer；以 V_ux ≜ C7 ∧ C8 ∧ C9 ∧ C10 合取承擔，V_receipt' ≜ V_receipt ∧ V_ux 為升級後可驗條件。SA3 補強包含失智 → wallet 三段中介鏈、CDR 三條替代路徑（self-assessment / supporter-triggered / issuer-side hint）的法律—工程—隱私 tradeoff、中介證據強度評估表 15 列、mechanism-based likelihood medium-high；SA4 supporter UI 三層分離以 signatures_disjoint = true 與 VerificationMethodDisjoint = true 兩道密碼學硬約束承載 CRPD §29「supporter 必要、不可替代」原則。working thesis 與 strengthened thesis 嚴格區分；後者含 UX-agility by design、threshold signatures 加 court-supervised downgrade、agent 與 supporter 密碼學區分加上 AgentDelegationProof 制度化三大緩解 critical path。CF1–CF5 反事實壓力測試在五 CF 全部觸發極端情境下，第一段 baseline 完整保留、第二段時程外推 ≥ 10 年、第三段條件性失效。F1 RT-ℬ ✗ 與 AA-ℬ ✗ 兩條常駐型不可委任邊界以擴充定理 T2' 明示——不存在任何 UX 原語子集合使 P_degrade ≤ θ₂。

把 Sovereignty-Root Paradox（SRP）形式化為合取必要條件命題：當公民實驗的對抗對象包含發行國，國家發行的護照根結構上不能單獨支撐該對抗。SRP 與 article 03 H1' 三道牆、article 04 T 三件式、article 05 IT' 不可能三角、article 06 CB-Justice D1*∧D2* 同樣是合取結構但用於不同層級。本文盤點 ICAO eMRTD PKI 六項威脅（D1-D4b）+ 8 個跨地域案例（俄、伊、白俄、土、港、北韓、敘利亞、厄立特里亞）的 4+2 武器化形式（W1-W6），並提出 Multi-Rooted Civic Proof 設計骨架（R1 護照根 + R2 社群根 + R3 機構根 + R4 自托管根 + D1/D2/D3 降級準則），配 5 條邊界條件（B1-B5）與 UNHCR Iris in Jordan 案例。護照根仍是覆蓋率最廣的根（~ 20 億）；multi-rooted 是補強而非替代。

把 Sybil resistance 形式化為不可能三角 IT' = ¬∃ S [ U(S) = max ∧ D(S) = min ∧ I(S) = max ]，配 9 條子維度與 5 條邊界條件，逐一拆解 Worldcoin、BrightID、Gitcoin Passport、zkPassport、Proof of Humanity 在唯一性、揭露成本、包容性三軸的 corner 取捨。CAP-IT' 中強類比給設計指引（不給形式化推論），PACELC 引申 IS-AUEL-D 弱級別方法論，與 article 03（H1' 三道牆）、article 04（T 三件式）在合取結構上同構但用於不同層級。

民主憲政體系已在五個獨立法律場域承認「常態假名加事後條件性啟封」作為合法穩定的制度範式。把吹哨者保護法、John Doe 訴訟、sealed indictment、匿名捐款上限制度、證人保護程序的條件條款抽取為制度模板三件式 T = (Trigger, Authority, Remedy)，可類比移植到四個 civic proof 場景，並提煉為 5 段法律契約規格初稿。法律工具不缺，欠缺的是技術-法律對接的契約規格；但部署仍受 5 條邊界條件約束。本文是博論第 1 篇法律支柱研究 article，與 article 01 / 02 / 03 在三件式合取結構上正式接合。

民主問責性是結果性條件而非前置性條件。當啟封權力被多方持有、啟封門檻明定、啟封過程可稽核時，密碼學假名加上條件性開封機制可同時滿足匿名與問責，且邊界場景（AML、選舉、跨境制裁）反而強化此論點。

三位 CERN 物理學家建立的加密郵件服務，十二年後膨脹為估值上億的隱私產品帝國。2024 年成立的 Proton Foundation 究竟是使命鎖定機制，還是一層精心維護的敘事？從瑞士法律、基金會治理到五種組織模式的比較，一次完整拆解。