[논문 리뷰] Self-Healing Computation

George Saad, Jared Saia|arXiv (Cornell University)|2014. 05. 06.

Cryptography and Data Security참고 문헌 16인용 수 6

한 줄 요약

이 논문은 최대 (1/4 − ε)n명의 당사자가 제어하는 악성 공격자에 노출된 상황에서도 점진적으로 최적의 메시지 및 계산 비용(O(m + n log n) per computation)을 유지하면서 예상되는 손상된 출력 수를 O(t(log* m)²)로 제한하는 신뢰할 수 있는 다자간 계산(RC)을 위한 자기 치유 알고리즘을 제안한다. 이 방법은 쿼orum 그래프와 감지 메커니즘을 사용하여 시간이 지남에 따라 손상된 당사자를 격리함으로써 장기적인 내성적 안정성을 확보하며, 최소한의 오버헤드를 유발한다.

ABSTRACT

In the problem of reliable multiparty computation (RC), there are $n$ parties, each with an individual input, and the parties want to jointly compute a function $f$ over $n$ inputs. The problem is complicated by the fact that an omniscient adversary controls a hidden fraction of the parties. We describe a self-healing algorithm for this problem. In particular, for a fixed function $f$, with $n$ parties and $m$ gates, we describe how to perform RC repeatedly as the inputs to $f$ change. Our algorithm maintains the following properties, even when an adversary controls up to $t \leq (\frac{1}{4} - ε) n$ parties, for any constant $ε>0$. First, our algorithm performs each reliable computation with the following amortized resource costs: $O(m + n \log n)$ messages, $O(m + n \log n)$ computational operations, and $O(\ell)$ latency, where $\ell$ is the depth of the circuit that computes $f$. Second, the expected total number of corruptions is $O(t (\log^{*} m)^2)$, after which the adversarially controlled parties are effectively quarantined so that they cause no more corruptions.

연구 동기 및 목표

• 지속적인 비잔티노스 공격 하에서도 효율성을 유지하는 신뢰할 수 있는 다자간 계산(RC)을 위한 자기 치유 알고리즘을 설계하는 것.
• 균형 잡힌 통신 및 계산 비용을 최적의 점근적 복잡도로 유지하면서 총 손상된 출력 수를 최소화하는 것.
• 제한된 수의 손상 이후에 악성 당사자를 자동으로 격리함으로써 장기적인 내성적 안정성을 달성하는 것.
• 계산 능력이 제한된 악성 공격자와 고유한 당사자 ID를 가진 부분적으로 동기화된 모델 하에서 이를 달성하는 것.
• 재구성 최소화로 동적 입력에 대해 함수 f를 반복 실행할 수 있도록 지원하는 것.

제안 방법

• 각 쿼럼에 Θ(log n)명의 당사자가 포함되며, 그 중 최대 1/4가 악성 당사자일 수 있도록 하여 고장 내성 보장을 확보하는 쿼럼 그래프 구조를 사용한다.
• 각 당사자는 Θ(log n)개의 쿼럼에 속하며, 연결된 쿼럼 간에는 직접적인 통신이 가능하도록 쿼럼 간 연결성을 확보한다.
• 감지 단계인 CHECK는 랜덤 샘플링을 통해 각 호출 시 적어도 1/2 확률로 손상된 계산을 식별한다.
• 손상이 감지되면 UPDATE 절차는 이웃하는 쿼럼 간의 충돌하는 당사자 쌍을 식별하여 악성 당사자를 표시한다.
• 기만성 DAG 모델은 손상된 종속성을 추적하며, 라운드가 진행됨에 따라 로그 단위로 감소하여 악성 당사자를 결국 격리시킨다.
• 체르노프 경계와 확률적 분석을 사용하여 O(log* m)회의 감지로 기만성 DAG가 고확률으로 크기가 0이 되도록 보장한다.

실험 결과

연구 질문

• RQ1 자기 치유 알고리즘이 점근적으로 최적의 메시지 및 계산 비용을 유지하면서도 손상 수를 제한할 수 있는가?
• RQ2 정적 비잔티노스 공격자 존재 하에서 최적의 메시지 복잡도 조건에서 달성 가능한 최소 예상 손상 수는 얼마인가?
• RQ3 사전에 악성 당사자 신원을 알지 못하더라도 시간이 지남에 따라 악성 당사자를 자동으로 격리할 수 있는가?
• RQ4 감지 메커니즘은 회로 깊이 및 게이트 수에 따라 효율적으로 확장될 수 있는가?
• RQ5 동적 입력을 가진 함수의 반복 실행 동안도 신뢰성을 유지할 수 있는가?

주요 결과

• 알고리즘은 각 계산당 O(m + n log n)의 균형 잡힌 메시지 및 계산 비용을 달성하며, 이는 이론적 하한선과 일치한다.
• 손상된 출력의 예상 수는 O(t(log* m)²)로 제한되며, 여기서 t는 손상된 당사자 수이다.
• O(t(log* m)²)회의 손상 이후 모든 악성 당사자는 실제로 격리되어 향후 계산에 영향을 주지 않는다.
• 각 계산의 지연 시간은 ℓ이 함수 f를 계산하는 회로의 깊이라면 O(ℓ)이다.
• 감지 메커니즘인 CHECK는 랜덤 샘플링을 통해 각 호출 시 적어도 1/2의 확률로 손상을 식별한다.
• 기만성 DAG 모델은 고확률로 O(log* m)회의 라운드 내에 손상 전파가 감소하여 악성 당사자의 효율적 격리를 보장한다.