BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Sabre//Sabre VObject 4.5.8//EN
CALSCALE:GREGORIAN
LAST-MODIFIED:20260219T060547Z
BEGIN:VTIMEZONE
TZID:Asia/Tokyo
X-MICROSOFT-CDO-TZID:20
BEGIN:STANDARD
DTSTART:20241117T071500
TZOFFSETFROM:+0900
TZOFFSETTO:+0900
TZNAME:JST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:0c0af714-032a-419c-885a-97b9921e3a50
DTSTAMP:20260219T060547Z
SUMMARY:A Lean4-Verified Protocol for Smart Cities Addressing the Three Cor
 e Challenges of DIDs and VCs
DTSTART;TZID=Asia/Tokyo:20251112T161500
DTEND;TZID=Asia/Tokyo:20251112T171500
DESCRIPTION:https://www.w3.org/events/meetings/0c0af714-032a-419c-885a-97b9
 921e3a50/\n\nWe propose the international standardization of the AMT Proto
 col (Japanese name: AMATELUS) — a Lean4-verified protocol designed to so
 lve the three critical challenges encountered when introducing DIDs and VC
 s into Japanese municipal systems.\nThese challenges are not unique to Jap
 an\; municipalities and enterprises around the world likely face the same 
 issues.\n\nThree Core Challenges in Implementing DIDs and VCs for Smart Ci
 ties\n1. Traceability Problem – Resolving DID Documents on blockchains o
 r IPFS makes DIDs inherently traceable.\n2. Over-Disclosure Problem – Se
 lective disclosure in VCs still requires revealing excessive personal info
 rmation and enables cross-linking of identities.\n3. Auditability Problem 
 – Using ZKPs can conceal DIDs and personal data but makes legitimate gov
 ernmental audits impossible.\n\nTo move beyond proof-of-concept and enable
  real-world deployment of decentralized identity systems\,\nwe present the
  AMT Protocol\, a concrete and verifiable solution integrating decentraliz
 ed identity\, privacy preservation\, and public accountability.\nA detaile
 d Blueprint and formal verification in Lean4 are already publicly availabl
 e.\n\nWeb site: https://amatelus.com\nDID method PR: https://github.com/w3
 c/did-extensions/pull/639\nLean4 code (Japanese): https://github.com/amate
 lus/amatelus\n\n**Goal(s):**\nThis session aims to gather and discuss the 
 challenges faced by municipalities around the world in adopting DIDs and V
 Cs for smart city development\, and to explore how the AMT Protocol approa
 ch can help address these issues.\n\nAgenda\n\n1. Share the technical and 
 political challenges of building smart cities using DIDs and VCs.\n2. Pres
 ent the AMT Protocol’s solutions and provide a brief overview of the Lea
 n4 formal verification results.\n3. Disclose the constraints observed in J
 apanese municipalities and discuss the limitations that exist in other cou
 ntries.\n4. Review coexistence and distinctions between the AMT Protocol a
 nd related international standards and technologies.\n\n**Materials:**\n- 
 [Session proposal on GitHub](https://github.com/w3c/tpac2025-breakouts/iss
 ues/73)
STATUS:CONFIRMED
CREATED:20251028T131643Z
LAST-MODIFIED:20260219T060547Z
SEQUENCE:4
ORGANIZER;CN=W3C Calendar;PARTSTAT=ACCEPTED;ROLE=NON-PARTICIPANT:mailto:nor
 eply@w3.org
LOCATION:Floor 3 - 302
CATEGORIES:TPAC 2025,Breakout Sessions
END:VEVENT
END:VCALENDAR