こんにちは、富士榮です。
3月頭はFintech Weekということもあり、あちこちでFintech系のイベントが開催されますね。そのうちの一つである4F（Future Frontier Fes by FINOLAB）の一コマをいただきAuthlete川崎さんと一緒にFAPIとVerifiable Credentialsの話をします。
こちらのイベントですね。
https://4f-otmcbldg.tokyo/2025-jp/
セッションの詳細と申し込みはこちらからしていただけます。
私は慶應の鈴木先生と一緒に先日発行したデジタルクレデンシャルの管理要件に関するディスカッションペーパーの中身の話を解説させていただきます。みなさん色々とデジタルクレデンシャルを発行しますが、ちゃんと用途に応じた管理をしないとダメですよ、って話です。
ぜひお越しください！
こんにちは、富士榮です。
先日投稿した、OpenID for Verifiable PresentationsのImplementers DraftのPublic Review期間が終わり、Vote期間に入ります。
12月17日〜24日の間が投票期間ですので、メンバーの方は忘れずに投票しましょう。
（公式な投票期間は上記ですが、実際は12月10日から投票は開始されます）
こんにちは、富士榮です。
先日のInternet Identity Workshop（IIW）でもVerifiable Credentialsのフォーマットやウォレットの管理方式とリンク可能性（Linkability）・リンク不可能性（Unlinkability）について議論がありましたが、そもそもどういうことなの？って話です。
要するにKim CameronのThe laws of identityでいうところの「Directed Identity」の話で、例えば複数のリライングパーティ同士が結託すると意図しないアイデンティティの紐付け（名寄せ）が行われて開示していない属性についても知られてしまうので、例えば識別子をリライングパーティごとに分ける（いわゆるPairwise identifier）を使って仮名化しようよ、みたいな話です。
そういえば昔、仮名と匿名の話をしたな、って思い出しました。（昔すぎて恥ずかしい）
この名寄せの話がVCやウォレットにどう関係するの？ってところですが、ちょうど良い資料をSpruceIDのWayneがいい資料を公開しているのでご紹介を。
Provably Forgotten Signatures: Adding Privacy to Digital Identity
https://blog.spruceid.com/provably-forgotten-signatures-adding-privacy-to-digital-identity/
次回かいつまんで読んでいこうと思います。
こんにちは、富士榮です。
年末です。iddanceの季節です（嘘）。
https://idance.connpass.com/event/336798/
テーマは「VCに未来がないって聞いたんですけど？」とのこと。なかなか刺激的です。
元ネタはこれですねw
崎村さんのBlog
https://www.sakimura.org/2024/11/6488/
ぜひ参加しましょう。
Self-Sovereign Identity (SSI) empowers individuals and organizations with full control over their data. Decentralized identifiers (DIDs) are at its center, where a DID contains a collection of public keys associated with an entity, and further information to enable entities to engage via secure and private messaging across different platforms. A crucial stepping stone is DIDComm, a cryptographic communication layer that is in production with version 2. Due to its widespread and active deployment, a formal study of DIDComm is highly overdue.We present the first formal analysis of DIDComm’s cryptography, and formalize its goal of (sender-) anonymity and authenticity. We follow a composable approach to capture its security over a generic network, formulating the goal of DIDComm as a strong ideal communication resource. We prove that the proposed encryption modes reach the expected level of privacy and authenticity, but leak beyond the leakage induced by an underlying network (captured by a parameterizable resource).We further use our formalism to propose enhancements and prove their security: first, we present an optimized algorithm that achieves simultaneously anonymity and authenticity, conforming to the DIDComm message format, and which outperforms the current DIDComm proposal in both ciphertext size and computation time by almost a factor of 2. Second, we present a novel DIDComm mode that fulfills the notion of anonymity preservation, in that it does never leak more than the leakage induced by the network it is executed over. We finally show how to merge this new mode into our improved algorithm, obtaining an efficient all-in-one mode for full anonymity and authenticity.
自己主権型アイデンティティ（SSI）は、個人や組織が自分のデータを完全にコントロールできるようにする。分散型識別子（DID）がその中心であり、DIDには、エンティティに関連する公開鍵のコレクションと、エンティティが異なるプラットフォーム間で安全かつプライベートなメッセージングを介して関与できるようにするためのさらなる情報が含まれている。その重要な足がかりとなるのがDIDCommであり、バージョン2で製品化された暗号通信レイヤーである。DIDCommは広く活発に展開されているため、DIDCommの正式な研究は非常に遅れている。
本稿では、DIDCommの暗号技術に関する初の形式的分析を行い、（送信者の）匿名性と真正性というDIDCommの目標を形式化する。DIDCommの目標を強力な理想的通信リソースとして定式化することで、一般的なネットワーク上での安全性を実現する。提案する暗号化モードは、期待されるプライバシーと真正性のレベルに達するが、（パラメータ化可能なリソースによって捕捉される）基礎となるネットワークによって誘発される漏洩を超えて漏洩することを証明する。
次に、匿名性と真正性を同時に達成し、DIDCommメッセージフォーマットに適合し、暗号文のサイズと計算時間の両方において、現在のDIDCommの提案をほぼ2倍上回る最適化アルゴリズムを提示する。最後に、この新しいモードを改良されたアルゴリズムにマージする方法を示し、完全な匿名性と真正性を実現する効率的なオールインワンモードを得る。
中身はまだ細かく見ていませんが、しっかりと分析を行うプロセスが実行された、ということなので良かったんじゃないかと思います。
いずれにしても特にIoTのユースケースなどDID Commの方が適しているものもある気がしますので、ちゃんと適切にプロトコルを選択していけると良いかと思います。
こんにちは、富士榮です。
IIWや、その前日のOpenID Foundation Workshopでも取り上げられていたとおり、OpenID for Verifiable Presentationsの新たなImplementer's draftのPublic Review期間に入りました。
アナウンス
主な更新はこちら
13 US states have already rolled out mobile digital driver's licenses (mDLs), and many more are testing the waters. Why the buzz? These government-issued digital IDs promise game-changing benefits: enhanced privacy, smoother online transactions, and a streamlined process for everything from opening a bank account to securing a loan.So, here's the real question: how will mDLs transform remote ID verification?
米国ではすでに13の州でモバイル・デジタル運転免許証（mDL）が導入され、さらに多くの州で試験運用が行われている。なぜ話題になっているのか？これらの政府発行のデジタルIDは、プライバシーの強化、よりスムーズなオンライン取引、銀行口座の開設からローンの確保までの合理化されたプロセスなど、ゲームチェンジャー的なメリットを約束している。
mDLは遠隔地でのID認証にどのような変革をもたらすのだろうか？
なかなか興味深いですね。
例によって日本時間だと10月3日（木）AM1:00-という酷い時間ですが、興味のある方は参加してみると米国の様子などわかるかもしれませんね。
こんにちは、富士榮です。
Entra Verified IDのFace check機能の正式リリースについて先月書きましたが、アナウンス的にはEntra Suiteが正式リリースでFace check自体はPublic Previewの状態だったみたいです。
https://idmlab.eidentity.jp/2024/07/entra-verified-id.html
ということで、（こんどこそ）正式リリースになったようです。
 |
| MicrosoftのBlogより |
ということでHappy face check lifeを！
 |
| OpenArtに「Digital Credential, National ID」と入れたら生成された画像 |
ウェブサイトは、さまざまな方法でモバイル ウォレット アプリに認証情報をリクエストできます。 カスタム URL ハンドラや QR コードのスキャンなど、新しいメカニズムを取り入れています。この 使用すると、サイトが Google Cloud 内のデジタル認証情報から ID 情報を 使用してウォレット アカウントを作成できます。Kubernetes は、 複数の認証情報形式に対応（例: ISO mDoc や W3C による検証可能な） 複数のウォレット アプリを使用できるようにします。この API には エコシステム全体でセンシティブ アイデンティティが悪用されるリスクを軽減するメカニズム 情報です。
Starting with just three airports, Delhi, Bengaluru, and Varanasi, Digi Yatra has expanded its footprint across major airports in the country, including Mumbai, Hyderabad, Pune and Kolkata. Currently operational at 14 airports, very soon Digi Yatra plans to expand to an additional 15 airports.
3つの空港から始まって現在14の空港で利用でき、もうすぐ15番目の空港でも使えるようにする予定らしいです。
By adopting Digi Yatra, passengers have been able to cut down on airport entry time from 15-20 seconds to around 5 seconds.
これまで15-20秒かかっていた空港への入場が5秒で済むようになったとのこと。20秒ならいいじゃんって思ってしまいますが、インドくらいの人口のところだとものすごい効果なのかもしれません。
まぁ、日本でも顔認証ゲートは導入されているので、VCベースかどうかは置いておいて、この流れは世界へ広がっていくんでしょうね。
羽田の顔認証ゲート
https://tokyo-haneda.com/site_resource/flight/pdf/how_to_use_Face_Express_en.pdf
ちなみにあまり詳しい技術情報は書いてありませんが、Digi YatraのCEOの方がFinancial Expressに寄稿した記事には分散Ledgerを使ったDIDとVCによる自己主権型アイデンティティのソリューションである、と書いています。
どうしてもTravel Passというとe-Passport系の話に頭が入ってしまいますが、空港での顧客体験の向上、というキーワードでも色々と適用できそうな場面はありそうですね。
Table 8. Methods, credentials, ZKP and blockchain in years.
| Method | Paper | Year | Credential type | ZKP | Blockchain |
|---|---|---|---|---|---|
| Hash-based | [54] | 2007 | Digital credential | ||
| [55] | 2008 | Digital credential | |||
| [56] | 2010 | Digital credential | ✓ | ||
| [61] | 2017 | ABC | |||
| [50] | 2019 | Digital credential | ✓ | ||
| [52] | 2022 | VC | ✓ | ||
| [63] | 2022 | Digital credential | ✓ | ✓ | |
| [64] | 2023 | VC | ✓ | ||
| [62] | 2023 | Digital credential | ✓ | ||
| [57] | 2023 | SBT | ✓ | ||
| Signature-based | [69] | 2008 | AC | ✓ | |
| [67] | 2009 | Digital credential | |||
| [72] | 2015 | AC | ✓ | ||
| [68] | 2019 | ABC | ✓ | ||
| [70] | 2020 | AC | ✓ | ||
| [71] | 2022 | VC | ✓ | ✓ | |
| [74] | 2023 | ABC | ✓ | ||
| [79] | 2023 | AC | ✓ | ||
| [77] | 2023 | ABC | ✓ | ✓ | |
| [75] | 2023 | AC | ✓ | ||
| ZKP | [82] | 2019 | ABC | ✓ | ✓ |
| [83] | 2021 | VC | ✓ | ✓ | |
| ZKP & Signature-based | [87] | 2013 | AC | ✓ | |
| [78] | 2018 | ABC | ✓ | ✓ | |
| [88] | 2021 | PABC | ✓ | ||
| [89] | 2022 | ABC | ✓ | ||
| ZKP & Hash-based | [85] | 2023 | VC | ✓ | ✓ |
| [86] | 2023 | AC | ✓ | ✓ | |
| Signature-based & Hash-based | [90] | 2020 | VC | ✓ | |
| [91] | 2022 | VC | ✓ |
Table 9. Comparison of different credential types.
| Type | Algorithma | ZKPa | Blockchaina | Examples | Maturity | Encoding | Characteristics |
|---|---|---|---|---|---|---|---|
| Digital credential | Hash | / | / | XML, JSON, PDF, blockchain-based formats, cryptographic tokens, smart contracts | Electronic versions of paper credentials. Any form of digital certification. Easily shareable, verifiable online and can improve administrative efficiency. Focused on transparency and traceability. More general and not inherently designed for privacy enhancement, unless otherwise specified. | ||
| AC | Signature | ✓ | / | JSON, XML, cryptographic tokens | Designed for anonymity of user. Enhances privacy and security by preventing user tracking and profiling. Complex in implementation. Misuse in avoiding accountability possible. ZKP enhancements and signatures can be computationally intensive. Extended versions more commonly used in practice. | ||
| ABC | Signature | ✓ | Idemix, U-prove | IBM, Microsoft, ABC4Trust, PrimeLife | JSON, XML, cryptographic tokens | Extension of ACs focused on attributes. Offers fine granularity over attributes disclosed. Increases user control and enhances privacy. Can be less efficient in terms of computation and storage. Flexibility requires strict policy enforcement mechanisms. Implemented and standardized through extensive work on it. | |
| PABC | ZKP & Signature | ✓ | / | / | JSON, cryptographic proofs | Privacy enhancement of ABCs through the use of ZKPs. Maximizes privacy by ensuring minimal data exposure. Increases complexity and computational costs are higher. Lack of standardizations and practical usage. | |
| SBT | Hash | ✓ | / | / | Smart contracts, token metadata | Lack of standardization and practical usage. Reliable and immutable proof of attributes. Depends on blockchain which can cause scalability issues. Non-transferability enhances security but causes lack of flexibility and is restrictive. | |
| VC | All | ✓ | ✓ | HyperLedger AnonCreds SD-JWT, Multiple wallets | W3C VC | JSON, JSON-LD, JWT, JWP | Standardized format. Credentials can be independently verified (without direct access to the issuer). Highly interoperable and secure. Enhances trust and reduces fraud. Complex in implementation. Needs widespread adoption of the standard. |
投稿
すべてのコメント
