1. Preliminaries

データ

を多項式の形

へ変換する必要がある.

2. Vanilla encoding

を見つける

decoding

個の根 を多項式に代入する

( は全単射なので複素数と多項式が1対1対応)

encoding


となるような
を見つける(は係数)

つまり、

ヴァンデルモンド行列 を用いて

Example

の時

根として を選ぶと

メッセージ

もう一度 に通すと

ほぼもとの値となっている

3. CKKS encoding

違うポイント

  • 整数多項式環 の多項式に変換
  • decoder は要素が半分になるので共役を反転してくっつける