최소 심판 메커니즘으로 외주 계산 보증

초록

검증자가 O(log S + log T) 시간·공간만 사용해 두 합리적 프로버에게 T × S 계산표를 위임하면, 프로버들은 추가 log S 배의 비용을 감수하고도 정직하게 결과를 제공한다. 이는 검증 비용을 거의 제로로 만들면서도 프로버에게는 효율적인 보상을 보장한다.

상세 분석

본 논문은 제한된 연산 능력을 가진 검증자가 대규모 계산을 외부에 위임할 때, 두 명의 합리적(prover) 에이전트가 서로 경쟁·협력하도록 설계된 “Minimal Refereed Mechanism”(MRM)을 제시한다. 핵심 아이디어는 (1) 검증자가 O(log S + log T) 시간·공간만으로 두 프로버가 제출한 Merkle‑root 를 비교하고, (2) 결과가 불일치할 경우 검증자가 로그‑스케일의 “중재(arbitration)” 절차를 수행해 어느 쪽이 정직한지 판별한다는 것이다. Merkle 트리를 이용해 각 행(row)과 블록(block) 수준의 해시값을 제공하게 함으로써, 검증자는 전체 T × S 테이블을 직접 검증할 필요 없이 루트와 해당 블록 사이의 경로만 O(log S + log T) 시간에 검증한다.

게임 이론적 분석에서는 두 프로버가 “죄수의 딜레마” 구조에 놓이게 설계한다. 동일한 출력값을 제시하면 보상이 낮게 주어지지만, 한 명이 고의로 다른 쪽과 차이를 만들고 진실을 밝히면 큰 보상이 주어진다. 따라서 서로를 배신(betray)할 유인이 생겨, 협력(공동으로 거짓값을 내놓는)보다 정직하게 계산을 수행하고 결과를 제공하는 것이 각각의 기대 효용을 극대화한다. 논문은 이 메커니즘이 (i) 개별 합리성(individual rationality)을 만족하고, (ii) 정직한 계산이 유일한 베이즈 내시 균형(Bayesian Nash equilibrium)임을 증명한다.

프로버의 비용 측면에서는, 원래 T × S 계산을 수행하는 데 필요한 연산량에 추가로 log S 배 정도의 오버헤드만 발생한다. 이는 기존 작업증명(Proof‑of‑Work)이나 전통적인 IP(Interactive Proof) 시스템이 요구하는 다항식·지수적 비용에 비해 현저히 낮다. 또한 검증자는 다수의 작업을 동시에 위임할 경우, 대부분의 작업을 한 프로버에게만 할당하고 나머지는 “검증용 샘플”만 제공함으로써 전체 오버헤드를 거의 절반으로 줄일 수 있다.

관련 연구와 비교했을 때, Belenkiy et al.·Dong et al.와 달리 검증자가 전체 계산을 직접 수행하거나 주기적으로 전체 검증을 수행할 필요가 없으며, Canetti et al.가 제시한 Merkle‑tree 기반 검증은 프로버의 합리성을 활용하지 못한다는 점에서 차별화된다. 또한 Azar·Micali의 스코어링 규칙 기반 메커니즘은 프로버가 무비용으로 정확한 답을 얻을 수 있다는 비현실적 가정을 두지만, MRM은 프로버가 실제 계산 비용을 감수한다는 현실적인 모델을 채택한다.

결과적으로, MRM은 검증 비용을 로그 수준으로 최소화하면서도 프로버에게는 비교적 작은 추가 비용만을 요구하는, 저공간·저시간 계산에 최적화된 외주 계산 메커니즘이라 할 수 있다.