[논문 리뷰] Human Challenge Oracle: Designing AI-Resistant, Identity-Bound, Time-Limited Tasks for Sybil-Resistant Consensus

Homayoun Maleki, Nekane Sainz외 1명|arXiv (Cornell University)|2026. 01. 07.

User Authentication and Security Systems인용 수 0

한 줄 요약

이 논문은 연속적이고 속도 제한된 신원 바인딩 인간 검증 원시체인인 Human Challenge Oracle(HCO)를 제안합니다. 이는 시간에 따라 선형적인 시빌 저항을 유지하고, 비용 모델과 챌린지 계층을 예비 실증으로 분석합니다.

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.

연구 동기 및 목표

• Sybil 공격으로부터 웹 온라인 시스템이 한 번의 신원 검증을 넘어서 견딜 수 있도록 동기를 부여한다.
• 시간 창에 바인딩된 지속적이며 ID별 인간 검증을 시행하는 보안 원시체(HCO)를 제안한다.
• 설계 목표, 특성 및 선형 시빌 저항을 보이는 비용 모델을 형식화한다.
• 브라우저 환경에서 실용적인 admissible 챌린지 계층과 구현을 식별한다.
• 제안된 챌린지가 초 단위의 인간 솔빙 가능성과 시간 제약 하에서 AI에 대해 어렵다는 초기 실증적 증거를 제공한다.

제안 방법

• HCO를 id, t, j에 암호학적으로 바인딩된 새 챌린지를 발행하는 원시체 HCO(id, t, j)로 정의한다.
• 시간 제한 인간 우위, 신원 바인딩, 실시간 제약 및 제한된 인간 처리량과 같은 특성을 형식화한다.
• 완만한 가정하에서 s 신원을 유지하는 데 각 창에서 및 시간에 따라 Omega(s)의 인간 자원이 필요함을 증명한다.
• 보안 보장을 유지하기 위해 챌린지 계층을 추상화하고 허용 가능 계열 간에 순환시켜 보안을 보존한다.
• 브라우저 기반 구현과 실증 지표를 가진 네 가지 대표 챌린지 계열을 구체적으로 설명한다.
• 자원 모델(재사용 가능한 자원 vs 재사용 불가능한 자원)을 사용하여 HCO를 PoW 및 PoS와 비교하고 선형 대 비선형 비용 스케일링을 강조한다.

실험 결과

연구 질문

• RQ1 연속적이고 시간-bound하며 신원 바인딩된 인간 챌린지가 공개 시스템에서 지속적인 선형 시빌 저항을 강제할 수 있는가?
• RQ2 HCO가 윈도우별 및 장기적인 시빌 비용의 선형성을 보장하기 위한 형식적 설계 특성 및 가정은 무엇인가?
• RQ3 어떤 챌린지 계층이 HCO 특성을 만족하며, 브라우저에서 실용적으로 구현될 수 있는가?
• RQ4 HCO가 기존의 시빌 방어책(CAPTCHAs, PoP 등)과 비교하여 비용 스케일링 및 AI 저항 측면에서 어떤 차이가 있는가?

주요 결과

메커니즘	지속성	속도-제한	AI 저항
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는 비상환 가능한 per-identity 비용을 강제한다: 어떤 창에서든 s 신원을 유지하려면 Omega(s)의 인간 자원이 필요하다.
• 윈도우당 신원 한계는 s ≤ m · tau_h를 보장하는데, 여기서 m은 이용 가능한 인간 수이고 tau_h는 한 인간이 창당 최대 해결 가능한 챌린지 수이다.
• 여러 윈도우에 걸쳐 정상 상태의 시빌 용량은 평균 사용 가능한 인간 노력에 의해 제한되어 부분 선형적 상각을 방지한다.
• 적합성 있는 도메인(지각적, 대화형, 생체 신호 경감, 주의 기반) 챌린지 계열의 계열은 출신성, 실시간 해결 가능성, 병렬화 불가성, 신원 바인딩을 만족하도록 구현될 수 있다.
• 제안된 챌린지가 초 단위로 인간이 해결하고 제약된 시간 하에서 자동 채점기가 어려워한다는 초기 실험적 결과가 있다.
• 챕터 간의 회전은 모달리티가 발전하더라도 선형 시빌 비용 보장을 유지한다.