NotesNotes要点

• Anonymous blocklisting revokes malicious users while preserving honest-user anonymity.
• Signature-based revocation supports revocation from past authentications.
• Prior systems incur high overhead at scale and for long-offline users.
• zk-BAN filters revocation lists and partially unifies PRF tags to cut repeated ZK work.
• The paper formally proves blocklistability and unlinkability.
• It reports ~600 ms proving and ~2 ms verification, with 136x proving and 32x verification gains over prior work.

• 匿名黑名单允许服务撤销恶意用户，同时保护诚实用户匿名性。
• 基于签名的撤销支持根据过去认证记录撤销用户。
• 现有方案在大规模和长期离线用户场景开销较高。
• zk-BAN通过过滤撤销列表、部分统一PRF标签减少重复ZK计算。
• 论文形式化证明zk-BAN满足可黑名单性与不可链接性。
• 大规模负载下证明约600 ms、验证约2 ms，较先前工作证明快136倍、验证快32倍。

• 匿名ブロックリストは悪意あるユーザーを失効させつつ、誠実なユーザーの匿名性を保護する。
• 署名ベースの失効は過去の認証に基づく失効を可能にする。
• 既存方式は大規模環境や長期オフライン復帰ユーザーで大きなオーバーヘッドを生む。
• zk-BANは失効リストのフィルタリングとPRFタグの部分統合で繰り返しのZK計算を削減する。
• 論文は可ブロックリスト性と非リンク性を形式的に証明する。
• 大規模負荷で証明約600ms、検証約2ms、先行研究比で証明136倍・検証32倍高速と報告する。