Skip to content
クリズのBlog
搜索文档
K
Main Navigation
首页
个人项目
25 Fall CPP课程项目
项目一
项目二
项目三
25 Spring 公钥密码课程项目
End2End
zkMatches
ZKP
学习笔记
格密码
x86汇编
ECC
Web3
高级密码
Misc
电子手办
Cubism 2
Cubism 3
About Me
Appearance
Menu
Return to top
目录
RLWE转化为CVP
RLWE问题中的方案:
t
(
X
)
≡
a
(
X
)
⋅
s
(
X
)
+
e
(
X
)
(
m
o
d
p
)
相应的矩阵形式为:
t
∗
≡
M
(
a
)
s
∗
+
e
∗
(
m
o
d
p
)
存在整向量
s
e
x
=
(
s
∗
r
)
∈
Z
2
n
,
Λ
中格点
M
(
a
)
e
x
⋅
s
e
x
与目标向量
t
e
x
的差向量为:
t
e
x
−
M
(
a
)
e
x
⋅
s
e
x
=
(
e
∗
s
∗
)
如果条件RLWE问题中的
s
(
x
)
要求是短多项式,则可以构造2n阶整方阵:
M
(
a
)
e
x
=
(
M
(
a
)
q
I
n
−
I
n
0
)
∈
Z
2
n
×
2
n
其中
l
n
是
n
阶单位矩阵,
q
l
n
是
l
n
的
q
倍
设
Λ
是
M
(
a
)
e
x
列张成的格,定义目标(列)向量:
t
e
x
=
(
t
∗
0
)
存在整向量
s
e
x
=
(
s
∗
r
)
∈
Z
2
n
,
Λ
中格点
M
(
a
)
e
x
s
e
x
与目标向量
t
e
x
的差向量为
t
e
x
−
M
(
a
)
e
x
s
e
x
=
(
e
∗
s
∗
)
∈
Z
2
n
由于
e
和
s
都是选取比较短的多项式,
(
e
∗
s
∗
)
是较短的整向量
故
RLWE
问题就转化为格
Λ
中的
CVP
求解
(
p
p
p
⋯
p
a
0
a
1
a
2
⋯
a
n
−
1
1
−
2024
a
n
−
1
a
0
a
1
⋯
a
n
−
2
1
−
2024
a
n
−
2
−
2024
a
n
−
1
a
0
⋯
a
n
−
3
1
⋮
⋮
⋮
⋱
⋮
⋯
−
2024
a
1
−
2024
a
2
−
2024
a
3
⋯
a
0
1
b
0
b
1
b
2
⋯
b
n
−
1
1
)
(
k
0
,
k
1
,
k
2
,
.
.
.
k
63
,
s
0
,
s
1
,
s
2
,
.
.
.
s
63
,
1
)
(
p
p
p
⋯
p
a
0
a
1
a
2
⋯
a
n
−
1
1
−
2024
a
n
−
1
a
0
a
1
⋯
a
n
−
2
1
−
2024
a
n
−
2
−
2024
a
n
−
1
a
0
⋯
a
n
−
3
1
⋮
⋮
⋮
⋱
⋮
⋯
−
2024
a
1
−
2024
a
2
−
2024
a
3
⋯
a
0
1
b
0
b
1
b
2
⋯
b
n
−
1
1
)
=
(
e
0
,
e
1
,
e
2
,
.
.
.
e
63
,
s
0
,
s
1
,
s
2
,
.
.
.
s
63
,
1
)