U
    g|6                     @   s   d dl Z d dlmZ d dlmZ d dlmZ d dlmZ d dl	m
Z
mZmZ d dlmZ d dlmZ G d	d
 d
e jZG dd de jZG dd de jZi fddZedkrdd Ze jdd dS )    N)	unhexlify)list_test_cases)load_test_vectors)ECC)EccPoint_curvesEccKey)Integer)SHAKE128c                   @   s   e Zd ZdddZdddZdddZeed ed	 d
dZeed ed	 d
dZeed ed	 d
dZ	dd Z
dd Zdd Zdd Zdd Zdd Zdd Zdd Zdd Zdd Zd d! Zd"d# Zd$S )%TestEccPoint_Ed25519   UK5J,{$%Xci\-G'
lJ[sii!   XfL33ffL33ffL33ffL33ff)xy   NP8-E:E,g`t!C@'&6   #Ur`
YTV>D&#!8eHBf`"l   \b'!cjI,`!c:5Ps%Q%Ngl   4q!!@0dvw=M95:5M]Xgr   r   ed25519curvec                 C   s   |  | jjd d S )NEd25519)assertEqualpointGr   self r   R/tmp/pip-unpacked-wheel-_q8s9isk/Cryptodome/SelfTest/PublicKey/test_ECC_Ed25519.pytest_curve_attribute<   s    z)TestEccPoint_Ed25519.test_curve_attributec                 C   s   t | jd | jd dd t dddd}| |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d | j	t
t dddd d S )Nr   r   r   r   r      )r   r   r   r   r   r      3r]d s
Y|CO~\^K[D_{?kx+SI   H,~5a(21f$&Rpc~U?&H_)r   r   r   "   #   )r   Gxyr   r   r   Zxyr   copypointG2assertRaises
ValueError)r   paiZbpZbp2r   r   r   test_init_xy?   s$    

z!TestEccPoint_Ed25519.test_init_xyc                 C   sB   t dddd}|| j | |j| jj | |j| jj d S Nr   r   r   r   )r   setr   r   r   r   r   ZpointWr   r   r   test_set\   s    zTestEccPoint_Ed25519.test_setc                 C   s2   | j  }| |j| j j | |j| j j d S N)r   r#   r   r   r   r+   r   r   r   	test_copyb   s    
zTestEccPoint_Ed25519.test_copyc                 C   s4   | j  }| j }| | j | | | j | d S r-   )r   r#   r$   r   assertNotEqual)r   pointHZpointIr   r   r   
test_equalg   s    

zTestEccPoint_Ed25519.test_equalc                 C   s0   t dddd}| |  | ||  d S r)   )r   
assertTrueis_point_at_infinityr   point_at_infinity)r   r'   r   r   r   test_paim   s    zTestEccPoint_Ed25519.test_paic                 C   sN   | j  }| j d }||d  }| |  || }| j d }| || d S )Nd   c   )r   r2   r3   r   )r   ZnegGZG100Zsum_zeroZsum_99expectedr   r   r   test_negater   s    

z TestEccPoint_Ed25519.test_negatec                 C   s   |  | j| j | j |  | j| j | j |  | j| j  | j |  | j | j | j | j| j }|  |jd |  |jd d S )Nr   r   )r   r   r$   pointG3r4   r   r   )r   ZG5r   r   r   test_addition|   s    z"TestEccPoint_Ed25519.test_additionc                 C   sZ   | j  }|| j 7 }| || j || j 7 }| || j || j  7 }| || j d S r-   )r   r#   r   r$   r:   r4   )r   r0   r   r   r   test_inplace_addition   s    


z*TestEccPoint_Ed25519.test_inplace_additionc                 C   s`   | j  }|  | |j| jj | |j| jj | j  }| }|  | || d S r-   )r   r#   doubler   r   r$   r   r4   )r   r0   r'   ZpointRr   r   r   test_doubling   s    

z"TestEccPoint_Ed25519.test_doublingc                 C   s  d}|| j  }| |jd | |jd d}|| j  }| |j| j j | |j| j j d}|| j  }| |j| jj | |j| jj d}|| j  }| |j| jj | |j| jj d}|| j  }| |jd | |jd d}|| j  }| |jd	 | |jd
 d}|| j  }| |jd | |jd d}|| j  }| |jd | |jd d}|| j  }| |jd | |jd d}|| j  }| |jd | |jd d S )Nr   r            l   px	_ItTyd09yAja.2h(~UmT= l   /d-yEyLl*up2rtG   r   r   
   l   Oy|$DG? wyJ;GTM2<,`l   ,{URCT;<O!S;%O1"Sj"|dU~c   l   yV	ZD)CBiunU]Su;2<gl   8Zx^ioi,Uo8pk
EQUSA-ul   l   

+pR'
+KC0kRqPQ|qtQl   aj 53TotKa1*lO|=<#^S\1   l   V%tsv*,>ZI ^Nn~=S~^l   v, p$f}L&*]/O |:U)r   r   r   r   r$   r:   )r   dr0   r   r   r   test_scalar_multiply   sP    









z)TestEccPoint_Ed25519.test_scalar_multiplyc                 C   s(   |  | j d |  | j d d S )NrE       )r   r   Zsize_in_bitsZsize_in_bytesr   r   r   r   
test_sizes   s    zTestEccPoint_Ed25519.test_sizesN)__name__
__module____qualname__r"   ZG2xyZG3xyr   r   r$   r:   r   r(   r,   r.   r1   r5   r9   r;   r<   r>   rH   rJ   r   r   r   r   r   -   s0   

	3r   c                   @   s<   e Zd Zdd Zdd Zdd Zdd Zd	d
 Zdd ZdS )TestEccKey_Ed25519c                 C   s   t d}d}d}td|d}| |j| | |jd | |  | |jj| | |jj	| t
||d}td||d}| |jd | |  | |j| td|d}| jttdd	d
 d S )N@9d61b19deffd5a60ba844af492ec2cc44449c5697b326919703bac031cae7f60   En<	KBc	 !5?)&
MpU   Z0FU8[=t2:ek6RrU@ZQr   r   seed   0|>!Y,$%<0 <}Oe<Z&Or   )r   rS   pointr   r   rG   )r   r   r   rS   rG   r2   has_privatepointQr   r   r   r%   r&   )r   rS   PxPykeyrU   r   r   r   test_private_key   s     z#TestEccKey_Ed25519.test_private_keyc                 C   sF   t td jtd jdd}td|d}| |  | |j| d S )Nr   r   )r   rU   )	r   r   GxGyr   assertFalserW   r   rX   )r   rU   r[   r   r   r   test_public_key   s    z"TestEccKey_Ed25519.test_public_keyc                 C   s6   t ddd}| }| |  | |j|j d S )Nr       HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHrR   )r   
public_keyr_   rW   r   rX   )r   Zpriv_keyZpub_keyr   r   r   test_public_key_derived   s    z*TestEccKey_Ed25519.test_public_key_derivedc                 C   s   |  tdd  d S )Nc                   S   s   t dddS )Nr      HHHHHHHHHHHHHHHHHHHHHHHHHHHHHHHrR   )r   r   r   r   r   <lambda>       z6TestEccKey_Ed25519.test_invalid_seed.<locals>.<lambda>)r%   r&   r   r   r   r   test_invalid_seed   s    z$TestEccKey_Ed25519.test_invalid_seedc                 C   s   t jddd}t jddd}t jddd}| }| }| }| || | || | || | || | || d S )Nra   r   )rS   r   r   s    CCCCCCCCCCCCCCCCCCCCCCCCCCCCCCCC)r   	constructrb   r   r/   )r   Zprivate_keyZprivate_key2Zprivate_key3rb   Zpublic_key2Zpublic_key3r   r   r   test_equality   s    z TestEccKey_Ed25519.test_equalityc                 C   s@   t jdd}| dt| | |jd | | jd d S )Nr   r   zcurve='Ed25519'r   )r   generateZassertInreprr   r   rb   )r   r[   r   r   r   test_name_consistency  s    z(TestEccKey_Ed25519.test_name_consistencyN)	rK   rL   rM   r\   r`   rc   rg   ri   rl   r   r   r   r   rN      s   rN   c                   @   s$   e Zd Zdd Zdd Zdd ZdS )TestEccModule_Ed25519c                 C   s   t jdd}| |  ttd jtd jdd|j }| 	|j
| t jdd}| || t jdd t jdt jd}t jdt jd}| 	|| d S )Nr   r   )r   Zrandfunc)r   rj   r2   rW   r   r   r]   r^   rG   r   rX   r/   r
   newread)r   r[   rU   key2key1r   r   r   test_generate  s     z#TestEccModule_Ed25519.test_generatec                 C   s   t d}d}d}d}t||dd}tjd|d}| |j| | |  tjd||d}| |j| | |  tjd|||d	}| |j| | |  tjd
|d}d S )NrO   rP   rQ   rT   r   r   rR   )r   point_xpoint_y)r   rS   rs   rt   r   )	r   r   r   rh   r   rX   r2   rW   r_   )r   rS   rY   rZ   rG   rU   r[   r   r   r   test_construct(  s    z$TestEccModule_Ed25519.test_constructc                 C   sr   t ddd}t td jtd jd}| jttjfddi| | jttjfddd| | jttjdd	d
 d S )NrC   rA   )rs   rt   r   r   r   r?   rV   rd   rR   )dictr   r]   r^   r%   r&   r   rh   )r   ZcoordZcoordGr   r   r   test_negative_constructA  s
    z-TestEccModule_Ed25519.test_negative_constructN)rK   rL   rM   rr   ru   rw   r   r   r   r   rm     s   rm   c                 C   s,   g }|t t7 }|t t7 }|t t7 }|S r-   )r   r   rN   rm   )configtestsr   r   r   	get_testsJ  s
    rz   __main__c                   C   s   t t S r-   )unittestZ	TestSuiterz   r   r   r   r   suiteS  s    r}   )ZdefaultTest)r|   binasciir   ZCryptodome.SelfTest.st_commonr   ZCryptodome.SelfTest.loaderr   ZCryptodome.PublicKeyr   ZCryptodome.PublicKey.ECCr   r   r   ZCryptodome.Math.Numbersr	   ZCryptodome.Hashr
   ZTestCaser   rN   rm   rz   rK   r}   mainr   r   r   r   <module>   s    'A6