[논문 리뷰] Subcubic Coin Tossing in Asynchrony without Setup

Mose Mizrahi, Roger Wattenhofer|arXiv (Cornell University)|2026. 03. 02.

Distributed systems and fault tolerance인용 수 0

한 줄 요약

이 논문은 강력하지만 비용이 큰 비동기 공용 동전을 더 저렴하지만 품질이 낮은 동전으로 변환하는 변환을 제시하여 적응적 결함이 있는 비동기 합의에 대해 설정 없이 서브 큐빅 통신을 가능하게 한다. 보안 채널 하에서 거의 제곱에 근접하는 서브큐빅 통신과 상수 지연을 달성하고 Θ(n) 적응 결함에 대한 설정 없는 BA 프로토콜의 시사점을 논의한다.

ABSTRACT

We consider an asynchronous network of $n$ parties connected to each other via secure channels, up to $t$ of which are byzantine. We study common coin tossing, a task where the parties try to agree on an unpredictable random value, with some chance of failure due to the byzantine parties' influence. Coin tossing is a well known and often studied task due to its use in byzantine agreement. In this work, we present an adaptively secure committee-based method to roughly speaking turn strong but costly common coins into cheaper but lower-quality ones. For all $k > 2$ and $\varepsilon > 0$, we show how to use a strong (very rarely failing) coin that costs $\widetilde{O}(n^k)$ bits of communication to get a cheaper coin that costs $\widetilde{O}(\varepsilon^{-2k}n^{3 - 2/k})$ bits of communication. This latter coin tolerates $\varepsilon n$ fewer byzantine parties than the former, and it fails with an arbitrarily small constant probability. For any $\varepsilon > 0$, our method allows us to get a perfectly secure binary coin that tolerates $t \leq (\frac{1}{4} - \varepsilon)n$ faults with $O(n^{2.5}(\varepsilon^{-8} + \log n))$ messages of size $O(\log n)$, as well as a setup-free cryptographically secure binary coin that tolerates $t \leq (\frac{1}{3} - \varepsilon)n$ faults with $O(n^{7/3}\varepsilon^{-6}κ\log n)$ bits of communication (where $κ= Ω(\log n)$ is a cryptographic security paramater). These coins both have $O(\log n)$ latency. They are to our knowledge the first setup-free coins that cost $o(n^3)$ bits of communication but still succeed with at least constant probability against $t = Θ(n)$ adaptive byzantine faults. As such, they for the first time enable setup-free (and even perfectly secure) asynchronous byzantine agreement with $o(n^3)$ communication against $Θ(n)$ adaptive byzantine faults.

연구 동기 및 목표

• 비동기 네트워크에서 Byzantine 합의의 동기부여 및 FLP 불가능성을 피하는 공용 동전의 역할.
• 강력하고 비용이 큰 동전을 더 저렴하고 품질이 낮은 동전으로 줄이는 변환 도입.
• Setup-free이거나 암호학적으로 안전한 이진 동전을 Θ(n) 적응 결함을 허용하는 서브큐빅 통신으로 달성하는 방법을 보여주기.
• 보안 채널 하에서 거의 선형 지연으로 완전한 또는 암호학적으로 안전한 동전을 도출하는 프레임워크를 제시하기.

제안 방법

• 높은 신뢰도와 주어진 통신 비용을 가진 강력한 이진 공용 동전을 정의한다.
• 네트워크를 크기가 s인 q 위원회로 분할하고 각 위원회가 강력한 동전을 사용해 비트를 생성한다.
• 공개통로를 통해 모든 당사자에게 각 위원회의 비트를 희소한 이분 그래프로 게시하여 통신을 줄인다.
• 위원회 내에서 crusader 합의를 사용해 비트의 일관된 게시를 보장한다.
• 게시된 비트를 위원회 전반에 걸쳐 집계하여 공정성이 원하는 델타에 근접한 글로벌 동전을 얻는다.
• t ≤ (α−ε)n 결함과 정량화된 공정성을 갖는 더 저렴한 동전을 얻는 형식적 변환 T(C_str, z, k, ε, α)을 제공한다.
• 두 개의 강력한 동전(완벽하게 안전한 AVSS 기반과 암호학적 해시 기반)을 구성하고 변환을 적용하여 C_perfect와 C_crypto를 얻는다.
• 지연과 통신의 트레이드오프를 분석하고, 매개변수 선택(k, ε, α) 및 비대칭적 상황에서의 점근적 형태를 포함한다.

실험 결과

연구 질문

• RQ1 강력하고 비용이 큰 비동기 이진 동전을 더 저렴하고 품질이 낮은 동전으로 변환하면서 적응 Byzantine 결함 하에서 가동성(liveness)을 보존할 수 있는가?
• RQ2 위원회 기반 동전 생성을 crusader 비트 게시와 결합할 때 장애 허용성, 통신 비용, 지연 간의 트레이드오프는 무엇인가?
• RQ3 Θ(n) 적응 결함을 허용하면서 setup-free 또는 암호학적으로 보안된 동전이 총 통신을 n^3 이하로 얼마나 줄일 수 있는가?
• RQ4 setup-free 또는 암호학적으로 보안된 완전한 및 암호학적으로 강한 동전의 구체적 구성은 무엇이며, 이들의 통신 및 지연 한계는 무엇인가?
• RQ5 매개변수 선택(k, z, ε, α)이 변환된 동전의 달성 가능한 장애 허용도와 효율성에 어떤 영향을 미치는가?

주요 결과

• 강력하지만 비용이 큰 이진 공용 동전을 t ≤ (α−ε)n 결함에서 더 저렴한 동전으로 변환하고, 통신을 n^{3−2/k}의 차수(로그 인자에 의해 보정)까지 줄인다.
• 완벽하게 안전한 이진 동전을 허용하는 t ≤ (1/4 − ε)n 및 O(n^{2.5}(ε^{−8}+log n)) 통신과 O(log n) 지연을 달성하는 방법.
• 또한 t ≤ (1/3 − ε)n를 허용하는 암호학적으로 안전한 이진 동전을 O(n^{7/3} ε^{−6} κ log n) 통신 및 O(log n) 지연으로 제공하되, κ = Ω(log n).
• 동전들은 setup-free이며(완전한 동전의 경우 특히 완벽하게 안전) Θ(n) 적응 결함에 대해 o(n^3) 통신을 달성하는 setup-free 비동기 BA를 가능하게 하며, 이 영역에서의 첫 번째 성과이다.
• 보안 채널 또는 암호학적 가정 하에서 setup-free 비동기 설정에서 서브 큐빅 통신으로 Byzantine 합의를 가능하게 한다.
• 구현된 동전에 대해서는 지연이 O(log n)로 유지된다.