[論文レビュー] General Convex Agreement with Near-Optimal Communication

Marc Dufay, Diana Ghinea+1 more|arXiv (Cornell University)|Feb 24, 2026

Privacy-Preserving Technologies in Data被引用数 0

ひとこと要約

この論文は、抽象的凸性空間に対する決定論的同期Convex Agreementプロトコルをほぼ最適な通信・ラウンド複雑度で提示し、抽出器ベースの委員会を用いて参加者を削減しつつレジリエンスを維持する。ユークリッド空間や並行BA拡張を含む長メッセージ帯域においてほぼ最適なレジリエンスとサブ二次的な通信を達成する。

ABSTRACT

Convex Agreement (CA) strengthens Byzantine Agreement (BA) by requiring the output agreed upon to lie in the convex hull of the honest parties' inputs. This validity condition is motivated by practical aggregation tasks (e.g., robust learning or sensor fusion) where honest inputs need not coincide but should still constrain the decision. CA inherits BA lower bounds, and optimal synchronous round complexity is easy to obtain (e.g., via Byzantine Broadcast). The main challenge is \emph{communication}: standard approaches for CA have a communication complexity of $Θ(Ln^2)$ for large $L$-bit inputs, leaving a gap in contrast to BA's lower bound of $Ω(Ln)$ bits. While recent work achieves optimal communication complexity of $O(Ln)$ for sufficiently large $L$ [GLW,PODC'25], translating this result to general convexity spaces remained an open problem. We investigate this gap for abstract convexity spaces, and we present deterministic synchronous CA protocols with near-optimal communication complexity: when $L = Ω(n \cdot κ)$, where $κ$ is a security parameter, we achieve $O(L\cdot n\log n)$ communication for finite convexity spaces and $O(L\cdot n^{1+o(1)})$ communication for Euclidean spaces $\mathbb{R}^d$. Our protocols have asymptotically optimal round complexity $O(n)$ and, when a bound on the inputs' lengths $L$ is fixed a priori, we achieve near-optimal resilience $t < n/(ω+\varepsilon)$ for any constant $\varepsilon>0$, where $ω$ is the Helly number of the convexity space. If $L$ is unknown, we still achieve resilience $t 0$. We further note that our protocols can be leveraged to efficiently solve parallel BA. Our main technical contribution is the use of extractor graphs to obtain a deterministic assignment of parties to committees, which is resilient against adaptive adversaries.

研究の動機と目的

• Aggregationタスクのための検証条件としてConvex Agreement (CA) を Byzantine Agreement (BA) より強いものとして動機づける。
• 長メッセージ帯域でビット複雑度をほぼ最適化することによりCAの通信ギャップを縮小する。
• Helly数および空間の膨張性（dilation）特性にスケールする決定論的同期CAプロトコルを開発する。
• 既知/未知の入力長に対する平行BAの含意とレジリエンス保証を提供する。
• 平行BAや堅牢なアグリゲーションタスクに利用可能な技術を共有する。

提案手法

• t Byzantine障害まで対応可能な同期ネットワークでCAを凸性空間（Helly数 ωを持つ）としてモデル化する。
• 委員会割り当てを抽出器グラフベースの決定論的手法として導入し、正当な要素の過半数を維持しつつn個の参加者を小さなスーパーノード集合へ削減する。
• 凸性空間の拡張係数δを定義・活用し、中間値サイズを制限してエンコードの実現可能性を確保する。
• スーパーノード間の効率的なクロスグループ通信を実現する超送信プリミティブ（Reed-SolomonエンコードとMerkle木に基づく）を使用する。
• スーパーノード数を反復的に削減し、最終的に小グループ間で委員会CAプロトコルを実行して有効なCA値を出力する。
• 適応的なアドバーサリに対して正確性を確保するために既存のBAプロトコルをMulti-Participation SafetyとExtra-Corruptions Safetyとともに活用する。

実験結果

リサーチクエスチョン

• RQ1 一般的な凸性空間に対して、同期ネットワークで決定論的にCAを実現し、ほぼ最適な通信を達成するにはどうすればよいか。
• RQ2 Helly数ωと拡張δがCAプロトコルのレジリエンスと通信量に与える影響は何か。
• RQ3 抽出器ベースの委員会割当が適応的 adversariesの下で正しさを維持しつつほぼ最適な通信を生み出せるか。
• RQ4 CAの技術を平行BAインスタンスおよび直線凸性を持つユークリッド空間へ拡張するにはどうすればよいか。
• RQ5 入力長の既知/未知（L）を満たすレジリエンス境界を達成するにはどの入力長 regime が必要か。

主な発見

• 有限の凸性空間で、Helly数ωが定数、Lビット入力の場合、t < n/(ω+ε)に対してビット数O(nL log n + n^2 κ log n)かつラウンド数O(n)のCAプロトコルが存在する。
• 直線的凸性を持つユークリッド空間R^dの場合、Lが既知ならt < n/(d+1+ε)、未知ならt < n/(d+2+ε)でCAが達成され、ビット数O(n^{1+o(1)} L + n^2 log^{1+o(1)} n · κ)、ラウンド数O(n)。
• ω_iとL_iが可変のq個の有限凸性空間について、t < n/(ω_max+ε)かつ通信量O(nL log n + n^2 log n · κ)、ラウンド数O(n)となるCAプロトコルが存在する。ここでL = sum L_i、ω_max = max ω_i。
• 推論結果としてほぼ最適な平行BAが導かれる：入力L_iを持つ平行BAインスタンスはt < n/(2+ε)のほぼ最適なレジリエンス、ほぼ最適な通信O(nL log n)、およびO(n)ラウンドで解決できる（L = Ω(nκ) を仮定）。同様にn·κ個の平行2進BAインスタンスでは通信がO(κ n^2 log n)、ラウンドはO(n)。