civic-proof: a research site.
中文 ← mashbean.net
← Back to essay

Argument Map

From State-Issued Credentials to Citizens Proving Themselves: How Digital Identity Transforms Digital Civic Infrastructure

Allen Lab Fellow Meeting (17 April 2026) — Argument Map (v2, origin)

The political question of digital identity is not "who has the right to issue identity" but "who controls the exchange architecture by which a citizen can prove enough eligibility for public action without surrendering full identity to a state, a platform, or any single intermediary." A two-layer analysis (issuance legitimacy I, exchange architecture E) plus the operational concept of civic proof reframes digital identity as a layer within Digital Civic Infrastructure (DCI) — specifically the Act layer of Connect / Learn / Act — and exposes the counter-intuitive but cryptographically, theoretically, and constitutionally convergent thesis that accountability does not require real-name identification as a precondition.

Digital identity is not a single problem but two — issuance legitimacy (who issues) and exchange architecture (how it is presented and verified). The right unit of analysis is civic proof, a third category beyond full identity that supports public action with minimum disclosure. The framework's animating thesis — accountability without real names — converges from three independent lineages.

Formal Notation
DigitalIdentity ≜ ⟨ I_layer, E_layer ⟩
  where I_layer = issuance_legitimacy
        E_layer = exchange_architecture

CivicProof_demand ∈ { LegalID, AttributeProof, UniquenessProof, PseudonymousParticipation }

NormativeConditions(d) = anonymity(d) ∧ unlinkability(d) ∧ verifiability(d) ∧ accountability(d)

Thesis_0417 : accountability(d) ⇏ realname_identification(d)
  (convergent across cryptography ∪ normative_theory ∪ US_constitutional_caselaw)

DCI_role(d) = max_pressure(d) iff phase(d) = Act ; lighter at Connect, Learn

The 0417 presentation introduced both the two-layer split and the four civic-proof demand types. The animating thesis — accountability does not need real-name identification — is presented as a convergence claim, not a single-discipline argument.

I_layer
Issuance legitimacy — sovereignty, legal effect, revocation rights, why a credential is worthy of belief.
E_layer
Exchange architecture — PKI, VC, wallet, browser, trust list, registry; how a credential is held, presented, verified, revoked.
CivicProof_demand
Four demand types — legal identity, attribute proof, uniqueness proof, pseudonymous participation.
NormativeConditions
Four normative conditions that must hold conjunctively — anonymity, unlinkability, verifiability, accountability.
DCI_role
Identity intervenes most strongly at the Act layer of Allen Lab's Connect / Learn / Act framing.
foundational distinction
Rejected framing

Digital identity = a single problem of identification

The mainstream conflation treats digital identity as one problem with one solution: who you are, identified by the state, presented to all services. Under this conflation, "more privacy" and "more accountability" appear to trade off, and policy debates collapse into binary positions on real-name vs anonymity.

identification = identity ⇒ trade_off(privacy, accountability)
Accepted framing

Digital identity = two layers + a third concept (civic proof)

Split issuance legitimacy from exchange architecture. Introduce civic proof as a concept distinct from both legal identity and credential identity. Under this framing, accountability and privacy stop being a trade-off and become orthogonal: each demand type has its own minimum normative conditions, and cryptographic primitives + due-process design can satisfy multiple conditions simultaneously.

⟨I_layer, E_layer⟩ ∧ CivicProof ⇒ ¬trade_off(privacy, accountability)
supporting arguments

P1

Two-layer analysis: issuance vs exchange

whyConceptual scaffolding for the entire framework — every subsequent argument refers back to whether it is operating on I or on E.

Issuance legitimacy concerns the source of trust (sovereignty, legal effect, revocation rights). Exchange architecture concerns the transport of trust (wallet, browser, presentation, verifier). Conflating the two produces tangled policy debates; separating them makes specific questions tractable — e.g., COVID-era vaccine passports raised E-layer issues (linkability, central databases) without touching I-layer legitimacy.

The last decade's real change has been at E, not I. Most state systems still issue identity; what differs is who holds, presents, and verifies — and what footprints are left behind.
I_layer ⊥ E_layer (analytically separable; jointly required)

P2

Civic proof as a third category

whyReplaces 'who you are' with 'what the situation requires you to prove,' enabling minimum-disclosure design.

Civic proof has four demand types, each with its own minimum normative conditions: legal identity (verifiable, redressable), attribute proof (selective disclosure, unlinkable, no phone-home), uniqueness proof (pseudonymous, Sybil-resistant), pseudonymous participation (anonymous + accountable + supervised audit chain). The four normative conditions — anonymity, unlinkability, verifiability, accountability — must hold conjunctively for the relevant demand type.

∀ demand ∈ CivicProof_demand : ∃ subset(NormativeConditions) : minimum_required(demand)

P3

Accountability without real-name identification — three convergent lineages

whyThe animating thesis; everything in subsequent civic-proof series articles refines or stress-tests this convergence claim.

The convergence proceeds across three independent lineages: (i) cryptography supplies primitives — selective disclosure, ZKP, BBS+ unlinkable signatures, revocation status lists, auditable evidence chains — that enable presentation without full identity yet support ex-post reconstruction. (ii) Normative political theory (Bovens 2007's answerability + enforceability; Pettit 2012's contestability) does not presuppose that the addressee be specifically natural-person-identifiable. (iii) US constitutional case law (Talley v. California 1960; NAACP v. Alabama 1958; McIntyre v. Ohio 1995) protects anonymous expression while preserving accountability mechanisms.

convergence(crypto, normative_theory, US_const_law) ⊨ ¬(accountability ⇒ realname)

P4

DCI layering: identity intervenes most strongly at Act

whyLocates digital identity within Allen Lab's Connect / Learn / Act, explaining why action-gating is the critical pressure point.

At Connect, identity handles persistence, role, basic trust — strong identity is often unnecessary. At Learn, much information access works without login. At Act, when the system begins to gate participation (eligibility, voting, petitioning, public-service application), the four normative conditions are simultaneously activated. Digital identity therefore deserves civic-proof discipline most acutely at Act, less so elsewhere.

gate(action) ⇒ active(plurality, validity, contestation, agonism)

P5

Mainstream identity systems succeed at service delivery; lag at civic action

whyEmpirical observation justifying the policy agenda — the gap is real and reproducible across jurisdictions.

State-issued identity systems (MOICA, eIDAS, Aadhaar, BankID, mDL) succeed at authentication, signing, compliance, and fraud reduction. They typically lag on pseudonymous participation, unlinkability, redress, and low-friction civic reuse. The wallet + selective-disclosure + browser-API maturity now brings more democratic designs into the feasible region, but governance is behind.

success(I_layer) ∧ lag(E_layer, civic_action) ⇒ governance_gap
border cases — flip to support

B1

But strong identity is needed for fraud prevention

pivotfraud_resistance ≠ realname_disclosure ; uniqueness ⊂ minimum_required

The premise conflates fraud risk with identity granularity. Sybil resistance can be achieved by uniqueness proof without disclosing identity; tax fraud requires identification but only at the law-enforcement boundary, not at every transaction. Conflation reflects regulatory laziness, not technical necessity.

B2

But pseudonymous systems enable abuse and erode trust

pivotpseudonymity + audit_chain ⇒ accountability ; ¬(abuse ⇒ erosion_of_trust)

Pseudonymous participation requires an audit chain (anonymous + accountable + supervised). Properly designed, it raises the cost of abuse to the abuser (subject to court-supervised reconstruction) without raising the cost of legitimate participation to every citizen. PTT's MOICA-rooted ZK blue check is a concrete proof-of-concept under Taiwan's 2026 election cycle.

B3

But the wallet/browser/OS gatekeeper concentration is just a new monopoly

pivotE_concentration ⇏ wallet_abandonment ; ⇒ open_standards ∧ procurement_discipline

Concentration risk at E is real and acknowledged. The response is not to abandon wallets but to require open standards (OID4VC/OID4VP), verifier onboarding sandboxes, browser-mediated presentation governance, and procurement diversity. Sweden's BankID is the cautionary tale; California OpenCred and EU EUDI are emerging counter-examples.

procedural conditions

Conditions under which the framing holds

The framing applies under democratic political contexts with at least minimum due-process guarantees. It is not claimed to hold for authoritarian regimes (where the audit-chain mechanism that enables pseudonymous accountability has no enforceable judicial overseer) nor for failed-state contexts (where there is no I-layer to anchor the trust root).
1
Democratic context

Pseudonymous accountability requires a judicial mechanism capable of court-supervised re-identification under specific evidentiary conditions; without it, the audit chain becomes a tool of harassment rather than a constraint on abuse.

democratic(polity) ∧ judicial_audit_capability(polity) ⇒ feasible(civic_proof)
2
Trust-root availability

Some authoritative I-layer must exist — usually a sovereign state's credential, occasionally a recognised institutional issuer. Pure self-sovereign roots remain experimentally interesting but have not (as of 2026) sustained legal-identity-grade civic action at scale.

∃ trust_root ∈ {sovereign, recognised_institution} : anchors(civic_proof)
3
Technical maturity

Selective disclosure, unlinkable presentation, client-side proving, and revocation infrastructure must be deployment-mature, not lab-only. As of 2026 the first three are; revocation infrastructure remains the weakest link in most national systems.

mature(SD, ZK, unlinkable, client_side_proving) ∧ mature(revocation) ⇒ deployable(civic_proof)

A democratic society's digital identity system must not only prove who I am but also decide when I may refrain from exposing more than necessary and still participate lawfully in public life. The conversion from a legitimately-rooted eligibility source into a low-barrier, low-exposure, redressable civic proof is the central design problem — and it runs across both the issuance-legitimacy and exchange-architecture layers.

The 0417 presentation deliberately stops at framing. It does not yet bear the political-philosophical floor (the Public Realm Floor of the academic 0' restatement), nor the formal engineering bearings (wallet three presuppositions, AI-agent delegation limits, civic-action receipts, supporter UI three-layer separation), nor the cross-jurisdictional governance structure. Those are the unfolding of this article across the subsequent twenty-five-plus pieces of the civic-proof series.

Three questions are left to the reader: which civic behaviours truly need legal identity vs. attribute / uniqueness / pseudonymous proof? If wallet / OS / browser become the default presentation layer, have they not become new public infrastructure requiring corresponding constitutional discipline? And if state root credentials remain mainstream into the foreseeable future, what exchange architecture is sufficient to support the privacy, portability, redress, and inclusion a democratic society needs?

CivicProof ≜ minimum_disclosure(demand) ∧ NormativeConditions(demand)
accountability ⇏ realname  (convergent: crypto ∪ normative_theory ∪ const_law)
DCI_pressure(identity) = max @ Act, lighter @ {Connect, Learn}
→ civic_proof : the operational concept that makes the rest of the series tractable