U ʹh^"@sddlZz ddlZWnek r0ddlZYnXddlmZmZddlmZ zddlm Z dZ Wnek rzdZ YnXddl m Z ddlmZmZmZmZiZe re jged <d ed <d Zd ZdZdZdZeedeZeeeeeZedddZeedddZeeZded<efeee j deddddZ!ddZ"ej#j$ddde%e"edDd de&d!Dd"d#d$Z'Gd%d&d&ej(Z)Gd'd(d(ej(Z*Gd)d*d*ej(Z+dS)+N)givensettings) HealthCheckTF) inverse_mod)CurveFpINFINITYPoint CurveEdTwZsuppress_health_checkiZdeadline  1(i&^#a; 9{uDjSg9g(B +'1t:_|v!a:@m H<^W]dZ{cxW\Iq Z max_examples)Z min_valueZ max_valuecCs&t|t}t|}||tks"tdSN)rrp192AssertionError)ZmultipleZinv_mp1r>./venv/lib/python3.8/site-packages/ecdsa/test_ellipticcurve.pytest_p192_mult_tests.s rccs,t}d}||kr(|V||}|d7}qdS)Nrr)r)Zpointnretirrr add_n_times7s r z p, m, checkcCsg|]\}}t||fqSr)g_23).0rZexprrr Csr#cCsg|]}d|qS)zg_23 test with mult {0})format)r"rrrrr#Ds )ZidscCs|||kstdSr)r)pmcheckrrrtest_add_and_mult_equivalenceAsr*c@sXeZdZeddZddZddZddZd d Zd d Z d dZ ddZ ddZ dS) TestCurvecCstddd|_dSNrr)rc_23clsrrr setUpClassKszTestCurve.setUpClasscCs||jtddddSr,) assertEqualr-rselfrrrtest_equality_curvesOszTestCurve.test_equality_curvescCsttdt}||j|dS)Nr)rr'bassertNotEqualr-)r3c192rrrtest_inequality_curvesRs z TestCurve.test_inequality_curvescCs(tddd}tddd}|||dS)Nrrr)rr6)r3ar5rrr test_inequality_curves_by_b_onlyVs  z*TestCurve.test_inequality_curves_by_b_onlycCs|jdidSrr-r2rrr,test_usability_in_a_hashed_collection_curves[sz6TestCurve.test_usability_in_a_hashed_collection_curvescCst|jdSrhashr-r2rrrtest_hashability_curves^sz!TestCurve.test_hashability_curvescCstdddtdddtddd}}}tdddtddd|j}}}|ttt|||fd|ttt|||fd|tdi|di|||didS)Nrrr)rr-r1lensetZassertDictEqualZassertIn)r3Zne1Zne2Zne3Zeq1Zeq2Zeq3rrrtest_conflation_curvesas ("z TestCurve.test_conflation_curvescCs|t|jddS)NzCurveFp(p=23, a=1, b=1)r1strr-r2rrr test___str__iszTestCurve.test___str__cCs"tdddd}|t|ddS)NrrrAzCurveFp(p=23, a=1, b=1, h=4))rr1rFr3crrrtest___str___with_cofactorlsz$TestCurve.test___str___with_cofactorN) __name__ __module__ __qualname__ classmethodr0r4r8r:r<r?rDrGrJrrrrr+Js r+c@s8eZdZeddZddZddZddZd d Zd S) TestCurveEdTwcCstddd|_dSr,)r r-r.rrrr0rszTestCurveEdTw.setUpClasscCs|t|jddS)NzCurveEdTw(p=23, a=1, d=1)rEr2rrrrGvszTestCurveEdTw.test___str__cCs"tdddd}|t|ddS)NrrrAzCurveEdTw(p=23, a=1, d=1, h=4))r r1rFrHrrrrJysz(TestCurveEdTw.test___str___with_cofactorcCs|jdidSrr;r2rrrr<}sz:TestCurveEdTw.test_usability_in_a_hashed_collection_curvescCst|jdSrr=r2rrrr?sz%TestCurveEdTw.test_hashability_curvesN) rKrLrMrNr0rGrJr<r?rrrrrOqs  rOc@seZdZeddZddZddZddZd d Zd d Z d dZ ddZ ddZ ddZ ddZddZddZddZddZdd Zd!d"Zd#d$Zd%d&Zd'd(Zd)d*Zd+S), TestPointcCsXtddd|_t|jddd|_d}d}d}d}d }t|d ||_t|j||||_dS) Nrrrrr r r rrr)rr-r r!r7r)r/r'rr5GxGyrrrr0szTestPoint.setUpClasscCsd}||j}||dd}||j}||d||dd}d}||j||}||d||ddS)Nl uH=.t.#",W}7?jl Z`uSG;R-]]0sk +l N/vZL_ ~XXw]ol ~n&DJ,6'1a47b?`l 5XD+8n#w}rO l WTY>n+BtC*Yql !M_JT96wfF [ ,z=)rr1xy)r3dQkRZu1Zu2Ztemprrr test_p192s6  zTestPoint.test_p192cCsDt}|}|||||||||dSr)rdoubler1rSrT)r3rp3rrrtest_double_infinitys  zTestPoint.test_double_infinitycCsFd\}}}}t|j||}|}||||||dS)N) r )r r-rZr1rSrT)r3x1y1x3y3rr[rrr test_doubles  zTestPoint.test_doublecCs^t|jdd}|}|||fd||t|}||t||tdSN rAr) r r-rZr1rSrTr6rassertIsr3rp2r[rrrtest_double_to_infinitys  z!TestPoint.test_double_to_infinitycCs^t|jdd}||}|||fd||t||}||t||tdSrer r-r1rSrTr6rrirjrrrtest_add_self_to_infinitys  z#TestPoint.test_add_self_to_infinitycCs^t|jdd}|d}|||fd||t|d}||t||tdS)Nrfrgrrhrmrjrrrtest_mul_to_infinitys  zTestPoint.test_mul_to_infinitycCsHd\}}}}}t|j||}||}||||||dS)N)r]r^rrr_r r-r1rSrT)r3r`rar(rbrcrr[rrr test_multiplys zTestPoint.test_multiplyc CsXd\}}}}}}t|j||}t|j||}||} || ||| |dS):We expect that on curve c, (x1,y1) + (x2, y2 ) = (x3, y3).)r]r^r&rrgNrp r3r`raZx2Zy2rbrcrrkr[rrrtest_adds zTestPoint.test_addc CsXd\}}}}}}t|j||}t|j||}||} || ||| |dS)rr)r]r^r]r^rr_Nrprtrrrtest_add_as_doubles zTestPoint.test_add_as_doublecCs||jt|jddddS)Nrr)r1r!r r-r2rrrtest_equality_pointsszTestPoint.test_equality_pointscCs,tddd}t|ddd}||j|dSNdr)rr r6r!)r3rIr'rrrtest_inequality_pointss z TestPoint.test_inequality_pointscCstddd}||j|dSrx)rr6r!rHrrr!test_inequality_points_diff_typess z+TestPoint.test_inequality_points_diff_typescCs,t|jdd}t|jdd}|||dS)NrA)r r-r6)r3rrkrrrtest_inequality_diff_ysz TestPoint.test_inequality_diff_ycCs,t|jdd}||t|j|dSNr]r^)r r-r1 from_bytesto_bytesr3r'rrrtest_to_bytes_from_bytes sz"TestPoint.test_to_bytes_from_bytescCs$t|jdd}|t|| dSr)r r-r1rrrrrtest_add_to_neg_selfszTestPoint.test_add_to_neg_selfcCs"t|jdd}|||tdSr)r r-rirrrrrtest_add_to_infinityszTestPoint.test_add_to_infinitycCs|ttddS)Nr^)rirr2rrrtest_mul_infinity_by_scalarsz%TestPoint.test_mul_infinity_by_scalarcCs(t|jdd}||d| ddS)Nr]r^)r r-r1rrrrtest_mul_by_negativeszTestPoint.test_mul_by_negativecCs|ttddS)NZinfinity)r1rFrr2rrrtest_str_infinity szTestPoint.test_str_infinitycCs"t|jdd}|t|ddS)Nr]r^z(3,10))r r-r1rFrrrrtest_str_point#szTestPoint.test_str_pointN)rKrLrMrNr0rYr\rdrlrnrorqrurvrwrzr{r~rrrrrrrrrrrrPs,      rP),ZpytestZ unittest2Zunittest ImportErrorZ hypothesisrrZhypothesis.strategiesZ strategiesstrZ HC_PRESENTZ numbertheoryrZ ellipticcurverrr r Z HYP_SETTINGSZtoo_slowr'rr5rQrRr7rr-r!dictZHYP_SLOW_SETTINGSZintegersrr ZmarkZ parametrize enumerateranger*ZTestCaser+rOrPrrrrsR           '