Recently, a significant research achievement by the Beijing Infosec Technology Co., Ltd. (hereinafter referred to as "Infosec," stock code: 688201) research team—the paper titled "Formalizing Privacy in Decentralized Identity: A Provably Secure Framework with Minimal Disclosure"—has been officially accepted by the 39th IEEE Foundations of Computer Security Workshop (IEEE CSF 2026). The conference will be held in Lisbon, Portugal, from July 26-29, 2026, where experts from the company’s Information Security Research Institute will present the research findings on-site.
A long-standing core contradiction exists in current decentralized identity systems: the conflict between "blockchain verifiability" and the "principle of minimal disclosure of user privacy." To address this critical issue, the Infosec research team has, for the first time, proposed a formalized security and privacy model and developed a provably secure cryptographic protocol. This solution combines on-chain attribute commitments (Pedersen Commitments) with off-chain zero-knowledge proofs (Zero-Knowledge Proofs), enabling users to effectively prove to service providers that they meet specific conditions (e.g., "age ≥ 18") without revealing sensitive attribute values such as date of birth. The entire architecture is fully compatible with the W3C DID standard, demonstrating strong potential for practical implementation. Additionally, it exhibits efficient performance even on resource-constrained devices.
IEEE CSF (Computer Security Foundations Symposium) is a highly respected international conference in computer security and cryptography, sponsored by IEEE and held annually since 1988, with a focus on foundational and forward-looking research such as formal methods, protocol security, and privacy. IEEE is highly recognized by both academia and industry worldwide. Acceptance at IEEE CSF indicates that Infosec has achieved an internationally leading level in distributed identity security modeling, privacy-preserving mechanisms, and cryptographic engineering implementation.