CKKSの乗算が誤差を二次で膨らませる理由をコードで確かめる
CKKS – Addition and Multiplication
CKKS準同型暗号のチュートリアル連載第2回。暗号文同士の加算は多項式の足し算で済み誤差も線形にしか増えないが、乗算では暗号文が3要素に拡張され、誤差が二乗で増えるうえスケールもΔ²になる。記事はPython実装とテストを通じてこの挙動を実演し、後続のrescalingとrelinearizationが必要な理由を明らかにする。
第一に、この式にはオペランドの誤差項の積が含まれており、乗算によって誤差が（少なくとも）二次関数的に増大することを意味している。