use hex_literal::hex;
pub const ADD_TEST_VECTORS: &[([u8; 32], [u8; 32])] = &[
(
hex!("2D8419E3D905D21E3611261DADC95BB35583090C2CADD0C807F53BB3828F0995"),
hex!("E62690D81BDC754EFAF5B2770054564849621E8A933A7ECD6C02387649CF258A"),
),
(
hex!("37C58ED5CDF4EFFB78272CF0662E92F5E012060C2B1C234BCC9D10854989824E"),
hex!("FD9BC9B3DACB85B94160E112D35F312702C169757A1E7AE3F0EF177B32283E84"),
),
(
hex!("A9D6F12F1D785C67F9B4D24B79910E5E73CCB26A1D2F8399CDD386FEF301E913"),
hex!("EEDD42E79372C116A1312E079707ED43AECCD0E92EED529B6DDC7532B8436DE5"),
),
(
hex!("5EA08F541F6EF3C7B1F27749009FFFBBCC73111F11120D3E1B6E9C7A3612F746"),
hex!("D1AAABE31BD369F378F8A0BC9D70EEBEC7825976283D482130239EECC4F3A751"),
),
(
hex!("A0FB2B18D0D8EC130266C201FD8E183AEE98BF9572BE4DC0C8EBDF11AD0042CC"),
hex!("271CCC56A71BAC6BCE3967AD0F4D55AA04064BC8A9A10B78F3B37B543800891B"),
),
(
hex!("0BBBCD4AA459206972B08AF9C2347B54B9B644F2255F6C4B65F739A8255F9844"),
hex!("BB717EE3A1ADC18B42F39F89AB9AEC0230CF648505069A267686DBF5339135EC"),
),
(
hex!("D2DDA2788DDE65AA2C69A2C0385B83FD1E71C5F4597473A4EB882152DF36A2F2"),
hex!("22E0DD3784B2F9CCB8A0B6BE1BC346C5B43B483BE921514A9C144CA1A16AB769"),
),
(
hex!("79F11C784808A342FE222B63C88569133F277364F8FF99C9F8471B9FF356C80E"),
hex!("505D4B3F56A5DA430C1CB5F96D48BCD21949B9E50148D7D1D64833AE8E8D516B"),
),
(
hex!("BE4F901ABEB39DC3296E2F7E0280161C73233FCDEFDDF4AA8F4FF06609BE626E"),
hex!("1F07AC58BBBFA32FAF018B57C1ABF695EB1D94D68238B8AAE5C64C6309010C6C"),
),
(
hex!("114A842FCC2FA6134609628A1134BAE6E66E7A55B68DDEBC228A0EA683053728"),
hex!("92A593D312418AB18A477BE0FFBC3E57D90B7B9F926BA341FDC820B760D77C1B"),
),
(
hex!("7D977BA61750C5FF7268EF42BB61F82CAB5C29C2A66F3125431E849B7F3CCC92"),
hex!("DE12ABD5AE3D05C3029FF5D67FBE8B4DC1F265D0F2621B1856DD87DA21863E53"),
),
(
hex!("30C22C4C43480DBAB81DDDAF0A7314902B4C78E1B8049B2D460CDB49A89D4719"),
hex!("6C2823BE77CC67A9DA30128AB9D3C6EC4442CC74FFB6AC1133AAC6D571A36BBC"),
),
(
hex!("0856EC054262EFFE7447882B6091B84EDD50275D3A28DF889E58B3DEA362D93E"),
hex!("1E1FE5B1743973ECCC10AF281E2BF4E67286AA3392834035DDC2D8B067C958E5"),
),
(
hex!("848DB896BBC34C7646A20FF90B236A09751E87859DBE869A2162E86EB173B694"),
hex!("7B878E51A85222552159249A5775A49C4795601F778E0951184872459DF41E52"),
),
(
hex!("34CABA51C517420709A74B25375D1AE0118658ED207BE486420923513D48A3C9"),
hex!("2E1B6EA8F878EF9EE211E2BCA4154EF5921106BC627DC51C86325F3584B6DB15"),
),
(
hex!("4E73E64716ADB633867A67557BBEC25DB2DA57B04470BE05342C527A12B60812"),
hex!("3FED9A288B2CFD04B442EE7619963A2B76CBB778D1F9BC412DB0097A9CE19182"),
),
(
hex!("F0C2838004F0269626E33D73A102AB60BBED4DEA53BB8C0EDC30D97498DFF2F8"),
hex!("4503E16CF013FAE5E9F4BDF4862F74528A8DE7CF829E6D9B39D48AB93548E60C"),
),
(
hex!("F5E8FE87AB33E6B544A960101F8BED5F24A718FD98997E36E7F4FDD375EEE70B"),
hex!("FDCFDCE29FB9CDC89134A46E85A30DF8A599A94E8B54BEA3B75AB5C1714B91BD"),
),
(
hex!("1230402EBB4A981C19506708F779C265D1695DF2132F17099D0E54BA1C46D945"),
hex!("FBB7A79A4E5F631E1FD59501F221FA2FAE93F8E2CD7D4D87E1003324C327EEB7"),
),
(
hex!("006A714979F622DBC2685A296CACA8067694D3ADC75F9F9A97F3BBA424DD2670"),
hex!("F4FD78EDF21FB1C4A23DD0B0FFD281FC35184F13D2B5D779DB7253E88097F121"),
),
];
pub const MUL_TEST_VECTORS: &[([u8; 32], [u8; 32], [u8; 32])] = &[
(
hex!("BCE6EE467AA910ADD6FB47DF33EC4825582596B8C694DB7B403129C9427CF647"),
hex!("1D89D067B0EB566FBA7CA700A48AA90026F9584AFAA33139B890BCB21729140E"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("321D9319C3BE889BA0FD29C2E2688ABF39308A712A1D81446ED1ABC789E52CA9"),
hex!("E3B297D31A709BCD61B9861069EAEB8162237F970C11245C7E1761E2FC802B7A"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("132175D5AE957336F608DC53257205D81B088C5BDF048AF2C83B47784D70617C"),
hex!("1ADF305FCF83BA7C5B035615290644A70D381F50666D9B907673385CBCBD4791"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("BC01F7A6067E4529252C7E6F8F7D6EFA7889B8455ED042F0DE0870B419653658"),
hex!("65037BB63611DFE97DC043ED085181A4AA3A0D1D54C77C36135182ACF444265D"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("8E13BE6EAB0F05B8F0C07509DC8C17922B354ED5CF5E88D732E4EE031735319B"),
hex!("F0F23BA15E570754D21773E9D7B3D471B239415A29BB23D2C33DB3082D32966D"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("5859FC33184C7A38EE37FA61F13A47C96FF3E2D1A21347DF32297E3A7FA19FCD"),
hex!("F37B8AFF67104403A992853E307C988CE8F148E5A5D9F0091B094EC3E11CF0C0"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("1CF0FC9B67C3496E6104C6FE4CFEB03C582D6121E17B27FF5F163697021B1CA3"),
hex!("7ED1D7E43E06686AD6A050982927E54894022A55A872165CEDD82F1936800AC9"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("5251712A9696E4D3F4CC1C4B26877C200335311B03C9D53C8FC2ACE8ECECA49C"),
hex!("B04C72917AF4AAFA772314D49A2B899CD5D1D4F71FD0F18882050E61CEC361F9"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("7EF4573793DE5E95C749C810952408750B669FBFC4F177C27D74E66B95617258"),
hex!("6F7372A2DA5690F539834B9A8DD1910120E148C74F9376391F2DD41F8529DB57"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("85E00E5546713D9F2F5C8E605CA49AA16FA77CE3A3323B463599C31289697E37"),
hex!("CC258D7CA2CB8ACD629701844FE26AFE2029E127A59024E9885174E8BC35BB3F"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("796F1AA06F3366EF6C74822CD69D274D73FD7947D99E5A388D87525613C0164F"),
hex!("69FB53A5AE70C701BFCE800A78676265E87F3EDF6A1059A438B2A16A291DFEB9"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("660CEBCB17AAC38F454210254037CDE84ED2671B7C6B3531995DFAA478F01F20"),
hex!("3E752FDD0749DE0128C2A9237875413FB0C7866E9CD0F86B248272676728B6DF"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("108E86DBB15D670F952C36DDBADC381B7EE06052DED0C1FC369BC721F537BC21"),
hex!("35CA247AF507BE8B5FA662AFB35EB9F3DA55CB4E67FF048FA2757EBCF8ABF046"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("62B8EBD7808F1A50B851D9080984B4A23181AF1CC60F2DE11F80CABBE27E213E"),
hex!("52A44CCB834C87D5CAA20C1B42260F9EDC1C30731C2F2F14AE2D52A7AF243794"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("DD219D558AF61D9099822705054BA6F23F1378A5F482B1EC5AAD69138065B1D6"),
hex!("2C51E0EDE3618C1057E0360BECF3A550FE95E6096B9CD9326C0FEF0B68506859"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("6C9E47CE0CCA48F4EDB53D0A02459C8D00BC670C82A4D091ADA36A158DB74DCB"),
hex!("7896936848785A4CCBBE5B39A3111EB3D36895B4ECDD911F3CBC4F08B0CE0FFC"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("A320F2ED3C408FEB68BB456A75E14B943DA7B02B0C8A76A5737DE66F008148C4"),
hex!("C6AC14D4F31C17D720AD8A4711BD0DB84D9AE8FC6070289EA1883775D410C690"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("84221BA012EFC0694EC2DDB3B6B003FB92CD329F193D2A0A316050391DF99667"),
hex!("E91DA84671D47149BD8343291CB00F4639E90828A005176F58541F2A0DCDF185"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("F4BD16F5E8BE79055EE7B62FF8FE9381A20D2182CCE62CA77C740C7B627C0384"),
hex!("38B1E87028B46FF7742999AABB634D713DA2810C159A004E8A2C13CAF2428D96"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("99773AFF98782D076D6D759943BC1F3E9DD57A464E622A7E23ADC96413A55841"),
hex!("9BA741511B2EB4465A9CB0B21133A47A1FD9163B7946289C31221EC60E1FF8B5"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("1666D4DA3F23A9CF7EB2CE3DEF0ACB5C781F7EF080F169DF887EB39ED0CCBD48"),
hex!("C4779DF3C1F5DAAE8C0DB77BE0CF9D49F249647360A867C36A20047CF5D18CDC"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("F7D96B2CE1766AC5DF7C0CF5CDE463101334182908635F43F24B61975DE671BF"),
hex!("04B069AD735EE63E50AE27E5D7EDD6257134C6E8D8CA3AE3040001A9855682A2"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("2F78EF54DD714BA141A893B9DEF9C14AA47900440C8C42ED90AE05D2E8665E21"),
hex!("1DDE14D0959610C2966258889FD025666B746765FCA36F6025309026145EFD3A"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("3B1514BF33F6EC2C5FEEA324D04F06ECBC516B358400D67B67181029F4AF8AC9"),
hex!("0F7917B7EEAF7E7836D5FD8BDB488858CFE2E78BD9FA66757EF4D89BFAA27F69"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("67CC0FDF4E1735A5FCB98168158945DDE241FBA39BE2B35A5CD904CA5EB88A52"),
hex!("2C9B912969C98E7B7ED01CCDB9F32951A529BA77F40DC79B2241DA3D6FAD6C00"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("97C9D36D07BDAA3846CDAE30E68EA4D5A84896A7A94056B4424B08B58E41BB84"),
hex!("B528D08C013362D444A9A345570E59B2E5265720B8B4F128ED6700994618990B"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("AED8D377B262039F5FA3625CBE7DDAD5129B350B9A54CE58B4E51C36DB2355B5"),
hex!("8A8B1F284CE3D769477334C6569FCFB6BAE71E8E5E1509873366A7695961B06C"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("5C01A3FEB3B295E76F091B20E652ED48A59F9AEC46CBA86160A96B59BFF6276D"),
hex!("502DBD20E1F58654546891CB66480C52155A0A45F7BD2FDE2563F2E0D5F5CD2B"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("FA2879ADDCD74E29E049EAAD5279A01987D08EF515693E721572EEF5D0445278"),
hex!("332FEE155643CEFD408350C49CC776E1589770F217B2F47389FFBAE3AA8F9DE4"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("D0B331A63DD4815CEF494557A5CA040296E19737E0D84A8AB95C0B7404799584"),
hex!("4E982EF880233592068F58E117BE4A13EC544FB10248E10821EE4037A5466C86"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("51A0F158FF49D20AE469441FC627516DCB1D1161119A7B9F9531D52C8F26A36A"),
hex!("5047FC9B8057392D20057845073F58AF80DE2C1DB80D8C814AFE6C21A4033581"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
(
hex!("F02838F64C02057A1191C490C51501A5C261A3201A0330E1A31B67FE121C9434"),
hex!("172B364C2952F8ED8771B3B152DF85A8039E9F6D7B2669E90078D2D47393902B"),
hex!("0000000000000000000000000000000000000000000000000000000000000001"),
),
];