W UN d dl Z d dlmZ d dlmZ d dlmZ d dlmZ d dl m
Z
m Z m Z d dl
mZ d dlmZ G d d
e j Z G d d e j Z G d
de j Zi fdZedk rd Z e j d dS dS ) N) unhexlify)list_test_cases)load_test_vectors)ECC)EccPoint_curvesEccKey)Integer)SHAKE128c
e Zd ZdddZdddZdddZ eed ed d
Z eed ed d
Z eed ed d
Z d Z
d
Z d Z d Z
d Zd Zd Zd Zd Zd Zd ZdS )TestEccPoint_Ed448 ^@ 518`b8 Cl\p*At(qmj.< +FaS[/S DZ74_3 zadoeC@
ZK^Dsxs sZhNx02>Ilq2 vIZu gt'
)xy UU*UU*UU*UU*UU*UU*UU*UUTU*UU*UU*UU*UU*UU*UU*U 'U7oWW9/Y^aT ,+ "67!V=6 V!(Yf\V^l /
\@9uKQZ[1V?N__N
ybj3\\A"f-d=H"\X l V 1M0AZZ?M}pNmoQ C;A |s[
l$Hj=K
nsI^Z r r Ed448curvec ` t | j d | j d d t ddd }| |j d | |j d | |j d | j }| |j d | |j d | |j |j |j f | j }| |j d
| |j d | |j |j |j f t d d
d | t t ddd d S )Nr r r r r )r r r r r r 4 $BtL
x;c=yHjPb%0VN[{ =Cmv`'W ,7$-3yS 5eQL D%D* X222 4<>222 k++--
%%%%%r+ c d}|| j z }| |j d | |j d d}|| j z }| |j | j j | |j | j j d}|| j z }| |j | j j | |j | j j d}|| j z }| |j | j j | |j | j j d}|| j z }| |j d | |j d d}|| j z }| |j d | |j d
d }|| j z }| |j d | |j d
d}|| j z }| |j d | |j d d}|| j z }| |j d | |j d d}|| j z }| |j d | |j d d S )Nr r l 0t
r<)b^pW!:;EE=0i1 _R#"8zNUD=J>9(X83`cK; l 9[[u!
"jr(zG
xK a
I0_x|Kr R3K,N7f%~ r r
l =0!EZs-$@bDU=N.r1aJOi4A8ac)d> 59Yhl g_I'* k[QP`1? \W5p_`?k?w7:hk9
C9%?qI /X~ l 8`}\&0<
FYr pcJ)A}"Hos2'@`C#*4 x'16F| 3 [ l kM`7C5SWh+k3 e6\D=C:D`IecjEG uOC3 l $`:i z=nUYzz*ZGb9LhQut.q97URMT|sia\[yFd6})r r r r r" rD )r% dr7 s r) test_scalar_multiplyz'TestEccPoint_Ed448.test_scalar_multiply sB
T[ 1%%% 1%%%
T[ 4;=111 4;=111
T[ 4<>222 4<>222
T[ 4<>222 4<>222
T[ $V W W W $V W W W
T[ $V W W W $V W W W T[ $V W W W $V W W W T[ $V W W W $V W W W T[ $V W W W $V W W W T[ $V W W W $V W W W W Wr+ c | | j d | | j d d S )Ni 8 )r r size_in_bits
size_in_bytesr% s r)
test_sizesz TestEccPoint_Ed448.test_sizes sP 1133S999 2244b99999r+ N)__name__
__module__ __qualname__r G2xyG3xyr r r" rD r* r1 r4 r9 r> rB rF rH rL rW r] r+ r) r
r
- sm C C D DC D D E ED C D E ED Xc#hC
8
8
8FhtCy$s)7;;;GhtCy$s)7;;;GG G G:2 2 2 2 2 2
1 1 1 7 7 7
4 4 4
S S S/ / /
&
&
&1W 1W 1Wf: : : : :r+ r
c 2 e Zd Zd Zd Zd Zd Zd Zd ZdS )TestEccKey_Ed448c t d }d}d}t d| }| |j | | |j d | | | |j j | | |j j | t ||d }t d|| }| |j d | | | |j | t d| }| t t dd
d S ) Nr4adf5d37ac6785e83e99a924f92676d366a78690af59c92b6bdf14f9cdbcf26fdad478109607583d633b60078d61d51d81b7509c5433b0d4c9 &`KOed448)r rk pointr r rV )
r r r rk rV r; has_privatepointQr r r r# r$ )r% rk PxPykeyrn s r) test_private_keyz!TestEccKey_Ed448.test_private_key sy N O O
7... 4((( !S T T T ))*** r*** r***R))7U;;; !S T T T ))*** U+++ 7...
*fGqAAAAAr+ c t t d j t d j d }t d| }| | | |j | d S )Nrm r )r rn ) r r GxGyr assertFalserp r rq )r% rn rt s r) test_public_keyz TestEccKey_Ed448.test_public_key st ),gg.>.AQQQ7%000 **+++ U+++++r+ c t dd }| }| | | |j |j d S )Nrm 9 HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHrj )r
public_keyry rp r rq )r% priv_keypub_keys r) test_public_key_derivedz(TestEccKey_Ed448.test_public_key_derived se g666%%'' ,,../// '.99999r+ c > | t d d S )Nc $ t dd S )Nrm s8 HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHrj )r rc r+ r) z4TestEccKey_Ed448.test_invalid_seed.. s f7.S.S.S r+ )r# r$ r\ s r) test_invalid_seedz"TestEccKey_Ed448.test_invalid_seed s" *&S&STTTTTr+ c t j dd }t j dd }t j dd }| }| }| }| || | || | || | || | || d S )Nr| r )rk r rm s9 CCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCC)r constructr} r r6 )r% private_key private_key2 private_key3r} public_key2 public_key3s r)
test_equalityz TestEccKey_Ed448.test_equality s m@@@ }'AAA }'AAA ++--
"--// "--// l333 K 666 [111 J 444 J 44444r+ c t j d }| dt | | |j d | | j d d S )Nrm r z
curve='Ed448'r )r generateassertInreprr r r} )r% rt s r) test_name_consistencyz&TestEccKey_Ed448.test_name_consistency so l)))
otCyy111 G,,, ))/99999r+ N) r^ r_ r` ru rz r r r r rc r+ r) re re st B B B0, , , : : : U U U5 5 5": : : : :r+ re c e Zd Zd Zd Zd ZdS )TestEccModule_Ed448c t j d }| | t t
d j t
d j d |j z }| |j
| t j d }| || t j d t j dt j
j }t j dt j
j }| || d S )Nr r )r randfunc)r r r; rp r r rw rx rV r rq r6 r newread)r% rt rn key2key1s r)
test_generatez!TestEccModule_Ed448.test_generate s l))) ))***),gg.>.AQQQTWTYY U+++ |'*** C&&& 7#### |'HLNN4GHHH|'HLNN4GHHH t$$$$$r+ c t d }d}d}d}t ||d }t j d| }| |j | | | t j d|| }| |j | | | t j d||| }| |j | | | t j d
| }d S ) Nrg rh ri rl r r rj )r point_xpoint_y)r rk r r rm ) r r r r r rq r; rp ry )r% rk rr rs rV rn rt s r) test_constructz"TestEccModule_Ed448.test_construct s< N O O
~Rw/// m'555 U+++ ))*** m'2rBBB U+++ **+++ m'b"MMM U+++ ))*** m'555r+ c \ t dd }t t d j t d j } | j t
t j fddi| | j t
t j fddd| | t
t j dd
d S ) NrR rP )r r rm r r rN ro s: HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHrj )dictr rw rx r# r$ r r )r% coordcoordGs r) test_negative_constructz+TestEccModule_Ed448.test_negative_construct9 s R+++gg . 177;K;NOOO*cmLL7LeLLL*cmR7aRR6RRR *cm7QQQQQr+ N)r^ r_ r` r r r rc r+ r) r r sF % % %$6 6 62R R R R Rr+ r c g }|t t z
}|t t z
}|t t z
}|S r3 )r r
re r )configtestss r) get_testsr B sE E _ /
0
00E _ -
.
..E _ 0
1
11E Lr+ __main__c B t j t S r3 )unittest TestSuiter rc r+ r) suiter K s !)++...r+ r ) defaultTest)r binasciir Crypto.SelfTest.st_commonr Crypto.SelfTest.loaderr Crypto.PublicKeyr Crypto.PublicKey.ECCr r r Crypto.Math.Numbersr
Crypto.Hashr TestCaser
re r r r^ r mainrc r+ r) r s > 5 5 5 5 5 5 4 4 4 4 4 4 : : : : : : : : : : ' ' ' ' ' ' [: [: [: [: [:* [: [: [:|>: >: >: >: >:x( >: >: >:B3R 3R 3R 3R 3R(+ 3R 3R 3Rl z/ / /HMg&&&&&& r+