ml_dsa44_audit.json - iuna - iuna - experimental mainnet-candidate protocol

ml_dsa44_audit.json (25187B)
      1 {
      2   "schema": 1,
      3   "sources": [
      4     {
      5       "name": "NIST ACVP-Server ML-DSA-sigVer-FIPS204",
      6       "commit": "975de31eb83d87039ec88934fdc47d8c312b892d",
      7       "path": "gen-val/json-files/ML-DSA-sigVer-FIPS204/internalProjection.json",
      8       "sha256": "47cdd6314c7f746d02421ffcba89d4dbc7bb875ac49e07a029fdfc26fba55437"
      9     },
     10     {
     11       "name": "C2SP Project Wycheproof ML-DSA-44",
     12       "commit": "3fa63dd0344abb611f1fb1d77e119938603ea230",
     13       "path": "testvectors_v1/mldsa_44_verify_test.json",
     14       "sha256": "0ca1b5df4575263e29b31fae7569a3da41df9a3b6fee56720a992d0cd1153b68"
     15     }
     16   ],
     17   "vectors": [
     18     {
     19       "source": "nist-acvp",
     20       "tc_id": 11,
     21       "comment": "valid signature and message - signature should verify successfully",
     22       "expected_valid": true,
     23       "public_key": "3AAFE3B287818A44346F2642700693490A8F2C5CC6A89853FC78F7A4A73EDB8D44AA62836269B171BEBD6F1CCB788E7E22BCA0B23C0F3367EE8740955A766FB8E483C8E1503A14F82A692DB06C70F2E88C22E1F634130EDE552EC493CA99B16AA272E43DEDFA52108461A8D119D11DF7361FB27B3FFE8CA92661F0446D643539443B945EB24F06CD348DA6072A1D1687D6F627133BA861EAEF0F93442763AA88E0F76F291CCDD0646DD5AFFEA38311BD5C2161EF3B5BACCBF275A98425AFA5644D78E57A618799E1A6ED59E11B18BF179BDBCBA4011C9F651F1C20A403FFAD97556190B449414B538C39234D874A1FDCF8BC27CE999C6F520EBF79FF9473C31169EEA0CEE82BA1B0151F2BC8CD898EEC51C5D359C120E7C4CBC1EACD085CF916973C95CDA2B0536E302DCCF0BDBFE150AD89259DE8255273C31D8E7CE86E8E79E89760CC22BE8C3D11C1CBC557902B2D7C4E12202F9B99BFF729E96AD5E71EEAA1B0E8D1333BCA71AB82AC9213F4EA4510D9A81F88AAF7D60441CC39DD7DFF68F17CCA4EDA4314F027AAE5BFB785F961BD7D9C4833A9CF513A3E1083C726F68ECECBC30F6B260D1B3480CF966D05FEF71507899FEA90088AD2022917B8115623E70B8AB44C73F9374D8FA6AEFA3AB3871E1D5BAFAFD4B2E49E72155E6C680EECDF6F6CB27E7D7715B2653BF08712765E65398FE207B37EBDFB7480A9F5CD698F4214214D1B4886EDA099B23E129E75FAB7EC797B7A62290AA3B2239C531508568C18C488657402AAB6AC2B7FC2678B67DD8C0122D2E4C915984C1AD29E8E5B7DEBD2A934F79888FDEA65D0EDBA03352E5CEF08BD0A09DC0282FF5D99C38C77FFFECA8B3F4196B5B691ED04903C717F3346A67F2325204735B26133129BE25DEBAB8E1E8DE1B47D2C0CA221C63B55D4CCE7F29915C16C53D6260258CF6977A233F77A500525AA79B0E8E8536D61CFF39919DE08CA191205E00102D1EC838179A96B9390A0868648812328C46F3863CCC16D9BC761EBB3493E7D54A4AEF5172550D9A6D5026018F47A0C3A6D9F822C5C1940B93041B2E1FA0AD87DEFAFBD64BBDCA6726424C39E7BFEC35454C212B809F629FB1F1F43108692AB5779C9E0B6DB1219638F6B446DB2FA5B3BDF423FDF329AA975BF2641B003EB83450559609859933FFB4CE0CC10075C8AE780D19644B68BD857500FDD40899255628EE03CF6F1367E37F584F78821D890870331E07570976CECFED143FA83606936715190B7FADF60371E4A92F6E4AF228EF060D292480300C6A9DFF734E444FE0139AAD4B483C4D1BFECBD0630A4D2743B99AC013340984FE29F5EFC1AD47765C16D87CBD5C0CD16A982449B6D919F2D0C834CE5763B9CDB24CC8BC9CD388F44DBE57E111067FC9BBDBAEA64AC44F95CF1E81B57B6CBB4CDC6003628B7768DAA36770B68F48DA94CBD8A221464467C092457E9A84E6D7882C8743FA972184537195970F659DD85B95B3DA32433FF248993727466BCC16E1527AA03B296DF8CF84010C92A25832C8F4762BF95C3D1A17881809C208BB05364935EED72F7AA013F7F4816E7CB21FE47DBE5E992809438D49814373259B9097FA420F8761175F23C195FE14D1B9B352609CC21D8E93E6D4F98008295B66FBA955A9790D4063A3FCF84FA6E7D4CB172F096E86424F8B11C36BCE327BDB22A061F0828C3E550560E7CEF8298C0CBD3A524996D48EE47F5CB86B7334B76CCDFCBBCA7DC37891060E455831305EA4D534B5814EE953B52D05269449D139FEE3F6D7500A08CCCDFC6136CBF82ADC6E0174BCA750600FA1C65C8EA5A51CC63844881A2290C354FFF0636C68DB2EBAC7B798F",
     24       "message": "A1993D2461B99EFEEAEC415E9692A3C8BF19FCA8CBA4D46B889B1E522DE3E6437D93DE2B86ADAC239156E580BCDB6399064B7B87ADA0337FC4C3D10DDC2F54CF6CFD39FA2BAA133BA0AA48FF24992E59A9FA8182B35241B68D09D59AE84DCDD9560919EB340C9487CD2FDAEE57C1899A5DB95AAA08AAD985E96E06BF31E16A7A989FC0AE338C1303A58A2C8DD82A2594C9067B52C7667916B84C7848103911FABDB2187C5653A0D90C221182C191D261B617F943DB272CB11C1701D4662025B60CEE1FAA8BDBACC34A577AF418952EB920DE6836F01EE9DC5CA4580216EB3087162917F04BF2401F4DE962C4048856741A17BF96A73CE024DF6B9CCCFBF9ADAC1C7E7D6E0948D1E0751072D042C847F87053FCC3984C06949820381DD3B52FC0BAA48D4B81C7C816DB57E3ADD1784417886F812BB96751A9CAFF36D15EAC3858BD444887E0CF68F27EB62AE9F5D093CEF297CA0B0DED04032C6D1BEAB947CC0641D87E644737AF527A8F18BE6A7D16E5E9F0182BB379313CA990BF8F21E381977495670CB67DBE0BC27D843F29AD93EBFD3DCD3BDE409BA8E534E2064372CFFFCE426CFD691322B72CF76C4E2216718B960201F1E250DAE192D020D934EB032ECBA6559B3929EEFE2EB08CB9222E79050E17F146A09AA524DDA62657125167B8B08E7C9B1C7FA28748A28C8874B887B928322B9CA3B3BC4742711ADCB036A1BB380171A9E7A13839B394FA5DE2E796F882D78EB40CA0B92237643D54B8561C42006F700BB00991B6E7373C5DD6F4AC7FC6D232CC79A12A",
     25       "context": "11326798703CDF88575C20BEEE8738E3D893138EAE44BDBAD3ADA7E1E947F6EC33A7593E4A66E0D78E4774C02042003350ED53EF751F7A6A70B2FF51136DD0CC1D4101EFBA88D02C8288AE29AE2D6CD2FFBB4EB913132E359714C61B93635F3C7023EE",
     26       "signature": "7EFCA85402EDF73AA27FCB944668B7F4E1CEA5A3110CEFE5A637BEDD478C47454F59555B98B8717B623C282125185645EA3012AE5182FEA26B286C78089B298379FA5849D19FB0BD5B9D00A99636F4B6748F5DD6B7BC1126878B597CFDED3A81547C1A09FD062FE79BC67F335B283C0160FC181E80997B0C972DBE4FF6CBAE636BA85E6D629B76A044A347E1DDCCA5D900405CED8C52C836DEC000A56AC628A5C6083D127D0E92D4D7A09178687492F58D6ACA296B60E12545DB8D335225BA98DCC4B50F305C2ADEA76F7A0BCF6F7CEE64398720215B92EE1C4D7FB2D38A1CBAF02559A4373ADB64EFE51C13AA8FA008D2C16B565457BB0999B1807745CD918779EDA1C8E66AC856CBA85BF18E0905C3C297E9C29E63ACEC66588D52847E3184E88929E4BB178A66DCA6B2E702D5E0F72E88E017BC92DD66D479339382448A2E3C5B4C97D662608738963D9AF1DC2FF16014FAFB0944AC22AA88E65BC1E99DB3F428D8DAF2E15B1C10EBD6FC3CAA827F1CFF7CF96588D2D1E299F88B44D75F2AB4FECBF55FF8FAB0CABDB1F83D48D7174588660C1C1DC34B1CBBF8A3BF0776AB81800882C6F3A9E82D1494448167ED07FCFC4BEA9BDD25390D21EA3B2AC42BD93FB6191C87A81EDBF258651E0896DC74316A6EFE1695D10C676AE5683F7E28DFCB290CB820E4A90F88F93ECF5894CA8F7A057AFCF56F4884617CEFE2398BADF34DA13006B62A0B682E13929FFD0263946FBB922722CB37B2E3D8200A53755DCF1DCA6E65F8874D007D290D618DE35A850DC107C24B7C4C2927C547E12FB1BBEB6B6E89F1B2E18C28816FB60B98D7B5D54A9AF566AA41B4A8A3601877DCA4D6A7E862E66FCEB81559328F1DB487B94942ADA9EB6BC67B8DFCD938B8BD8B67B8024796E0F5DDBB3714D96025A14FF6B497FF98852F65F7F85E4C3683C2A2DEB0917076C0238CE027C6032A28E5D7A78EFAF02CECF27F79EAFF96BBFA7A9055CC2E8B4EE463B8426B40E28473D2385679B563F2D51FB4DA3207E02DAC1D3A9245ED68C0890B22542A54D4BCA564F15B4F8910558BD219F997495AB4035BB7F6444BD7F5251BEA840583CF9E9DF341E21780C943A0E9E89085FF15B6F5C1D4AAFAAB42109E593AF08AD81DA4D520E6707986F4B7D370ED038FB15E9E22C750DCBA965C4E9BA00E3F5E5E4F1FB8B7F949C7522477206EE6239C69DED0BC8389E7517222C88DDDC8D8C566FEB02626E6E2606ADA1118979C7F0A99A6C58B1B4E6F2F5E9A78EED712E68053313B6430D4893B3A2DFBC37FF27B16F37963B87B8BB824A44F4783615916B7890F2DA8D64D1FEF24D3F33A2C4A36058E83334F090F7562F292447EFC233F3D60A0492283C11EC547A22AC0FEBB1A8CE6C5EC43A6A68CF9F53189B55292C0521274323FAC673E165578263DAA89E3F8DEBF8A47E9CC4A824CFA6B7FC4171FFFFB252414FECE5C76A4A3F22F0112865373CCAFC93AAA239E54BC29E00F4E933591D851D574A945DC7EB9CA1F2F1C62D426940486DEB4D310EFF135A16973FC30265817A94F1B647D5B590D3B4C8709ACD31EB7D394DBB78E4227310E98229CED5D490826BE8C4DA2D45A2A6174DD2516E83DCE543BD0C00EF54E9E43D65F628F629427D6BAA3778987CADD72C1603EEE5590560A6511C17727D7BEEDA7AB47F78984791472E4BBAF9B2A101FBB28FEE1059465D5E09ED663F3E5963A52FA162BD9E798CCDF78758BC284CF4B044796BFB6719A10D1F2CF4B01EC56D3785A4A75D8FEED35AB67F68915A9F94715A971FD1CED568EC97CA8A35AF9B9F9AED305A7AABACCEE3DFFBF8666EFF46044E4758ED8A4FFAF5152AF4501981FF1ABAB062C2940DF52D54B481E9BE993E8177B8C047E17ABE6F46030FE105567CE0D7D48F6B863636597AE9D782D0850EEE9E7E78EF226C2DF5347DAC74EC99C3A683BC322775AA769CF9B598C5112B0560B8E4E30C55F573FAFE1C1D80E55EBD8665EA0EB292F3BB942E5779C71C79973D5D1FD8A9762DF6F7F601B7729849468CE3B0B1564325812D9EE4A520857530FDEC2C5C4BFEB375FDE35842BF75AD2750A816368100F626B0F61F7D74D0D1B86F97E1A8C9224DD0EB07F1B9374950EB6475C85C28218851D3EB5D69AE6A1CD948A898EAE4BAF128E0FAC3F2CF496B8D223FCBEAC4C53B9CB9D681BA235A42DD0FF8541B4E73D69077F42CF6D795AAF6509288A9EA06EF7D03EFD170C863F2C7AC54B42E331E035AFBE276BE21A51438412C31F612F40D514611B805722DF4AD220B6E9F40F090B741D50884BDFE9886400EC5948C433BC2638902698ADA54BB33BC46D0521F8E8D9649422805F1E26140D9A9D808911C322CA64CB70F8784079A7B4A278306C3C78EFFA385E6ED544FC4AE3688E85A0FC5715C6B077EC1F85AF9266146989DE1E47297448CD2474407FD20C64EC2A838D48381AF62E372A92EF669C9E223DE5BB98FC1EA3423A9E8F1A4A6469AEA5FA7628A2E4B64A1B3F16493DBB33CC37E3E49063403DF2A9D92E675F7F16E50F6200418A6941F6302B0D2063ACFC1C8DC8FFD1F8AE041AA4F5A3339083480C197F0EBBFE1708836CCC27AEEC15F3FA1406BACDB7609E475AA8757D160B3AB7C0D1F4C527127424C6DF4AD10E82A5CB8C23C36CA5537E698AF19C2A424D3B5E2EB88DB2B434D576DA0DD783E1152E170F26DE39046B216A14B55E313D26E605E28F2CBFB6BA2EFFE102B17D8B86377E1AD06F3561A1152DBA8E8B95A986D414487407CF64C2AB5BB43A3CF7E97118385EA45713FF0D66FE8F50DF8014B5E2B920FEA8C04CD7E6215E0842B69CB9E398F2E5A48093CE20EEB6570D8483E0C84F54E00DC8CC5BFD0AE5F2CA8B150184D8B098012B05F7EA1B78D14F76F8CFF29A78AA82C2DA43305F7C2AF0D09314CD34C4DAB4AA77BB6E928BDAE99DC6DB2DF7C1FE7E3042575C1F72777ED5E95E539E85B57A590A68A61C5B1C1DD8482DCE87708F2C88A70EDC62AAB0825EE16D2FF3E5BC45ABB742C4700B4C1F863D33DDC7DD34CD2AB33A7D6B02642808531B95135768F1811F5C6D7D0A5B6F43359B1C4FC3F2B6C3D98DFD172C959AD250FBCB081E979A4B6387099FB3F5C4A0869A890DF90C4691705CD649D24558E746D792A5A7D08CA3D9988D5244CF5132795D12F1452C325AC74F1EC458E83B3FA49881F0A1481BA33163D5CDA4CED8DA8968CF4AE8EF73E41A94F2E8825BCDD3F8C9915D21E533AFAAB3DFBC5072D005531CF038B68F04F1C8EC84B43D063E8BE811C61BD4DC9BCFE10C9F78E80002043C47575E627897A3BBBCC7CCDFE1E3E7FE09131C25292D4668797B8E9CAEB6DAE8F9FDFF1728363A40425F6EB0BEECEFF2FB191E262D2F4A738F9096989CB9BCD9DFFAFB00000000000000000014273547"
     27     },
     28     {
     29       "source": "wycheproof",
     30       "tc_id": 18,
     31       "comment": "signature with a repeated hint",
     32       "expected_valid": false,
     33       "public_key": "db9ac67708f2ba0fac1f92bd802f9be89ecab966feef59872a1a9ac90b1111170a561290ae86b13968f2506023c014ba09fa449a26e4e9d35595e73986506cc8790e4d07a94d6c736f7ae78cc5e3e3cf025ce06a09252bef97fe92e94cbd107b1844d1a7c690d88bff9e9336f8f58e0bd5ee384de9c7ffbb149a6fcd87c77288601d8843e28e0c7a60149d02ebc57b183c39888d98b61cd8ad48135ddb8a1666743bb689f44c1a92d52017b6a8fa493eeb839dffb086a9a6c399b194a52f0e4164c96ff8a2a54337de24350a866b5fe4195257778e72511221778f1eae5fa93ed3532f696b9b0767aded85f62ea311027c7f5fc4182dcd2864b1c26bd6dcf72ebdedf70471327be0ea1c2ae53e46489c6dbefa512a78fdd7be0ad3ada16a7f7b1ece49817b44868a2cc234bfdba556c32cc92ec2c5e8a5d206f2e4ee372d41681e67d1b7e7b0061870c57f600fafca85f98aed8ce4ba76bba961f9ed56e563220d3ced853b6b28e7527da0e0912bc932a23c8bab811429bbb4d49b2770bcda44abb932b11c0a5866409fce39fed2b459c86c8f6e1ab0aefc5879503f4b21a49b4b2de6760c9b6aaf041144a656a26af39f4578e1d482ddc1360ef751d9784b860ec373d415360fe99f32e126a2ac1243430e8bed1bc90b19b3d219c2712edcf81c44b4331f6421088e662b695e1fd8fa5091f616ab60af70f159b63368f1ac60d77b279ed47ef7f24ec2044bb6c2bc76d933ecd568f7e663392afc1d335abac6c03670adf87747dde90052f5cd45f7d30f43a4dc3c500ceb658fce235c171240baca1b5a14733d774b9416c540f53eb83481afc98344b12a4309e6222b08d978430467497010314c6f6b8caf65361c216106395275a67d7500dbc120f7918c6f8db7aa63fa965b4a22c70dc88f727d768ce2bfc7597fd470184e1c59a6b2e1204cc8c3d052c594d5771e0ccc8cfb191f47038b1c0672f07caf4747562d3d76a9816fb1def1391cf0f05fcdbf2a0eb6c21ac24b26e74ee403133e80a79313ddb02c1fa386c6dd1d420195343e3a104aff6d60887f7304fa9e3bb59bb55f820dd85b1445c54e9a38dc1c7f3b88eb36a9f48d13455e51c934825ff3cd8bedb2b5422344120399eef83a360b83440ebdd8ea6e01c95159e3735bb4408500caa785ca4049891c7331c4ea31ad9060ece768fd339e6904f88e27bad3b28845687be2cc9314f300fda56fe3ff2508e54c59123b068f86fe00213d5af8da1b1735423ed688f097c306dbc121b81f532fcaf872d9f80596642295d6e4bead478644081618ab903b39e9b5e7cc0b5f2742d8337b18d4ad4788db7443e946cafc1762a5da84070e8c2fd86d6c633f0b44ee234ba11b9e1440c94a08d0437015279690405353059020fd2f58f15dab18754177244adfb81ceab79c7840bf3884a3d364afc8c453a425fd8c5378eaa7445f8c6256bfbd03a66c53e8cf27e2c52f14ef3294afe79cda408f5dff933ca0211a78a4e3be3d9a932558ed71ed19bbb57f87937fa3d4a78128491ff096a261045bdd186325c42caa8c7564195a4d2499a1c17d21a52d1aacd221d9c8a1866963a20390f2fd43dcf56b308a1c01c38091fd3e04c12b695de497d48bcc268d50cb0bed793b8e6937e8d533afd568521f1c9377a3804d38e785674d7ce868d289938e33dda6edc76d25b15fcb38852b7803cfe62f08d9fbd070957c4e6f134973964c9dc009985c8501e7d8f72e7ec285d5289fdd07f64d62acaa9737b039efa7a9d1d175577c6bcf9dddcf692877af38e75263bebe2453155be61f0723c274388a532abe29dd7023e327085f4c9dda41839b7b3357ab9d",
     34       "message": "0100000000000000000000000000000000000000000000000000000000000000",
     35       "context": "",
     36       "signature": "2f46a132fd974317ee471039812ecae34d5fbf241fb4e131049f5dee3c5eb3085fcfcda617bec4d1afad7ffc39c77bebdec93133ef562144a3e38621d231a6661920feb58323d35030ddbedf2423375e781c1c028554dfcdd1df64afa4ba5425723e4b4bfbc7025864d1cdd0c50ca26281d9b01c8850fae3bed29a00935e922de053d98b2293847b544ac3edcf19804969eccd9d9df84f2a9a27e9756d051d3c029261bd3f1495783f0ebbcddfaa5cecc55c472394f0b8d40b1ec0f1ee827004407307ea4eff9d668f812b6f968e6fffda053b9a1501967b2e4c2fccc9e2132464a2609126a82561c8293bc63cb05b04997dfab2e6b22ace42959b5701cca700545edd251af7c8a93167c50bffcc2a4fef766d7c82cd44be8a2b887f4c3bf533e5003400a9fdf765b78c11d0514ca5d2e3a56e73843ab6d80c53356d8a050b9e6f39db9a3c98d31c641f289c02c6b8cbc3b31de54d7ae518e185cc93c0bb84942cc96fea37d838a5e1f4d4ed97a9fd02582bf994f3745ad8eb7a088784322bad045140d953657eeaacedd21fc387805dd0949835121e0dacef5fd32d2eba4a5925c84e1e7bd57dc4ad7708b94bd700d0aebe1a23975feccdf5269f97a88f8c3b7018cc4a2d750ca0c485fcecaf937791f272e7409fe563921fbeb182dc24c59a39f23f32cf5028519653f6bf880534a9f5627e12a34bd03cbb9e2cc5adb8871fc4b36ace15d8f513810e5114533a2239bb1023a78a827cc3edfbdd6717a26b263f19001e72c4e80c65d6df70a80e6e32b47d6c8c4e57f2ec83e929feda7f773bd4840d8018e40d55046fc98590c0fe2f964300c562e463a39284f13888bbc639c2262f74c6bfabef145b47bc61f63df6ec6b7e74d6d6a10c8265ceff1e97f730dbe0fb5210fba34b91f003af33e8364e31f3000b39f44e1a4f0541e5e2a8197e88ae80b7f818ee1fb5e70090b9d2c297096955e6f22e923bd70f6c9fc0b6efb4ead07658fae1c3a978cac7d6038c107c53a74c2257cf5d1b502cb960232d91dd7bec867a9e0f9a3353a3f98d3cd06eb739f099517db3841fec3b716375c2714d0662ba09b128316b0af220501c2606d5863811546fd9d9e78822baf7757999d2167c8674d43aaa093f72999e44fe5332dc3a17216b59a353b108b0ab0e9c11fe2100372d58ca8be2271c7b0bacbfaff8965043fd2d9863885e6a70c1e86124d911c12142f3fc7ceda18bedf36659cedd52e03fa4a6f06ca920494b7ffd87724dd173d28095d3893ade73aea2105161b888f6f069b00264108eb38c0d99962aba3867986b23c308d9189cd30489642433c157d843ba9968367c04d0a75f9143ec9be795475fc435f02ac4b54b131c9262ff9eedccfd10bf8b0ebd31f99be1424db97032464dddf1613d7f29a06abdbc34870e43bdeafefb895a56fc51068ef4935f53d77b045718896af2c9c348e7dac2e76c863ab2fef73f3fe63787e061f422f85d0d6cdc0fe3764fc14167324188315cfd8ba6d3a3fdcea7a1d6b491e42935e3d7374e63b829b0ee410a4fb547186357088d401a18cb99bd5562ea05a5c9b858a675f79967e26f5dcbfdcb298970457d4c12c06b46a4e51aff7ac70571e2806f1c6fb7d4c07b13e8016f61fc7e13ea648de148977e4ba129009326e14f1ffb307e4d387812b9acfb53b73b0207c1326f23fc90e4dbf297b58640fa24de73a5b4cd961e76cabe30880a00ff499667dabca3710b179abcd03869b6b5dbdfec9da56cfcefd69263c72640f4f8c238570fed26cc250bd5d8a1f147619ca396aed1394e3edbbec27562563a21df8e8c9d9b0a33e9f69a1e463192a30de65c02efb6de21a6402a0122f54cee95649a97c26af319a0ceade5e0d089dd18be5871b44879729ab2d0c5b3aa914836049e3d1b89fcdfc66d4feb418cdfdd99e52000dbdb01027ff83ebe016583d5f24090e175014c0336808cae677e198fe3fe310fc3de5a858a0b943de6a2c830a34e5f725512e63af81421716b947aa6cd5eb6997257c00475f7a9fbbf13a51a9c38467d468789e1ea5154f86cfb68d6d58e9c1332541a8bcfa4a73ca311a641776165c5b8f8b497c8ac582a5b87ac2e180d674c24a4d7e343b9a0ecf76da91ac954e0dc72deb799d05c6712dc65c0ab08f15c4dc8367e0fb2928cb134ad5297cd0a99adefbc860aa5402eab50a97804cd3df8daa85ab281910b9a1009cd3843ac0885eb1b8bca054ea92f6be3734396ef0db423197d16636794520c6f2e70cd1b1b2c1792b4d43525ca688bb89f4ff96bcef8da33b6eed7103ff005da2da8c8e841b87a6798cbb292c6f504b0fefa59a3a84099bb4f60016eeaac5949ca74a03480ea6255acc934df15d7e6dd15b67985a3ee2d6b38d9479914a4e9a708b3a868c6c121c36fe602cfd8a7d8f0d69cf8278e51072233a0e8304371b0374a3debcd42312e3cd2333be448987ddb7b244c51891cb5397c3af7c06067fc7ce8691247c65fabb30a89f8bfe5b5653e4320f651a366638f36f449b846e429026e92a229e1e80a6bd329a1c659b3e70d3be6b1eea2ea6c5985e74d21f127e07655a4674d446678a580f1ae7018633e8ff2f86e8b047b7702bcdcbe6279fd3fee8aa1be459bca64512cb129180b6168ca26a653bbacf99ecb4d1cbae06013a724988e2681a52d41afbf43e45f0652fc8412450c3bd5453d74168a2b599222d1a9ca52691a3304e21737f436bc266b871db8c255bf5a22f95a4d2d8b084827ec63b5f37c96f344391cb0657bea5f6d83d617d91d189a53cb8eca5ae557ab9f23ad562a6852784e44b248518ca3f518f734c464f3817b6f21aa46159f7538bc65f7c7f61368c8b415548082a616a27d471cf26e122c985aeb37135e3a85e3ea282a237e367aef2f9ebc601e97c5c7ccee91c80a416c2458efab6d1f8a07a43814368e922765c09c645519eda7005a599cf424e0e19aed7064cd36ed3a274b92f9a968c9df3145243ebef6fa061934ac79fc86e6efb9d93bb3677c46908f68c58a1055188f7bc0c5f8416667e4b1898c4868438aae777a465b4a382c4758f09e59e2c7caf7d49c0874f755b1f38e7000a55af11e2a669ac8fa389ff77608fa07e1221570c547884034251e6f5cb585e4c2d8fc044fc6245c1e0bcfc7680768ece411e92744fb7598ed8bdc11ceb5f1b7c1c5f24d7ca5c21ed4791528926967c74b7dfbfc4ec720456dce89b0fe34e1ac3f99cb12e0e4e1c1397067d930c7c471defc4a22ab62a30a2d7e22469510bdfac1688950a5a3183c9a5aa3010104070b1214273a4288cbe0e2f8fbff32548898a5abaeafb8bfdff0f3061e2f3e73919c9ea0a4adaeb4b6c2fa0009162f3c42445b5e6a7c7e859699a6bbc0daf4fc00000000000000000000000000111e2e43"
     37     },
     38     {
     39       "source": "wycheproof",
     40       "tc_id": 56,
     41       "comment": "z_max below the limit",
     42       "expected_valid": true,
     43       "public_key": "db9ac67708f2ba0fac1f92bd802f9be89ecab966feef59872a1a9ac90b1111170a561290ae86b13968f2506023c014ba09fa449a26e4e9d35595e73986506cc8790e4d07a94d6c736f7ae78cc5e3e3cf025ce06a09252bef97fe92e94cbd107b1844d1a7c690d88bff9e9336f8f58e0bd5ee384de9c7ffbb149a6fcd87c77288601d8843e28e0c7a60149d02ebc57b183c39888d98b61cd8ad48135ddb8a1666743bb689f44c1a92d52017b6a8fa493eeb839dffb086a9a6c399b194a52f0e4164c96ff8a2a54337de24350a866b5fe4195257778e72511221778f1eae5fa93ed3532f696b9b0767aded85f62ea311027c7f5fc4182dcd2864b1c26bd6dcf72ebdedf70471327be0ea1c2ae53e46489c6dbefa512a78fdd7be0ad3ada16a7f7b1ece49817b44868a2cc234bfdba556c32cc92ec2c5e8a5d206f2e4ee372d41681e67d1b7e7b0061870c57f600fafca85f98aed8ce4ba76bba961f9ed56e563220d3ced853b6b28e7527da0e0912bc932a23c8bab811429bbb4d49b2770bcda44abb932b11c0a5866409fce39fed2b459c86c8f6e1ab0aefc5879503f4b21a49b4b2de6760c9b6aaf041144a656a26af39f4578e1d482ddc1360ef751d9784b860ec373d415360fe99f32e126a2ac1243430e8bed1bc90b19b3d219c2712edcf81c44b4331f6421088e662b695e1fd8fa5091f616ab60af70f159b63368f1ac60d77b279ed47ef7f24ec2044bb6c2bc76d933ecd568f7e663392afc1d335abac6c03670adf87747dde90052f5cd45f7d30f43a4dc3c500ceb658fce235c171240baca1b5a14733d774b9416c540f53eb83481afc98344b12a4309e6222b08d978430467497010314c6f6b8caf65361c216106395275a67d7500dbc120f7918c6f8db7aa63fa965b4a22c70dc88f727d768ce2bfc7597fd470184e1c59a6b2e1204cc8c3d052c594d5771e0ccc8cfb191f47038b1c0672f07caf4747562d3d76a9816fb1def1391cf0f05fcdbf2a0eb6c21ac24b26e74ee403133e80a79313ddb02c1fa386c6dd1d420195343e3a104aff6d60887f7304fa9e3bb59bb55f820dd85b1445c54e9a38dc1c7f3b88eb36a9f48d13455e51c934825ff3cd8bedb2b5422344120399eef83a360b83440ebdd8ea6e01c95159e3735bb4408500caa785ca4049891c7331c4ea31ad9060ece768fd339e6904f88e27bad3b28845687be2cc9314f300fda56fe3ff2508e54c59123b068f86fe00213d5af8da1b1735423ed688f097c306dbc121b81f532fcaf872d9f80596642295d6e4bead478644081618ab903b39e9b5e7cc0b5f2742d8337b18d4ad4788db7443e946cafc1762a5da84070e8c2fd86d6c633f0b44ee234ba11b9e1440c94a08d0437015279690405353059020fd2f58f15dab18754177244adfb81ceab79c7840bf3884a3d364afc8c453a425fd8c5378eaa7445f8c6256bfbd03a66c53e8cf27e2c52f14ef3294afe79cda408f5dff933ca0211a78a4e3be3d9a932558ed71ed19bbb57f87937fa3d4a78128491ff096a261045bdd186325c42caa8c7564195a4d2499a1c17d21a52d1aacd221d9c8a1866963a20390f2fd43dcf56b308a1c01c38091fd3e04c12b695de497d48bcc268d50cb0bed793b8e6937e8d533afd568521f1c9377a3804d38e785674d7ce868d289938e33dda6edc76d25b15fcb38852b7803cfe62f08d9fbd070957c4e6f134973964c9dc009985c8501e7d8f72e7ec285d5289fdd07f64d62acaa9737b039efa7a9d1d175577c6bcf9dddcf692877af38e75263bebe2453155be61f0723c274388a532abe29dd7023e327085f4c9dda41839b7b3357ab9d",
     44       "message": "4800000000000000000000000000000000000000000000000000000000000000",
     45       "context": "",
     46       "signature": "dfe343f52cd8b02b7e88bdb005c9a7388c7b79f2eed8e5bfeba82fd0af881dbf2903ec43d62e2fbe1bcf93932dc1f23dcd5c37fcd983e04c39798d94fceaf467145c1725980a53a8c0a91f50850789642b8eaf7ad51d07f61eece822a8746eab811c02d0ab6b6ac7a253a3a7e9cbf0db24bea21aa4af4a81bd9217982be2de73b05e2cad8a333e07d1db4b9bea89188cf4e352ee6b7358d4f36a0172e475707231c95fa9efe7c0be8a3c3f6d69eb02f758e58d2d45127237d0a6a297c385cd3fd1275e12159a9fe308736b43a6b07f73150be6188eca2737fe13075f06a07d89246842cb20914802758e23c02d6574f90367df7d03eeba9854c9c7a3ab50a590bf9560558013581826b9d2f580864157004ca797141f2ee2d5c53dfcb54486aca1e45c00bac15427c808f07e26dc58d0179e335fc03c3481fc150ec60e51b6dc1aedbbf063a36d6281a056b3e8ad5c5e05e7231712e5f8f5b3a143010859b4e0f22a1017ed9650e10d6c6ed48bc46a3db05cc14a492c7cb20b3645c6cac987ceaf6a1b76de185ed957778536ad3c4e01976f2e94fc72d2d4600081c3ecf8df85bce36ed432a8bf56ac376363576defb499dff634217b04cd6d88577da65acb831680bb6a71c7f7e6aaca1aa6bae12d64fe1c6ee6c612d2bcea338c8cf853135242711520efb8c2170cdfe5f058649b6c91231fd42144bbf1a726ef9ca7934fc301c48274e994cd011f1c42d24d90441ca07df7696b9dca3e0594cc1b120616d9739af9b6b56792caeff19e3a24b7e8a85184b4d37bbbf1379af62963ca7a35cd4bd707bb590ae078cc7e37c77b4f60a10bf61a49843a2d7eafb611371bd0a689fc19a195ebbedb608692e16cc7bf958b2c701a111d65f32176181dd1086df6e96678027388e5861402f76259b7f0429e2b910b615c4ba0d9be48ea809acb4ec632f22802078aa09ec62cb1a41caba18d63edc26f8e2397f2baced378b55fa4947eab200b5ed6e084728f9c8b142e4c5e36d9612b1e8e47da60bf3147c8be7b09fb231d6333aee7ce8aad378a7b093d50103b5b76488e5f19859acd5f2709bc5a38e621ac11139209c97713f490f25d0d162e2607e5b6644293b546e7b2662930dd25fa3217c8047e7685e1f89aa76badfb11b01b654caca3bd3c3446c0aa142e7b3dbc469e4dfa1b175ecd3c63fc205bf03bacd97e3b20d89c0ae1e1f653ef0a3660281f9a0834fc1ce1b948d1186a0a2045439a196d82e8b7a9fbcb8c39913e81b177a9fefb9e1187686c3f5608f8636760d87490b0e7c17ddb87d45ba2edc2fd98808bdbd88de4483b96668ce7032d2ca085dab535cd2ec5998d7a2f0aaf2aa10a0f28773562f7a5d3e70a51ff43240492ec75825de0393d49e6bd03ad2f3b8ca501695f78d898bbf47b3a686d4d82d842ee727f05bed87c2cd8c4fd83304e19f2282d003aa0eb00c2c164594a6d90263754904ec2eef3e04bfc91263afd651bcfc24c73fca0d15adbb4e539a5e6c29db82e1f04546c6b93b83f458d1dd46c3f5e06b35c5e68645652f9512320d295ab864c96b8b9adc6dac6f5571912109c7dd6a8cde991124a6b223456913a3bd2ec4fd53f6edd9fa9dad4ced1013cdee1b9549a02d92068c715f4dfee8b5f4e409a9c8f7ef2643c64d466e176e6b6c61fe3e57f901d410d5d29d25f73a92ee57d2420ca2a628db8bcf940ca0a77c03be87e50dad4cbdb76f33bcc3957fb1e105f0a1ec6a6a823bda552b70d1fa9440d6aa428e170ffc9c16cf621058c6fc2aed2f40d67daaea9124f1ca26862089a18fbdf174255ae3ed0fad143a4fdeb80450b93443317b9cf592cf5a58da86de34c17845ec86a51037acbb5858b5ad6aba69efa83cac149ac9ec9a344fd152abfe1a04de7ebcf6fb0ba7530db08499765b7d5471f101d75a3ffc276009accc5ccc18583c921515e018cfc50c3adabbbf50347f864b1110a0032be50bdd75edd36c9339a9a43575e6147b6ac2740364e6866f0939399ae28e5faa7eba4e7bb852070b5611200f486a23ad245cec296d90cea001d87adfe119e9ca7aaed3ed99a9efa007e5068345adb680c2653e3b90edef518bae3bbb22e67867aa6117aaf833497d7eb3d0f93056bef6a6cd1118b5994a7b7b8f5199ff8461f00173ce254efe9222ef3cc15d4fe5f6b845bb0841dfeb8625792fd310a5d3fd136f28e303009e3132d47eb5a5367a712e34ba0dde4418fa9b606ab07b972fd0ef074e3f0f5a623c5a563135b3df0b6c3cd2ff33401dfcb914da724126340a171332730755bb2831975a721f1a9da0c89d88ea10ff7ccffb98259273f64c39f8308c2ddd876f320436e4ed572601f2d3c4a79477949bedce0660e7dd66705ebf1177e3744a824876a0a0222af69da59ea510910aeabdc5b3674337771114c47d9641aed3a4927ae517f16d7195a962c9c97c31d6519d8456a089eb96e3ad88b3c32fb927285c2fd37e042e83fe3b853e65a00540002f2d65a25e6b23a623ddb009e71ed99e3d76b5ab22bf61005378a109f738ab8f93216b4267941c54db49b8c64252a966dce1753efe2a50c91e57723584a08e7404ae6836c59da97fdc8d3aabcbba08145a16641c60891b360d1105161701d2042708767b83b1f5961e1eb123e2095adf8620c3e92db92877b06d3f86b881cfd170aae23e6dc4f7e0b4e367a61f5a764c69cfeaf8f92bac2b5ae0972c3cf0df0c00d1a0bc0bd441ff98f7a21b2e24e7c9e65c49a4aede9c35638ad02ac08097a7854df30bf0bc79eeb98348fa467f299f84818374930171b56aaf9f5d017bec3dbc6feff268174a4d6ca77eb5d3662b7dd8dc0aa58998ee371e0cf6fba03b131a2161a457bec7253dca23cdddea6a4384150481a9eb9fc79fbc6845dac0dbfbb376f2f5eba1d77a9635a902495d14f6550cbf26f4b42804bcb53d14b8c94e13e9cf9567cecbce3898fdbcd8fb71147005cbebd42ed15407f58925d4291021beb9e4d15105f3806d51c2bb2c4624824a2b5218bcd7ce5abe9989d8e4b0c9ee3aa8309bb73e676ee3b3c703be0e699417bff5363b4c0b505d8dc622f886afca74775e72e6eccef9e6ad22f166c3b48e57fe95a6320c10ae5ce1dd9cc948215672a3d4cde80704ec6c009e2aed6c4f0c1c7ac8e534a20d700f1201ba2ea63304e073bccf033f47da0175f870fd48a88b47760c22e5603d7f3fa0f928d5b968116cb86fe156913561145b7af61e6b686de2d124331e52cf64393951a687f830464b50e71295a97ab059c545a310a9659d7f22c8f114efd09141c1e20263a50939ba0a8b3cacbfa0f1d212731494e5b73757ea5b6b7bfe0f8fc073f4856656e849dabadd4eaf4f6031114262f3474758491b6bcbfd1d6d8eceff10000000000000000000000000010223043"
     47     }
     48   ]
     49 }