| # FP ARITHMETICS - CURVE: C25519, Modulo = 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffed; BIGmax = 2^256 |
| |
| #test1 |
| FP_1 = 10BE02 |
| FP_2 = 01F85596 |
| FPadd = 02091398 |
| FPsub = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE186859 |
| FP_1nres = 10BE02 |
| FP_2nres = 01F85596 |
| FPmulmod = 20FBACD5FF2C |
| FPsmallmul = A76C14 |
| FPsqr = 01184D46F804 |
| FPreduce = 10BE02 |
| FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFEF41EB |
| FPdiv2 = 085F01 |
| FPinv = 6A416248B459455D253A474A268CF17ACF7144FE88C7E8F87C1F00580A78A5EE |
| FPexp = 7F509C7621B87F354D8C461DA2CE3085FADA414C47488D90D14815554D291A3C |
| |
| #test2 |
| FP_1 = 0175F86D11C646 |
| FP_2 = 067208AD05BF1B |
| FPadd = 07E8011A178561 |
| FPsub = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFB03EFC00C0718 |
| FP_1nres = 0175F86D11C646 |
| FP_2nres = 067208AD05BF1B |
| FPmulmod = 096A67DB813F384D19F12C2362 |
| FPsmallmul = 0E9BB442B1BEBC |
| FPsqr = 02224DDEE94CB047B38ADC5B24 |
| FPreduce = 0175F86D11C646 |
| FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE8A0792EE39A7 |
| FPdiv2 = BAFC3688E323 |
| FPinv = 632E70A6B7033A5F85539010957C8C3B01DB5291DBE7751AC6419F7BFE990E37 |
| FPexp = 6C43CA231C7823D4F4677B3F8AB7CD6CF881E9559A49299AC240F643660BCB5A |
| |
| #test3 |
| FP_1 = 020C9874 |
| FP_2 = 17D8033511CEE6BB45C3 |
| FPadd = 17D8033511CEE8C7DE37 |
| FPsub = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE827FCCAEE311B51529E |
| FP_1nres = 020C9874 |
| FP_2nres = 17D8033511CEE6BB45C3 |
| FPmulmod = 30DC59A0696A1F3212896B645C |
| FPsmallmul = 147DF488 |
| FPsqr = 04330075A9F490 |
| FPreduce = 020C9874 |
| FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFDF36779 |
| FPdiv2 = 01064C3A |
| FPinv = 07193A49437697F25793A2852E8CB56DB033A0FAA34AFADD595B2F91CD2149E8 |
| FPexp = 596955C9009351C4FDE2AF9FDB72C82BB38F2C42E721B2149233E5E07D1AE205 |
| |
| #test4 |
| FP_1 = D784A0DA1B2518BDBA |
| FP_2 = 46D4D5393673549AB4B910945D |
| FPadd = 46D4D53A0DF7F574CFDE295217 |
| FPsub = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFB92B2AC7A1114C3F666C08294A |
| FP_1nres = D784A0DA1B2518BDBA |
| FP_2nres = 46D4D5393673549AB4B910945D |
| FPmulmod = 3BA171525C3EFA5E4D3BCCE5D69F32976ABE0D4C7492 |
| FPsmallmul = 086B2E48850F72F76944 |
| FPsqr = B5700AE49F95A990CF0FF438F677E37C2B24 |
| FPreduce = D784A0DA1B2518BDBA |
| FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF287B5F25E4DAE74233 |
| FPdiv2 = 6BC2506D0D928C5EDD |
| FPinv = 6A4E07E6A05282CD69A9F14C638720B391DDD0FDB5373CD88CB04556225D04E1 |
| FPexp = 30A56B34B019BF8D2C8012ED88BC80907D641CEC857689F8D9AD80476954D683 |
| |
| #test5 |
| FP_1 = 793C78C27D30D6 |
| FP_2 = 4DF98215800F9C66CE82FFCDD4FD6FE2 |
| FPadd = 4DF98215800F9C66CEFC3C46977AA0B8 |
| FPsub = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFB2067DEA7FF0639931F63CAAED7FC0E1 |
| FP_1nres = 793C78C27D30D6 |
| FP_2nres = 4DF98215800F9C66CE82FFCDD4FD6FE2 |
| FPmulmod = 24ED59BED8C1C1631326A3AAB7F2AB3338E678762FE6EC |
| FPsmallmul = 04BC5CB798E3E85C |
| FPsqr = 396A3870AE79C25013DD124CF2E4 |
| FPreduce = 793C78C27D30D6 |
| FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF86C3873D82CF17 |
| FPdiv2 = 3C9E3C613E986B |
| FPinv = 3BFC186EC293C37485109DE73F6F4D3131F3B2FCAB7F753DB2436006B34A698B |
| FPexp = 6B32B18BA308D2367FB4FBC0D71AD77304F94932D8C1E6F08026F910D047C12B |
| |
| #test6 |
| FP_1 = 05484B0ECFE2F5B1C3570CF966D2494AF3D27A |
| FP_2 = 6199923FAFDD9DD10B58FF7A1D31C8829EF699 |
| FPadd = 66E1DD4E7FC09382CEB00C73840411CD92C913 |
| FPsub = 7FFFFFFFFFFFFFFFFFFFFFFFFFA3AEB8CF200557E0B7FE0D7F49A080C854DBCE |
| FP_1nres = 05484B0ECFE2F5B1C3570CF966D2494AF3D27A |
| FP_2nres = 6199923FAFDD9DD10B58FF7A1D31C8829EF699 |
| FPmulmod = 26EB5D6A7DE978A5429872C241C2DEB1C685BC10A91E3AB7136A450946829920 |
| FPsmallmul = 34D2EE941EDD98F1A16681BE0436DCED8638C4 |
| FPsqr = 7BED873921EB9CFF02AF2C85F715B1099C745432ECB90520E78813A01FD9FF82 |
| FPreduce = 05484B0ECFE2F5B1C3570CF966D2494AF3D27A |
| FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFAB7B4F1301D0A4E3CA8F306992DB6B50C2D73 |
| FPdiv2 = 02A4258767F17AD8E1AB867CB36924A579E93D |
| FPinv = 1A3B4C10314BDE7D27BC25FDD26E9A2350834A7175EA0AA238BDDBE7AB38C979 |
| FPexp = 7F776BCB2A82CF253AE51AC15E4EAF6F853C3A71C392C2F3A35A4D2B95FEE4E6 |
| |
| #test7 |
| FP_1 = 20C403E748F236 |
| FP_2 = 0211A3518FA36D5A82BC26C3BA03D34EE60FB9309FDD4C |
| FPadd = 0211A3518FA36D5A82BC26C3BA03D34F06D3BD17E8CF82 |
| FPsub = 7FFFFFFFFFFFFFFFFFFDEE5CAE705C92A57D43D93C45FC2CB13AB44AB6A914D7 |
| FP_1nres = 20C403E748F236 |
| FP_2nres = 0211A3518FA36D5A82BC26C3BA03D34EE60FB9309FDD4C |
| FPmulmod = 43C9F34FD1A51D9C564CA59EBBC379EB9BE85C646E47281691324A8608 |
| FPsmallmul = 0147A82708D9761C |
| FPsqr = 0431970FCC737D0D172A978A2364 |
| FPreduce = 20C403E748F236 |
| FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFDF3BFC18B70DB7 |
| FPdiv2 = 106201F3A4791B |
| FPinv = 1870714ACF3F4E4B99643576CEEE65CBA0042C66439CA678B1E50402EE858965 |
| FPexp = 285CB0CCB0CDDD79D17843E474E3F56BD5CFC87CDD06F0137ADC6705BC5DA594 |
| |
| #test8 |
| FP_1 = 066930FA5FD4 |
| FP_2 = 019B4B786854EB4BDA11DEA7055957FAC88C12114133FA1475DB |
| FPadd = 019B4B786854EB4BDA11DEA7055957FAC88C1211479D2B0ED5AF |
| FPsub = 7FFFFFFFFFFFFE64B48797AB14B425EE2158FAA6A8053773EDEEC53536E5E9E6 |
| FP_1nres = 066930FA5FD4 |
| FP_2nres = 019B4B786854EB4BDA11DEA7055957FAC88C12114133FA1475DB |
| FPmulmod = 0A4CC5773D051A46B2C7268C91423D4D9B1004D8E1E5F4D649CFBFD88BDE5C |
| FPsmallmul = 401BE9C7BE48 |
| FPsqr = 291984F33F64B6CDEF0790 |
| FPreduce = 066930FA5FD4 |
| FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF996CF05A019 |
| FPdiv2 = 0334987D2FEA |
| FPinv = 7263C04C20B64C3020BC14903828218DD841B728364ECE53C2009FD24D50B355 |
| FPexp = 72A71BAAF627564E7D9E31A1B3073630B8481E5DE8A30BD66F8D18FE8C788687 |
| |
| #test9 |
| FP_1 = 04 |
| FP_2 = 56636CC914401E3E4DA6B73F7681D79C9CF078A44F017630A3CA8C690E |
| FPadd = 56636CC914401E3E4DA6B73F7681D79C9CF078A44F017630A3CA8C6912 |
| FPsub = 7FFFFFA99C9336EBBFE1C1B25948C0897E2863630F875BB0FE89CF5C357396E3 |
| FP_1nres = 04 |
| FP_2nres = 56636CC914401E3E4DA6B73F7681D79C9CF078A44F017630A3CA8C690E |
| FPmulmod = 01598DB324510078F9369ADCFDDA075E7273C1E2913C05D8C28F2A31A438 |
| FPsmallmul = 28 |
| FPsqr = 10 |
| FPreduce = 04 |
| FPneg = 7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE9 |
| FPdiv2 = 02 |
| FPinv = 5FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF2 |
| FPexp = 4E567523EC1CD09A4C5C0470C2FAE417BB4C077FF9B6C764C812562EF1C3D995 |
| |
| #test10 |
| FP_1 = 07CC0AD86C278993B0FF38E86A23A07F750EA55DBBFECCD14FE8BAB0A84C6B |
| FP_2 = 5C4B8A6A7EB1EEE2BC07CAA1262CC1FEBB1370868FF829C173DC038A74DBDCE0 |
| FPadd = 5C535675571E166C4FB8C9DA0E96E59F3A887F2BEDB4288E452BEC452584294B |
| FPsub = 23BC41A059BA38A6D7A93497C23D61A1C4619E1ECDC3D50B5D73E5303BCC6F78 |
| FP_1nres = 07CC0AD86C278993B0FF38E86A23A07F750EA55DBBFECCD14FE8BAB0A84C6B |
| FP_2nres = 5C4B8A6A7EB1EEE2BC07CAA1262CC1FEBB1370868FF829C173DC038A74DBDCE0 |
| FPmulmod = 22FCC9BA22307FFE0D026B275E3DE8E959E965DE2A5449F9A7987DE4ABE629CD |
| FPsmallmul = 4DF86C74398B5FC4E9F83914256444FA929275A957F4002D1F174AE692FC2E |
| FPsqr = 0557E5A203025995B2D1F8E48B9AE42FCCA1F6ABC543E97A4768D21327F7EB24 |
| FPreduce = 07CC0AD86C278993B0FF38E86A23A07F750EA55DBBFECCD14FE8BAB0A84C6B |
| FPneg = 7FF833F52793D8766C4F00C71795DC5F808AF15AA24401332EB017454F57B382 |
| FPdiv2 = 4003E6056C3613C4C9D87F9C743511D03FBA8752AEDDFF6668A7F45D5854262C |
| FPinv = 0BB719EE640CA6EC3B19E0FBCDD9D22A7885A0600B5ECC6C1962BFAEACBB4B3E |
| FPexp = 14CBC13C26EBB705CFDCD7BA84C6052BFDB19D53A99C0F32A28196DE2F715025 |
