Capture risk
Cloud platforms and "smart city" vendors create dependency and lock-in at the infrastructure layer. Cities that adopt proprietary civic tech often can't switch providers, audit algorithms, or even access their own data without the vendor's permission.
Exit story
Every primitive must be forkable and vendor-neutral — rules maintained at the policy layer, not the platform layer. If a city adopts a verifiable service delivery system, it should be able to swap out every technical provider without losing state or history.
The landscape
Today, trust in city operations relies on institutional legitimacy and procedural safeguards. Systems are siloed by department, optimized for individual agency mandates rather than cross-agency coordination. Verification happens after the fact — audits, reports, investigations — rather than being embedded into the systems themselves.
This creates a gap between what cities promise and what they can verifiably deliver. Climate volatility, aging infrastructure, demographic shifts, and rising citizen expectations are widening that gap.
The thesis
Cryptographic primitives — verifiable computation, zero-knowledge proofs, programmable commitments — can underpin a new operating layer for cities. One where service delivery is verifiable in real-time, cross-sector coordination is technically enforced rather than politically negotiated, and citizen data stays sovereign while still enabling data-driven governance.
Privacy is non-negotiable here: residents must be able to prove eligibility for services without exposing personal data. Censorship resistance matters too — verifiable public records can't depend on any single authority's willingness to keep publishing them.
The path runs from the current digitization era — where trust relies on process — toward a coordination era where trust is supported by transparent, independently checkable technical mechanisms embedded directly into public rules, systems, and finances.
All research, specifications, and reference implementations produced under this track are published openly under permissive licenses.