DIDCommを形式化
2024年 10月 16日 14 分で読めます
Input | Outputは、堅実な作業基盤の設定に真剣に取り組んでいる。最近の例として、ACMのコンピュータおよび通信セキュリティのためのフラッグシップカンファレンス、CCS’24で発表された論文「What did come out of it? Analysis and improvements of DIDComm messaging(ここから何が得られたか:DidCommメッセージングの分析と改良)」に見られる、Decentralized Identifier Communication(DIDComm)の研究がある。この論文では、DIDCommの形式化を試みている。
DIDCommとは何か
この作業に没入する前に、前提を説明する。DIDCommは、今日自己主権ID(Self-Sovereign Identity:SSI)システムで使用されている主要な通信フレームワークである。DIDCommは最初、Hyperledgerコンソーシアム内のRFCで定義されたが、最近独自の仕様であるDIDComm v2を採択し、現在はDistentralized Identity Foundation…
ユニバーサル匿名署名:匿名認証の過去、現在、未来のブリッジング
2024年 1月 24日 11 分で読めます
最近、論文"Foundations of Anonymous Signatures: Formal Definitions、Simplified Requirements、and a Construction Based on General Assumptions(匿名署名の基礎:正式な定義、簡素化された要件、および一般的な前提に基づく構造)"が2024年版Financial Cryptography(金融暗号)会議(FC'24)に掲載されました。この論文は、汎用匿名署名(UAS)について紹介しています。
UASは、匿名認証のドメイン内のいくつかのサブフィールドを繋ぐことに加えて、自己主権アイデンティティの将来を形成する可能性があると信じるものに向けた道筋を設定し、Atalaの中で確実に統合を推進します。
しかし、まず必要なのはこの問いでしょう。UAS…
最新の記事
Input | Output chief scientist receives prestigious Lovelace computing award 筆者: Fergie Miller
3 December 2024
Delivering change in Ethiopia: lessons and reflections 筆者: Staff Writer
28 November 2024
Applying formal methods at Input | Output: real-world examples 筆者: James Chapman
26 November 2024