[論文レビュー] Human Challenge Oracle: Designing AI-Resistant, Identity-Bound, Time-Limited Tasks for Sybil-Resistant Consensus

Homayoun Maleki, Nekane Sainz+1 more|arXiv (Cornell University)|Jan 7, 2026

User Authentication and Security Systems被引用数 0

ひとこと要約

論文は、連続的で速度制限付き、ID結びつきの人間検証プリミティブである Human Challenge Oracle (HCO) を提案し、時間とともに線形のSybil耐性を実現し、コストモデルと挑戦クラスを初期の実証検証と共に分析します.

ABSTRACT

Sybil attacks remain a fundamental obstacle in open online systems, where adversaries can cheaply create and sustain large numbers of fake identities. Existing defenses, including CAPTCHAs and one-time proof-of-personhood mechanisms, primarily address identity creation and provide limited protection against long-term, large-scale Sybil participation, especially as automated solvers and AI systems continue to improve. We introduce the Human Challenge Oracle (HCO), a new security primitive for continuous, rate-limited human verification. HCO issues short, time-bound challenges that are cryptographically bound to individual identities and must be solved in real time. The core insight underlying HCO is that real-time human cognitive effort, such as perception, attention, and interactive reasoning, constitutes a scarce resource that is inherently difficult to parallelize or amortize across identities. We formalize the design goals and security properties of HCO and show that, under explicit and mild assumptions, sustaining s active identities incurs a cost that grows linearly with s in every time window. We further describe abstract classes of admissible challenges and concrete browser-based instantiations, and present an initial empirical study illustrating that these challenges are easily solvable by humans within seconds while remaining difficult for contemporary automated systems under strict time constraints.

研究の動機と目的

• オープンオンラインシステムが一度のID検証を超えてSybil攻撃に耐性を持つよう動機づける。
• 時限に結びついた継続的な人間検証をIDごとに課すセキュリティプリミティブ（HCO）を提案する。
• 設計目標、特性、および線形のSybil耐性を示すコストモデルを正式化する。
• ブラウザ環境で実用的な適用可能性を持つ挑戦クラスとインスタンスを特定する。
• 提案する挑戦が秒単位で解け、人間が解決可能でAIには時間制約下で難しいことを初期の実証的証拠として示す。

提案手法

• HCOを、freshで時間制約付きの挑戦を(id, t, j) に物理的に結びつけて発行するオラクル HCO(id, t, j) として定義する。
• 時間制約付きの人間の優位性、識別結びつき、リアルタイム制約、制限された人間のスループットといった性質を形式化する。
• 穏やかな仮定のもと、s 個体を維持するには各ウィンドウで Omega(s) の人力資源が必要であることを証明する。
• セキュリティ保証を保つために、挑戦クラスを抽象化し、適合可能なファミリをローテーションさせる。
• 具体的なブラウザベースのインスタンスと、実証指標を伴う4つの代表的な挑戦ファミリを説明する。
• HCOをPoWおよびPoSと、再利用可能資源 vs 非再利用可能資源のリソースモデルを用いて比較し、線形かそれとも部分線形かのコストスケーリングを強調する。

実験結果

リサーチクエスチョン

• RQ1 継続的で時間制約付き、ID結びつきの人間挑戦はオープンシステムにおける持続的な線形Sybil耐性を課すことができるか？
• RQ2 HCOがウィンドウごとおよび長期的なSybilコストの線形性を保証するための形式的設計特性と仮定は何か？
• RQ3 どのクラスの挑戦がHCOの特性を満たし、ブラウザで現実的に実装可能か？
• RQ4 HCOと既存のSybil対策（CAPTCHA、PoP）をコストスケーリングとAI耐性の点で比較するとどうか？

主な発見

Mechanism	Persistence	Rate-Limited	AI Resistance
Traditional CAPTCHAs [2]	One-time	No	Low
reCAPTCHA / hCaptcha [7 , 8]	One-time	No	Medium
Proof-of-Personhood systems [9 , 11]	One-time	No	High (initially)
Behavioral biometrics [13]	Ongoing	Yes	Medium
Human oracles [14]	Ongoing	Partial	Low
HCO (this work)	Ongoing	Yes	High (time-bound)

• HCOは1つのIDあたりの費用を非償却的に課す：任意のウィンドウでs個体を維持するには Omega(s) の人間資源が必要。
• ウィンドウごとの識別結びつきにより s ≤ m · τ_h が成り立つ。ここで m は利用可能な人間、τ_h は人間が1ウィンドウに解ける最大挑戦数。
• 複数のウィンドウにわたると、定常状態のSybil容量は平均的な人間の努力によって制限され、償却の非線形性を抑制する。
• 適合な挑戦ファミリの一群（知覚的、対話的、生体認証ライト、注意ベース）が、新鮮さ、リアルタイム解決性、非並行性、ID結びつきを満たすよう実装可能である。
• 初期の実証結果は、人間が提案された挑戦を数秒で解く一方、AI解決者は厳しい時間制限の下で困難であることを示している。
• 挑戦ファミリ間のローテーションは、モダリティが進化しても線形のSybilコスト保証を維持する。