Appearance
RLWE转化为CVP
- RLWE问题中的方案:
t(X)≡a(X)⋅s(X)+e(X)(modp)
- 相应的矩阵形式为:
t∗≡M(a)s∗+e∗(modp)
- 存在整向量sex=(s∗r)∈Z2n,Λ中格点M(a)ex⋅sex与目标向量tex的差向量为:
tex−M(a)ex⋅sex=(e∗s∗)
- 如果条件RLWE问题中的s(x)要求是短多项式,则可以构造2n阶整方阵:
M(a)ex=(M(a)−InqIn0)∈Z2n×2n
- 其中ln是n阶单位矩阵,qln是ln的q倍
- 设Λ是M(a)ex列张成的格,定义目标(列)向量:
tex=(t∗0)
- 存在整向量sex=(s∗r)∈Z2n, Λ中格点M(a)exsex与目标向量tex的差向量为
tex−M(a)exsex=(e∗s∗)∈Z2n
由于e和s都是选取比较短的多项式,(e∗s∗)是较短的整向量
故RLWE问题就转化为格Λ中的CVP求解
⎝⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎛pa0−2024an−1−2024an−2⋮−2024a1b0pa1a0−2024an−1⋮−2024a2b1pa2a1a0⋮−2024a3b2⋯⋯⋯⋯⋱⋯⋯pan−1an−2an−3⋮a0bn−1111⋯11⎠⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎞
(k0,k1,k2,...k63,s0,s1,s2,...s63,1)⎝⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎜⎛pa0−2024an−1−2024an−2⋮−2024a1b0pa1a0−2024an−1⋮−2024a2b1pa2a1a0⋮−2024a3b2⋯⋯⋯⋯⋱⋯⋯pan−1an−2an−3⋮a0bn−1111⋯11⎠⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎟⎞=(e0,e1,e2,...e63,s0,s1,s2,...s63,1)