github仓库:https://github.com/FindoraNetwork/zei/blob/develop/crypto/src/basic/elgamal.rs
在Zei库中,elgamal加密算法定义在有限域 F q F_q Fq的Curve25519曲线上,设基点为G,其阶为p,随机选取私钥 s k ∈ F p sk\in F_p sk∈Fp,计算公钥 p k = s k ⋅ G pk =sk \cdot G pk=sk⋅G,pk、G公开,sk保密。
加密算法:
E
n
c
e
l
g
a
m
a
l
(
p
k
,
m
)
→
(
e
1
,
e
2
)
加密算法:Enc_{elgamal}(pk,m) \rightarrow (e_1,e_2)
加密算法:Encelgamal(pk,m)→(e1,e2)
- 随机选取 r ∈ F p 随机选取r\in F_p 随机选取r∈Fp
- 计算 e 1 = r G 计算e_1= r G 计算e1=rG
- 计算 e 2 = m G + r ⋅ P k , 其中 m 是待加密消息,映射到 F p 计算e_2= m G + r\cdot Pk,其中m是待加密消息,映射到F_p 计算e2=mG+r⋅Pk,其中m是待加密消息,映射到Fp
- 输出 ( e 1 , e 2 ) 输出(e_1,e_2) 输出(e1,e2)
上述过程 r 也可以从外部输入,当 r 由外部输入时,记为 E n c e l g a m a l ( p k , m , r ) → ( e 1 , e 2 ) 上述过程r也可以从外部输入,当r由外部输入时,记为Enc_{elgamal}(pk,m,r) \rightarrow (e_1,e_2) 上述过程r也可以从外部输入,当r由外部输入时,记为Encelgamal(pk,m,r)→(e1,e2)
解密算法:
D
e
c
e
l
g
a
m
a
l
(
s
k
,
e
1
,
e
2
)
→
m
G
解密算法:Dec_{elgamal}(sk,e_1,e_2) \rightarrow mG
解密算法:Decelgamal(sk,e1,e2)→mG
- 计算: m G = e 2 − e 1 ⋅ s k 计算:mG = e_2 - e_1 \cdot sk 计算:mG=e2−e1⋅sk
注意:解密只能得到 m G , 破解 m G 属于离散对数问题 注意:解密只能得到mG, 破解mG属于离散对数问题 注意:解密只能得到mG,破解mG属于离散对数问题
验证算法: V e r i f y e l g a m a l ( s k , m , e 1 , e 2 ) → b ∈ 0 , 1 验证算法:Verify_{elgamal}(sk,m,e_1,e_2) \rightarrow b \in{0,1} 验证算法:Verifyelgamal(sk,m,e1,e2)→b∈0,1
- 验证: m G + e 1 ⋅ s k ? = e 2 验证:mG + e_1 \cdot sk \ ?= e_2 验证:mG+e1⋅sk ?=e2