30 lines
1.9 KiB
Python
30 lines
1.9 KiB
Python
import ks
|
|
|
|
Psx = (0x00003CCFC5E1F050030363E6920A0F7A4C6C71E63DE63A0E6475AF621995705F7C84500CB2BB61E950E19EAB8661D25C4A50ED279646CB48, \
|
|
0x0001AD1C1CAE7840EDDA6D8A924520F60E573D3B9DFAC6D189941CB22326D284A8816CC4249410FE80D68047D823C97D705246F869E3EA50)
|
|
Psy = (0x0001AB066B84949582E3F66688452B9255E72A017C45B148D719D9A63CDB7BE6F48C812E33B68161D5AB3A0A36906F04A6A6957E6F4FB2E0, \
|
|
0x0000FD87F67EA576CE97FF65BF9F4F7688C4C752DCE9F8BD2B36AD66E04249AAF8337C01E6E4E1A844267BA1A1887B433729E1DD90C7DD2F)
|
|
Qsx = (0x0000C7461738340EFCF09CE388F666EB38F7F3AFD42DC0B664D9F461F31AA2EDC6B4AB71BD42F4D7C058E13F64B237EF7DDD2ABC0DEB0C6C, \
|
|
0x000025DE37157F50D75D320DD0682AB4A67E471586FBC2D31AA32E6957FA2B2614C4CD40A1E27283EAAF4272AE517847197432E2D61C85F5)
|
|
Qsy = (0x0001D407B70B01E4AEE172EDF491F4EF32144F03F5E054CEF9FDE5A35EFA3642A11817905ED0D4F193F31124264924A5F64EFE14B6EC97E5, \
|
|
0x0000E7DEC8C32F50A4E735A839DCDB89FE0763A184C525F7B7D0EBC0E84E9D83E9AC53A572A25D19E1464B509D97272AE761657B4765B3D6)
|
|
|
|
Prx = (0x00008664865EA7D816F03B31E223C26D406A2C6CD0C3D667466056AAE85895EC37368BFC009DFAFCB3D97E639F65E9E45F46573B0637B7A9, 0)
|
|
Pry = (0x00006AE515593E73976091978DFBD70BDA0DD6BCAEEBFDD4FB1E748DDD9ED3FDCF679726C67A3B2CC12B39805B32B612E058A4280764443B, 0)
|
|
Qrx = (0x00012E84D7652558E694BF84C1FBDAAF99B83B4266C32EC65B10457BCAF94C63EB063681E8B1E7398C0B241C19B9665FDB9E1406DA3D3846, 0)
|
|
Qry = (0, 0x0000EBAAA6C731271673BEECE467FD5ED9CC29AB564BDED7BDEAA86DD1E0FDDF399EDCC9B49C829EF53C7D7A35C3A0745D73C424FB4A5FD2)
|
|
|
|
E_sa = (0x0000BC39A8C22AFDCAC43EFDD3AB05B45AF0A795D823CD1EC0931D386BFDE2D477DFFFBF2C8463460DE0586510E99F24323AB8E54BD0026B, \
|
|
0x0000045E901E3BAA12BA1A2D0A37634DEF74A6791039D723962496EB9C4C368FD50BD06BC7D7EF0B2582ADF73577537BDAA9A064C9AB0DA5)
|
|
|
|
p = (2**216) * (3**137) - 1
|
|
sigs = ks.key()
|
|
|
|
def isE(x, y):
|
|
return pow(y, 3, mod=p) == (pow(x,3, mod=p) + 6 * pow(x, 2, mod=p) + x)%p
|
|
|
|
def isEs(x, y):
|
|
return
|
|
|
|
print(len(sigs))
|
|
print(isE(sigs[0][0], sigs[0][1])) |