3544/CH4/EX4.9.2/Ex4_9_2.sce


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21


//ElGamal Signature verification

e1 = 10
e2 = 4
m = 14
p = 19
s1 = 3
s2 = 4

v1 = modulo(e1^m,p)
disp("V1")
disp(v1)

v2 = modulo(e2^s1 * s1^s2,p)
disp("V2")
disp(v2)

disp("Since V1=V2, signature is valid")