HOMELv030 分散型ID(DID)と検証可能なクレデンシャル(VC)のモデルにおいて、発行者(Issuer)がユーザーの利用履歴(どこでVCを提示したか)を追跡できないようにするための暗号技術的な特性はどれか。 2026年3月5日 ゼロ知識証明(ZKP-BBS+署名等)を使用することで、ユーザーはクレデンシャルそのものを渡さずに「成人であること」などの事実のみを証明でき、発行者への照会も発生しないためプライバシーが保たれる。 「Take-Grantモデル」において、権利の漏洩(de jure leakage)が可能かどうかを判定する問題は、計算複雑性理論においてどのような性質を持つか。 LLM(大規模言語モデル)を組み込んだアプリケーションにおいて、攻撃者がプロンプト入力によってモデルの制約を回避し、不適切な出力や内部情報を引き出す攻撃はどれか。