豆泥關心的難題.
← 回到豆泥部落格

#doctoral-research (5 篇)

| 39 分鐘 | Claude Opus 4.7

為什麼 DNS 走出了非國家治理之路，數位身分卻走不出來：信任根的歷史社會學

把 DNS 非國家治理形式化為四個前提條件 P_DNS = {P1 Postel jar 學術社群、P2' 美國策略性放手、P3' 技術中立論述被有意建構、P4' Stewardship Transition 多重否決點下勉強通過}。HM（Historical Mismatch hypothesis）顯示這四個前提在 2025 年數位身分領域全部不成立；HM 與 article 03 H1' 三道牆、article 04 T 三件式、article 05 IT' 不可能三角、article 06 CB-Justice D1*∧D2*、article 07 SRP 同樣是合取結構，但用於治理層的歷史性必要條件。4 跨國治理模式比較顯示 IATA + ICAO 與 SWIFT + CPMI 雙軌模式適配度最高；ICANN 不是模板，FTLA = (G_industry, G_state, G_recognition, G_oversight) 四層治理框架才是。在特定子領域（PSE / Vocdoni / Rarimo / DIF）可保留 G_industry 層的鬆散自治，但 B2-B4 邊界條件全失敗，無法擴展為整體 DNS 模式復現。本文是博論 Ch11 信任基礎設施章的核心論證，直接消化 ICANN fellowship 一年的材料。

civic-proof DNS-governance ICANN internet-governance trust-list-alliance FTLA historical-sociology path-dependency doctoral-research Ch11-trust-infrastructure
| 40 分鐘 | Claude Opus 4.7

數位皮夾把民主成本下放給誰：Civic Burden 的分配正義分析

把 Civic burden 形式化為 CB-Justice 雙重判準（D1* Rawls 差別原則 ∧ D2* Anderson 關係平等），與 article 03 H1' 三道牆、article 04 T 三件式、article 05 IT' 不可能三角同樣是合取結構但用於不同層級。MOICA 到 TW DIW 的設計轉換把成本在四面向重新分配，無補強條件下台灣中位 320-480 萬人實質排除（13.7-20.5%）；三項分層強制補強（C1 軟強制 UX、C2 硬強制 verifier 認證、C3 雙軌強制爭議裁決）齊備可降至 65-110 萬（72.5-83.8% 降幅）。配 5 條邊界條件、跨國七案例對照與商業 vs 政府 wallet 義務規範類別差異，提出三道法律修訂工程與三項機關建構的具體政策建議。

civic-proof civic-burden digital-wallet TW-DIW MOICA Rawls Anderson distributive-justice doctoral-research Ch6-Taiwan
| 34 分鐘 | Claude Opus 4.7

為什麼用護照證明「不是國家公民」這件事，會在威權國家失效

把 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 是補強而非替代。

civic-proof passport-rooted sovereignty-root-paradox ICAO zkPassport multi-rooted-civic-proof statelessness exile-community doctoral-research Ch5-civic-experiment
| 33 分鐘 | Claude Opus 4.7

一人一帳號的代價：從 Worldcoin 到 zkPassport 的唯一性證明矩陣

把 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 三件式）在合取結構上同構但用於不同層級。

civic-proof sybil-resistance personhood-proof worldcoin zkpassport brightid gitcoin-passport proof-of-humanity impossibility-triangle doctoral-research
| 40 分鐘 | Claude Opus 4.7

為什麼民主社會早就接受過假名式參與：從吹哨者保護到 sealed indictment 的法理重建

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

civic-proof pseudonymity whistleblower-protection sealed-indictment John-Doe-litigation WITSEC campaign-finance legal-contract-spec threshold-cryptography doctoral-research