Notes Notes 要点

• tACT is the first publicly verifiable threshold anonymous counting token in a distributed-trust setting.
• The proposed SSI system features non-interactive, non-transferable credentials with minimal user-issuer interaction.
• Formalizes strong unlinkability security model, ensuring privacy even under issuer-verifier collusion.
• Benchmark results show improved efficiency over CanDID while supporting more issuers.
• Techniques involve bilinear maps, zero-knowledge proofs, and threshold cryptography.

• tACT首次在分布式信任环境中实现可公开验证的阈值匿名计数代币
• 提出的SSI系统支持非交互式、不可转移的凭证，减少用户与发行方交互
• 形式化强不可链接性安全模型，证明即使发行者与验证者勾结也能保护隐私
• 基准测试显示效率优于CanDID，且支持更多发行者
• 技术结合了双线性映射、零知识证明和阈值密码学

• tACTは、分散型トラスト環境における最初の公開検証可能なしきい値匿名カウントトークンです。
• 提案するSSIシステムは、最小限のユーザーと発行者間のやり取りを伴う、非対話的で譲渡不可能なクレデンシャルを特徴としています。
• 発行者と検証者の共謀下でもプライバシーを保証する、強力なリンク不可能性セキュリティモデルを形式化しています。
• ベンチマーク結果は、より多くの発行者をサポートしつつCanDIDよりも効率が向上していることを示しています。
• 技術には、双線形写像、ゼロ知識証明、およびしきい値暗号が含まれます。