zkとFHEそれぞれのスケーラビリティ課題
どちらも入力データ量やダイナミックな計算の複雑さに対して、非線形に計算時間が増加する傾向にある
zk:ゼロ知識証明
証明の生成時間
ゼロ知識証明を生成するのには時間は、証明されるべき命題の複雑さに依存する。
証明のサイズと検証時間
証明のサイズが大きくなると、それを転送し検証するのにも時間がかかる
FHE:完全準同型暗号
計算オーバーヘッド
FHEは計算コストが高く、特に複雑な演算を実行しようとすると、非暗号化されたデータ上での計算と比べて極めて遅くなる
同形演算時間は、演算の種類と回数に応じて非線形に増加する
加算は比較的軽量ですが、乗算などの演算は指数関数的に時間がかかる
演算回数が増えるほど、計算時間の増加は急激になる
キー管理とサイズ
FHEは大きな鍵サイズを必要とすることが多く、これがデータ転送やストレージのコスト増加を引き起こす.
鍵生成時間、暗号化時間、復号時間は、主に鍵サイズに依存し、概ね線形に増加する
ブートストラッピング
FHEでは、計算途中で暗号化されたデータのノイズを管理するためにブートストラッピングと呼ばれるプロセスが必要になるがこれは計算負荷をさらに増加させる要因