Add key prefixing to RedJubjub

The original draft spec for RedJubjub did not include key prefixing, and
both this reference implementation and the Rust implementation were
implemented following that spec. Then when key prefixing was added, the
Rust code was updated at its call sites instead of inside the RedJubjub
implementation.

Now that we are migrating to the `redjubjub` crate which correctly builds
in key prefixing, the old test vectors can no longer be used.
This commit is contained in:
Jack Grigg 2023-12-01 14:02:25 +00:00
parent ddb3397f5e
commit 97455a1eff
4 changed files with 45 additions and 43 deletions

View File

@ -1,14 +1,14 @@
[
["From https://github.com/zcash-hackworks/zcash-test-vectors/blob/master/sapling_signatures.py"],
["sk, vk, alpha, rsk, rvk, m, sig, rsig"],
["18e28dea5c11817aeeb21a19981d28368ec438afc25a8db94ebe08d7a0288e09", "9b0153b03d320fe23e2834d5d61dbb1f519b3f41f8f946152bf0c3f247d11807", "ffd1a1273252b187f4ed326dfc98853e2917c2b36379b175da63b9ef6dda6c08", "6087383b30559b31609085b9009645ceb6a0c6612599d72880728e61244e7d03", "c1babcb6eae2b994ee6d65c10b9dad5940dc735b07504daed1e46b0709b45136", "0000000000000000000000000000000000000000000000000000000000000000", "eaa057476b4ab482288b93df8fe0c5ce9d788367f2be551b7f7a82a6db360468deb9a7b7afaadfeca6f481193dc6575747f60a1a8a48ff0ad70cf8cb8d528e08", "d56f0d91af424e1f1c7fb86ba4eed143cc16660c5fe8d7dc0d284bcf65a089e98b561f9f201a633d700cd3981e8cac07b5a87efa6186062dd8e5d6325e7b8202"],
["059654f961273dafda3b2677b35c18af6b11adfb9ee90b48935e557c8d5d9c04", "faf6c3b737e8e611aafea52f03bb2786e18353ebe0d3139e3c54498780c8c199", "c30b96208da800e10af02542ce694b7ed76a28299f85998e5d610812681bf003", "c8a1ea19efcf3d90e52b4cb981c6632d437cd5243e6fa5d6f0bf5d8ef5788c08", "d524dce7734069758a91f007a869505dfc4aba1720594d4d74f007700e62ee00", "0101010101010101010101010101010101010101010101010101010101010101", "22355494a8316ab13473f55e6266b2fb4197315eac62f82cc73dcaca199090f15be198ce7d3f9fc8fff550e10881ec49ff27369e7d4fd9640153492a0a062508", "f4b894ba84ce1ec38a63152fc409f947d61abb1f4891636bc3ee19ef6d4b30c0fd22866b84ffbc7e2a78c43f5783d2d2ead0785955037443c2f4d52f785eee07"],
["ade7abb551c79d0f0e42ef7f1206b87712a84a61dea3f37b42496d7efd12520c", "369ea751762f839d25701a5eeb551ec4f06c1290b3b9c3a724402dec02739221", "81922529a63ee743fc4fbbac45c4988316bc9b6e428b01a8d31fc1c2a6ca6205", "774dda0799f7ed828781e25fc4a9e8542829b2ce1ff48d1d6db9fadbb9283703", "0d92ad6d46edacd023d4d2ef703a6ca0a792cfc4b7da11c2353bc845a27a974d", "0202020202020202020202020202020202020202020202020202020202020202", "dd6521014dff706e3a38527a86b6c16e941480e733eff79ebe0c430379d757049db790cd5e14447c386f5fcb419f27c4413f3588fa2142d2cfbaed082cc6db07", "d89445cb9bd1033569231dd628aa628109fe93502bf22f9a5f37b14e517f9a2054aee3c81b60b3f0551e32f7935abc2f37b99ab3ec996802efd65069e1281208"],
["c9d2ae1f6d32a675d09eb0823f467fa921b3284acb35fabdfc994de549b8590d", "2d2f316e5c369ae4dd2c825f3d86460058407184603b212cf3459f36c8697fd8", "ebbc89031107c44f47889ed4d4375a4114cf8a75dd33b962f2d759d3f4c6df06", "fd62414c1f2bd3f49416878a805d714435477fbea72e4c1a46c2735354cabb05", "f0430e953be60bf438dbdcc2303f0e32a6f7ce2fbedfb13ac518f75a3fd10eb5", "0303030303030303030303030303030303030303030303030303030303030303", "7279a75c013675b32984e5c73a9891ebf0b229b16e6235ba36dfa1b5a10c5e44578191897c06b8524a2674aa7a0c8c235f52d33ac92c7056b2be953c3faa3d07", "aad4828cb342cf09b00e302cbbe7cc3e95fe1ff828748e5f5bc69cbfde6e2722d76435687e850cd307a9c182ec10e6881dd65eedc11fa7b46de3a71959cec002"],
["33bcd2864541b8bb7fdc77a19d970f924eaeecf4103c38c8d2b0668142f27d09", "741794e62cf9320c58bac594a2b90e340a6d8a68056f6ed5c7868c5ff3e4d616", "7ce725a5fef61bd4a1e9c77328e8210eb7292d954c64e99e8bedd07ab3ab0e0d", "f8760155e5293dbf9eb57748325fc9f9049de5885c65ba60b5ee03970be90e08", "6662ba09950accd2cea3c7a81290cd5978a62b5ac5bbc48d9f5819cdc9646f0a", "0404040404040404040404040404040404040404040404040404040404040404", "5123b31f84af0c355e13e78a64d7a3cdfd6bdffdc73338d9317f734391a55ae6258f6980b9c7d190cfa36581a9a47a863fd3bf7659422295b75fd122c3dd8a05", "5bae254fbded607a5c48b53029f59ba706324879aa18d9c47319004be02cece0b8bb024a7aabaa0a640f3a54dcdaf21131469a5006be2781a567ffa6503a3503"],
["ca3506d6af7767b5790ef0c5190fb3f3877c4aab40e0dd651abbdacb544ed005", "bab6cfb5c8ea3491251b46d52aca25d9e9af69faa9b4e40b03ad0086de59b51f", "bea387203f43760ad37d61de0eb59fca6cab7560df64fabb9511579f6f682606", "88d98df6eebaddbf4c8c51a428c452bef427c00b2045d821b0cc316bc4b6f60b", "11267d14d5e0b2bb3ce099e8ef8449471cbcfc6939a4b348dea2c17356a1e8dd", "0505050505050505050505050505050505050505050505050505050505050505", "dc18c88d964442406d650aa2ffbd83d113bf6a19da78f2665b294fa5fa450b9281a07e320c1aa31d32449e00c5c32db2f413df0b63d0728fa40941a8da024f01", "59e2e818766c50fc8f3840b272af9ad94756c8413295fc795fafbcc0718e6c08169a00d58302772a282843e888d981fa04795d014cf9c8cdb907ff1b430d9200"],
["bc27838de2a614cfba6c3e922a8f8424d9856f6816f3bc6102313b7faf5c3a0c", "d79be9ff229a2e35f5bca448e5eb4a8aa97fb418029125cfbaa78a91a382b094", "21a7150e194fedfef90c5d10e420858bca4004040eb681d14e75c4471351cb02", "26a2a1c49ce76afd3169d3d57a8fa109a38b3f6b236ed72ca8f6cb61d8f88700", "54bf1be72e6d41208b8aec1161d3ba59519fb93da01a55e678e27520066036c9", "0606060606060606060606060606060606060606060606060606060606060606", "9af6f2800f4b80f793be648a439f86e57da1b919999e41910999d42ed0f3896db76e06388b272c99858b5504d02ec6b4d525b8713810505f4fc031083a14bf09", "3f7d5071b87617490571a8be91749e69f6bcba5ab626e42ff92d0d7dab73f30361e5a224998e1f5ea1e5f8689a06a27748bf741963ef513322f4a1ba99aa3603"],
["b20859b88ee3338a64954f8a9e8e9bf3e7115acf7c6e7f01432c5f7696d2d005", "a81fe6846dbe0a75c0f49b213232beadd1f9a564673d25b91ee0f17ce9caa363", "44d908e1c15e6bd9380a8b235ace02fac1c08794454bcdb4a6f48cea78a74a04", "f6e1619950429f639d9fdaadf85c9eeda9d2e163c2b94cb6e920ec600f7a1b0a", "0b68d50f913cd1b78b59921e1656d576b0eb171ed3870d39fec69441b34b2538", "0707070707070707070707070707070707070707070707070707070707070707", "6459676a941634ecb61e59b79a98abe5876f356f728aa09e0cca9efe05761a3309aa88b2fa0ee2d04c1c46e9f2a048d59d5565afa6c3f15bce708daaab7b340e", "c96684ec7ea60bde878822ddcaf6b8b0bd31985154df9ad4f6907df8fed95c1d84fe67e67875a539550eb2514f193b8ed457256c8d30281d6f8bb9544924ca0c"],
["3216ae47e9f53e8a52796f24b62460776bd5f205a78e1595bc8efedc519d360b", "df74bf047961cc5cdac82890c76ec675bd4e89ead280c952d7c33eeaf2b5a66b", "c961f2dd93682adb93f5c05a73fdbc6d43c70e1b15e8d53e3f17a82494e3f209", "444ba94e1e50d294635e68b29501b53eae61cd1fbb3b84cd52f6729cfbcbab06", "0afbe406a891c3b8c310c215bc68a913de7cda06af29420056468d0c08855b28", "0808080808080808080808080808080808080808080808080808080808080808", "24932c1faa0163ca9a7fcde4761129d2e5e99cf5efa25d2704588e1c75677b5eebe455048d7ce1b0d2012753f71b2725012ee18549287318f9cd73f07f0fb502", "f7fa26ca22f386c43c191a0b3ea6577e8eeaa3f36b9bd1a3ac3df6f883a3ffdb31320bde627ff46fc2264a3263b9ab67123ba5e1084320d910b394ef8c65ba09"],
["85836f9832b28de7c63613e2a6ed36fb1ab44fb0c13fa8798cd9cd3030d45503", "bfd5bc00c7c022aa8901ae083c12d54b82f0ddff8ed6db9a12d59a5ef6a5a2e0", "a2e8b9e16d6ff3ca6c53d4e88abbb99be7af7e3659631f1eae1eff23874d8e0c", "703f32a34113eae1b0791ffe9d8888f001299ae519686091914899efcc6c6601", "eb9297036cf517e15e9efe3975328db48ee7c2694e946db25f528788f6a1db14", "0909090909090909090909090909090909090909090909090909090909090909", "64abd125bfc4c654faf2b6dd753ec690224dbcab8cd632dd593c91ce3ab0bcadca927634021c31476c78c5ac7cccabbd6f927df205eaa707cc00d47d39f3e40c", "eb7a065d75f845dc0941b709c0b149eafd805ea58f380b92b9d3108a561bda1785df8f101e0e140fcaee99b7dbb7dfbf7e61f3a12f46095069e06e8896a9e404"]
["18e28dea5c11817aeeb21a19981d28368ec438afc25a8db94ebe08d7a0288e09", "9b0153b03d320fe23e2834d5d61dbb1f519b3f41f8f946152bf0c3f247d11807", "ffd1a1273252b187f4ed326dfc98853e2917c2b36379b175da63b9ef6dda6c08", "6087383b30559b31609085b9009645ceb6a0c6612599d72880728e61244e7d03", "c1babcb6eae2b994ee6d65c10b9dad5940dc735b07504daed1e46b0709b45136", "0000000000000000000000000000000000000000000000000000000000000000", "dca3bb2cb8f048ccab10aed77546c1dbb10cc4fb15ab02acaef944ddab8b6722545fda4c62046d69d98f922f4e8c210bc47b4fdde0a1947179804c1ace569005", "70c284504e90f0008e8ed2208f4969727a415ec3102c299e398b6c16572bd9643ee1011766681e406ee6bee3d03ee8f27176e32fbabdded20b0d1786a4ee1801"],
["059654f961273dafda3b2677b35c18af6b11adfb9ee90b48935e557c8d5d9c04", "faf6c3b737e8e611aafea52f03bb2786e18353ebe0d3139e3c54498780c8c199", "c30b96208da800e10af02542ce694b7ed76a28299f85998e5d610812681bf003", "c8a1ea19efcf3d90e52b4cb981c6632d437cd5243e6fa5d6f0bf5d8ef5788c08", "d524dce7734069758a91f007a869505dfc4aba1720594d4d74f007700e62ee00", "0101010101010101010101010101010101010101010101010101010101010101", "b5a1f32d3d50fc738b5c3b4e9960729ce4316ba7721a12686604feba6bd748450070cb922406fdfc5d60dea9be3a526a16cfeb877779fb782d5d41395b455f04", "5a5a20d200efddd498dfae2a9ef8cf01281a8919018a824cc7a4983b9a0d4a06ff172079e013d42a2a3a88a6520c86fce3b98e1efaa325832a6a5658d8dd7c0a"],
["ade7abb551c79d0f0e42ef7f1206b87712a84a61dea3f37b42496d7efd12520c", "369ea751762f839d25701a5eeb551ec4f06c1290b3b9c3a724402dec02739221", "81922529a63ee743fc4fbbac45c4988316bc9b6e428b01a8d31fc1c2a6ca6205", "774dda0799f7ed828781e25fc4a9e8542829b2ce1ff48d1d6db9fadbb9283703", "0d92ad6d46edacd023d4d2ef703a6ca0a792cfc4b7da11c2353bc845a27a974d", "0202020202020202020202020202020202020202020202020202020202020202", "1f3e8a94310c2071a70f9df5e79aa9e8485deccb178bdff9805fcbe6f7d551eee3c3542ca75c9d8d4adc54d72c3dbe28626d20785bb7f588c1a582b893dbb601", "d136214c5d528ea3d4cb7b631a6bb036064973a108b733a5e3a452ab52a659e567cb55d2644e74b6e8426f2a7dd2a04d2dda4935cc3820b77a9c1ab619863c05"],
["c9d2ae1f6d32a675d09eb0823f467fa921b3284acb35fabdfc994de549b8590d", "2d2f316e5c369ae4dd2c825f3d86460058407184603b212cf3459f36c8697fd8", "ebbc89031107c44f47889ed4d4375a4114cf8a75dd33b962f2d759d3f4c6df06", "fd62414c1f2bd3f49416878a805d714435477fbea72e4c1a46c2735354cabb05", "f0430e953be60bf438dbdcc2303f0e32a6f7ce2fbedfb13ac518f75a3fd10eb5", "0303030303030303030303030303030303030303030303030303030303030303", "12c78ddd20d30a61f8930c6fe0850fd112bb7be88b1238ea33d6bef881c102d104aa36544a78471c9e2842e6fd42558346cff43127032666eb116f442a28480c", "01baaa26274c149acf12e1ccf5507d56790482f067e5c92b3219ad6bf91118cc3fce8d2a23198a3b290a7bf68c2ac07b5d9062b9f868662bb2524912d4856e0c"],
["33bcd2864541b8bb7fdc77a19d970f924eaeecf4103c38c8d2b0668142f27d09", "741794e62cf9320c58bac594a2b90e340a6d8a68056f6ed5c7868c5ff3e4d616", "7ce725a5fef61bd4a1e9c77328e8210eb7292d954c64e99e8bedd07ab3ab0e0d", "f8760155e5293dbf9eb57748325fc9f9049de5885c65ba60b5ee03970be90e08", "6662ba09950accd2cea3c7a81290cd5978a62b5ac5bbc48d9f5819cdc9646f0a", "0404040404040404040404040404040404040404040404040404040404040404", "774ac4673f09f3ac5789b286b5eecbedb257234e8cdfd93f02890978a6bba61169ed48f9e1c9fd1319bd330d2cf5b491010d69b043f4648bff554162c6a6dc09", "7c6c498de001786109b303a4c5dcb7fd075750a0b9df5e1e2a8e7547b7ed70cc0b56a5bfa9657843efd89c66a84f41d2b1b50751196b1e8c0c4498600696a404"],
["ca3506d6af7767b5790ef0c5190fb3f3877c4aab40e0dd651abbdacb544ed005", "bab6cfb5c8ea3491251b46d52aca25d9e9af69faa9b4e40b03ad0086de59b51f", "bea387203f43760ad37d61de0eb59fca6cab7560df64fabb9511579f6f682606", "88d98df6eebaddbf4c8c51a428c452bef427c00b2045d821b0cc316bc4b6f60b", "11267d14d5e0b2bb3ce099e8ef8449471cbcfc6939a4b348dea2c17356a1e8dd", "0505050505050505050505050505050505050505050505050505050505050505", "9a25429f3efd9b2f7de29e45128dd7b760f0508cd9582182abaf53dd76c0342ce41b4acf8e0a4824e41108c2026573114b60beecb174012a2bdbeecbaa00b506", "cff5835713be07fbe125bbf27a636add131c9081716c52fda875426d03982cd27ebd14b4227b839615fd0371bfdb8a30abddff74d795f3e27d1d47c629469b08"],
["bc27838de2a614cfba6c3e922a8f8424d9856f6816f3bc6102313b7faf5c3a0c", "d79be9ff229a2e35f5bca448e5eb4a8aa97fb418029125cfbaa78a91a382b094", "21a7150e194fedfef90c5d10e420858bca4004040eb681d14e75c4471351cb02", "26a2a1c49ce76afd3169d3d57a8fa109a38b3f6b236ed72ca8f6cb61d8f88700", "54bf1be72e6d41208b8aec1161d3ba59519fb93da01a55e678e27520066036c9", "0606060606060606060606060606060606060606060606060606060606060606", "bbe0235987c6e0ec686ddb8a657266ad605f7b75955bb0e802f88164a0ffe10c3b738504abb3d10562b927b3d29fe9b0d356286aeae5a2ac9e435f20791af800", "6de32b5415d77a905f0903902a117eda793c708e23a54245ba8a8d1fe0267523231565e05709aed96c221fb1f3d042043503ff338585a9bb989c9dd430d6d60b"],
["b20859b88ee3338a64954f8a9e8e9bf3e7115acf7c6e7f01432c5f7696d2d005", "a81fe6846dbe0a75c0f49b213232beadd1f9a564673d25b91ee0f17ce9caa363", "44d908e1c15e6bd9380a8b235ace02fac1c08794454bcdb4a6f48cea78a74a04", "f6e1619950429f639d9fdaadf85c9eeda9d2e163c2b94cb6e920ec600f7a1b0a", "0b68d50f913cd1b78b59921e1656d576b0eb171ed3870d39fec69441b34b2538", "0707070707070707070707070707070707070707070707070707070707070707", "446d677c4cfefd024b0aeb37a598cc2eb3d29b0294fe5bb6978e8b43d32b2e4f0956acd13e7e3a63a18fca32d6ab94b94ed033e9a10fc56928bc8a0f4f8e9500", "8de041e709db624ae2be1648b662239cdedf85ecd382268b0e3554bfa0f2081cd641bca04078aa89f7dd2540587ced6b458916b13e4b6a3630da697646dbbf09"],
["3216ae47e9f53e8a52796f24b62460776bd5f205a78e1595bc8efedc519d360b", "df74bf047961cc5cdac82890c76ec675bd4e89ead280c952d7c33eeaf2b5a66b", "c961f2dd93682adb93f5c05a73fdbc6d43c70e1b15e8d53e3f17a82494e3f209", "444ba94e1e50d294635e68b29501b53eae61cd1fbb3b84cd52f6729cfbcbab06", "0afbe406a891c3b8c310c215bc68a913de7cda06af29420056468d0c08855b28", "0808080808080808080808080808080808080808080808080808080808080808", "993580ef93349a1c9ee960ca3e7cd04c13b4a0ec4fd18053a19cff7763620965fbee96c1647230e373cb82b81d00039223d30b393ed172c9b3c563c611792205", "cc7aae1cedad2d7f6ce04c19c5a5b6b7a6a082785c540c14f6309b064d1ffa68172953fba0c2fcfb875ca7f7ea98ef55a0402fd529cfcddf996ca2b8ca89900a"],
["85836f9832b28de7c63613e2a6ed36fb1ab44fb0c13fa8798cd9cd3030d45503", "bfd5bc00c7c022aa8901ae083c12d54b82f0ddff8ed6db9a12d59a5ef6a5a2e0", "a2e8b9e16d6ff3ca6c53d4e88abbb99be7af7e3659631f1eae1eff23874d8e0c", "703f32a34113eae1b0791ffe9d8888f001299ae519686091914899efcc6c6601", "eb9297036cf517e15e9efe3975328db48ee7c2694e946db25f528788f6a1db14", "0909090909090909090909090909090909090909090909090909090909090909", "ce90ddf4af21aac4d94193ea16ff35cd9379204e7d8ff4c0f54117abb16b7c85a0b197cf13ab14d7c3ba68010ab8051225913bdbc39a51f6037afc6ceecb0b06", "a847742e9401cf2239213dc8813e9772e97af8d67adffeabc8e67f5d2d90d0b41bc25b05f94ace168aecc6583e18f7637492f37a9ca300202bc065abd380ec00"]
]

View File

@ -31,10 +31,10 @@
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
],
sig: [
0xea, 0xa0, 0x57, 0x47, 0x6b, 0x4a, 0xb4, 0x82, 0x28, 0x8b, 0x93, 0xdf, 0x8f, 0xe0, 0xc5, 0xce, 0x9d, 0x78, 0x83, 0x67, 0xf2, 0xbe, 0x55, 0x1b, 0x7f, 0x7a, 0x82, 0xa6, 0xdb, 0x36, 0x04, 0x68, 0xde, 0xb9, 0xa7, 0xb7, 0xaf, 0xaa, 0xdf, 0xec, 0xa6, 0xf4, 0x81, 0x19, 0x3d, 0xc6, 0x57, 0x57, 0x47, 0xf6, 0x0a, 0x1a, 0x8a, 0x48, 0xff, 0x0a, 0xd7, 0x0c, 0xf8, 0xcb, 0x8d, 0x52, 0x8e, 0x08
0xdc, 0xa3, 0xbb, 0x2c, 0xb8, 0xf0, 0x48, 0xcc, 0xab, 0x10, 0xae, 0xd7, 0x75, 0x46, 0xc1, 0xdb, 0xb1, 0x0c, 0xc4, 0xfb, 0x15, 0xab, 0x02, 0xac, 0xae, 0xf9, 0x44, 0xdd, 0xab, 0x8b, 0x67, 0x22, 0x54, 0x5f, 0xda, 0x4c, 0x62, 0x04, 0x6d, 0x69, 0xd9, 0x8f, 0x92, 0x2f, 0x4e, 0x8c, 0x21, 0x0b, 0xc4, 0x7b, 0x4f, 0xdd, 0xe0, 0xa1, 0x94, 0x71, 0x79, 0x80, 0x4c, 0x1a, 0xce, 0x56, 0x90, 0x05
],
rsig: [
0xd5, 0x6f, 0x0d, 0x91, 0xaf, 0x42, 0x4e, 0x1f, 0x1c, 0x7f, 0xb8, 0x6b, 0xa4, 0xee, 0xd1, 0x43, 0xcc, 0x16, 0x66, 0x0c, 0x5f, 0xe8, 0xd7, 0xdc, 0x0d, 0x28, 0x4b, 0xcf, 0x65, 0xa0, 0x89, 0xe9, 0x8b, 0x56, 0x1f, 0x9f, 0x20, 0x1a, 0x63, 0x3d, 0x70, 0x0c, 0xd3, 0x98, 0x1e, 0x8c, 0xac, 0x07, 0xb5, 0xa8, 0x7e, 0xfa, 0x61, 0x86, 0x06, 0x2d, 0xd8, 0xe5, 0xd6, 0x32, 0x5e, 0x7b, 0x82, 0x02
0x70, 0xc2, 0x84, 0x50, 0x4e, 0x90, 0xf0, 0x00, 0x8e, 0x8e, 0xd2, 0x20, 0x8f, 0x49, 0x69, 0x72, 0x7a, 0x41, 0x5e, 0xc3, 0x10, 0x2c, 0x29, 0x9e, 0x39, 0x8b, 0x6c, 0x16, 0x57, 0x2b, 0xd9, 0x64, 0x3e, 0xe1, 0x01, 0x17, 0x66, 0x68, 0x1e, 0x40, 0x6e, 0xe6, 0xbe, 0xe3, 0xd0, 0x3e, 0xe8, 0xf2, 0x71, 0x76, 0xe3, 0x2f, 0xba, 0xbd, 0xde, 0xd2, 0x0b, 0x0d, 0x17, 0x86, 0xa4, 0xee, 0x18, 0x01
],
},
TestVector {
@ -57,10 +57,10 @@
0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01, 0x01
],
sig: [
0x22, 0x35, 0x54, 0x94, 0xa8, 0x31, 0x6a, 0xb1, 0x34, 0x73, 0xf5, 0x5e, 0x62, 0x66, 0xb2, 0xfb, 0x41, 0x97, 0x31, 0x5e, 0xac, 0x62, 0xf8, 0x2c, 0xc7, 0x3d, 0xca, 0xca, 0x19, 0x90, 0x90, 0xf1, 0x5b, 0xe1, 0x98, 0xce, 0x7d, 0x3f, 0x9f, 0xc8, 0xff, 0xf5, 0x50, 0xe1, 0x08, 0x81, 0xec, 0x49, 0xff, 0x27, 0x36, 0x9e, 0x7d, 0x4f, 0xd9, 0x64, 0x01, 0x53, 0x49, 0x2a, 0x0a, 0x06, 0x25, 0x08
0xb5, 0xa1, 0xf3, 0x2d, 0x3d, 0x50, 0xfc, 0x73, 0x8b, 0x5c, 0x3b, 0x4e, 0x99, 0x60, 0x72, 0x9c, 0xe4, 0x31, 0x6b, 0xa7, 0x72, 0x1a, 0x12, 0x68, 0x66, 0x04, 0xfe, 0xba, 0x6b, 0xd7, 0x48, 0x45, 0x00, 0x70, 0xcb, 0x92, 0x24, 0x06, 0xfd, 0xfc, 0x5d, 0x60, 0xde, 0xa9, 0xbe, 0x3a, 0x52, 0x6a, 0x16, 0xcf, 0xeb, 0x87, 0x77, 0x79, 0xfb, 0x78, 0x2d, 0x5d, 0x41, 0x39, 0x5b, 0x45, 0x5f, 0x04
],
rsig: [
0xf4, 0xb8, 0x94, 0xba, 0x84, 0xce, 0x1e, 0xc3, 0x8a, 0x63, 0x15, 0x2f, 0xc4, 0x09, 0xf9, 0x47, 0xd6, 0x1a, 0xbb, 0x1f, 0x48, 0x91, 0x63, 0x6b, 0xc3, 0xee, 0x19, 0xef, 0x6d, 0x4b, 0x30, 0xc0, 0xfd, 0x22, 0x86, 0x6b, 0x84, 0xff, 0xbc, 0x7e, 0x2a, 0x78, 0xc4, 0x3f, 0x57, 0x83, 0xd2, 0xd2, 0xea, 0xd0, 0x78, 0x59, 0x55, 0x03, 0x74, 0x43, 0xc2, 0xf4, 0xd5, 0x2f, 0x78, 0x5e, 0xee, 0x07
0x5a, 0x5a, 0x20, 0xd2, 0x00, 0xef, 0xdd, 0xd4, 0x98, 0xdf, 0xae, 0x2a, 0x9e, 0xf8, 0xcf, 0x01, 0x28, 0x1a, 0x89, 0x19, 0x01, 0x8a, 0x82, 0x4c, 0xc7, 0xa4, 0x98, 0x3b, 0x9a, 0x0d, 0x4a, 0x06, 0xff, 0x17, 0x20, 0x79, 0xe0, 0x13, 0xd4, 0x2a, 0x2a, 0x3a, 0x88, 0xa6, 0x52, 0x0c, 0x86, 0xfc, 0xe3, 0xb9, 0x8e, 0x1e, 0xfa, 0xa3, 0x25, 0x83, 0x2a, 0x6a, 0x56, 0x58, 0xd8, 0xdd, 0x7c, 0x0a
],
},
TestVector {
@ -83,10 +83,10 @@
0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02, 0x02
],
sig: [
0xdd, 0x65, 0x21, 0x01, 0x4d, 0xff, 0x70, 0x6e, 0x3a, 0x38, 0x52, 0x7a, 0x86, 0xb6, 0xc1, 0x6e, 0x94, 0x14, 0x80, 0xe7, 0x33, 0xef, 0xf7, 0x9e, 0xbe, 0x0c, 0x43, 0x03, 0x79, 0xd7, 0x57, 0x04, 0x9d, 0xb7, 0x90, 0xcd, 0x5e, 0x14, 0x44, 0x7c, 0x38, 0x6f, 0x5f, 0xcb, 0x41, 0x9f, 0x27, 0xc4, 0x41, 0x3f, 0x35, 0x88, 0xfa, 0x21, 0x42, 0xd2, 0xcf, 0xba, 0xed, 0x08, 0x2c, 0xc6, 0xdb, 0x07
0x1f, 0x3e, 0x8a, 0x94, 0x31, 0x0c, 0x20, 0x71, 0xa7, 0x0f, 0x9d, 0xf5, 0xe7, 0x9a, 0xa9, 0xe8, 0x48, 0x5d, 0xec, 0xcb, 0x17, 0x8b, 0xdf, 0xf9, 0x80, 0x5f, 0xcb, 0xe6, 0xf7, 0xd5, 0x51, 0xee, 0xe3, 0xc3, 0x54, 0x2c, 0xa7, 0x5c, 0x9d, 0x8d, 0x4a, 0xdc, 0x54, 0xd7, 0x2c, 0x3d, 0xbe, 0x28, 0x62, 0x6d, 0x20, 0x78, 0x5b, 0xb7, 0xf5, 0x88, 0xc1, 0xa5, 0x82, 0xb8, 0x93, 0xdb, 0xb6, 0x01
],
rsig: [
0xd8, 0x94, 0x45, 0xcb, 0x9b, 0xd1, 0x03, 0x35, 0x69, 0x23, 0x1d, 0xd6, 0x28, 0xaa, 0x62, 0x81, 0x09, 0xfe, 0x93, 0x50, 0x2b, 0xf2, 0x2f, 0x9a, 0x5f, 0x37, 0xb1, 0x4e, 0x51, 0x7f, 0x9a, 0x20, 0x54, 0xae, 0xe3, 0xc8, 0x1b, 0x60, 0xb3, 0xf0, 0x55, 0x1e, 0x32, 0xf7, 0x93, 0x5a, 0xbc, 0x2f, 0x37, 0xb9, 0x9a, 0xb3, 0xec, 0x99, 0x68, 0x02, 0xef, 0xd6, 0x50, 0x69, 0xe1, 0x28, 0x12, 0x08
0xd1, 0x36, 0x21, 0x4c, 0x5d, 0x52, 0x8e, 0xa3, 0xd4, 0xcb, 0x7b, 0x63, 0x1a, 0x6b, 0xb0, 0x36, 0x06, 0x49, 0x73, 0xa1, 0x08, 0xb7, 0x33, 0xa5, 0xe3, 0xa4, 0x52, 0xab, 0x52, 0xa6, 0x59, 0xe5, 0x67, 0xcb, 0x55, 0xd2, 0x64, 0x4e, 0x74, 0xb6, 0xe8, 0x42, 0x6f, 0x2a, 0x7d, 0xd2, 0xa0, 0x4d, 0x2d, 0xda, 0x49, 0x35, 0xcc, 0x38, 0x20, 0xb7, 0x7a, 0x9c, 0x1a, 0xb6, 0x19, 0x86, 0x3c, 0x05
],
},
TestVector {
@ -109,10 +109,10 @@
0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03, 0x03
],
sig: [
0x72, 0x79, 0xa7, 0x5c, 0x01, 0x36, 0x75, 0xb3, 0x29, 0x84, 0xe5, 0xc7, 0x3a, 0x98, 0x91, 0xeb, 0xf0, 0xb2, 0x29, 0xb1, 0x6e, 0x62, 0x35, 0xba, 0x36, 0xdf, 0xa1, 0xb5, 0xa1, 0x0c, 0x5e, 0x44, 0x57, 0x81, 0x91, 0x89, 0x7c, 0x06, 0xb8, 0x52, 0x4a, 0x26, 0x74, 0xaa, 0x7a, 0x0c, 0x8c, 0x23, 0x5f, 0x52, 0xd3, 0x3a, 0xc9, 0x2c, 0x70, 0x56, 0xb2, 0xbe, 0x95, 0x3c, 0x3f, 0xaa, 0x3d, 0x07
0x12, 0xc7, 0x8d, 0xdd, 0x20, 0xd3, 0x0a, 0x61, 0xf8, 0x93, 0x0c, 0x6f, 0xe0, 0x85, 0x0f, 0xd1, 0x12, 0xbb, 0x7b, 0xe8, 0x8b, 0x12, 0x38, 0xea, 0x33, 0xd6, 0xbe, 0xf8, 0x81, 0xc1, 0x02, 0xd1, 0x04, 0xaa, 0x36, 0x54, 0x4a, 0x78, 0x47, 0x1c, 0x9e, 0x28, 0x42, 0xe6, 0xfd, 0x42, 0x55, 0x83, 0x46, 0xcf, 0xf4, 0x31, 0x27, 0x03, 0x26, 0x66, 0xeb, 0x11, 0x6f, 0x44, 0x2a, 0x28, 0x48, 0x0c
],
rsig: [
0xaa, 0xd4, 0x82, 0x8c, 0xb3, 0x42, 0xcf, 0x09, 0xb0, 0x0e, 0x30, 0x2c, 0xbb, 0xe7, 0xcc, 0x3e, 0x95, 0xfe, 0x1f, 0xf8, 0x28, 0x74, 0x8e, 0x5f, 0x5b, 0xc6, 0x9c, 0xbf, 0xde, 0x6e, 0x27, 0x22, 0xd7, 0x64, 0x35, 0x68, 0x7e, 0x85, 0x0c, 0xd3, 0x07, 0xa9, 0xc1, 0x82, 0xec, 0x10, 0xe6, 0x88, 0x1d, 0xd6, 0x5e, 0xed, 0xc1, 0x1f, 0xa7, 0xb4, 0x6d, 0xe3, 0xa7, 0x19, 0x59, 0xce, 0xc0, 0x02
0x01, 0xba, 0xaa, 0x26, 0x27, 0x4c, 0x14, 0x9a, 0xcf, 0x12, 0xe1, 0xcc, 0xf5, 0x50, 0x7d, 0x56, 0x79, 0x04, 0x82, 0xf0, 0x67, 0xe5, 0xc9, 0x2b, 0x32, 0x19, 0xad, 0x6b, 0xf9, 0x11, 0x18, 0xcc, 0x3f, 0xce, 0x8d, 0x2a, 0x23, 0x19, 0x8a, 0x3b, 0x29, 0x0a, 0x7b, 0xf6, 0x8c, 0x2a, 0xc0, 0x7b, 0x5d, 0x90, 0x62, 0xb9, 0xf8, 0x68, 0x66, 0x2b, 0xb2, 0x52, 0x49, 0x12, 0xd4, 0x85, 0x6e, 0x0c
],
},
TestVector {
@ -135,10 +135,10 @@
0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04, 0x04
],
sig: [
0x51, 0x23, 0xb3, 0x1f, 0x84, 0xaf, 0x0c, 0x35, 0x5e, 0x13, 0xe7, 0x8a, 0x64, 0xd7, 0xa3, 0xcd, 0xfd, 0x6b, 0xdf, 0xfd, 0xc7, 0x33, 0x38, 0xd9, 0x31, 0x7f, 0x73, 0x43, 0x91, 0xa5, 0x5a, 0xe6, 0x25, 0x8f, 0x69, 0x80, 0xb9, 0xc7, 0xd1, 0x90, 0xcf, 0xa3, 0x65, 0x81, 0xa9, 0xa4, 0x7a, 0x86, 0x3f, 0xd3, 0xbf, 0x76, 0x59, 0x42, 0x22, 0x95, 0xb7, 0x5f, 0xd1, 0x22, 0xc3, 0xdd, 0x8a, 0x05
0x77, 0x4a, 0xc4, 0x67, 0x3f, 0x09, 0xf3, 0xac, 0x57, 0x89, 0xb2, 0x86, 0xb5, 0xee, 0xcb, 0xed, 0xb2, 0x57, 0x23, 0x4e, 0x8c, 0xdf, 0xd9, 0x3f, 0x02, 0x89, 0x09, 0x78, 0xa6, 0xbb, 0xa6, 0x11, 0x69, 0xed, 0x48, 0xf9, 0xe1, 0xc9, 0xfd, 0x13, 0x19, 0xbd, 0x33, 0x0d, 0x2c, 0xf5, 0xb4, 0x91, 0x01, 0x0d, 0x69, 0xb0, 0x43, 0xf4, 0x64, 0x8b, 0xff, 0x55, 0x41, 0x62, 0xc6, 0xa6, 0xdc, 0x09
],
rsig: [
0x5b, 0xae, 0x25, 0x4f, 0xbd, 0xed, 0x60, 0x7a, 0x5c, 0x48, 0xb5, 0x30, 0x29, 0xf5, 0x9b, 0xa7, 0x06, 0x32, 0x48, 0x79, 0xaa, 0x18, 0xd9, 0xc4, 0x73, 0x19, 0x00, 0x4b, 0xe0, 0x2c, 0xec, 0xe0, 0xb8, 0xbb, 0x02, 0x4a, 0x7a, 0xab, 0xaa, 0x0a, 0x64, 0x0f, 0x3a, 0x54, 0xdc, 0xda, 0xf2, 0x11, 0x31, 0x46, 0x9a, 0x50, 0x06, 0xbe, 0x27, 0x81, 0xa5, 0x67, 0xff, 0xa6, 0x50, 0x3a, 0x35, 0x03
0x7c, 0x6c, 0x49, 0x8d, 0xe0, 0x01, 0x78, 0x61, 0x09, 0xb3, 0x03, 0xa4, 0xc5, 0xdc, 0xb7, 0xfd, 0x07, 0x57, 0x50, 0xa0, 0xb9, 0xdf, 0x5e, 0x1e, 0x2a, 0x8e, 0x75, 0x47, 0xb7, 0xed, 0x70, 0xcc, 0x0b, 0x56, 0xa5, 0xbf, 0xa9, 0x65, 0x78, 0x43, 0xef, 0xd8, 0x9c, 0x66, 0xa8, 0x4f, 0x41, 0xd2, 0xb1, 0xb5, 0x07, 0x51, 0x19, 0x6b, 0x1e, 0x8c, 0x0c, 0x44, 0x98, 0x60, 0x06, 0x96, 0xa4, 0x04
],
},
TestVector {
@ -161,10 +161,10 @@
0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05, 0x05
],
sig: [
0xdc, 0x18, 0xc8, 0x8d, 0x96, 0x44, 0x42, 0x40, 0x6d, 0x65, 0x0a, 0xa2, 0xff, 0xbd, 0x83, 0xd1, 0x13, 0xbf, 0x6a, 0x19, 0xda, 0x78, 0xf2, 0x66, 0x5b, 0x29, 0x4f, 0xa5, 0xfa, 0x45, 0x0b, 0x92, 0x81, 0xa0, 0x7e, 0x32, 0x0c, 0x1a, 0xa3, 0x1d, 0x32, 0x44, 0x9e, 0x00, 0xc5, 0xc3, 0x2d, 0xb2, 0xf4, 0x13, 0xdf, 0x0b, 0x63, 0xd0, 0x72, 0x8f, 0xa4, 0x09, 0x41, 0xa8, 0xda, 0x02, 0x4f, 0x01
0x9a, 0x25, 0x42, 0x9f, 0x3e, 0xfd, 0x9b, 0x2f, 0x7d, 0xe2, 0x9e, 0x45, 0x12, 0x8d, 0xd7, 0xb7, 0x60, 0xf0, 0x50, 0x8c, 0xd9, 0x58, 0x21, 0x82, 0xab, 0xaf, 0x53, 0xdd, 0x76, 0xc0, 0x34, 0x2c, 0xe4, 0x1b, 0x4a, 0xcf, 0x8e, 0x0a, 0x48, 0x24, 0xe4, 0x11, 0x08, 0xc2, 0x02, 0x65, 0x73, 0x11, 0x4b, 0x60, 0xbe, 0xec, 0xb1, 0x74, 0x01, 0x2a, 0x2b, 0xdb, 0xee, 0xcb, 0xaa, 0x00, 0xb5, 0x06
],
rsig: [
0x59, 0xe2, 0xe8, 0x18, 0x76, 0x6c, 0x50, 0xfc, 0x8f, 0x38, 0x40, 0xb2, 0x72, 0xaf, 0x9a, 0xd9, 0x47, 0x56, 0xc8, 0x41, 0x32, 0x95, 0xfc, 0x79, 0x5f, 0xaf, 0xbc, 0xc0, 0x71, 0x8e, 0x6c, 0x08, 0x16, 0x9a, 0x00, 0xd5, 0x83, 0x02, 0x77, 0x2a, 0x28, 0x28, 0x43, 0xe8, 0x88, 0xd9, 0x81, 0xfa, 0x04, 0x79, 0x5d, 0x01, 0x4c, 0xf9, 0xc8, 0xcd, 0xb9, 0x07, 0xff, 0x1b, 0x43, 0x0d, 0x92, 0x00
0xcf, 0xf5, 0x83, 0x57, 0x13, 0xbe, 0x07, 0xfb, 0xe1, 0x25, 0xbb, 0xf2, 0x7a, 0x63, 0x6a, 0xdd, 0x13, 0x1c, 0x90, 0x81, 0x71, 0x6c, 0x52, 0xfd, 0xa8, 0x75, 0x42, 0x6d, 0x03, 0x98, 0x2c, 0xd2, 0x7e, 0xbd, 0x14, 0xb4, 0x22, 0x7b, 0x83, 0x96, 0x15, 0xfd, 0x03, 0x71, 0xbf, 0xdb, 0x8a, 0x30, 0xab, 0xdd, 0xff, 0x74, 0xd7, 0x95, 0xf3, 0xe2, 0x7d, 0x1d, 0x47, 0xc6, 0x29, 0x46, 0x9b, 0x08
],
},
TestVector {
@ -187,10 +187,10 @@
0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06, 0x06
],
sig: [
0x9a, 0xf6, 0xf2, 0x80, 0x0f, 0x4b, 0x80, 0xf7, 0x93, 0xbe, 0x64, 0x8a, 0x43, 0x9f, 0x86, 0xe5, 0x7d, 0xa1, 0xb9, 0x19, 0x99, 0x9e, 0x41, 0x91, 0x09, 0x99, 0xd4, 0x2e, 0xd0, 0xf3, 0x89, 0x6d, 0xb7, 0x6e, 0x06, 0x38, 0x8b, 0x27, 0x2c, 0x99, 0x85, 0x8b, 0x55, 0x04, 0xd0, 0x2e, 0xc6, 0xb4, 0xd5, 0x25, 0xb8, 0x71, 0x38, 0x10, 0x50, 0x5f, 0x4f, 0xc0, 0x31, 0x08, 0x3a, 0x14, 0xbf, 0x09
0xbb, 0xe0, 0x23, 0x59, 0x87, 0xc6, 0xe0, 0xec, 0x68, 0x6d, 0xdb, 0x8a, 0x65, 0x72, 0x66, 0xad, 0x60, 0x5f, 0x7b, 0x75, 0x95, 0x5b, 0xb0, 0xe8, 0x02, 0xf8, 0x81, 0x64, 0xa0, 0xff, 0xe1, 0x0c, 0x3b, 0x73, 0x85, 0x04, 0xab, 0xb3, 0xd1, 0x05, 0x62, 0xb9, 0x27, 0xb3, 0xd2, 0x9f, 0xe9, 0xb0, 0xd3, 0x56, 0x28, 0x6a, 0xea, 0xe5, 0xa2, 0xac, 0x9e, 0x43, 0x5f, 0x20, 0x79, 0x1a, 0xf8, 0x00
],
rsig: [
0x3f, 0x7d, 0x50, 0x71, 0xb8, 0x76, 0x17, 0x49, 0x05, 0x71, 0xa8, 0xbe, 0x91, 0x74, 0x9e, 0x69, 0xf6, 0xbc, 0xba, 0x5a, 0xb6, 0x26, 0xe4, 0x2f, 0xf9, 0x2d, 0x0d, 0x7d, 0xab, 0x73, 0xf3, 0x03, 0x61, 0xe5, 0xa2, 0x24, 0x99, 0x8e, 0x1f, 0x5e, 0xa1, 0xe5, 0xf8, 0x68, 0x9a, 0x06, 0xa2, 0x77, 0x48, 0xbf, 0x74, 0x19, 0x63, 0xef, 0x51, 0x33, 0x22, 0xf4, 0xa1, 0xba, 0x99, 0xaa, 0x36, 0x03
0x6d, 0xe3, 0x2b, 0x54, 0x15, 0xd7, 0x7a, 0x90, 0x5f, 0x09, 0x03, 0x90, 0x2a, 0x11, 0x7e, 0xda, 0x79, 0x3c, 0x70, 0x8e, 0x23, 0xa5, 0x42, 0x45, 0xba, 0x8a, 0x8d, 0x1f, 0xe0, 0x26, 0x75, 0x23, 0x23, 0x15, 0x65, 0xe0, 0x57, 0x09, 0xae, 0xd9, 0x6c, 0x22, 0x1f, 0xb1, 0xf3, 0xd0, 0x42, 0x04, 0x35, 0x03, 0xff, 0x33, 0x85, 0x85, 0xa9, 0xbb, 0x98, 0x9c, 0x9d, 0xd4, 0x30, 0xd6, 0xd6, 0x0b
],
},
TestVector {
@ -213,10 +213,10 @@
0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07, 0x07
],
sig: [
0x64, 0x59, 0x67, 0x6a, 0x94, 0x16, 0x34, 0xec, 0xb6, 0x1e, 0x59, 0xb7, 0x9a, 0x98, 0xab, 0xe5, 0x87, 0x6f, 0x35, 0x6f, 0x72, 0x8a, 0xa0, 0x9e, 0x0c, 0xca, 0x9e, 0xfe, 0x05, 0x76, 0x1a, 0x33, 0x09, 0xaa, 0x88, 0xb2, 0xfa, 0x0e, 0xe2, 0xd0, 0x4c, 0x1c, 0x46, 0xe9, 0xf2, 0xa0, 0x48, 0xd5, 0x9d, 0x55, 0x65, 0xaf, 0xa6, 0xc3, 0xf1, 0x5b, 0xce, 0x70, 0x8d, 0xaa, 0xab, 0x7b, 0x34, 0x0e
0x44, 0x6d, 0x67, 0x7c, 0x4c, 0xfe, 0xfd, 0x02, 0x4b, 0x0a, 0xeb, 0x37, 0xa5, 0x98, 0xcc, 0x2e, 0xb3, 0xd2, 0x9b, 0x02, 0x94, 0xfe, 0x5b, 0xb6, 0x97, 0x8e, 0x8b, 0x43, 0xd3, 0x2b, 0x2e, 0x4f, 0x09, 0x56, 0xac, 0xd1, 0x3e, 0x7e, 0x3a, 0x63, 0xa1, 0x8f, 0xca, 0x32, 0xd6, 0xab, 0x94, 0xb9, 0x4e, 0xd0, 0x33, 0xe9, 0xa1, 0x0f, 0xc5, 0x69, 0x28, 0xbc, 0x8a, 0x0f, 0x4f, 0x8e, 0x95, 0x00
],
rsig: [
0xc9, 0x66, 0x84, 0xec, 0x7e, 0xa6, 0x0b, 0xde, 0x87, 0x88, 0x22, 0xdd, 0xca, 0xf6, 0xb8, 0xb0, 0xbd, 0x31, 0x98, 0x51, 0x54, 0xdf, 0x9a, 0xd4, 0xf6, 0x90, 0x7d, 0xf8, 0xfe, 0xd9, 0x5c, 0x1d, 0x84, 0xfe, 0x67, 0xe6, 0x78, 0x75, 0xa5, 0x39, 0x55, 0x0e, 0xb2, 0x51, 0x4f, 0x19, 0x3b, 0x8e, 0xd4, 0x57, 0x25, 0x6c, 0x8d, 0x30, 0x28, 0x1d, 0x6f, 0x8b, 0xb9, 0x54, 0x49, 0x24, 0xca, 0x0c
0x8d, 0xe0, 0x41, 0xe7, 0x09, 0xdb, 0x62, 0x4a, 0xe2, 0xbe, 0x16, 0x48, 0xb6, 0x62, 0x23, 0x9c, 0xde, 0xdf, 0x85, 0xec, 0xd3, 0x82, 0x26, 0x8b, 0x0e, 0x35, 0x54, 0xbf, 0xa0, 0xf2, 0x08, 0x1c, 0xd6, 0x41, 0xbc, 0xa0, 0x40, 0x78, 0xaa, 0x89, 0xf7, 0xdd, 0x25, 0x40, 0x58, 0x7c, 0xed, 0x6b, 0x45, 0x89, 0x16, 0xb1, 0x3e, 0x4b, 0x6a, 0x36, 0x30, 0xda, 0x69, 0x76, 0x46, 0xdb, 0xbf, 0x09
],
},
TestVector {
@ -239,10 +239,10 @@
0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08, 0x08
],
sig: [
0x24, 0x93, 0x2c, 0x1f, 0xaa, 0x01, 0x63, 0xca, 0x9a, 0x7f, 0xcd, 0xe4, 0x76, 0x11, 0x29, 0xd2, 0xe5, 0xe9, 0x9c, 0xf5, 0xef, 0xa2, 0x5d, 0x27, 0x04, 0x58, 0x8e, 0x1c, 0x75, 0x67, 0x7b, 0x5e, 0xeb, 0xe4, 0x55, 0x04, 0x8d, 0x7c, 0xe1, 0xb0, 0xd2, 0x01, 0x27, 0x53, 0xf7, 0x1b, 0x27, 0x25, 0x01, 0x2e, 0xe1, 0x85, 0x49, 0x28, 0x73, 0x18, 0xf9, 0xcd, 0x73, 0xf0, 0x7f, 0x0f, 0xb5, 0x02
0x99, 0x35, 0x80, 0xef, 0x93, 0x34, 0x9a, 0x1c, 0x9e, 0xe9, 0x60, 0xca, 0x3e, 0x7c, 0xd0, 0x4c, 0x13, 0xb4, 0xa0, 0xec, 0x4f, 0xd1, 0x80, 0x53, 0xa1, 0x9c, 0xff, 0x77, 0x63, 0x62, 0x09, 0x65, 0xfb, 0xee, 0x96, 0xc1, 0x64, 0x72, 0x30, 0xe3, 0x73, 0xcb, 0x82, 0xb8, 0x1d, 0x00, 0x03, 0x92, 0x23, 0xd3, 0x0b, 0x39, 0x3e, 0xd1, 0x72, 0xc9, 0xb3, 0xc5, 0x63, 0xc6, 0x11, 0x79, 0x22, 0x05
],
rsig: [
0xf7, 0xfa, 0x26, 0xca, 0x22, 0xf3, 0x86, 0xc4, 0x3c, 0x19, 0x1a, 0x0b, 0x3e, 0xa6, 0x57, 0x7e, 0x8e, 0xea, 0xa3, 0xf3, 0x6b, 0x9b, 0xd1, 0xa3, 0xac, 0x3d, 0xf6, 0xf8, 0x83, 0xa3, 0xff, 0xdb, 0x31, 0x32, 0x0b, 0xde, 0x62, 0x7f, 0xf4, 0x6f, 0xc2, 0x26, 0x4a, 0x32, 0x63, 0xb9, 0xab, 0x67, 0x12, 0x3b, 0xa5, 0xe1, 0x08, 0x43, 0x20, 0xd9, 0x10, 0xb3, 0x94, 0xef, 0x8c, 0x65, 0xba, 0x09
0xcc, 0x7a, 0xae, 0x1c, 0xed, 0xad, 0x2d, 0x7f, 0x6c, 0xe0, 0x4c, 0x19, 0xc5, 0xa5, 0xb6, 0xb7, 0xa6, 0xa0, 0x82, 0x78, 0x5c, 0x54, 0x0c, 0x14, 0xf6, 0x30, 0x9b, 0x06, 0x4d, 0x1f, 0xfa, 0x68, 0x17, 0x29, 0x53, 0xfb, 0xa0, 0xc2, 0xfc, 0xfb, 0x87, 0x5c, 0xa7, 0xf7, 0xea, 0x98, 0xef, 0x55, 0xa0, 0x40, 0x2f, 0xd5, 0x29, 0xcf, 0xcd, 0xdf, 0x99, 0x6c, 0xa2, 0xb8, 0xca, 0x89, 0x90, 0x0a
],
},
TestVector {
@ -265,10 +265,10 @@
0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09, 0x09
],
sig: [
0x64, 0xab, 0xd1, 0x25, 0xbf, 0xc4, 0xc6, 0x54, 0xfa, 0xf2, 0xb6, 0xdd, 0x75, 0x3e, 0xc6, 0x90, 0x22, 0x4d, 0xbc, 0xab, 0x8c, 0xd6, 0x32, 0xdd, 0x59, 0x3c, 0x91, 0xce, 0x3a, 0xb0, 0xbc, 0xad, 0xca, 0x92, 0x76, 0x34, 0x02, 0x1c, 0x31, 0x47, 0x6c, 0x78, 0xc5, 0xac, 0x7c, 0xcc, 0xab, 0xbd, 0x6f, 0x92, 0x7d, 0xf2, 0x05, 0xea, 0xa7, 0x07, 0xcc, 0x00, 0xd4, 0x7d, 0x39, 0xf3, 0xe4, 0x0c
0xce, 0x90, 0xdd, 0xf4, 0xaf, 0x21, 0xaa, 0xc4, 0xd9, 0x41, 0x93, 0xea, 0x16, 0xff, 0x35, 0xcd, 0x93, 0x79, 0x20, 0x4e, 0x7d, 0x8f, 0xf4, 0xc0, 0xf5, 0x41, 0x17, 0xab, 0xb1, 0x6b, 0x7c, 0x85, 0xa0, 0xb1, 0x97, 0xcf, 0x13, 0xab, 0x14, 0xd7, 0xc3, 0xba, 0x68, 0x01, 0x0a, 0xb8, 0x05, 0x12, 0x25, 0x91, 0x3b, 0xdb, 0xc3, 0x9a, 0x51, 0xf6, 0x03, 0x7a, 0xfc, 0x6c, 0xee, 0xcb, 0x0b, 0x06
],
rsig: [
0xeb, 0x7a, 0x06, 0x5d, 0x75, 0xf8, 0x45, 0xdc, 0x09, 0x41, 0xb7, 0x09, 0xc0, 0xb1, 0x49, 0xea, 0xfd, 0x80, 0x5e, 0xa5, 0x8f, 0x38, 0x0b, 0x92, 0xb9, 0xd3, 0x10, 0x8a, 0x56, 0x1b, 0xda, 0x17, 0x85, 0xdf, 0x8f, 0x10, 0x1e, 0x0e, 0x14, 0x0f, 0xca, 0xee, 0x99, 0xb7, 0xdb, 0xb7, 0xdf, 0xbf, 0x7e, 0x61, 0xf3, 0xa1, 0x2f, 0x46, 0x09, 0x50, 0x69, 0xe0, 0x6e, 0x88, 0x96, 0xa9, 0xe4, 0x04
0xa8, 0x47, 0x74, 0x2e, 0x94, 0x01, 0xcf, 0x22, 0x39, 0x21, 0x3d, 0xc8, 0x81, 0x3e, 0x97, 0x72, 0xe9, 0x7a, 0xf8, 0xd6, 0x7a, 0xdf, 0xfe, 0xab, 0xc8, 0xe6, 0x7f, 0x5d, 0x2d, 0x90, 0xd0, 0xb4, 0x1b, 0xc2, 0x5b, 0x05, 0xf9, 0x4a, 0xce, 0x16, 0x8a, 0xec, 0xc6, 0x58, 0x3e, 0x18, 0xf7, 0x63, 0x74, 0x92, 0xf3, 0x7a, 0x9c, 0xa3, 0x00, 0x20, 0x2b, 0xc0, 0x65, 0xab, 0xd3, 0x80, 0xec, 0x00
],
},
];

View File

@ -1,14 +1,14 @@
[
["From https://github.com/zcash-hackworks/zcash-test-vectors/blob/master/sapling_signatures.py"],
["sk, vk, alpha, rsk, rvk, m, sig, rsig"],
["098e28a0d708be4eb98d5ac2af38c48e36281d98191ab2ee7a81115cea8de218", "0718d147f2c3f02b1546f9f8413f9b511fbb1dd6d534283ee20f323db053019b", "086cda6defb963da75b17963b3c217293e8598fc6d32edf487b1523227a1d1ff", "037d4e24618e728028d7992561c6a0b6ce459600b9859060319b55303b388760", "3651b409076be4d1ae4d50075b73dc4059ad9d0bc1656dee94b9e2eab6bcbac1", "0000000000000000000000000000000000000000000000000000000000000000", "eaa057476b4ab482288b93df8fe0c5ce9d788367f2be551b7f7a82a6db360468deb9a7b7afaadfeca6f481193dc6575747f60a1a8a48ff0ad70cf8cb8d528e08", "d56f0d91af424e1f1c7fb86ba4eed143cc16660c5fe8d7dc0d284bcf65a089e98b561f9f201a633d700cd3981e8cac07b5a87efa6186062dd8e5d6325e7b8202"],
["049c5d8d7c555e93480be99efbad116baf185cb377263bdaaf3d2761f9549605", "99c1c8808749543c9e13d3e0eb5383e18627bb032fa5feaa11e6e837b7c3f6fa", "03f01b681208615d8e99859f29286ad77e4b69ce4225f00ae100a88d20960bc3", "088c78f58e5dbff0d6a56f3e24d57c432d63c681b94c2be5903dcfef19eaa1c8", "00ee620e7007f0744d4d592017ba4afc5d5069a807f0918a75694073e7dc24d5", "0101010101010101010101010101010101010101010101010101010101010101", "22355494a8316ab13473f55e6266b2fb4197315eac62f82cc73dcaca199090f15be198ce7d3f9fc8fff550e10881ec49ff27369e7d4fd9640153492a0a062508", "f4b894ba84ce1ec38a63152fc409f947d61abb1f4891636bc3ee19ef6d4b30c0fd22866b84ffbc7e2a78c43f5783d2d2ead0785955037443c2f4d52f785eee07"],
["0c5212fd7e6d49427bf3a3de614aa81277b806127fef420e0f9dc751b5abe7ad", "21927302ec2d4024a7c3b9b390126cf0c41e55eb5e1a70259d832f7651a79e36", "0562caa6c2c11fd3a8018b426e9bbc168398c445acbb4ffc43e73ea629259281", "033728b9dbfab96d1d8df41fceb2292854e8a9c45fe2818782edf79907da4d77", "4d977aa245c83b35c211dab7c4cf92a7a06c3a70efd2d423d0aced466dad920d", "0202020202020202020202020202020202020202020202020202020202020202", "dd6521014dff706e3a38527a86b6c16e941480e733eff79ebe0c430379d757049db790cd5e14447c386f5fcb419f27c4413f3588fa2142d2cfbaed082cc6db07", "d89445cb9bd1033569231dd628aa628109fe93502bf22f9a5f37b14e517f9a2054aee3c81b60b3f0551e32f7935abc2f37b99ab3ec996802efd65069e1281208"],
["0d59b849e54d99fcbdfa35cb4a28b321a97f463f82b09ed075a6326d1faed2c9", "d87f69c8369f45f32c213b60847140580046863d5f822cdde49a365c6e312f2d", "06dfc6f4d359d7f262b933dd758acf14415a37d4d49e88474fc407110389bceb", "05bbca545373c2461a4c2ea7be7f473544715d808a871694f4d32b1f4c4162fd", "b50ed13f5af718c53ab1dfbe2fcef7a6320e3f30c2dcdb38f40be63b950e43f0", "0303030303030303030303030303030303030303030303030303030303030303", "7279a75c013675b32984e5c73a9891ebf0b229b16e6235ba36dfa1b5a10c5e44578191897c06b8524a2674aa7a0c8c235f52d33ac92c7056b2be953c3faa3d07", "aad4828cb342cf09b00e302cbbe7cc3e95fe1ff828748e5f5bc69cbfde6e2722d76435687e850cd307a9c182ec10e6881dd65eedc11fa7b46de3a71959cec002"],
["097df2428166b0d2c8383c10f4ecae4e920f979da177dc7fbbb8414586d2bc33", "16d6e4f35f8c86c7d56e6f05688a6d0a340eb9a294c5ba580c32f92ce6941774", "0d0eabb37ad0ed8b9ee9644c952d29b70e21e82873c7e9a1d41bf6fea525e77c", "080ee90b9703eeb560ba655c88e59d04f9c95f324877b59ebf3d29e5550176f8", "0a6f64c9cd19589f8dc4bbc55a2ba67859cd9012a8c7a3ced2cc0a9509ba6266", "0404040404040404040404040404040404040404040404040404040404040404", "5123b31f84af0c355e13e78a64d7a3cdfd6bdffdc73338d9317f734391a55ae6258f6980b9c7d190cfa36581a9a47a863fd3bf7659422295b75fd122c3dd8a05", "5bae254fbded607a5c48b53029f59ba706324879aa18d9c47319004be02cece0b8bb024a7aabaa0a640f3a54dcdaf21131469a5006be2781a567ffa6503a3503"],
["05d04e54cbdabb1a65dde040ab4a7c87f3b30f19c5f00e79b56777afd60635ca", "1fb559de8600ad030be4b4a9fa69afe9d925ca2ad5461b259134eac8b5cfb6ba", "0626686f9f571195bbfa64df6075ab6cca9fb50ede617dd30a76433f2087a3be", "0bf6b6c46b31ccb021d845200bc027f4be52c428a4518c4cbfddbaeef68dd988", "dde8a15673c1a2de48b3a43969fcbc1c474984efe899e03cbbb2e0d5147d2611", "0505050505050505050505050505050505050505050505050505050505050505", "dc18c88d964442406d650aa2ffbd83d113bf6a19da78f2665b294fa5fa450b9281a07e320c1aa31d32449e00c5c32db2f413df0b63d0728fa40941a8da024f01", "59e2e818766c50fc8f3840b272af9ad94756c8413295fc795fafbcc0718e6c08169a00d58302772a282843e888d981fa04795d014cf9c8cdb907ff1b430d9200"],
["0c3a5caf7f3b310261bcf316686f85d924848f2a923e6cbacf14a6e28d8327bc", "94b082a3918aa7bacf25910218b47fa98a4aebe548a4bcf5352e9a22ffe99bd7", "02cb511347c4754ed181b60e040440ca8b8520e4105d0cf9feed4f190e15a721", "0087f8d861cbf6a82cd76e236b3f8ba309a18f7ad5d36931fd6ae79cc4a1a226", "c93660062075e278e6551aa03db99f5159bad36111ec8a8b20416d2ee71bbf54", "0606060606060606060606060606060606060606060606060606060606060606", "9af6f2800f4b80f793be648a439f86e57da1b919999e41910999d42ed0f3896db76e06388b272c99858b5504d02ec6b4d525b8713810505f4fc031083a14bf09", "3f7d5071b87617490571a8be91749e69f6bcba5ab626e42ff92d0d7dab73f30361e5a224998e1f5ea1e5f8689a06a27748bf741963ef513322f4a1ba99aa3603"],
["05d0d296765f2c43017f6e7ccf5a11e7f39b8e9e8a4f95648a33e38eb85908b2", "63a3cae97cf1e01eb9253d6764a5f9d1adbe3232219bf4c0750abe6d84e61fa8", "044aa778ea8cf4a6b4cd4b459487c0c1fa02ce5a238b0a38d96b5ec1e108d944", "0a1b7a0f60ec20e9b64cb9c263e1d2a9ed9e5cf8adda9f9d639f42509961e1f6", "38254bb34194c6fe390d87d31e17ebb076d556161e92598bb7d13c910fd5680b", "0707070707070707070707070707070707070707070707070707070707070707", "6459676a941634ecb61e59b79a98abe5876f356f728aa09e0cca9efe05761a3309aa88b2fa0ee2d04c1c46e9f2a048d59d5565afa6c3f15bce708daaab7b340e", "c96684ec7ea60bde878822ddcaf6b8b0bd31985154df9ad4f6907df8fed95c1d84fe67e67875a539550eb2514f193b8ed457256c8d30281d6f8bb9544924ca0c"],
["0b369d51dcfe8ebc95158ea705f2d56b776024b6246f79528a3ef5e947ae1632", "6ba6b5f2ea3ec3d752c980d2ea894ebd75c66ec79028c8da5ccc617904bf74df", "09f2e39424a8173f3ed5e8151b0ec7436dbcfd735ac0f593db2a6893ddf261c9", "06abcbfb9c72f652cd843bbb1fcd61ae3eb50195b2685e6394d2501e4ea94b44", "285b85080c8d4656004229af06da7cde13a968bc15c210c3b8c391a806e4fb0a", "0808080808080808080808080808080808080808080808080808080808080808", "24932c1faa0163ca9a7fcde4761129d2e5e99cf5efa25d2704588e1c75677b5eebe455048d7ce1b0d2012753f71b2725012ee18549287318f9cd73f07f0fb502", "f7fa26ca22f386c43c191a0b3ea6577e8eeaa3f36b9bd1a3ac3df6f883a3ffdb31320bde627ff46fc2264a3263b9ab67123ba5e1084320d910b394ef8c65ba09"],
["0355d43030cdd98c79a83fc1b04fb41afb36eda6e21336c6e78db232986f8385", "e0a2a5f65e9ad5129adbd68effddf0824bd5123c08ae0189aa22c0c700bcd5bf", "0c8e4d8723ff1eae1e1f6359367eafe79bb9bb8ae8d4536ccaf36f6de1b9e8a2", "01666cccef99489191606819e59a2901f088889dfe1f79b0e1ea1341a3323f70", "14dba1f68887525fb26d944e69c2e78eb48d327539fe9e5ee117f56c039792eb", "0909090909090909090909090909090909090909090909090909090909090909", "64abd125bfc4c654faf2b6dd753ec690224dbcab8cd632dd593c91ce3ab0bcadca927634021c31476c78c5ac7cccabbd6f927df205eaa707cc00d47d39f3e40c", "eb7a065d75f845dc0941b709c0b149eafd805ea58f380b92b9d3108a561bda1785df8f101e0e140fcaee99b7dbb7dfbf7e61f3a12f46095069e06e8896a9e404"]
["098e28a0d708be4eb98d5ac2af38c48e36281d98191ab2ee7a81115cea8de218", "0718d147f2c3f02b1546f9f8413f9b511fbb1dd6d534283ee20f323db053019b", "086cda6defb963da75b17963b3c217293e8598fc6d32edf487b1523227a1d1ff", "037d4e24618e728028d7992561c6a0b6ce459600b9859060319b55303b388760", "3651b409076be4d1ae4d50075b73dc4059ad9d0bc1656dee94b9e2eab6bcbac1", "0000000000000000000000000000000000000000000000000000000000000000", "dca3bb2cb8f048ccab10aed77546c1dbb10cc4fb15ab02acaef944ddab8b6722545fda4c62046d69d98f922f4e8c210bc47b4fdde0a1947179804c1ace569005", "70c284504e90f0008e8ed2208f4969727a415ec3102c299e398b6c16572bd9643ee1011766681e406ee6bee3d03ee8f27176e32fbabdded20b0d1786a4ee1801"],
["049c5d8d7c555e93480be99efbad116baf185cb377263bdaaf3d2761f9549605", "99c1c8808749543c9e13d3e0eb5383e18627bb032fa5feaa11e6e837b7c3f6fa", "03f01b681208615d8e99859f29286ad77e4b69ce4225f00ae100a88d20960bc3", "088c78f58e5dbff0d6a56f3e24d57c432d63c681b94c2be5903dcfef19eaa1c8", "00ee620e7007f0744d4d592017ba4afc5d5069a807f0918a75694073e7dc24d5", "0101010101010101010101010101010101010101010101010101010101010101", "b5a1f32d3d50fc738b5c3b4e9960729ce4316ba7721a12686604feba6bd748450070cb922406fdfc5d60dea9be3a526a16cfeb877779fb782d5d41395b455f04", "5a5a20d200efddd498dfae2a9ef8cf01281a8919018a824cc7a4983b9a0d4a06ff172079e013d42a2a3a88a6520c86fce3b98e1efaa325832a6a5658d8dd7c0a"],
["0c5212fd7e6d49427bf3a3de614aa81277b806127fef420e0f9dc751b5abe7ad", "21927302ec2d4024a7c3b9b390126cf0c41e55eb5e1a70259d832f7651a79e36", "0562caa6c2c11fd3a8018b426e9bbc168398c445acbb4ffc43e73ea629259281", "033728b9dbfab96d1d8df41fceb2292854e8a9c45fe2818782edf79907da4d77", "4d977aa245c83b35c211dab7c4cf92a7a06c3a70efd2d423d0aced466dad920d", "0202020202020202020202020202020202020202020202020202020202020202", "1f3e8a94310c2071a70f9df5e79aa9e8485deccb178bdff9805fcbe6f7d551eee3c3542ca75c9d8d4adc54d72c3dbe28626d20785bb7f588c1a582b893dbb601", "d136214c5d528ea3d4cb7b631a6bb036064973a108b733a5e3a452ab52a659e567cb55d2644e74b6e8426f2a7dd2a04d2dda4935cc3820b77a9c1ab619863c05"],
["0d59b849e54d99fcbdfa35cb4a28b321a97f463f82b09ed075a6326d1faed2c9", "d87f69c8369f45f32c213b60847140580046863d5f822cdde49a365c6e312f2d", "06dfc6f4d359d7f262b933dd758acf14415a37d4d49e88474fc407110389bceb", "05bbca545373c2461a4c2ea7be7f473544715d808a871694f4d32b1f4c4162fd", "b50ed13f5af718c53ab1dfbe2fcef7a6320e3f30c2dcdb38f40be63b950e43f0", "0303030303030303030303030303030303030303030303030303030303030303", "12c78ddd20d30a61f8930c6fe0850fd112bb7be88b1238ea33d6bef881c102d104aa36544a78471c9e2842e6fd42558346cff43127032666eb116f442a28480c", "01baaa26274c149acf12e1ccf5507d56790482f067e5c92b3219ad6bf91118cc3fce8d2a23198a3b290a7bf68c2ac07b5d9062b9f868662bb2524912d4856e0c"],
["097df2428166b0d2c8383c10f4ecae4e920f979da177dc7fbbb8414586d2bc33", "16d6e4f35f8c86c7d56e6f05688a6d0a340eb9a294c5ba580c32f92ce6941774", "0d0eabb37ad0ed8b9ee9644c952d29b70e21e82873c7e9a1d41bf6fea525e77c", "080ee90b9703eeb560ba655c88e59d04f9c95f324877b59ebf3d29e5550176f8", "0a6f64c9cd19589f8dc4bbc55a2ba67859cd9012a8c7a3ced2cc0a9509ba6266", "0404040404040404040404040404040404040404040404040404040404040404", "774ac4673f09f3ac5789b286b5eecbedb257234e8cdfd93f02890978a6bba61169ed48f9e1c9fd1319bd330d2cf5b491010d69b043f4648bff554162c6a6dc09", "7c6c498de001786109b303a4c5dcb7fd075750a0b9df5e1e2a8e7547b7ed70cc0b56a5bfa9657843efd89c66a84f41d2b1b50751196b1e8c0c4498600696a404"],
["05d04e54cbdabb1a65dde040ab4a7c87f3b30f19c5f00e79b56777afd60635ca", "1fb559de8600ad030be4b4a9fa69afe9d925ca2ad5461b259134eac8b5cfb6ba", "0626686f9f571195bbfa64df6075ab6cca9fb50ede617dd30a76433f2087a3be", "0bf6b6c46b31ccb021d845200bc027f4be52c428a4518c4cbfddbaeef68dd988", "dde8a15673c1a2de48b3a43969fcbc1c474984efe899e03cbbb2e0d5147d2611", "0505050505050505050505050505050505050505050505050505050505050505", "9a25429f3efd9b2f7de29e45128dd7b760f0508cd9582182abaf53dd76c0342ce41b4acf8e0a4824e41108c2026573114b60beecb174012a2bdbeecbaa00b506", "cff5835713be07fbe125bbf27a636add131c9081716c52fda875426d03982cd27ebd14b4227b839615fd0371bfdb8a30abddff74d795f3e27d1d47c629469b08"],
["0c3a5caf7f3b310261bcf316686f85d924848f2a923e6cbacf14a6e28d8327bc", "94b082a3918aa7bacf25910218b47fa98a4aebe548a4bcf5352e9a22ffe99bd7", "02cb511347c4754ed181b60e040440ca8b8520e4105d0cf9feed4f190e15a721", "0087f8d861cbf6a82cd76e236b3f8ba309a18f7ad5d36931fd6ae79cc4a1a226", "c93660062075e278e6551aa03db99f5159bad36111ec8a8b20416d2ee71bbf54", "0606060606060606060606060606060606060606060606060606060606060606", "bbe0235987c6e0ec686ddb8a657266ad605f7b75955bb0e802f88164a0ffe10c3b738504abb3d10562b927b3d29fe9b0d356286aeae5a2ac9e435f20791af800", "6de32b5415d77a905f0903902a117eda793c708e23a54245ba8a8d1fe0267523231565e05709aed96c221fb1f3d042043503ff338585a9bb989c9dd430d6d60b"],
["05d0d296765f2c43017f6e7ccf5a11e7f39b8e9e8a4f95648a33e38eb85908b2", "63a3cae97cf1e01eb9253d6764a5f9d1adbe3232219bf4c0750abe6d84e61fa8", "044aa778ea8cf4a6b4cd4b459487c0c1fa02ce5a238b0a38d96b5ec1e108d944", "0a1b7a0f60ec20e9b64cb9c263e1d2a9ed9e5cf8adda9f9d639f42509961e1f6", "38254bb34194c6fe390d87d31e17ebb076d556161e92598bb7d13c910fd5680b", "0707070707070707070707070707070707070707070707070707070707070707", "446d677c4cfefd024b0aeb37a598cc2eb3d29b0294fe5bb6978e8b43d32b2e4f0956acd13e7e3a63a18fca32d6ab94b94ed033e9a10fc56928bc8a0f4f8e9500", "8de041e709db624ae2be1648b662239cdedf85ecd382268b0e3554bfa0f2081cd641bca04078aa89f7dd2540587ced6b458916b13e4b6a3630da697646dbbf09"],
["0b369d51dcfe8ebc95158ea705f2d56b776024b6246f79528a3ef5e947ae1632", "6ba6b5f2ea3ec3d752c980d2ea894ebd75c66ec79028c8da5ccc617904bf74df", "09f2e39424a8173f3ed5e8151b0ec7436dbcfd735ac0f593db2a6893ddf261c9", "06abcbfb9c72f652cd843bbb1fcd61ae3eb50195b2685e6394d2501e4ea94b44", "285b85080c8d4656004229af06da7cde13a968bc15c210c3b8c391a806e4fb0a", "0808080808080808080808080808080808080808080808080808080808080808", "993580ef93349a1c9ee960ca3e7cd04c13b4a0ec4fd18053a19cff7763620965fbee96c1647230e373cb82b81d00039223d30b393ed172c9b3c563c611792205", "cc7aae1cedad2d7f6ce04c19c5a5b6b7a6a082785c540c14f6309b064d1ffa68172953fba0c2fcfb875ca7f7ea98ef55a0402fd529cfcddf996ca2b8ca89900a"],
["0355d43030cdd98c79a83fc1b04fb41afb36eda6e21336c6e78db232986f8385", "e0a2a5f65e9ad5129adbd68effddf0824bd5123c08ae0189aa22c0c700bcd5bf", "0c8e4d8723ff1eae1e1f6359367eafe79bb9bb8ae8d4536ccaf36f6de1b9e8a2", "01666cccef99489191606819e59a2901f088889dfe1f79b0e1ea1341a3323f70", "14dba1f68887525fb26d944e69c2e78eb48d327539fe9e5ee117f56c039792eb", "0909090909090909090909090909090909090909090909090909090909090909", "ce90ddf4af21aac4d94193ea16ff35cd9379204e7d8ff4c0f54117abb16b7c85a0b197cf13ab14d7c3ba68010ab8051225913bdbc39a51f6037afc6ceecb0b06", "a847742e9401cf2239213dc8813e9772e97af8d67adffeabc8e67f5d2d90d0b41bc25b05f94ace168aecc6583e18f7637492f37a9ca300202bc065abd380ec00"]
]

View File

@ -50,10 +50,11 @@ class RedJubjub(object):
def sign(self, sk, M):
T = self._random((self.l_H + 128) // 8)
r = h_star(T + M)
vk_bar = bytes(self.derive_public(sk))
r = h_star(T + vk_bar + M)
R = self.P_g * r
Rbar = bytes(R)
S = r + h_star(Rbar + M) * sk
S = r + h_star(Rbar + vk_bar + M) * sk
Sbar = bytes(S) # TODO: bitlength(r_j)
return Rbar + Sbar
@ -62,7 +63,8 @@ class RedJubjub(object):
(Rbar, Sbar) = (sig[:mid], sig[mid:]) # TODO: bitlength(r_j)
R = Point.from_bytes(Rbar)
S = leos2ip(Sbar)
c = h_star(Rbar + M)
vk_bar = bytes(vk)
c = h_star(Rbar + vk_bar + M)
return R and S < r_j and self.P_g * Fr(S) == R + vk * c