[論文レビュー] Coded Computing for Boolean Functions

Chien-Sheng Yang, A. Salman Avestimehr|arXiv (Cornell University)|Jan 23, 2020

Stochastic Gradient Optimization Techniques被引用数 2

ひとこと要約

本稿では、ブール関数を低次の多項式としきい値関数の組み合わせとしてモデル化することで、分散コンピューティングにおける最適なセキュリティ閾値を達成する、3つの新しい符号化コンピューティング方式—符号化ANF、符号化DNF、符号化PTF—を提案する。これらのコンponentsを計算の基盤に据えることで、特に高次のブール関数に対して、従来のラグランジュ符号化コンピューティング（LCC）と比較して、Byzantineワーカーに対する耐性が著しく向上する一方で、復号のオーバーヘッドは低く抑えられる。

ABSTRACT

The growing size of modern datasets necessitates a massive computation into smaller computations and operate in a distributed manner for improving overall performance. However, the adversarial servers in the distributed computing system deliberately send erroneous data in order to affect the computation for their benefit. Computing Boolean functions is the key component of many applications of interest, e.g., the classification problem, verification functions in the blockchain and the design of cryptographic algorithm. In this paper, we consider the problem of computing the Boolean function in which the computation is carried out distributively across several workers with particular focus on security against Byzantine workers. We note that any Boolean function can be modeled as a multivariate polynomial which have high degree in general. Hence, the recent proposed Lagrange Coded Computing (LCC) can be used to simultaneously provide resiliency, security, and privacy. However, the security threshold (i.e., the maximum number of adversarial workers can be tolerated) provided by LCC can be extremely low if the degree of polynomial is high. Our goal is to design an efficient coding scheme which achieves the optimal security threshold with low decoding overhead. We propose three different schemes called coded Algebraic normal form (ANF), coded Disjunctive normal form (DNF) and coded polynomial threshold function (PTF). Instead of modeling the Boolean function as a general polynomial, the key idea of the proposed schemes is to model it as the concatenation of some low-degree polynomials and the threshold functions.

研究の動機と目的

• 大規模なデータ処理システムにおける、ブール関数の分散計算をByzantineワーカーから保護するという、極めて重要な課題に取り組む。
• 高次の多項式表現を用いたブール関数を処理する際、セキュリティ閾値が低いという既存のラグランジュ符号化コンピューティング（LCC）の限界を克服する。
• 復号の複雑さと計算オーバーヘッドを最小限に抑える一方で、強固なセキュリティ保証を維持する効率的な符号化方式を設計する。
• ブール関数の代数的構造を活用することで、理論的に達成可能な最大のセキュリティ閾値—すなわち、システムが耐えられる最大の悪意あるワーカー数—を達成する。
• ブロックチェーンの検証、分類、暗号アルゴリズム設計といった応用分野における、安全な分散コンピューティングの実用的導入を可能にする。

提案手法

• ブール関数を一般の高次多項式としてではなく、低次の多項式としきい値関数の構造的組み合わせとしてモデル化することで、複雑さを低減する。
• 3つの異なる方式を提案する：符号化代数的正規形（ANF）、符号化選言正規形（DNF）、符号化多項式しきい値関数（PTF）、それぞれがブール関数の異なる構造的表現に特化している。
• ANFおよびDNFの代数的性質を活用して、ブール関数をより単純な低次の成分に分解し、効率的に符号化・分散処理できるようにする。
• しきい値関数を用いて論理的条件を表現することで、悪意あるワーカーが存在する状況下でも安全な集約と誤り検出を可能にする。
• 関数表現の構造を活用した符号化および復号手順を設計し、正しさとセキュリティを保証するとともに、復号のオーバーヘッドを最小限に抑える。
• 構成上、理論的に達成可能な最大のセキュリティ閾値—すなわち、ワーカー数から耐えられる最大の改ざんワーカー数を引いた値—に到達するように保証する。

実験結果

リサーチクエスチョン

• RQ1 ブール関数を、分散コンピューティングにおける高いセキュリティと低復号オーバーヘッドを両立できる形で表現することは可能か？
• RQ2 ブール関数が高次多項式として表現される場合、既存の符号化コンピューティング方式のセキュリティ閾値をどのように向上させられるか？
• RQ3 ブール関数を低次の多項式成分としきい値関数に分解することで、Byzantineワーカーに対する耐性をどの程度向上できるか？
• RQ4 符号化ブール関数計算における、セキュリティ、復号複雑性、計算効率の最適なトレードオフは何か？
• RQ5 提案された方式は、悪意あるワーカーが存在する状況でも理論的に達成可能な最大セキュリティ閾値に到達できるか？

主な発見

• 提案された符号化ANF、DNF、PTF方式は、理論的に達成可能な最大のセキュリティ閾値に到達しており、これは、与えられたシステム構成下で耐えられる最大の数のByzantineワーカーを許容できることを意味する。
• ブール関数を低次の多項式としきい値関数の組み合わせとして表現することで、多項式次数が高くなるとセキュリティが低下する既存のLCCとは異なり、性能劣化を回避できる。
• 提案方式がもたらす復号オーバーヘッドは、一般のLCCと比較して顕著に低く抑えられており、特に高次のブール関数に対して顕著である。
• これらの方式は、ブロックチェーンの検証、分類タスク、暗号関数設計といった、ブール関数計算が中心となる実世界の応用に適用可能である。
• ブール関数の構造的分解により、信頼できないワーカーが存在する分散環境におけるスケーラビリティと耐障害性が向上する。
• 理論的分析により、仮定されたモデル下で、これらの方式が情報理論的セキュリティをByzantine攻撃者に対して達成することが確認された。