[論文レビュー] Subcubic Coin Tossing in Asynchrony without Setup

Mose Mizrahi, Roger Wattenhofer|arXiv (Cornell University)|Mar 2, 2026

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.

研究の動機と目的

• 非同期ネットワークにおけるブラインティン協定の動機付けとFLP不可性回避における共通コインの役割。
• 高コストの強力なコインから安価で低品質なコインへ通信を低減する変換を導入。
• Θ(n) アダプティブフォールトを許容するセットアップ不要、または暗号的に安全な二進法コインをサブキュビックな通信で実現する方法を示す。
• 安全チャネル下でほぼ線形の潜時を持つ完璧コインまたは暗号的コインを導出する枠組みを提示。

提案手法

• 強力な信頼性と与えられた通信コストを持つ強力な二進法共通コインを定義。
• ネットワークをサイズsのq委員会に分割し、それぞれの委員会が強力コインを用いてビットを生成。
• 各委員会のビットをスパース双方向グラフを介して全参加者に公開し、通信を削減。
• 委員会内で crusader 合意を用いてビットの一貫した公開を保証。
• 委員会間で公開されたビットを集約して、公正さが所望のデルタに近似するグローバルコインを得る。
• 正式な変換T(C_str, z, k, ε, α)を提供し、t ≤ (α−ε)n のフォルトと定量的な公正さを持つより安価なコインを得る。
• 2つの強力なコイン（完全に安全なAVSSベースと暗号的ハッシュベース）を構築し、変換を適用して C_perfect と C_crypto を得る。
• レイテンシと通信のトレードオフを分析し、漸近挙動とパラメータ選択（k, ε, α）を検討する。

実験結果

リサーチクエスチョン

• RQ1 強力で高価な非同期の二進法コインを、ライブネスを保ちつつ安価で低品質なコインへ変換できるか（アダプティブ Byzantineフォールトに対して）。
• RQ2 委員会ベースのコイン生成と crusader ビット公開を連鎖させたとき、フォールトトレランス・通信コスト・待機時間のトレードオフはどうなるか。
• RQ3 セットアップ不要または暗号的に安全なコインが Θ(n) アダプティブフォールトを許容しつつ、総通信を n^3 未満へどれだけ削減できるか。
• RQ4 セットアップ不要または暗号的に安全な完全コインと暗号的強コインの具体的構成と、それらの通信・待機時間の境界は何か。
• RQ5 パラメータ選択（k, z, ε, α）が、変換後コインの達成可能なフォールトトレランスと効率性にどう影響するか。

主な発見

• 変換は強力だが高価な二進共通コインを、t ≤ (α−ε)n のフォルトと通信を O(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）も提供。
• コインはセットアップ不要（完全コインでは完全に安全）で、Θ(n) アダプティブフォールトに対するセットアップ不要の非同期 BA に対して o(n^3) 通信を達成する初の試み。
• このアプローチは、セキュアチャネルや暗号的前提のもとで、セットアップ不要の非同期設定におけるサブキュビックな通信でのビザンティン合意を実現可能にする。
• 構築されたコインのレイテンシは O(log n) のままである。