diff --git a/draft-irtf-cfrg-voprf.md b/draft-irtf-cfrg-voprf.md index 336c892b..a6a45dde 100644 --- a/draft-irtf-cfrg-voprf.md +++ b/draft-irtf-cfrg-voprf.md @@ -342,7 +342,7 @@ All algorithms and procedures described in this document are laid out in a Python-like pseudocode. The data types `PrivateInput` and `PublicInput` are opaque byte strings of arbitrary length no larger than 2^13 octets. -String values such as "Context-" are ASCII string literals. +String values such as "Finalize" are ASCII string literals. The following terms are used throughout this document. @@ -1721,6 +1721,30 @@ Output = a88ab2bceba2c9c5a0ee0ee45636e65042b5f274af864f8c1560d32ecee 9 ~~~ +#### Test Vector 3, Batch Size 2 + +~~~ +Input = 00,5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a +Info = 7465737420696e666f +Blind = e79a642b20f4c9118febffaf6b6a31471fe7794aa77ced123f07e56cb8cf +7c01,0bb106c0e1aac79e92dd2d051e90efe4e2e093bc1e82b80e8cce6afa4f51980 +2 +BlindedElement = 3206271954cce85425971fddfebe14acad819b9753ffc171815 +7e54a5e56542f,847b21e32855892256a3eee10ea5c512d362b34de1ab278573cf91 +edfcb14a03 +EvaluationElement = 76d3282ac9aabc9b0133df89e680ab0d43f2946c224db25e +798abdf0ed1d255a,e8483fbacb3e62787a803dd6d688e4db26be5392f529f1dd6a7 +f06e2b28dc52c +Proof = f5b8d39897f12dd1f8fc927e2f7f563629b7b45f1e6b5eeb469c043d2143 +7907a0e9236beec240a04e0fb906a7d126a8cb40e22730106446c1fa3a40a5283406 +ProofRandomScalar = 668b3aab5207735beb86c5379228da260159dc24f7c5c248 +3a81aff8fbffcc0d +Output = 4d04eccb77a29bd8a00fb1e3f391e0601340c3dc874fc7bb16cfd92d961 +532d18b4edfffaec94457cb19111bca1ecd19e46124c6a5d29703d09df5e5ab521b2 +8,a88ab2bceba2c9c5a0ee0ee45636e65042b5f274af864f8c1560d32ecee4373c31 +907f237609d3f164beec32e3270588961c1d19cee467d2a3b0445ebdea2159 +~~~ + ## OPRF(decaf448, SHAKE-256) ### OPRF Mode @@ -1737,12 +1761,12 @@ skSm = 416f3b0f4d13ac19e6aacade4ecf8b7e9c55d808311be2bea0dae4f4c56d0 ~~~ Input = 00 -Blind = d3a425c41eac0e313a47e99d05df72c6e1d58e654a5ee9354b115060bca8 -7db7d73e00cbb8559f84cb7a221b235b0950a0ab553f40bcc304 -BlindedElement = 28791eab6c162e743fa0a9a36a2d23aa68674b2be1c32a68adf -c7e0ffc838ceb5275223e64306671c27a2091b7afd7ed79e42bed6bd2da78 -EvaluationElement = 089919a875f4d30c7222335df3692a6b81133a56889ec99c -08cfe494dd08095fe2fa1657d02a44ce4700100d74a0a7d10f67e85a009265c3 +Blind = d62851d4bc07947c858dc735e9e22aaf0576f161ab555182908dbd7947b1 +c988956fa73b17b373b72fd4e3c0264a26aa4cab20fd6193b933 +BlindedElement = d078a185d2d8a54b68d6df4e83640192d3659e18fec68d43e48 +02998d3c9fd819b32070caa78083c909d68daeb7fd420a73f931452a2b70d +EvaluationElement = 3452e46b6277b032627a7e5d22aa1b25459f8de90dda3137 +9ed490bb0078eeec05fc4265fafbb5252d4228f9f1f5453bbd391d6b8589f232 Output = b93d3ed18489c1236cc965d202254de35767ea673560d6c225cec0b30fe 3adc88fee63f8a78d127cd64c7077e1d3ac4a7cc761335c0bcdc12d6981ad8730285 8 @@ -1752,12 +1776,12 @@ Output = b93d3ed18489c1236cc965d202254de35767ea673560d6c225cec0b30fe ~~~ Input = 5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a -Blind = 87abe954011b7da62bb6599418ef90b5d4ea98cca1bcd65fa514f1894bcf -6a1c7cef33909b794fe6e69a642b20f4c9118febffaf9a5acc11 -BlindedElement = a2d6d32c73a6841e6caa2b3f6ffc7a803c86ad1fc82956dd82d -e050588a4f4c2089b6790139d5db09bb4a9cfc77b4419f250cabc6cce0238 -EvaluationElement = ce914519593d6e09f917f02e675c6ec1c7ba65d287a3347e -834585cf6d99008548f34f14bc318de6215964312ab02eeaa524d12dd8144264 +Blind = ac345e8d755997956ddd1f267a2d86175aeae5e1168932285a6f602b4b20 +a570a697452b3ddbb7d0e29363adebbcb5673294396b82931f37 +BlindedElement = 283f0fab2be6ac3a3c8eacfd504f3ef63f518892f7b000f1dcc +1ca2e773aba0fbee48b100886b90d5a08377cbf5ccf69801ae2c23e1adbf2 +EvaluationElement = ae30bab51a34c45a76d00034b29e1c5346fbe3718c386302 +8e47226456880a85a2e5118f274a8c260dae62fcec3cde8624405fc7cddbc867 Output = aaf99e5a044bbce915bf3ba381e25da62e4b2cea4cee2f47f3662940284 579c0f8e1e011062ba010ca4f2c67a8157481c9ae7a458ea035a89e1948bfc5b8323 b @@ -1779,18 +1803,18 @@ a3fd37508d093ecc645fa80a7f928c4313cfbd4654e8ea7de8f ~~~ Input = 00 -Blind = 20e7794aa77ced123f07e56cc27de60b0ab106c0e1aac79e92dd2d051e90 -efe4e2e093bc1e82b80e8cce6afa798ac214abffabac4a096005 -BlindedElement = a0a185b48d91dc0df1d6e5c9d22f8e1438c91fba744577a8f01 -b4d874aede303ac25318e6827464033544db2aa9e4ee130037c9b1c16f397 -EvaluationElement = b4aefe671dc177eca469727479f7a3e6218198df97ad87d5 -822a8237e61e68a49597c083ad566a3bd3d63d157930581975764d8226bb4f5c -Proof = bc0d7cf269b955793bc3d185264df51a22c209720253ff37a704f7d5d5cc -54fce087d76038f4e4cb07e638bd844fdb706ba4ba07d7219300da88e06d02f9ed39 -d5c91d0ebe3c9a2fb49174a1c54ea219a9b87f26d7781e5079dca25c4a4951cedcc9 -7151acc4a8d8d9a5d9a8d111af1e -ProofRandomScalar = da3e9faf0f2009d16c797646097d761e2b84e0df5d76ece5 -658b3aab5207735beb86c5379228da260159dc24f7c5c2483a81aff8f6ff991b +Blind = 4bdfc97a75132d92a1da241baff84fada3e7b12d5b712efcac9ba734d54c +2b24bff0ef6310404b5c05d60d7c258cea6500229ee015149f0f +BlindedElement = 1ceb0a3432ac6b583c31fa70b7c17ac86e0aa425e0593d04b58 +021670f725eee6664e6cd2041d90f157bc213a2aa4ed7929630b2d9898a76 +EvaluationElement = 3afaa02425294a4810766c68e9e4c3c507b109b9064ed56a +148a419371d5fb158f6ab5f0da62a6ba915bbe431097f5c71854821c1f10889d +Proof = f02f7ab2722508e343b5692078556e7ca9b2d63bf83dff902150b867775b +f375693cc6a0adf33178ba7e72d6179b36ed051065c93619752958746f0d52e2e3a9 +89d86df15f458847abdcc23976147b7b10c96452332aa03bfce1b89b7aeed080869d +7ce8c7acb7414e7dbfcda298b532 +ProofRandomScalar = 54534ad9db9f6df6ce515d1b8017923b65cada199e936a62 +3c8eb3bd08e9b3f6584a85e4ff26e9f869d30b6c7c6cc56fd94e306974fbcc3b Output = b558e37f6435a12fefded196936a4c1d0882bf4a115002920744ecb3128 43678f396f7d36711cf551750388ddf7a53a3aea7fd0ac60568cd2d4ead16a1ee106 f @@ -1800,18 +1824,18 @@ f ~~~ Input = 5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a -Blind = befcb571168f337dd52851d4bc07947c858dc735e9e22aaf0576f161ab55 -5182908dbd7947b1c988956fa73b17b373b72fd4e3c08992892a -BlindedElement = 6caa634ab200766b5132d8144b2e67f1d5f29573d42008be82c -870f184f7220479f5dd6b0b894b4c244afc050b6d3b5405cb18dc87393a8c -EvaluationElement = 1a6ea9611ecb4fb354adf935ba4d08b2ddc8b459459ca18a -2894af6964668f911c60d517286cef5397dc94b70f8785b15d342ddc411cb856 -Proof = f0cb5b7f238147016663ba096dfc1dd0c2eb3c83ecf2de1b5735aecaa6d5 -daa242074b50db33fea96d74b4ffc0f7d6ef3ecbaec1e4432612b220b5dd89ea8dd1 -2e7a3ab19a0fad9ca81916b94691af4eeea1b2ede3967424cf693ffb74cb67b7a043 -538e51d0bf8d41d7e8365baa0625 -ProofRandomScalar = 4dab20fd864de6ceab345e8d755997956ddd1f267a2d8617 -5aeae5e1168932285a6f602b4b20a570a697452b3ddbb7d0e29363ad3a6fed19 +Blind = beda1edc786e5fd0033feac1992c53a607d516a46251614940e76a2763b8 +0683e5b789398710bdbc774d9221dd33c509b4805fc26f0c8d0b +BlindedElement = 2e04b6883057a5b5ba020d077ae36dee76a07c2f3eb8cc55baf +dfb3da9c7405ffe50802f646ca3c3ef39d195c2d88ee56e73825c7cd2319a +EvaluationElement = 6270b2f73738aa846dca34d7b30b7c4f943e31d4d4fb35c5 +98f5d608cf25648b44553d43b158dc2707eda170dc439740c10d7b4355bf0f83 +Proof = f731f60aa18d508f07dd3b7851fe9f8cfe6f02c4ea2814cfe8af3203e493 +44041e6acf0f09fdffdc02d22728544b9bda8d0604e727f27a1efa16526f169191de +db35a1338bf399d8737d6d1638f6d4b895c0869b4194e66fb0dbb4b3e0437a2af0d7 +6dd8cfb0bf38c9de605dc5749603 +ProofRandomScalar = 00cc800042a0cff31f865698f8858efa75a1f0faef934317 +dd6a10bfbbb39f9f2d97dcd5ff4eae02980b08fc68da7b71d39399dc4eb0400a Output = eb14608be2f14c25b2c9fdd23690d293d0c6aaac501a3405b626b8699cf 34bb9dd4c2d7987b6391519b9480da453611509ba98098b3e79a35acd00f5e9d8abc e @@ -1821,24 +1845,24 @@ e ~~~ Input = 00,5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a -Blind = 01229ee057507c3e53534ad9db9f6df6ce515d1b8017923b65cada199e93 -6a623c8eb3bd08e9b3f6584a85e4ff26e9f869d30b6c1f5bf11b,da4e3069d3ed33e -f13a08c384d74f6dcaed32bb9448c02865efb17a32b82c7f06a9586c63b775932689 -cb8215043bf2952776afbc6d9ab26 -BlindedElement = 984d89dee8a5cc2b43102ad6bc29da93af93fb516a849497948 -4e510eaa1ff8745824013ec56517444e0ce6ca7e5eaa2ecba3f42b29afdc0,d88983 -a835d3ca60a07f27ca645fe35fd7d77328d416268e8675866ec92c9fc11731bcc135 -b9a77b77c6fa63a9042516f0e8febd5574ac4d -EvaluationElement = e8cf08dc59f2b7a3962ad26038ce35afb82cb856ca7e3ba1 -6c47ac251479321a08ac37932c832b12adf4533a02ef3a7016f601dc25ae4384,d82 -5c16dbe5c86570f6c5a48297546c1c1f8c6148a8580db27e7589d3ed5aaa299cbdb2 -60bb23bc8547f4be62ba63adb2e7f54bc75507e94 -Proof = 6565d0e87c344dbc3baa7db461d483efd8100ecc25733dd2f6b7f735c4d4 -a0f76388cb35dd5493a2bea09f2830e98fe033f8fb6ddcee4506cca98d54e0b543b0 -2655ae0fdb6840af85ca42b3d4f960a598628dc82e4455500c6300d26624dec86e07 -bf73dd9e80bae836ceb544cb8a18 -ProofRandomScalar = 4e278b9fbe31963bbdda1edc786e5fd0033feac1992c53a6 -07d516a46251614940e76a2763b80683e5b789398710bdbc774d9221f74c7102 +Blind = 89ae863bc6f3e8b59bbd1354548220e81cd0ffb6f9e4ec2173870ae684f8 +6b1c06e41ecdb9ef83429e58098b8f30a6b49d414ad5f941cf05,7b1f0b697d9efa2 +b60c984df38632f1096f2bf292478118d78e9edabbe9ad22900ad84b1a2cdcb869c7 +0c83260691e69ea7f473c3b478707 +BlindedElement = c86795bcec21f2b337865406ecbb9495dcacfb0b0d7d2a857dd +31f0f70619a403d42bb57fc53c9182878baa7be06e337c885ba0023190d63,7eba6e +7672c0a7cb7c725ac98adf2b081e05fce49bd5cbc6c0b687aceac45ee0aab63cb13d +0f0493a265996a7aa94c9b30f4fc0c385a36af +EvaluationElement = 14553405aed5bd3b2672fc74f52aa1d9efb9cdd5ec668476 +d74c60eca8930994aeaf61eba482173e5953988d702ce5175ab10c1585cbc4a2,727 +5d01889988341f8c9c8d0adaedb54af2d166112ac01f2c053fc772cb09d69a33ee0f +fc6a92ca0d752e35f4a33ba0677c37a3618ae07dd +Proof = 820c0da6f0ceb390355da6fb002549f37031e92337bde432d3518541d2f3 +e6e4f86fbaa2aa0aa53f15db278a0aa2d305226911e408c25f2bcb3a6774089d075d +3a92e273fbe5359a9c81f9e83082a2e8b02f34d248789f8da583296e7c531e9d8707 +90042248e589809a40631feaa914 +ProofRandomScalar = 7baaffc0af7cf69078ce1702514d93f32828684a1796b559 +988623c12413cf511d13cb07ecb6d54be4962fe28eed7d4386c156301dc2db01 Output = b558e37f6435a12fefded196936a4c1d0882bf4a115002920744ecb3128 43678f396f7d36711cf551750388ddf7a53a3aea7fd0ac60568cd2d4ead16a1ee106 f,eb14608be2f14c25b2c9fdd23690d293d0c6aaac501a3405b626b8699cf34bb9dd @@ -1862,18 +1886,18 @@ pkSm = 2a742a63231b139ce19eab43e7a855f32e5dcbd16ef52a7f968456a814104 ~~~ Input = 00 Info = 7465737420696e666f -Blind = c3b11cb03005ced988ae863bc6f3e8b59bbd1354548220e81cd0ffb6f9e4 -ec2173870ae684f86b1c06e41ecdb9ef83429e58098b238c292d -BlindedElement = f4c83c628c5c1b509ecd78a5651e2ab180ccf02ecdafe73157d -3b388fa945d149d3e56c36aac26f4e5bb914bb1069bf0348905c0e12edc8c -EvaluationElement = a0c254af7cf53d7b1be3c8c3e7cf59fe052064e38b05306b -68ee67a2e6466c2740c4a5bce787652a0c61be6645c7bcf4d81c07063eebc250 -Proof = bce79a0516599712cc2c43dc49743ef9325cfce099f4cd2db6669e23720d -062b12bb4cc3b7fddd52dfbfdc3a0fb4bd92bc9943139daae412a661fbd00a00766b -879bfd152e4ad41a3d7ac8e73d0ce79a4087683d97f1f1c83bb8fe4bf2805a0d8105 -5dfcf572303bfe8195609d419e28 -ProofRandomScalar = 9e414ad5e6073d177a1f0b697d9efa2b60c984df38632f10 -96f2bf292478118d78e9edabbe9ad22900ad84b1a2cdcb869c70c832589a471a +Blind = ee671e4c9b6783bd5e4a55d2e8474fe0ec811b4cca7c0e51a886c4343d83 +c4e5228b87399f1dbf033ee131fe52bae62a0cb27eb7abfcab24 +BlindedElement = 4c371528ab436b8a6a5bea333cc5702c70cdddb80d12dc2eafa +06b87c15bba8b0b5451bc09f3d07e57c12af4c0398b09ae91b678fdeaf2aa +EvaluationElement = d27f65d6c41880303989752e40748e940add1ad32e7f76cc +bb873b7fff424d348ec8e43c11402e02934c1fcdadeacbca2d2e5171daaeef90 +Proof = bf2f61413c56c0351151c1995007ceb2e197c987056f20a54f0027e544a0 +b20a7891b9aa882203f2e09e1a0ca9464e3cdf130eea9e1123023460d3f280dac87d +23b8d2258666d002f57810d8847832b775984819e457c7bbe703947e7aeccdf59d3e +520437edefc26b814f9fa7fa9917 +ProofRandomScalar = c4b297c662a87631531aade91c0558d87224d92247bdfa41 +9a53af4cbdb352b0a2016e5e5f6c0bee4a642526ef9910289315b71fdee5df1e Output = 1ffbf9591b674e6a089279a8319c75e949cc277d7b5c757361412180307 90755e90af009768e1b9240c9734d8886c6121123384140b26c38c7a6c4217a1b3d9 4 @@ -1884,23 +1908,52 @@ Output = 1ffbf9591b674e6a089279a8319c75e949cc277d7b5c757361412180307 ~~~ Input = 5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a Info = 7465737420696e666f -Blind = 87c1563075086f0749e88205237f77416210747f2369383efbec7bf6c78a -77d5062b938e91fbc6ce569a4461a97bda32d0af163d4307bb22 -BlindedElement = 4aa02f66af57b0aa3f8d6518d7b1e066626903875fdf672c9f4 -ea0ad05d1f785d870b5dc43a0f5963a9c54d717cec1e72c5fb664dc747014 -EvaluationElement = c2267138997d553c74c97dbbcaf879930b8ba16053f62543 -8907e32ec5a945181063f46d723390de07d90e42332b337ed7d301c0a68e17d2 -Proof = 68bf6f699c4078a4b05649431bcd9e60424d4c87b7bec27ff78c0416cd3e -9b965e8025fec6705fb5773fac80800c790cc99ff3a934eaa3099b7fd53f51c7fdd3 -2617e51f33d04616df7a28c29077cd4963bd8583b2f38d84f592704231e9f97f46ce -5474fd7248d9de9ed2183c63e20b -ProofRandomScalar = 68481b589434b3b5b6c131de9e080e58e63ca9ce7d0c1bf8 -1599e1a6292f2574e3a23e21d5bf79ecc75a16f7a77618bb9a9224c39cf90a18 +Blind = 1abe4937f28f531b14ac96b844320e7a66810c2d9391cbb877348301ab59 +a3a91b4a2129672886ae5da7839f2ac8cf1c5fa92703f5b3fd06 +BlindedElement = dea615b00285247715173fc6db40cab1436607bc0eaed3d7a1a +1467b70c7ff2f2ce91c05bcaeda2b01952926f254f13e1a763a174caa693a +EvaluationElement = a692017b9e91efbe6641c3ef0cd3b352022ed08bb5ed0c1d +a0838589bebe53c2d2959818359cb0213b94cafa672673608b9a2280671d6c75 +Proof = ede122b8ce87d22fa1bb9dd38dc76da1a9ff812a8d2cbf3d2a6e86a10331 +a849d203bd925d6f130d80f333aa0443488731769e975b4c900d923d740fec13a61d +3175a0daf9a88d8f66704b36ca2b1b7fefd6cab4ffb50fe998e53ce4743ee9466a56 +886f79fd6d5b924553f64130c60a +ProofRandomScalar = a3e896e126d371f6380ca41757f6458b93b049e1b0d73ab5 +b8d914b08dff3e52e62ea8898d35b2862d28ff4c5f89353d25d6b5a8dc014d3b Output = daeb206a0e1fc120ebe4ad885f851f456f7d8908166839b7dc541f71251 4203d9a3589025b4bfad6a79c6d40bfbf217f44a9aa17874a1ec271b23cced72a44e f ~~~ +#### Test Vector 3, Batch Size 2 + +~~~ +Input = 00,5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a +Info = 7465737420696e666f +Blind = 255d8adc40b8f39f14cd8bd4ade8abbb95166afdc9e922203abe7a853985 +4c64b943b0b46e1e1b47cfb52e9a0867c8cde22bcbdd724d9f09,71bd897c56c86b3 +1b096103b7e2d26d0f4d66be95299379b41668dbbc5ece26cc212d9f2cbfaf479efa +17b7f6b056dfcfbee5bd7365cea26 +BlindedElement = 361b80bba04ff4b211e38e636a8530531213a44f44738992b18 +eaf0d9759eedcb7e4034e9bda6f8829250aff72343b0d2d1e23d612d94674,c68d79 +d1a614b90e6ab1dc14a982f9fdd423edc94a10d87d45e32935e363079967ad289482 +8b1764cca8dec5e9f919def474b1d03b6c069d +EvaluationElement = 32629ccfd36787d8d80756f025f6c23c21145dd22c28d974 +f34098e166a300731b691e1faa7e3959c1bb38312c43d1d693cbab4b90fe7d2e,eec +655a1a869b3f0f470f7a0f2cef69eb6539c6c1b9e49d9b380bccc7b510d466f45d88 +fa690b687a8507d1e0b275028d095292fc4aadd2d +Proof = 2f3501925c81837232ae34e5351518ad35e24f1d32f7459da3c19cae7746 +95e7dc1eca32133dd57cd0e2eb67c75c9edd9cd3ff9c5e1759314ea99a4eca322f6e +56f4b80795f67d1bf747834d2d7b3049351979ca876ecf28f87b81fba243269e3c09 +ea1889abd968af67c7ca511d0c3d +ProofRandomScalar = bbbf1ebe98b192e93cedceb9c0164e95b891bd8bc81721b8 +ea31835d6f9687a36c94592ab76579f42ce1be6961f0700496e71df8c17ab50c +Output = 1ffbf9591b674e6a089279a8319c75e949cc277d7b5c757361412180307 +90755e90af009768e1b9240c9734d8886c6121123384140b26c38c7a6c4217a1b3d9 +4,daeb206a0e1fc120ebe4ad885f851f456f7d8908166839b7dc541f712514203d9a +3589025b4bfad6a79c6d40bfbf217f44a9aa17874a1ec271b23cced72a44ef +~~~ + ## OPRF(P-256, SHA-256) ### OPRF Mode @@ -1917,12 +1970,12 @@ skSm = 88a91851d93ab3e4f2636babc60d6ce9d1aee2b86dece13fa8590d955a08d ~~~ Input = 00 -Blind = 41fabd4722d92472d858051ce9ad1a533176a862c697b2c392aff2aeb77e -b20d -BlindedElement = 02441f547a2e792eb2ff79788da348d182c38e2324cf6139b8e -0d0c83b11d2bf13 -EvaluationElement = 03f8f8d90588c1567e3ed2f773de5db1d3103a49e8dce36b -7326a290b1937d0c78 +Blind = f70cf205f782fa11a0d61b2f5a8a2a1143368327f3077c68a1545e9aafbb +a6aa +BlindedElement = 0372ffe1ebd9273f17b09916d31e7884707e8902f7e3af2a1b3 +ae1dfbfae9b5126 +EvaluationElement = 02aa5b346b0375cd734014ffa9ed2135a1b07565c44fe64d +5accfe6ab6d8c37f77 Output = 413c5d45657ce515914232ef0bafdbc1bfa5c272d4b403f2cea0ccf7ca1 8f9be ~~~ @@ -1931,12 +1984,12 @@ Output = 413c5d45657ce515914232ef0bafdbc1bfa5c272d4b403f2cea0ccf7ca1 ~~~ Input = 5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a -Blind = 7b7f977a1fb71593281099ef2625644aee0b6c5f5e6e01a2b052b3bd4caf -539b -BlindedElement = 036787c9803b6be212a4abf23dfb52c6925603e30c4d9e4d17a -fbffd927963d111 -EvaluationElement = 03e93f91e53cd96ce53140c0c0df69f6fa9c1efd43678111 -06ef10968cb408ba2b +Blind = 482562df55c99bf9591cb0eab2a72d044c05ca2cc2ef9b609a38546f74b6 +d689 +BlindedElement = 02fefe6e044601a158175fb4bf90c06841ca7211dde4e56e5ca +c6dd45728cfa04a +EvaluationElement = 03167ed445f79ffa867268e30c0aa240ad1a863569016406 +6d833e350802e57273 Output = 2a44e98a9df03b79dc27c178d96cfa69ba995159fe6a7b6013c7205f9ba 57038 ~~~ @@ -1957,16 +2010,16 @@ b10df ~~~ Input = 00 -Blind = 2c2059c25684e6ccea420f8d0c793f9f51171628f1d28bb7402ca4aea646 -5e27 -BlindedElement = 02863053a7fc559bb76cd13ba5033c17d8f5be98ee731808a01 -3c81d035245adf3 -EvaluationElement = 03a7ebff42e330d03861c9a0676e67ba6f90b24981c4cb20 -582a4720a46d3c56fe -Proof = 5c4d4251c15e087423475e11f13093c2a26d9d875dad86f7126eb759af80 -55bfea38f60d0005ba1a93861c1293e445e5e367d4416eaee6c20d18bc8b45ba050b -ProofRandomScalar = 1b538ff23749be19e92df82df1acd3f606cc9faa9dc7ab25 -1997738a3a232f36 +Blind = e74c5078a81806f74dd65065273c5bd886c7f87ff8c5f39f90320718eff7 +47e3 +BlindedElement = 029d750421c5c726658902c47d3675ebba01ba25d0bd127bf6e +338b801b166f1d2 +EvaluationElement = 0291e9890c7418a2fc1ac635d2650bae3f1a25a9ffcd0bc0 +1b3c39fcee4b095dca +Proof = 54ec2d8558f5c72ff32489556c3ba1f3087810c5f51cc025f07adc034df2 +dcd6d706e7bdae3119b70748cbf76b66d520de87bf90287a091cf6f8d2a465cf2200 +ProofRandomScalar = dfc19eb96faba6382ec845097904db87240b9dd47b1e487e +c625f11a7ba2cc3e Output = a906579bce2c9123e5a105d4bdbcafb513d7d764e4f0937bee95b362527 78424 ~~~ @@ -1975,16 +2028,16 @@ Output = a906579bce2c9123e5a105d4bdbcafb513d7d764e4f0937bee95b362527 ~~~ Input = 5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a -Blind = 8b45f65717a40c38f671d326e196e8a21bf6cfd40327a95f1ccfc82a9f83 -a75e -BlindedElement = 037f62b0fb778b86b90a2cc9e6c980c852dc72f61a8c5b6043c -f948dab8ec81034 -EvaluationElement = 028de0c64d82c02804ff086bab06e0a92ee47c89104d18c2 -651608ce9294af372c -Proof = dcc13b328c8540839720ac2e0d3499ce02b1b793cfc42b9e507fe908d9d3 -30b582f0672c75a8fbd4fd72eea46b23fb539b5dde6e15a03e844fc4340992525385 -ProofRandomScalar = 3d35895f4cff282d86b2358d89a82ee6523eff8db014d9b8 -b53ad7b0e149b094 +Blind = dfe89ac0cdd6b74684580de0f95f8e06aa6f6663d48b1a4b998a539380ed +73cb +BlindedElement = 02e6085d4017ae0bede4b261977b588349d323414eb5c409e55 +2e2bd4c82df498b +EvaluationElement = 03a649c5ac48f33a6c6cd82120145e673e17395ca94ea824 +c7d2dda7203ba4159a +Proof = 1a79f6a52579f7acb0100c916390989a1dca3c1b3078402e102b8dd037f0 +b34d929d38239b34175f1328708ec197bfc532ef31dafdf1ee85db4ccf8769844fdb +ProofRandomScalar = 4f9a70536c175f11a827452672b60d4e9f89eba281046e28 +39dd2c7a98309b07 Output = d13c62d285a71acb534dcebdf312bfec0e2a3fcb79f4ac32d2dfb0bc9aa e3cc7 ~~~ @@ -1993,19 +2046,19 @@ e3cc7 ~~~ Input = 00,5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a -Blind = 83705fcc9a39607288b935b0797ac6b3c4b2e848823ac9ae16b3a3b5816b -e035,644c8539857abe3a2022e9c9fd6a1695bbabe8add48bcd149ff3b840dc8a5d2 -5 -BlindedElement = 03e64ca57e4b5e591711bb9f67a816a61f5e4da6b01e62da81e -95af145f94e3c0a,03204fafddb8b1d8aa95b3b51e47bf3f7bc6ac87521ab95eefd7 -15afdece8395cc -EvaluationElement = 03d62df8971467d70e8e1cd2c2d17173d64ed456fbc0c1fd -574f930b6a0330cd33,03ceed4d321e1f1b812cb2caad35071ffcf727abff1c8c801 -9ebb7fd82b0b24cb5 -Proof = 70fc8376f56f7c6970eeaddfc4f268291be5c7ddea169496ae9264add96a -8573c1c6ad9306377c44100436c7c5e017ccb1a277a35eb014053702a3943bd1249f -ProofRandomScalar = 316bc8567c89bd70267d35c8ddcb2be2cdc867089a2eb5cf -471b1e6eb4b043ba +Blind = 9e68a597db2c14728fade716a6a82d600444b26de335ba38cf092d80c7cf +2cb6,d3d6e1e1006dc8984ad28a4c93ecfc36fc2171046b3c4284855cfa2434ed98d +c +BlindedElement = 03b2332e9dc41bd9b7997df58c1f432d13c4f018cb2095ef8eb +14ef3b323aceb86,03eea6961f7f16deaa8deb6f68a865ae04d8be760626cad589b2 +2cb90262e30b0b +EvaluationElement = 021f7b60c7c53fd3a6867cb38bb7f6febdbd802a78d10111 +00a779b67a801c3bbe,0266e83c8c525cd612669737496f0a736feb7d4209a520d2c +dc204971215db0262 +Proof = 92c5c32bc18f3f5dbdd51473f4e3ecc9b07797c63d679be5399b223ae801 +ddd1e469df512f907d317a0930dd0e644b26c96edc87d2f8e0a09e66bc73db8647c5 +ProofRandomScalar = 6e953a630772f68b53baade9962d164565d8c0e3a1ba1a33 +7759061965a423da Output = a906579bce2c9123e5a105d4bdbcafb513d7d764e4f0937bee95b362527 78424,d13c62d285a71acb534dcebdf312bfec0e2a3fcb79f4ac32d2dfb0bc9aae3c c7 @@ -2028,16 +2081,16 @@ c3eb9 ~~~ Input = 00 Info = 7465737420696e666f -Blind = 0470f06169bee12cf47965b72a59946ca387966f5d8331eab82117c88bbd -91b9 -BlindedElement = 02020e7eb0259b4b4bd8a63dd3071177e2b8dd85608f9cf88c4 -a4e7b2d40405089 -EvaluationElement = 0322df86453b7d0dd528396d901f2cf49df10c02b5196fb9 -95944efeed31b48a74 -Proof = 2f8120ada25173ee94ab9499ae3dd5ce7d35c885f2a25f9670cf1c12c9ef -918f52f9738023e2302e697338edc610aa6fff096550dd4b24bec61c8b76be06ebd4 -ProofRandomScalar = 466f3c0a05741260040bc9f302a4fea13f1d8f2f6b92a02a -32d5eb06f81de797 +Blind = 4238835743037876080d2e3e27bc3ce7b5fb6a1107ffedeaedb371767432 +b68c +BlindedElement = 02cb57f07ba100b93ce1bf8176963c8c7f73a76827f1c1401a9 +23d7ca4083e15aa +EvaluationElement = 03059d58ec9a801e33f57525c03241d8ffb61b67a18edd35 +222d864ffbb42b5d2f +Proof = 13889d6849850ccd0119981fc053a38a30a57d275091df2887943d1332f7 +38204f8a6cf2fb6e57c9b118ec82b9b012f8864561e4cd8866245f9c762b9d45dbf9 +ProofRandomScalar = 3d5c65b55a1b8960563b3420d7764097502850c445ccd86e +2d20d7e4ec77617b Output = 15fce9922a2307349aac2eccc41941283e3c5e938aaf2506f99a6d8b6ee 34ef8 ~~~ @@ -2047,20 +2100,43 @@ Output = 15fce9922a2307349aac2eccc41941283e3c5e938aaf2506f99a6d8b6ee ~~~ Input = 5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a Info = 7465737420696e666f -Blind = 15c1b9ee1e66339439e3925cf8ce21ce8659f22523b6ce778bbd8f8b541b -e4be -BlindedElement = 0268a4e711b93d37611d605f2c0a0ba8baf6627938ebd5235a1 -66c0d727226cdd2 -EvaluationElement = 02818461a7ba093eef0cba05badde4792653eed89d2f16ee -278524a9d70f7d2d47 -Proof = 66d3c5e2467bddce59e4733f1cb7de16a7de4fa7e0b2a125d9b309372a34 -c6c8da8d38576dbbe940da0456503a6e2d27a55ce8de0610a0b8be4722f7febac599 -ProofRandomScalar = a1545e9aafbba6a90dc0d4094ba4283237211e139f306fc9 -04c2d4fe4cc69c0b +Blind = c262bf51dc970d63acb5ab74318e54223c759e9747f59c0d4ecbc0873026 +67fb +BlindedElement = 02208809631cc08f553d7843db566c55746e760a77c63513d2b +22096f98452cf9d +EvaluationElement = 02301ee1cf1d01276649ac0f718ebbfa1c0d6a1b3e7ea82b +3085e9173910fcb0ef +Proof = cb69a1ec76643a2100cc9bfe6cf1ed1fa5ba3612ed3e3211036b5ed835a1 +38be3eb92126694e3e925ab138d4df885be18ed80371847f80baab82ce70588eebaf +ProofRandomScalar = 6c6990f0fcd9a655f77ff0b2ebcfe21e1a1ca4a84361e9f1 +b18e24c9a40ed5ef Output = a06ed7380210856caaba173bcad06266186c6638d86e372c3c96b9bd2f3 53543 ~~~ +#### Test Vector 3, Batch Size 2 + +~~~ +Input = 00,5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a +Info = 7465737420696e666f +Blind = 3f95c9b1334d8af16ae1e69f5adc24e5aa89ebb63637c835fd39b17a1a44 +53ec,9801a9d83b5d1c0fc0812c10e18f146b14d7eb94755a918bac1ef8d69d21a7c +2 +BlindedElement = 0277b1e97f06cb0976bf196a30dc7b3f635a40ec1337d4bda00 +f809eaf244f7133,0306823c1610cc81b08db444d7c23cd368e8b6fc1a7fa3d727f2 +8bcc7d3afa9c41 +EvaluationElement = 030f395a0e0328018c78de95ff498a0afb54fbcf34197226 +49e211940852ad0171,0221335509649461a4d201d2887af62313466af660559c348 +e8ac326fbc1c147af +Proof = 187aaa12108c49c1395001ccaa677519572ac4680b0f41b346b9879d3ea6 +fdb9fced5c7f20b351d03786d031de79cd3c03723ce48053a13b640fe6051ee3584e +ProofRandomScalar = fa0ea4754fb56527be010296ea880e1c6a4dbbc9ede543a2 +ad0f83fd60fdacb6 +Output = 15fce9922a2307349aac2eccc41941283e3c5e938aaf2506f99a6d8b6ee +34ef8,a06ed7380210856caaba173bcad06266186c6638d86e372c3c96b9bd2f3535 +43 +~~~ + ## OPRF(P-384, SHA-384) ### OPRF Mode @@ -2077,12 +2153,12 @@ skSm = 8b0972b97a0339dbcdb993113426ce1fe1b11efefe53e010bc0ea279dda2e ~~~ Input = 00 -Blind = 4dd65065273c5bd886c7f87ff8c5f39f90320718eff747e2482562df55c9 -9bf9591cb0eab2a72d044c05ca2cc2ef9b61 -BlindedElement = 02f4471ad82815b468ed6f8a565890b7ea08a5bdd5cbf97657e -53d56b89e408d2cea842987b11e21eaa4c3c9edf5363fdf -EvaluationElement = 03d2ea8566ef199d64011b7d0141163d72c1c899848618d2 -786acda8aa00c9761adbd764da9d527e3f187885029bea10bd +Blind = cda63dff3137c959747ec1d27852fce42d79fc710159f349e7da18455479 +e27473269d2926fec54d4567adabd7951ad6 +BlindedElement = 020db1b05b22ddd8a851792dfb5b10b4f237d69522097cbb012 +7ae537e3256f86e35a72554a6ebdb26c28342fee16473dd +EvaluationElement = 031e6e8c82d3284727a724a5854b3e2bf9958b4e5470601f +4ca37d33d26879eca817796cb7e98bbbb1d1739eeafb33c027 Output = b2e380ca96ea80f7550a6b663e5f7752d7d7772c46169d72308a8425903 1e804ba577ac34e632f535a9519a692734016 ~~~ @@ -2091,12 +2167,12 @@ Output = b2e380ca96ea80f7550a6b663e5f7752d7d7772c46169d72308a8425903 ~~~ Input = 5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a -Blind = 55f951785ae22374dfc19eb96faba6382ec845097904db87240b9dd47b1e -487ec625f11a7ba2cc3de74c5078a81806f8 -BlindedElement = 028b1f9016b28c0d7ffa72018fa66caf130ad42e260517a756f -32f9d9d5b995a67cdfa366ff8ef9b5cfb03f0ec7e8c303d -EvaluationElement = 03b9523b3ccf732e28abfb0611c21a0db80ea46b9539bede -1824bc33e59e1cfdc5dd0660e603088d182139670d1904072b +Blind = f9e066cf04a050c4fd762bff10c1b9bd5d37afc6f3644f8545b9a09a6d7a +3073b3c9b3d78588213957ea3a5dfd0f1fe4 +BlindedElement = 023c36bf6352c93d27b118972d1040cf22f99d5a1c8134afb89 +8d30b319f70a096973db23410881f84eea599c0c73220bd +EvaluationElement = 0240b6a002d0190793ea62a7499244027753d63b0a57cea1 +98c8c6dc883cdeb273ab385699bb414f1040bb6819313cd675 Output = 1d155a7ba2ea75c4f1e76fb0a37231e9b0776eed3f24a6541a01907ca8a fb984a74408e6d2de8e481cae5dd03bdae3ce ~~~ @@ -2117,17 +2193,17 @@ f43bda8ca7b3c0b05164f38d8efdef2c3426a ~~~ Input = 00 -Blind = 84580de0f95f8e06aa6f6663d48b1a4b998a539380ed73cafefa2709f67b -d38be70f0ffdc309b401029d3c6016057a8f -BlindedElement = 030b29cb373dfede2ff32a048875af7bf27646ab6513e123826 -42c5c487f7f75ca228895fadb2cb51a3c5cc490a29876b7 -EvaluationElement = 02fc30baa706040fd25536887fd45306b5f4672adacdef8d -2952230b303840e45655c748cf047c344e7a434a45663c7082 -Proof = 3f6d130a4cc35e3e41613050050ffd9aaff3ed927b6b4ccfc96bcc2cf561 -f58d51ef43b894a6b368b95b47c16cdbab52c5dbbd44a9761a19f6338ff2e673bfb4 -e2319e831c4737f056e031065558a2c8345f2d73ca9470e14d640148fdb20c4f -ProofRandomScalar = e17e559ca3ccd1944f9a70536c175f11a827452672b60d4e -9f89eba281046e2839dd2c7a98309b06dfe89ac0cdd6b747 +Blind = 61247a74d0c62c98ddff1365bb9b82b279e775b7220c673c782e351691be +a8206a6b6856c044df390ab5683964fc7aac +BlindedElement = 026601d99c313b827a09aad832fcc814ac5257a57bb49d65c05 +e247df9518315a66557fc8af56b4521c51900aaab1a2ea9 +EvaluationElement = 020b478b9c9b1a5935e07fb532eac2e596b78170a0e755ec +c71829419e63a2119eae23be281e109de205cd85af7e42228a +Proof = 02d0946f1795048bc803171aea5b4a9a5f256bd5fa9414e5fa76dd17a4aa +a94307814d57c2cca239485e29bb76d4ac1b4d3d62dfbb8e43c7135b2ebe50fe923e +30bd99e1e6ec961db18fa6e67c63dd6652284c15860156c08d64d838efbeeb68 +ProofRandomScalar = f5685928c72d9dab8ddfe45de734ce0d4ff5823d2e40c4fc +f880e9a8272b46eea593b1095e7d38ba6ff37c42b3c48598 Output = f18884ace2e342f849cea7f2f17de902b9884574fdaa8f507356f482c6b 67013f329e8c899b3c2c154af1defaa11d656 ~~~ @@ -2136,17 +2212,17 @@ Output = f18884ace2e342f849cea7f2f17de902b9884574fdaa8f507356f482c6b ~~~ Input = 5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a -Blind = 7759061965a423d9d3d6e1e1006dc8984ad28a4c93ecfc36fc2171046b3c -4284855cfa2434ed98db9e68a597db2c1473 -BlindedElement = 03128b675110ddb78dad990afcc962d8893f16bbbf36a073718 -757f4d91e5a0e1a2b6f7a2118c433db44c78ce08dec5e14 -EvaluationElement = 02d7ea5cd1cb88a07f1de1a9e0f98945078fc7aff2b35f9a -78e88102837a3b444d6f09540947c31d7eb27c66259f0e7d53 -Proof = 14baa204829577b1df0e0be74272ef971be05a57adce39629c26b23b893d -4e71efa6de555784d99d59d203040ec6486ceaef12b23b643dfb48e5f65faeaa5665 -0da6d579bf810829081926232d9dcd9ae815ec90fc3baa2b80e881dbc2333d1c -ProofRandomScalar = f96713dfe16f40f2c662a56ed2db95e1e7bf2dea02bd1fa7 -6e953a630772f68b53baade9962d164565d8c0e3a1ba1a34 +Blind = ef54a703503046d8272eaea47cfa963b696f07af04cbc6545ca16de56540 +574e2bc92534ac475d6a3649f3e9cdf20a7f +BlindedElement = 0279e61686e698fdbac5cf484f54846db8cdf6f403fa88209c3 +4c56c584fe4ca600ac81b61aad11c5e639ff1add3b30de4 +EvaluationElement = 03900e8e3f5b8bf698e7aa0aacb8dbdfaedf80220b1f640d +e2049615985b19b913569cc2feb90725a3661146fb88ef3755 +Proof = 343536346a1145b81336eafc239f225dc6a154752492707c0465f029aa9a +f0fe2bf0428285e43b596db633b50f0801b62b0e9c64c62f329b8a84324a415e4a58 +6cbf9477b1285c9b74f614c352e06658a8997486b8177006491e84aa96a3de09 +ProofRandomScalar = 0cdd9475ad6d9e630235ff21b634bc650bf837aaa273530d +c66aa53bb9adb4f0ed499871eb81ae8c1af769a56d4fc42b Output = f91d172cdecdea4f8299c8b39426db4c47428b82f8872b8539ad9b019de b48b8d3c928c572ed988d5591a4442c060438 ~~~ @@ -2155,22 +2231,22 @@ b48b8d3c928c572ed988d5591a4442c060438 ~~~ Input = 00,5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a -Blind = 563b3420d7764097502850c445ccd86e2d20d7e4ec77617a423883574303 -7876080d2e3e27bc3ce7b5fb6a1107ffedeb,4ecbc087302667fabefa647b1766acc -b7c82a46aa3fc6caecbb9e935f0bfb00ea27eb2359bb3b4ef3d5c65b55a1b8961 -BlindedElement = 033bf70953102f1ea680a1bf65974580341a8dbda2e26b52334 -26c18f62d16c6bc8033042c98e004a59ae0aa6af7d20a6b,022c42095692ac6e9fe0 -2d4bef10763457d5db8db41ae973cf14370e5c460eccec0a2e479b043d21b07fac9a -ac5fc04603 -EvaluationElement = 03fc0f78343004ce73ad8ba83e7ad48b73993b32f9244a40 -ed4981be4310984b590cf31264df21ab12bf7838d287c35407,024c85d0e51b941f7 -2e65c1d5b8c5ca051200d802e7fabc86a1f599f88635ab3fcd113c9da6d8caafd7be -3fc56b0c49ced -Proof = 124bac40edc92f8aabe62247aceb0a501947025354876f51da7500a806b9 -27260f8648e1f1740eef022408d77f17903a698a943b598116a875f5e37871f623d0 -a41ce2f1a9ff53e819a971974e726bf461bee95b4811c3d0f1ee1d4b4baf10d9 -ProofRandomScalar = f77ff0b2ebcfe21e1a1ca4a84361e9f1b18e24c9a40ed5ee -c262bf51dc970d63acb5ab74318e54223c759e9747f59c0e +Blind = 485cccf5018abbf875b8e81c5ade0def4fe6fa8dfc15388367a60f23616c +d1468dae601875f7dd570624d0ae9d7be2e7,b0d53a6f8da29c3cf4f8695135d6454 +24c747bec642bc91375ff142da4687426b0b4f35c14eb2477c52e1ffe177f193b +BlindedElement = 03dbcb21b211e7b5d2cf0c36d782308af28458539423f67a293 +36355e55035137eb768b1935b5a825c589a2913f0c2894e,036c8b2fa4dd9cd05756 +1d377b4686cddc82317ad3e5eda08bece2a8616ca724937ff933e340a47fc09bfe9b +0fc1ef9ab6 +EvaluationElement = 03a1cba477a408162aacdca43e059309fd61cc14687a107b +d492a1ec688a010ff49c60684e0f973412a7da2e627b1553a5,036fe6df8a99bb7b2 +c4a5020ab4c6d7e71b5abca2d5d5a418f2314b614deb40c7b3acad982951b5f524e5 +6f0e9ac7d8e95 +Proof = 1e26bf1210717b88dfae585008100e9ccaebe93b8605ca168a608cbf1855 +697b7b87d0b9c6bdca85e43143b3630e87f2fe9ce519dba3d477d2a869bcad0db9dc +6239cd11938213f9bfd63d39de090a6fc90cd1f33f164b2c54c38bc31ad98ddf +ProofRandomScalar = b36f4c2a140b7a3c53dd8efb6171d3bb4d73591be8483a1a +38e40c13a04b0f2180dda3c36e3d43c3a8f127158d010945 Output = f18884ace2e342f849cea7f2f17de902b9884574fdaa8f507356f482c6b 67013f329e8c899b3c2c154af1defaa11d656,f91d172cdecdea4f8299c8b39426db 4c47428b82f8872b8539ad9b019deb48b8d3c928c572ed988d5591a4442c060438 @@ -2193,17 +2269,17 @@ pkSm = 0286f37b6295bba7ebf35d2bfbb944d441fc416e51eb5ceeb63ac98afa6a6 ~~~ Input = 00 Info = 7465737420696e666f -Blind = c405a354e666f086fa0ea4754fb56527be010296ea880e1c6a4dbbc9ede5 -43a2ad0f83fd60fdacb59801a9d83b5d1c10 -BlindedElement = 0202fd96becd2b9f97f6540c833be9e423d14ed3b43ffef6eaf -4ad029fbabd2403af879641ec3b068711ba2573157cb603 -EvaluationElement = 02abf57f3f71cab2026ed849217f1a49cc97168f7e8c4952 -0eb18648620d255d69caead39dc4c1ec04d6717fcbddf90648 -Proof = 5bf53b72e43cebba15e8ef9dd9de6090588f5945b4d04ff2ff25b5a8bd8f -6621ebc72b1f75b702d9e06165cc921589892845a3d158b8565c04b9f70dff8c189a -53c795a08450c1af0e271e479f16a3a888616d4f6d58859356c68dac0b5848e1 -ProofRandomScalar = 5cf7fa02f3ad744eb5baf418275e45ab31ade30669dbae98 -fb0879524fb9234e93a8bd048ad9f44b428026396a810329 +Blind = 9572d3a8a106f875023c9722b2de94efaa02c8e46a9e48f3e2ee00241f9a +75f3f7493200a8a605644334de4987fb60da +BlindedElement = 0252f98f04a956afa469c62ca2850f751b112dc019d4e713c66 +2fc0735ef8573f1497cea55b750f27f0efc8330e394a3ab +EvaluationElement = 03fb20c33a7f6f01f2bb388318a6db84f7183bc3bd5e5840 +302fe38b6b313649b523238b4c4c625614440dd6ddbbcc7272 +Proof = d33c83c1840a48759659a4d417769ae3bb1adb86326a36fa1ff24f70066b +75d0200e5c1e7d9847e91f7d3d6843efc62101c401a7c952cde32ada6fec848450d8 +564e2c778af47ece4f50a88c6d2281bdd858b90fdfad8b093c986bc1e59aaa2e +ProofRandomScalar = 7e82569cb56d97e9c20e59311bac3a50735d573abb787b25 +1879b77de4df554c91e25e117919a9db2af19b32ce0d501d Output = af52cf184180177970be0770e1c7920aa307b767556a13de38a64723d8d cc7b344af9b6dd8f117ac2cef249ee3acc8fb ~~~ @@ -2213,21 +2289,47 @@ cc7b344af9b6dd8f117ac2cef249ee3acc8fb ~~~ Input = 5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a Info = 7465737420696e666f -Blind = fd762bff10c1b9bd5d37afc6f3644f8545b9a09a6d7a3073b3c9b3d78588 -213957ea3a5dfd0f1fe3cda63dff3137c95a -BlindedElement = 028f33d8420d4ba8d1bc2316728af6ad2b71c13f729cd0ea703 -ba0e3913445deaa5e1d6c1013fca8194eec31dadce7ac1c -EvaluationElement = 03ee3dcad372a7aa0dd9d7aa33177f1b5e90e31d7c04fd9f -8228f82f4308dcffbcbdb88a428d6965895ba93720c939a971 -Proof = 4b9e650d35c9fa846b422b73dcbf6ccb476e8f8b8e57bc5851a6fff7cea3 -c56bdba17552d11d05a64d832f8a513dcabef8842810f8168d4a035c24ed4fe6f4c4 -4997c5f65524d933acbf889b2e3e7defabeb15cc6fb266c8c6197cb9cd164bde -ProofRandomScalar = ddff1365bb9b82b279e775b7220c673c782e351691bea820 -6a6b6856c044df390ab5683964fc7aabf9e066cf04a050c5 +Blind = 01e6e57b7ec6752a45c74f3ed36a3eb8ad0dafb634f668e415357a04fab5 +01c0f6764e854701129e38071b008286c5fc +BlindedElement = 0257c264a1016e7a1a8236e46cb3bc11a0f13178b03262e0153 +1da14a05e75a811ba4669fc41cc9453298f71c23834f91c +EvaluationElement = 0295529cd99f4255be59966e430bef38c93a5261b0624612 +091327c9aedaaaa40d22b03280ec15620bc91d48970f18c68f +Proof = b5dfd5fc5ddc61ad8234c544aacbf280193da985d9204d5a30ef9d1a5964 +c1e70ffc3d9c986c93f561ab6f91f012c8ef9b9b6f2d1c178f01fe172c37c98fd4ef +05e5b15c15e810241ed6dda051500165d9f79d4e83580ea4c810a95dddcb593c +ProofRandomScalar = 6b61028c0ce57aa6729d935ef02e2dd607cb7efcf4ae3bba +c5ec43774e65a9980f648a5af772f5e7337fbeefbee276ca Output = 8bc546462de3087cddafcf81435d5802c0c31f557c791b115a092d5b71e a2b6e20986bb624ead85c7a63c976c05dcddd ~~~ +#### Test Vector 3, Batch Size 2 + +~~~ +Input = 00,5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a +Info = 7465737420696e666f +Blind = ebd2fec41edafcba833ccaac567c14d2fa01f55b33a2fbbb37118f2f5603 +b1298346e02cbdf55c95ef9b1aadda5ef281,be210603388cbcabb8cb630aa1ad04d +73e349009a438ce248380bd4b7e6758211fe9692922fb61f00f1a39bc735cefce +BlindedElement = 02b1938a7613e9567a67aac83c50529238e3323c212dd407491 +1980c4d998479174ddb9c925d1b761b33da2ea0bd0ea057,031b9a47b7caf732ff32 +db035d1d073fd925c17dbb6c83e00a49af674166bf264bdb00c303edb26af96fed6f +e9ce44dc36 +EvaluationElement = 02c75f2d383c18692e0e11b08e9187c4c047d28116977c8e +5e1e872f1cf5eab457c04fd50274cd5cc4b1996a607470694e,02e72fbfff4c70479 +23b967ee9a6b37d902b49a465242c12b2b910daa5f30c3f947899283ed0a6c758348 +55a1ac0c64065 +Proof = bded438b699d3bb8bab26954f9a7fb5bb402f043c3364dc4f2b68976748a +77868dec1fa2d0774d306043ee8abbad5ef8ceee6a331be2906124f53f37c96d7f5a +4aa543053ccca87b577a32d803c3ca4841e37b3c4b5cf20aad11c59dec72a350 +ProofRandomScalar = c7a86f11c143a291e349b70b34e67b38fe9dc6f90b473750 +87d72e891df74070810500dfd391282c15d87bacdc9867a5 +Output = af52cf184180177970be0770e1c7920aa307b767556a13de38a64723d8d +cc7b344af9b6dd8f117ac2cef249ee3acc8fb,8bc546462de3087cddafcf81435d58 +02c0c31f557c791b115a092d5b71ea2b6e20986bb624ead85c7a63c976c05dcddd +~~~ + ## OPRF(P-521, SHA-512) ### OPRF Mode @@ -2246,15 +2348,15 @@ skSm = 00dc7a8db919a1076810a0c1503716d91668fa9edc60952317f26d47a090b ~~~ Input = 00 -Blind = 01583649f3e9cdf20a7e882066be571714f5db073555bc1bfebe1d50a04f -d6656a439cf465109653bf8e484c01c5f8516f98f3159b3fed13a409f5685928c72d -9dac -BlindedElement = 0300c6f11dfb79a56c9abb778d47884087fdfa2999b172a2c48 -ab10c0a06bc16058329701562ce38db0c331635a35d1cc86376c92771f146776e3f3 -626398697cddf82 -EvaluationElement = 0301d306df92deaa4137b1f1344506112b2fe8215d32d257 -df9d05fb763981e99898cf7fe1cf262b186f3bcc2067f0e816a4841652f387f3edc6 -19fbf41e655d3f0ac8 +Blind = 00b638b3000884019316267eae9b424f812592e4dc9cd7f7aebfb1d3d2b8 +c7fa7904503aef20c694a01d3e1154fe98e7232be9eaec5789a012a559367b1f9965 +4ddf +BlindedElement = 02016f3fc7b3c84f673c75b3bb3e00ddd81e734cc84fe3bd4a7 +671e0a971879b7678c048f40aae87179614abc2261522303257a92127a195298744c +54094b7b87499c0 +EvaluationElement = 0301ddff1ac88acd812a2917cee4917f8a692eaabf9fd052 +9981441b83e368175b566657729a8be5ba2573e33e7734c146ef4c8b7d41f4503842 +80797318ff3a62d79c Output = 383e3098d74b43f75d2e1136d7e7c08702d992e6f5f24f2bd438f98b86d 9d143ce87281b2daf7d67c94370903ba81495655d6e9626443a895b37bb74c0276f2 a @@ -2264,15 +2366,15 @@ a ~~~ Input = 5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a -Blind = 0017a273530dc66aa53bb9adb4f0ed499871eb81ae8c1af769a56d4fc42a -ef54a703503046d8272eaea47cfa963b696f07af04cbc6545ca16de56540574e2bc9 -2535 -BlindedElement = 0200d4e8e680135ee19adcf749a2ad8fe61e153e24b7f58ee4a -c5f0b30ea858e38f86ec1744225790296d0066064e18b4ad889eaa582bc1f6c5301c -2ebb1bef4f038f8 -EvaluationElement = 02013b06cb9fbade37e8aac7ab94329e3ccb8344c8ba414b -2cc2131cd0de06c443ed800df6a3196f9aaac6e1f1ced289bccfab278f6e27dc152b -09aea469bd9ea85ec4 +Blind = 00219598d5f1544830f9d667b683234c68ef3db95227fe3ebdfd963d0307 +0055fef107bfeb3c79c86b934061f894227b23a69eb0b53f168a4a2230ef6a7d703a +c4ce +BlindedElement = 0201e75b88d5de2b839f356a05c359ed610601450d83dcc9def +649fbd00a9790161e9333cb07978d1567ecab037c498ae2b00d9181abfd7bcee3fee +dc11de88c54190f +EvaluationElement = 0200b99d9694bbf9b9ea783e18e5fd049fb2fdf169cf386a +be304ccf8cdd633f7a1e25083ec6a6ca3a6e82367b38ee3c991e024097cf6fad928b +023817cdc5dea21751 Output = 5100f12a88477ba993cfe8eb5a82a835892b7fa3bdb47dc1db19725e4c1 138798e0f965df4f649e3a159aaca1fdd07034f7b91c0c9ac3d064b50953bb5c867c 3 @@ -2297,22 +2399,22 @@ pkSm = 020006090cc9a6f2eaef7e12759a8b5362e9972b4f36c4b3a3d71c4b67469 ~~~ Input = 00 -Blind = 013a196708f773cf65852bda777210337d8b3b88754b881aa5fd937ec793 -2e725ac43a07cb3ea0e90b40e0501e6bdc3c97510cdd9475ad6d9e630235ff21b634 -bc66 -BlindedElement = 0301fdda5da4798fe365d606aca1faf0d772fbd39091f47b88b -d87f1c4a53943b358fa5d46df24eaecda8f875409c951a2ea6424ff54ff98b98e7a3 -eda31f957710f23 -EvaluationElement = 02009e48543890f6c51084a0ecdad159d36ac057542e6a58 -65c6505f28209d828d430423a7184eaebcb05edf3185109c8cef76e0be7d416f3699 -777028abc613fda02e -Proof = 012abc4044b83283b7498d8e881d3102871cf2b3c0d26d3602fd79a3251c -f42f912a66bf4da0f651babe348c507754cf0817220ab1ea2f22e99054228ab90b2a -0e2900683396864f635836ad14ee5b9a3027d31a9e141c730d28441d7c1bd8e55d54 -308f5944f423181e4f09fa729ae39a4589f27e4d560ff8005acff8135f038f8b15d3 -ProofRandomScalar = 00eba4687426b0b4f35c14eb2477c52e1ffe177f193a485c -ccf5018abbf875b8e81c5ade0def4fe6fa8dfc15388367a60f23616cd1468dae6018 -75f7dd570624d0af +Blind = 01dd6b45efbc57c5f087181c9f03d5b5e51b3a90cc9da17604b2e59a9375 +9eb0985d2259c20e3783be009527adf47f8fb5b1437cba7731c34ac70bc6ab1b8c14 +ff42 +BlindedElement = 0201b93fc5997dc0e8acd5b3ffa3a6f1be1522986c17ed60e5b +ad7b057136b3b7e31b5a7073a744a1304bf9bce4a27b02d77f1caf73a5f72686fa9e +83dbe9f730b4304 +EvaluationElement = 0301142205a8fb983efb6d76111db30e2a6e7c54724fe0ee +54f842a477cbf03adcb2cca8df2f165a65694e7a056948f8afd651b32ea8153cc26f +819cc5b1243f383910 +Proof = 00fd70ea3e4b7b008de749adb7403ca66f7aa56ae06a587d7d74a06daf6d +5c4dcce8a81acdbee1fcd21ce55db4440383b9fcfc1d584db6fa022a5fd62595c7d9 +39820116ad656f5ad470b5bdd208248a0a0b064960c80e180239691c5eb77b4a760e +eda8c27cf3cddc37d6329ad4997a37ffe9aba6f96d45e3e67fad86ec7b1d3a47487f +ProofRandomScalar = 01ce330164821b9b2a108e3ef8964622075015ac9ea0f838 +0dcce04b4c70b85f82bd8d1806c3f85daa0e690689a7ed6faa65712283a076c4eaee +988dcf39d6775f40 Output = b3e837431aaafdfa8efbf486d70ca2d4364ef86afc7a8941d9bf1a6adb7 bfd8c5302f91ee5796d956b5d3ea95fd0138d55d3059b1f4febf8cfd552e31fa2cf9 7 @@ -2322,22 +2424,22 @@ bfd8c5302f91ee5796d956b5d3ea95fd0138d55d3059b1f4febf8cfd552e31fa2cf9 ~~~ Input = 5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a -Blind = 0085f76f3320fdd24777894218769fc1965033654f34b06b578fe36ef23a -5b9872ade82b9261cc447670debcf78318add682f6055089b0a2484abc37f110b36f -4c2b -BlindedElement = 03004e72d8ee72c14e5963fb807d28ebe0a71e43f07253085f2 -ffbbc9ad193767d7868619371fd0d7a8a4e3b6249d0f5cceb52490181d561d41b039 -b934707a5d4b629 -EvaluationElement = 0201633ac2688c09dbe3db1749dc09f07e86d56305fe092c -c6452d3ee90a9752e1b8345124283ade0df74edd7d11c947030f080db95da8549369 -99ddedf4effcac70e3 -Proof = 0074e3f91bf2e122523048c0e2143d5b1db1f95cf559b79379c3c9c11f09 -50dc9bace3f0b9ceafac0422afd6195a7dbff537f21e075ea5006827051dea182ee1 -054d00ae0342e3172f79bba6a985d41289543df7db7099d0a1268e8b5dee1415be57 -17d3aca174705d912462e469b89beac1200c0b3a06f8e4759eac5783fcd245202622 -ProofRandomScalar = 0165aa02c8e46a9e48f3e2ee00241f9a75f3f7493200a8a6 -05644334de4987fb60d9aaec15b54fc65ef1e10520556b43938fbf81d4fbc8c36d78 -7161fa4f1e6cf4f9 +Blind = 001745a97be4680b39889979a8b4b4322450628389ff2d90c0799597e99c +926ae54b2fce5ca13daa8cabbd4da53324fbd20554f2c56460442edb7d6ee76b64ab +68d1 +BlindedElement = 0300c2eed082810750dc327122ac1d9de647d1943f1767bd546 +56835ef71dd68347436c121df49c997b0adb11cc421ec8abc5611b6d9e86468e4666 +001e3db386ace9f +EvaluationElement = 02002ddf4ceaed6eefea8f12ca765c6d800e3f514f4fc75f +52f55a555cbecfb724f2bde39d5890f4b0dfcd3ea9029f663c7babddb30dd0692bfe +0f76190b7ee30bf68a +Proof = 018d1fbf1bc79cb4636d905f03bba48e0d872ac89c4c7e8bcc6884dc796d +22ceb648dd373b196d23335052a8d8013b154b38d233d68612213e3cea8f9024a1d0 +1e160004438ef7171638b7799a987739064e2313f9a902413d1f11f0eb5c7e8ca00d +9c83d03aa12bef8059144bc169bec7f4258858438daaa3ebdacad658e5f3eb7c6d5b +ProofRandomScalar = 0013559a0599ff077b4ebcbe7f73e9fc1bc25fff3fc5fd6c +8bc664e27822fdece106def4a69460e9777347a314fbbe5035803d3aa65819e81997 +c4d89909e25ce20e Output = e8f92bac6c7ae89918d724697d8c45da339f55b61d527c50104e6658280 3a8e6dcceae31b0d499e471aca460194a011d6b8b94fe2886b8b5a0c242079bfbf09 c @@ -2347,28 +2449,28 @@ c ~~~ Input = 00,5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a -Blind = 006915357a04fab501c0f6764e854701129e38071b008286c5fb629de5cf -ea56c0532dd8254a5a6e7fcc9e51e20a1cf4f254335ca57ce603ae7cf03fc00b7a2d -4953,00d60ce57aa6729d935ef02e2dd607cb7efcf4ae3bbac5ec43774e65a9980f6 -48a5af772f5e7337fbeefbee276c901e6e57b7ec6752a45c74f3ed36a3eb8ad0dafb -7 -BlindedElement = 03019a34eca6981123bf80a5dac91b6073b639b6b695a36995e -2adc186a608e281087f10415ca703cdd9cb78f9113c7607015bd0d2f26d8d67d1d2b -fde442f336845c2,0300bd77def99da2726bc8b69ceb64912b59a044564382776aa4 -5389cc237de78e5e498a28a964862da758878eaa917f89fa79a3905b9c6be45985e3 -c4d199cf6c5b8e -EvaluationElement = 0200bdcec88e94c95b5dfe4fbcbc63ffaf614bcce8790510 -1a0ac574bd2dfc38e04ad52242e399739f8247e6b9092df78c9bb12b249ca65c99ef -f19fa16a0e2949993b,0300761e1ee3572e132bc8e52d5176ef4e135d74151481331 -9437b779b71b247c6b95fe12c401c555945529a6ba394107f4b66b5c7cee83143d3d -9908751667274b2b1 -Proof = 0018d2360e82d178b1f4c6163ffa3466b3f44f992048e90373fd540f77bc -3942e33a95858892b5acc4efb5cdbee7439e6e341b7760c117188119256ee210882b -a345000c00a1e0e7ac66db3cf8ef3cbff67f7d4b7b20eb0568b6222482b335e70a3c -44d61df136856a686c19a2085d93e4219cc131a74a8a2933783a2793e8a4df6def44 -ProofRandomScalar = 00ac8346e02cbdf55c95ef9b1aadda5ef280cfa46891dfa6 -64a785675b2c95bbc2412ceae9d69a186038345f8ff704bc925f6818500615a825a9 -a6b5646a4e4f11b2 +Blind = 017b1679ed98960e4cee27f330d5d3dccebf40596dc7e8b057938841423f +8b336f12c6c4dfa3a822d8f670e5aa46e733baaec9f93d5e14ad9ab99dfcbcb2ad15 +7a8b,00010fddc6356f1aa3fb05702631e213b4bbbe8fe5176fff25526ed5b1772ba +6164952c3c2da8017fdf337f81f5cbd0ec805923a335fa1bde3dbb840b3924c5ceba +6 +BlindedElement = 03001658908fb353f15fd637ec5b9703cc1dfe5a8aab4f5fd51 +9c0e41f69300769918d28963c07e5678ecb98c235c406f29dd1cd1dadadb4e23b98a +1cb290992b9aa46,030123068d8554e65999a6df1fde0bf10550ec5e223ef1d30c07 +3dee509933502a59106aae80e67d33f93400e2c32b5d9bd49f4e8cb97f08f4181998 +d330013b9e07a3 +EvaluationElement = 03012d790d77da1675a8e4ca5d9ce622046e31ea4af9511f +a32ef80fbe60e9e04866feeb7f31818c1ff0ed263cecf07f787129450f9f7322fa9b +593edc5cb626d1abb8,020198f45b9988bf0ab56c37bbaed0df4099c9b7b7a89b5c7 +030a451687cd9f8fd777f587dd7dcd717f529149d21c0763da4a03441d96e6fa2458 +88a352d08ddda70db +Proof = 01d6f0f91660fc391573f819587ad310bf3da80a2dd4cda113c1fbbec9d1 +cd88a0e4d783833c4c64bbcb6414688d925af2a4a5845b2e3b6634df5e5d901047d5 +148f01a1ec61207132162fc851126b07397beeeae6814e8e135e4a03ca8bd346568d +23c85e0a64b9b83de207ff8d17674863bde02eaeb0fa16d05a9b44cb01654bd0806d +ProofRandomScalar = 001caeef2365ebf9c1edbdb24825e5735614aaf644f03458 +a1f30c90229f8068bec0ae930eef110e98ea1cbc6d849b4c9ca5b7a970d0320ba5f4 +f95f5cd4f501d720 Output = b3e837431aaafdfa8efbf486d70ca2d4364ef86afc7a8941d9bf1a6adb7 bfd8c5302f91ee5796d956b5d3ea95fd0138d55d3059b1f4febf8cfd552e31fa2cf9 7,e8f92bac6c7ae89918d724697d8c45da339f55b61d527c50104e66582803a8e6dc @@ -2395,22 +2497,22 @@ e848e ~~~ Input = 00 Info = 7465737420696e666f -Blind = 010204f2476ad5274e2f9d258659e80b0fbd20e4761b22298eba98ae9dc4 -fcbc7ad42f5459d29f5c3b170f51d08e65679d984c1e852b2344bbebcb92747c83cd -6b89 -BlindedElement = 0300f2fcc5a3948221fcd278a335d6dfc8635a05d87e5f74c11 -66505e41f755dc501b846376025d06810fad592b1516cf00dba7e1cc32f5217cc367 -f99e0b765f7ee1f -EvaluationElement = 0300500d396769fa1c32a8112563f75221da61343654339b -ec4f0dc463bd51cf529f6abf29160f95462204f45a7b8336c883ad20b10459cae238 -2d6e41407a10056ca7 -Proof = 00c4ee78304b60083768753b47ddb0c68b060346c096d5053bfd4374df1a -e9aa8b34a9e021a0e6565bb43044390db33764ece8009ae70d0599de29bb663d0f8b -9a3b01d6296f5b6bffe5f686cbd37466a25b0efd9e4943b108536e024019aa9d9d6d -b5b5d1aa085090ba1d7ea4bc33cf200baf681258f1ac2482933746a2a858415b6603 -ProofRandomScalar = 008492e4dc9cd7f7aebfb1d3d2b8c7fa7904503aef20c694 -a01d3e1154fe98e7232be9eaec5789a012a559367b1f99654ddef5acc7b0dbee75bc -d8bb50363ec64004 +Blind = 00dc9f04fb076cffe7d179d692a05b0c2210b6c008c1062c1e54514ef654 +eefc0519dd1867571c9d518e305fdf463231b6ec8b7498e2122a7a6033b6261a1696 +a773 +BlindedElement = 03009a6b363627cbc6ba5f241493a724a69ca7a85f203fb5100 +bde9f36ee57e3fe75a5b41d10c6d9a2799fcee9cd1f4bcd730cb8d9be7aa5e8a7a48 +8b6ae3004afd2a8 +EvaluationElement = 03009ae81470679a5c5733401488cc6648a522a208e698e9 +879307e794158ce508e08a50556ec66a055f05f5d5276231258d95d004a49a308037 +2f3e9d2075753c010f +Proof = 0122e18e5c3e2242617098cf1d6b5868d66fb4f4816ddd3769e5b7f326f0 +ea3d79cd8b8b87be31c1acb9559a2ffdd13f4af7ee143e5081a2db996f3a7d2da839 +73e100f559c9dbb7b16df3d5f609d2f8f2184e9e204e6444db72608e4816beee31c8 +59dfabfe137bc3bae06947d767cd8cb6ad634134cf6faec24bc8341d51b584872ae1 +ProofRandomScalar = 00c07a53a1c70f44466b3861be4f8ef48c2bb1aec2e478e3 +41c467fd4a2638aeca63ed6c4bc48d008bca3f36f043e0eb73a44aba77e5e37d5ab1 +389e09b80a34cfaa Output = 70ad5e29de9f6e35f16afab3b97c1b26fdf6be0da60aff48a99980ddb8d 7c2d728a8a5d2837179bfddd612712e014c0c9b9596cbb5a6ee6761c564dbb8921b4 e @@ -2421,23 +2523,57 @@ e ~~~ Input = 5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a Info = 7465737420696e666f -Blind = 01ab3a90cc9da17604b2e59a93759eb0985d2259c20e3783be009527adf4 -7f8fb5b1437cba7731c34ac70bc6ab1b8c14ff4110afc54c9598d5f1544830f9d667 -b684 -BlindedElement = 0201900b35b9009c79e6ce516b4206fc8430555ee26d9bdba16 -865e19418a06aa899adb3dcb5226535feab336234bc8f40e3e29a80b67e6f55d1133 -a9362c5944ff882 -EvaluationElement = 0301cfbc891616e82afb285e347ed28f27ea5071f9c9a887 -11b776b2d3111d991d69dc13b3c0a4ce3b58c36c2f603893b677c79eaefae013ff70 -66b4f103f8c9191991 -Proof = 013255218e01044d4f44236e34ba80415e37e99e8cb5893052c9470d6fb3 -371887ee46cf5c487b5fe509774d7b3d766c49a3ad5ba1dd75a47b9362b8a24bae1d -c92a0131c78fc528ee23f32a644d4da74dfdba866003d5f4dba2a0f963ddca588661 -a916441d4c4e2548a041566dc18650c0b1aaa8ffa04eab55f37bc4d4d9adf5fd61bb -ProofRandomScalar = 008c15ac9ea0f8380dcce04b4c70b85f82bd8d1806c3f85d -aa0e690689a7ed6faa65712283a076c4eaee988dcf39d6775f3feee6a4376b45efbc -57c5f087181c9f04 +Blind = 0085ad3fc8c91caec3bd7699591b10d6da93877a470e128f38030627dffc +bbf1f576b38677841fc47af778f9d85ac9bce6279388ddf4607e295e64cea6f4f950 +78b8 +BlindedElement = 0201eeaedeb3692cc0ecfeacdf9cab61947eb0d23bbfe2e1fbf +8de0907f9410b6089d060d3af63411fd81b9d588fa2c48bf8ec63ec66c14b86d2371 +24042ca83fc99e1 +EvaluationElement = 0300886138e19945036ebe6f4195cf9f688d9e5a7c89597d +feea6e0e5fcf4b53a9dfa280c8409b6abe8051e3394279d0b669440af8a27aad169d +e10446eb88e09d6801 +Proof = 01cb4d8a14eeb472ee3e2fbfe3f6d49f3654cfe6238254bea17ce30848ca +934e20e82c2a33d140de55b24fab047811e20b46f6dcaf3c0945c802e84891316186 +17ef001e233aa2c3d674bce7465278faab6300d4f6b5463e1597d74e2a69865bb068 +1604f9210edbf50bf341d836dc09af85e603b4b2b8b55c90c2efd979a4e312b653e1 +ProofRandomScalar = 003a09eed29f2e7f8950d766270d390db7a53b8080b89cb9 +e024e1e008d83bd90e94f501281b6b49c351c959348b3a65f24c6f74e77a62905a6d +3e4b0b10600a7cbc Output = ee2d8e42030da6283ab59a11f41a171c65e208306e00c6f965a56c10f33 bf0942bb38b7e1a33c70bc3542d27220379cbcef8b91898c720be948e9db214a14bb 9 ~~~ + +#### Test Vector 3, Batch Size 2 + +~~~ +Input = 00,5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a +Info = 7465737420696e666f +Blind = 019dd87ebabccec2627d4006b698d9ba57f6e207c989448d39fe0431e60c +9a9a4110596d5a16fa6cdf3f66467524f295b5dc8f3492c6da02dd7387bd1dc40065 +b232,00adaeeed48a6f9a8fb57640c3bff88d3ab3cc52ef969f02beaba2c6e32c2f3 +7baaf4ee9c691833dc081e2a0fb6ff636525457a21c1fc56bf3514635ac7fb8618f7 +3 +BlindedElement = 030170a994d40e8517aed3a7efae01b650dc131c1ae07158f02 +ad70d211348a4b328add9d17e93d2e747dd8bc6960a5ab3bec6a9a29f793bf5663d0 +ab108b5f84fa751,03011045c5ea9567626cf6d2baa158830b035e66c249df4967bb +bf917e64bf27e4ec49623704a7c621b32f05e1c7bf1b89960c82d4203c4efa6a1056 +e083be789d017f +EvaluationElement = 0300fadd09cc84c7e91c2173be0e65ee3c1b6ef98cf0cdd7 +57ec432f12f13b5d457edc0311d61ddd831f8becd5231bdc492e92c9d0c103e55ea5 +16ee00fe64c10d0e8e,03005941fb7eabc6353a5c2e4a6b284b7b8ee8da6c4435af6 +c4c472195bb0deb44e7dc215299c7fe38feafa2b0a1a1db7dd3090c5ce8171247f64 +7da20e04acef8164d +Proof = 0186deebd9e2db71ca43bcb57311371390c2d04ac9c3189e155f10c9c548 +f6f22c051d38203493176e8392ef405c783759c735cb6f7219636c140cb2dc070a11 +58c001bfdb12f34e00a582e22e1eb2fbdebcffe4b6e0818de5c50451617213e1ab20 +fa5392eb3b535206140a2619732c012d5f331a615755f5397feb9e1fb16d1320d20d +ProofRandomScalar = 010a82559ee5e4ba79c390c4033405e3f792bc49daa905c6 +94707e7e0191104b34d68c7cc81c2e392da60b838eadf434b693d9b4f7c7beb31e37 +008156656c19382b +Output = 70ad5e29de9f6e35f16afab3b97c1b26fdf6be0da60aff48a99980ddb8d +7c2d728a8a5d2837179bfddd612712e014c0c9b9596cbb5a6ee6761c564dbb8921b4 +e,ee2d8e42030da6283ab59a11f41a171c65e208306e00c6f965a56c10f33bf0942b +b38b7e1a33c70bc3542d27220379cbcef8b91898c720be948e9db214a14bb9 +~~~ + diff --git a/poc/oprf.sage b/poc/oprf.sage index 207c1a3f..3b5b8277 100644 --- a/poc/oprf.sage +++ b/poc/oprf.sage @@ -362,13 +362,10 @@ class POPRFServerContext(VOPRFServerContext): return evaluated_element, proof, r def evaluate_batch(self, blinded_elements, info): - Rs = [] - Zs = [] - evaluated_elements = [] - context = _as_bytes("Info") + I2OSP(len(info), 2) + info t = self.suite.group.hash_to_scalar(context, self.scalar_domain_separation_tag()) + evaluated_elements = [] for blinded_element in blinded_elements: k = self.skS + t if int(k) == 0: @@ -379,7 +376,7 @@ class POPRFServerContext(VOPRFServerContext): G = self.suite.group.generator() U = k * G - proof, r = self.generate_proof(k, G, U, Zs, Rs) + proof, r = self.generate_proof(k, G, U, evaluated_elements, blinded_elements) return evaluated_elements, proof, r def verify_finalize(self, x, expected_digest, info): diff --git a/poc/test_oprf.sage b/poc/test_oprf.sage index d610058b..baa6b580 100644 --- a/poc/test_oprf.sage +++ b/poc/test_oprf.sage @@ -111,12 +111,13 @@ class Protocol(object): blinds.append(blind) blinded_elements.append(blinded_element) + evaluated_elements, proof, proof_randomness = server.evaluate_batch(blinded_elements, info) + if self.mode == MODE_POPRF: - evaluated_elements, proof, proof_randomness = server.evaluate_batch(blinded_elements, info, tweaked_key) + outputs = client.finalize_batch(xs, blinds, evaluated_elements, blinded_elements, proof, info, tweaked_key) else: - evaluated_elements, proof, proof_randomness = server.evaluate_batch(blinded_elements, info) + outputs = client.finalize_batch(xs, blinds, evaluated_elements, blinded_elements, proof, info) - outputs = client.finalize_batch(xs, blinds, evaluated_elements, blinded_elements, proof, info) for i, output in enumerate(outputs): assert(server.verify_finalize(xs[i], output, info)) @@ -140,7 +141,7 @@ class Protocol(object): return vector vectors = [create_test_vector_for_input(x, self.info) for x in self.inputs] - if self.mode == MODE_VOPRF: + if self.mode == MODE_VOPRF or self.mode == MODE_POPRF: vectors.append(create_batched_test_vector_for_inputs(self.inputs, self.info)) vecSuite = {} diff --git a/poc/vectors/allVectors.json b/poc/vectors/allVectors.json index b6e694b2..6db20871 100644 --- a/poc/vectors/allVectors.json +++ b/poc/vectors/allVectors.json @@ -112,6 +112,19 @@ "proof": "a3748b980aec81add561bcd7ac4fe2b09a93bd8a127991788fd618bf7fb793034a6f7f59cdcab538ed3e50d74b31f82dff14e3c8d3a081f744a6bdf93526ed0e", "r": "c4d002aa4cfcf281657cf36fe562bc60d9133e0e72a74432f685b2b6a4b42a0c" } + }, + { + "Batch": 2, + "Blind": "e79a642b20f4c9118febffaf6b6a31471fe7794aa77ced123f07e56cb8cf7c01,0bb106c0e1aac79e92dd2d051e90efe4e2e093bc1e82b80e8cce6afa4f519802", + "BlindedElement": "3206271954cce85425971fddfebe14acad819b9753ffc1718157e54a5e56542f,847b21e32855892256a3eee10ea5c512d362b34de1ab278573cf91edfcb14a03", + "EvaluationElement": "76d3282ac9aabc9b0133df89e680ab0d43f2946c224db25e798abdf0ed1d255a,e8483fbacb3e62787a803dd6d688e4db26be5392f529f1dd6a7f06e2b28dc52c", + "Info": "7465737420696e666f", + "Input": "00,5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", + "Output": "4d04eccb77a29bd8a00fb1e3f391e0601340c3dc874fc7bb16cfd92d961532d18b4edfffaec94457cb19111bca1ecd19e46124c6a5d29703d09df5e5ab521b28,a88ab2bceba2c9c5a0ee0ee45636e65042b5f274af864f8c1560d32ecee4373c31907f237609d3f164beec32e3270588961c1d19cee467d2a3b0445ebdea2159", + "Proof": { + "proof": "f5b8d39897f12dd1f8fc927e2f7f563629b7b45f1e6b5eeb469c043d21437907a0e9236beec240a04e0fb906a7d126a8cb40e22730106446c1fa3a40a5283406", + "r": "668b3aab5207735beb86c5379228da260159dc24f7c5c2483a81aff8fbffcc0d" + } } ] }, @@ -127,17 +140,17 @@ "vectors": [ { "Batch": 1, - "Blind": "d3a425c41eac0e313a47e99d05df72c6e1d58e654a5ee9354b115060bca87db7d73e00cbb8559f84cb7a221b235b0950a0ab553f40bcc304", - "BlindedElement": "28791eab6c162e743fa0a9a36a2d23aa68674b2be1c32a68adfc7e0ffc838ceb5275223e64306671c27a2091b7afd7ed79e42bed6bd2da78", - "EvaluationElement": "089919a875f4d30c7222335df3692a6b81133a56889ec99c08cfe494dd08095fe2fa1657d02a44ce4700100d74a0a7d10f67e85a009265c3", + "Blind": "d62851d4bc07947c858dc735e9e22aaf0576f161ab555182908dbd7947b1c988956fa73b17b373b72fd4e3c0264a26aa4cab20fd6193b933", + "BlindedElement": "d078a185d2d8a54b68d6df4e83640192d3659e18fec68d43e4802998d3c9fd819b32070caa78083c909d68daeb7fd420a73f931452a2b70d", + "EvaluationElement": "3452e46b6277b032627a7e5d22aa1b25459f8de90dda31379ed490bb0078eeec05fc4265fafbb5252d4228f9f1f5453bbd391d6b8589f232", "Input": "00", "Output": "b93d3ed18489c1236cc965d202254de35767ea673560d6c225cec0b30fe3adc88fee63f8a78d127cd64c7077e1d3ac4a7cc761335c0bcdc12d6981ad87302858" }, { "Batch": 1, - "Blind": "87abe954011b7da62bb6599418ef90b5d4ea98cca1bcd65fa514f1894bcf6a1c7cef33909b794fe6e69a642b20f4c9118febffaf9a5acc11", - "BlindedElement": "a2d6d32c73a6841e6caa2b3f6ffc7a803c86ad1fc82956dd82de050588a4f4c2089b6790139d5db09bb4a9cfc77b4419f250cabc6cce0238", - "EvaluationElement": "ce914519593d6e09f917f02e675c6ec1c7ba65d287a3347e834585cf6d99008548f34f14bc318de6215964312ab02eeaa524d12dd8144264", + "Blind": "ac345e8d755997956ddd1f267a2d86175aeae5e1168932285a6f602b4b20a570a697452b3ddbb7d0e29363adebbcb5673294396b82931f37", + "BlindedElement": "283f0fab2be6ac3a3c8eacfd504f3ef63f518892f7b000f1dcc1ca2e773aba0fbee48b100886b90d5a08377cbf5ccf69801ae2c23e1adbf2", + "EvaluationElement": "ae30bab51a34c45a76d00034b29e1c5346fbe3718c3863028e47226456880a85a2e5118f274a8c260dae62fcec3cde8624405fc7cddbc867", "Input": "5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", "Output": "aaf99e5a044bbce915bf3ba381e25da62e4b2cea4cee2f47f3662940284579c0f8e1e011062ba010ca4f2c67a8157481c9ae7a458ea035a89e1948bfc5b8323b" } @@ -156,38 +169,38 @@ "vectors": [ { "Batch": 1, - "Blind": "20e7794aa77ced123f07e56cc27de60b0ab106c0e1aac79e92dd2d051e90efe4e2e093bc1e82b80e8cce6afa798ac214abffabac4a096005", - "BlindedElement": "a0a185b48d91dc0df1d6e5c9d22f8e1438c91fba744577a8f01b4d874aede303ac25318e6827464033544db2aa9e4ee130037c9b1c16f397", - "EvaluationElement": "b4aefe671dc177eca469727479f7a3e6218198df97ad87d5822a8237e61e68a49597c083ad566a3bd3d63d157930581975764d8226bb4f5c", + "Blind": "4bdfc97a75132d92a1da241baff84fada3e7b12d5b712efcac9ba734d54c2b24bff0ef6310404b5c05d60d7c258cea6500229ee015149f0f", + "BlindedElement": "1ceb0a3432ac6b583c31fa70b7c17ac86e0aa425e0593d04b58021670f725eee6664e6cd2041d90f157bc213a2aa4ed7929630b2d9898a76", + "EvaluationElement": "3afaa02425294a4810766c68e9e4c3c507b109b9064ed56a148a419371d5fb158f6ab5f0da62a6ba915bbe431097f5c71854821c1f10889d", "Input": "00", "Output": "b558e37f6435a12fefded196936a4c1d0882bf4a115002920744ecb312843678f396f7d36711cf551750388ddf7a53a3aea7fd0ac60568cd2d4ead16a1ee106f", "Proof": { - "proof": "bc0d7cf269b955793bc3d185264df51a22c209720253ff37a704f7d5d5cc54fce087d76038f4e4cb07e638bd844fdb706ba4ba07d7219300da88e06d02f9ed39d5c91d0ebe3c9a2fb49174a1c54ea219a9b87f26d7781e5079dca25c4a4951cedcc97151acc4a8d8d9a5d9a8d111af1e", - "r": "da3e9faf0f2009d16c797646097d761e2b84e0df5d76ece5658b3aab5207735beb86c5379228da260159dc24f7c5c2483a81aff8f6ff991b" + "proof": "f02f7ab2722508e343b5692078556e7ca9b2d63bf83dff902150b867775bf375693cc6a0adf33178ba7e72d6179b36ed051065c93619752958746f0d52e2e3a989d86df15f458847abdcc23976147b7b10c96452332aa03bfce1b89b7aeed080869d7ce8c7acb7414e7dbfcda298b532", + "r": "54534ad9db9f6df6ce515d1b8017923b65cada199e936a623c8eb3bd08e9b3f6584a85e4ff26e9f869d30b6c7c6cc56fd94e306974fbcc3b" } }, { "Batch": 1, - "Blind": "befcb571168f337dd52851d4bc07947c858dc735e9e22aaf0576f161ab555182908dbd7947b1c988956fa73b17b373b72fd4e3c08992892a", - "BlindedElement": "6caa634ab200766b5132d8144b2e67f1d5f29573d42008be82c870f184f7220479f5dd6b0b894b4c244afc050b6d3b5405cb18dc87393a8c", - "EvaluationElement": "1a6ea9611ecb4fb354adf935ba4d08b2ddc8b459459ca18a2894af6964668f911c60d517286cef5397dc94b70f8785b15d342ddc411cb856", + "Blind": "beda1edc786e5fd0033feac1992c53a607d516a46251614940e76a2763b80683e5b789398710bdbc774d9221dd33c509b4805fc26f0c8d0b", + "BlindedElement": "2e04b6883057a5b5ba020d077ae36dee76a07c2f3eb8cc55bafdfb3da9c7405ffe50802f646ca3c3ef39d195c2d88ee56e73825c7cd2319a", + "EvaluationElement": "6270b2f73738aa846dca34d7b30b7c4f943e31d4d4fb35c598f5d608cf25648b44553d43b158dc2707eda170dc439740c10d7b4355bf0f83", "Input": "5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", "Output": "eb14608be2f14c25b2c9fdd23690d293d0c6aaac501a3405b626b8699cf34bb9dd4c2d7987b6391519b9480da453611509ba98098b3e79a35acd00f5e9d8abce", "Proof": { - "proof": "f0cb5b7f238147016663ba096dfc1dd0c2eb3c83ecf2de1b5735aecaa6d5daa242074b50db33fea96d74b4ffc0f7d6ef3ecbaec1e4432612b220b5dd89ea8dd12e7a3ab19a0fad9ca81916b94691af4eeea1b2ede3967424cf693ffb74cb67b7a043538e51d0bf8d41d7e8365baa0625", - "r": "4dab20fd864de6ceab345e8d755997956ddd1f267a2d86175aeae5e1168932285a6f602b4b20a570a697452b3ddbb7d0e29363ad3a6fed19" + "proof": "f731f60aa18d508f07dd3b7851fe9f8cfe6f02c4ea2814cfe8af3203e49344041e6acf0f09fdffdc02d22728544b9bda8d0604e727f27a1efa16526f169191dedb35a1338bf399d8737d6d1638f6d4b895c0869b4194e66fb0dbb4b3e0437a2af0d76dd8cfb0bf38c9de605dc5749603", + "r": "00cc800042a0cff31f865698f8858efa75a1f0faef934317dd6a10bfbbb39f9f2d97dcd5ff4eae02980b08fc68da7b71d39399dc4eb0400a" } }, { "Batch": 2, - "Blind": "01229ee057507c3e53534ad9db9f6df6ce515d1b8017923b65cada199e936a623c8eb3bd08e9b3f6584a85e4ff26e9f869d30b6c1f5bf11b,da4e3069d3ed33ef13a08c384d74f6dcaed32bb9448c02865efb17a32b82c7f06a9586c63b775932689cb8215043bf2952776afbc6d9ab26", - "BlindedElement": "984d89dee8a5cc2b43102ad6bc29da93af93fb516a8494979484e510eaa1ff8745824013ec56517444e0ce6ca7e5eaa2ecba3f42b29afdc0,d88983a835d3ca60a07f27ca645fe35fd7d77328d416268e8675866ec92c9fc11731bcc135b9a77b77c6fa63a9042516f0e8febd5574ac4d", - "EvaluationElement": "e8cf08dc59f2b7a3962ad26038ce35afb82cb856ca7e3ba16c47ac251479321a08ac37932c832b12adf4533a02ef3a7016f601dc25ae4384,d825c16dbe5c86570f6c5a48297546c1c1f8c6148a8580db27e7589d3ed5aaa299cbdb260bb23bc8547f4be62ba63adb2e7f54bc75507e94", + "Blind": "89ae863bc6f3e8b59bbd1354548220e81cd0ffb6f9e4ec2173870ae684f86b1c06e41ecdb9ef83429e58098b8f30a6b49d414ad5f941cf05,7b1f0b697d9efa2b60c984df38632f1096f2bf292478118d78e9edabbe9ad22900ad84b1a2cdcb869c70c83260691e69ea7f473c3b478707", + "BlindedElement": "c86795bcec21f2b337865406ecbb9495dcacfb0b0d7d2a857dd31f0f70619a403d42bb57fc53c9182878baa7be06e337c885ba0023190d63,7eba6e7672c0a7cb7c725ac98adf2b081e05fce49bd5cbc6c0b687aceac45ee0aab63cb13d0f0493a265996a7aa94c9b30f4fc0c385a36af", + "EvaluationElement": "14553405aed5bd3b2672fc74f52aa1d9efb9cdd5ec668476d74c60eca8930994aeaf61eba482173e5953988d702ce5175ab10c1585cbc4a2,7275d01889988341f8c9c8d0adaedb54af2d166112ac01f2c053fc772cb09d69a33ee0ffc6a92ca0d752e35f4a33ba0677c37a3618ae07dd", "Input": "00,5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", "Output": "b558e37f6435a12fefded196936a4c1d0882bf4a115002920744ecb312843678f396f7d36711cf551750388ddf7a53a3aea7fd0ac60568cd2d4ead16a1ee106f,eb14608be2f14c25b2c9fdd23690d293d0c6aaac501a3405b626b8699cf34bb9dd4c2d7987b6391519b9480da453611509ba98098b3e79a35acd00f5e9d8abce", "Proof": { - "proof": "6565d0e87c344dbc3baa7db461d483efd8100ecc25733dd2f6b7f735c4d4a0f76388cb35dd5493a2bea09f2830e98fe033f8fb6ddcee4506cca98d54e0b543b02655ae0fdb6840af85ca42b3d4f960a598628dc82e4455500c6300d26624dec86e07bf73dd9e80bae836ceb544cb8a18", - "r": "4e278b9fbe31963bbdda1edc786e5fd0033feac1992c53a607d516a46251614940e76a2763b80683e5b789398710bdbc774d9221f74c7102" + "proof": "820c0da6f0ceb390355da6fb002549f37031e92337bde432d3518541d2f3e6e4f86fbaa2aa0aa53f15db278a0aa2d305226911e408c25f2bcb3a6774089d075d3a92e273fbe5359a9c81f9e83082a2e8b02f34d248789f8da583296e7c531e9d870790042248e589809a40631feaa914", + "r": "7baaffc0af7cf69078ce1702514d93f32828684a1796b559988623c12413cf511d13cb07ecb6d54be4962fe28eed7d4386c156301dc2db01" } } ] @@ -205,28 +218,41 @@ "vectors": [ { "Batch": 1, - "Blind": "c3b11cb03005ced988ae863bc6f3e8b59bbd1354548220e81cd0ffb6f9e4ec2173870ae684f86b1c06e41ecdb9ef83429e58098b238c292d", - "BlindedElement": "f4c83c628c5c1b509ecd78a5651e2ab180ccf02ecdafe73157d3b388fa945d149d3e56c36aac26f4e5bb914bb1069bf0348905c0e12edc8c", - "EvaluationElement": "a0c254af7cf53d7b1be3c8c3e7cf59fe052064e38b05306b68ee67a2e6466c2740c4a5bce787652a0c61be6645c7bcf4d81c07063eebc250", + "Blind": "ee671e4c9b6783bd5e4a55d2e8474fe0ec811b4cca7c0e51a886c4343d83c4e5228b87399f1dbf033ee131fe52bae62a0cb27eb7abfcab24", + "BlindedElement": "4c371528ab436b8a6a5bea333cc5702c70cdddb80d12dc2eafa06b87c15bba8b0b5451bc09f3d07e57c12af4c0398b09ae91b678fdeaf2aa", + "EvaluationElement": "d27f65d6c41880303989752e40748e940add1ad32e7f76ccbb873b7fff424d348ec8e43c11402e02934c1fcdadeacbca2d2e5171daaeef90", "Info": "7465737420696e666f", "Input": "00", "Output": "1ffbf9591b674e6a089279a8319c75e949cc277d7b5c75736141218030790755e90af009768e1b9240c9734d8886c6121123384140b26c38c7a6c4217a1b3d94", "Proof": { - "proof": "bce79a0516599712cc2c43dc49743ef9325cfce099f4cd2db6669e23720d062b12bb4cc3b7fddd52dfbfdc3a0fb4bd92bc9943139daae412a661fbd00a00766b879bfd152e4ad41a3d7ac8e73d0ce79a4087683d97f1f1c83bb8fe4bf2805a0d81055dfcf572303bfe8195609d419e28", - "r": "9e414ad5e6073d177a1f0b697d9efa2b60c984df38632f1096f2bf292478118d78e9edabbe9ad22900ad84b1a2cdcb869c70c832589a471a" + "proof": "bf2f61413c56c0351151c1995007ceb2e197c987056f20a54f0027e544a0b20a7891b9aa882203f2e09e1a0ca9464e3cdf130eea9e1123023460d3f280dac87d23b8d2258666d002f57810d8847832b775984819e457c7bbe703947e7aeccdf59d3e520437edefc26b814f9fa7fa9917", + "r": "c4b297c662a87631531aade91c0558d87224d92247bdfa419a53af4cbdb352b0a2016e5e5f6c0bee4a642526ef9910289315b71fdee5df1e" } }, { "Batch": 1, - "Blind": "87c1563075086f0749e88205237f77416210747f2369383efbec7bf6c78a77d5062b938e91fbc6ce569a4461a97bda32d0af163d4307bb22", - "BlindedElement": "4aa02f66af57b0aa3f8d6518d7b1e066626903875fdf672c9f4ea0ad05d1f785d870b5dc43a0f5963a9c54d717cec1e72c5fb664dc747014", - "EvaluationElement": "c2267138997d553c74c97dbbcaf879930b8ba16053f625438907e32ec5a945181063f46d723390de07d90e42332b337ed7d301c0a68e17d2", + "Blind": "1abe4937f28f531b14ac96b844320e7a66810c2d9391cbb877348301ab59a3a91b4a2129672886ae5da7839f2ac8cf1c5fa92703f5b3fd06", + "BlindedElement": "dea615b00285247715173fc6db40cab1436607bc0eaed3d7a1a1467b70c7ff2f2ce91c05bcaeda2b01952926f254f13e1a763a174caa693a", + "EvaluationElement": "a692017b9e91efbe6641c3ef0cd3b352022ed08bb5ed0c1da0838589bebe53c2d2959818359cb0213b94cafa672673608b9a2280671d6c75", "Info": "7465737420696e666f", "Input": "5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", "Output": "daeb206a0e1fc120ebe4ad885f851f456f7d8908166839b7dc541f712514203d9a3589025b4bfad6a79c6d40bfbf217f44a9aa17874a1ec271b23cced72a44ef", "Proof": { - "proof": "68bf6f699c4078a4b05649431bcd9e60424d4c87b7bec27ff78c0416cd3e9b965e8025fec6705fb5773fac80800c790cc99ff3a934eaa3099b7fd53f51c7fdd32617e51f33d04616df7a28c29077cd4963bd8583b2f38d84f592704231e9f97f46ce5474fd7248d9de9ed2183c63e20b", - "r": "68481b589434b3b5b6c131de9e080e58e63ca9ce7d0c1bf81599e1a6292f2574e3a23e21d5bf79ecc75a16f7a77618bb9a9224c39cf90a18" + "proof": "ede122b8ce87d22fa1bb9dd38dc76da1a9ff812a8d2cbf3d2a6e86a10331a849d203bd925d6f130d80f333aa0443488731769e975b4c900d923d740fec13a61d3175a0daf9a88d8f66704b36ca2b1b7fefd6cab4ffb50fe998e53ce4743ee9466a56886f79fd6d5b924553f64130c60a", + "r": "a3e896e126d371f6380ca41757f6458b93b049e1b0d73ab5b8d914b08dff3e52e62ea8898d35b2862d28ff4c5f89353d25d6b5a8dc014d3b" + } + }, + { + "Batch": 2, + "Blind": "255d8adc40b8f39f14cd8bd4ade8abbb95166afdc9e922203abe7a8539854c64b943b0b46e1e1b47cfb52e9a0867c8cde22bcbdd724d9f09,71bd897c56c86b31b096103b7e2d26d0f4d66be95299379b41668dbbc5ece26cc212d9f2cbfaf479efa17b7f6b056dfcfbee5bd7365cea26", + "BlindedElement": "361b80bba04ff4b211e38e636a8530531213a44f44738992b18eaf0d9759eedcb7e4034e9bda6f8829250aff72343b0d2d1e23d612d94674,c68d79d1a614b90e6ab1dc14a982f9fdd423edc94a10d87d45e32935e363079967ad2894828b1764cca8dec5e9f919def474b1d03b6c069d", + "EvaluationElement": "32629ccfd36787d8d80756f025f6c23c21145dd22c28d974f34098e166a300731b691e1faa7e3959c1bb38312c43d1d693cbab4b90fe7d2e,eec655a1a869b3f0f470f7a0f2cef69eb6539c6c1b9e49d9b380bccc7b510d466f45d88fa690b687a8507d1e0b275028d095292fc4aadd2d", + "Info": "7465737420696e666f", + "Input": "00,5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", + "Output": "1ffbf9591b674e6a089279a8319c75e949cc277d7b5c75736141218030790755e90af009768e1b9240c9734d8886c6121123384140b26c38c7a6c4217a1b3d94,daeb206a0e1fc120ebe4ad885f851f456f7d8908166839b7dc541f712514203d9a3589025b4bfad6a79c6d40bfbf217f44a9aa17874a1ec271b23cced72a44ef", + "Proof": { + "proof": "2f3501925c81837232ae34e5351518ad35e24f1d32f7459da3c19cae774695e7dc1eca32133dd57cd0e2eb67c75c9edd9cd3ff9c5e1759314ea99a4eca322f6e56f4b80795f67d1bf747834d2d7b3049351979ca876ecf28f87b81fba243269e3c09ea1889abd968af67c7ca511d0c3d", + "r": "bbbf1ebe98b192e93cedceb9c0164e95b891bd8bc81721b8ea31835d6f9687a36c94592ab76579f42ce1be6961f0700496e71df8c17ab50c" } } ] @@ -243,17 +269,17 @@ "vectors": [ { "Batch": 1, - "Blind": "41fabd4722d92472d858051ce9ad1a533176a862c697b2c392aff2aeb77eb20d", - "BlindedElement": "02441f547a2e792eb2ff79788da348d182c38e2324cf6139b8e0d0c83b11d2bf13", - "EvaluationElement": "03f8f8d90588c1567e3ed2f773de5db1d3103a49e8dce36b7326a290b1937d0c78", + "Blind": "f70cf205f782fa11a0d61b2f5a8a2a1143368327f3077c68a1545e9aafbba6aa", + "BlindedElement": "0372ffe1ebd9273f17b09916d31e7884707e8902f7e3af2a1b3ae1dfbfae9b5126", + "EvaluationElement": "02aa5b346b0375cd734014ffa9ed2135a1b07565c44fe64d5accfe6ab6d8c37f77", "Input": "00", "Output": "413c5d45657ce515914232ef0bafdbc1bfa5c272d4b403f2cea0ccf7ca18f9be" }, { "Batch": 1, - "Blind": "7b7f977a1fb71593281099ef2625644aee0b6c5f5e6e01a2b052b3bd4caf539b", - "BlindedElement": "036787c9803b6be212a4abf23dfb52c6925603e30c4d9e4d17afbffd927963d111", - "EvaluationElement": "03e93f91e53cd96ce53140c0c0df69f6fa9c1efd4367811106ef10968cb408ba2b", + "Blind": "482562df55c99bf9591cb0eab2a72d044c05ca2cc2ef9b609a38546f74b6d689", + "BlindedElement": "02fefe6e044601a158175fb4bf90c06841ca7211dde4e56e5cac6dd45728cfa04a", + "EvaluationElement": "03167ed445f79ffa867268e30c0aa240ad1a8635690164066d833e350802e57273", "Input": "5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", "Output": "2a44e98a9df03b79dc27c178d96cfa69ba995159fe6a7b6013c7205f9ba57038" } @@ -272,38 +298,38 @@ "vectors": [ { "Batch": 1, - "Blind": "2c2059c25684e6ccea420f8d0c793f9f51171628f1d28bb7402ca4aea6465e27", - "BlindedElement": "02863053a7fc559bb76cd13ba5033c17d8f5be98ee731808a013c81d035245adf3", - "EvaluationElement": "03a7ebff42e330d03861c9a0676e67ba6f90b24981c4cb20582a4720a46d3c56fe", + "Blind": "e74c5078a81806f74dd65065273c5bd886c7f87ff8c5f39f90320718eff747e3", + "BlindedElement": "029d750421c5c726658902c47d3675ebba01ba25d0bd127bf6e338b801b166f1d2", + "EvaluationElement": "0291e9890c7418a2fc1ac635d2650bae3f1a25a9ffcd0bc01b3c39fcee4b095dca", "Input": "00", "Output": "a906579bce2c9123e5a105d4bdbcafb513d7d764e4f0937bee95b36252778424", "Proof": { - "proof": "5c4d4251c15e087423475e11f13093c2a26d9d875dad86f7126eb759af8055bfea38f60d0005ba1a93861c1293e445e5e367d4416eaee6c20d18bc8b45ba050b", - "r": "1b538ff23749be19e92df82df1acd3f606cc9faa9dc7ab251997738a3a232f36" + "proof": "54ec2d8558f5c72ff32489556c3ba1f3087810c5f51cc025f07adc034df2dcd6d706e7bdae3119b70748cbf76b66d520de87bf90287a091cf6f8d2a465cf2200", + "r": "dfc19eb96faba6382ec845097904db87240b9dd47b1e487ec625f11a7ba2cc3e" } }, { "Batch": 1, - "Blind": "8b45f65717a40c38f671d326e196e8a21bf6cfd40327a95f1ccfc82a9f83a75e", - "BlindedElement": "037f62b0fb778b86b90a2cc9e6c980c852dc72f61a8c5b6043cf948dab8ec81034", - "EvaluationElement": "028de0c64d82c02804ff086bab06e0a92ee47c89104d18c2651608ce9294af372c", + "Blind": "dfe89ac0cdd6b74684580de0f95f8e06aa6f6663d48b1a4b998a539380ed73cb", + "BlindedElement": "02e6085d4017ae0bede4b261977b588349d323414eb5c409e552e2bd4c82df498b", + "EvaluationElement": "03a649c5ac48f33a6c6cd82120145e673e17395ca94ea824c7d2dda7203ba4159a", "Input": "5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", "Output": "d13c62d285a71acb534dcebdf312bfec0e2a3fcb79f4ac32d2dfb0bc9aae3cc7", "Proof": { - "proof": "dcc13b328c8540839720ac2e0d3499ce02b1b793cfc42b9e507fe908d9d330b582f0672c75a8fbd4fd72eea46b23fb539b5dde6e15a03e844fc4340992525385", - "r": "3d35895f4cff282d86b2358d89a82ee6523eff8db014d9b8b53ad7b0e149b094" + "proof": "1a79f6a52579f7acb0100c916390989a1dca3c1b3078402e102b8dd037f0b34d929d38239b34175f1328708ec197bfc532ef31dafdf1ee85db4ccf8769844fdb", + "r": "4f9a70536c175f11a827452672b60d4e9f89eba281046e2839dd2c7a98309b07" } }, { "Batch": 2, - "Blind": "83705fcc9a39607288b935b0797ac6b3c4b2e848823ac9ae16b3a3b5816be035,644c8539857abe3a2022e9c9fd6a1695bbabe8add48bcd149ff3b840dc8a5d25", - "BlindedElement": "03e64ca57e4b5e591711bb9f67a816a61f5e4da6b01e62da81e95af145f94e3c0a,03204fafddb8b1d8aa95b3b51e47bf3f7bc6ac87521ab95eefd715afdece8395cc", - "EvaluationElement": "03d62df8971467d70e8e1cd2c2d17173d64ed456fbc0c1fd574f930b6a0330cd33,03ceed4d321e1f1b812cb2caad35071ffcf727abff1c8c8019ebb7fd82b0b24cb5", + "Blind": "9e68a597db2c14728fade716a6a82d600444b26de335ba38cf092d80c7cf2cb6,d3d6e1e1006dc8984ad28a4c93ecfc36fc2171046b3c4284855cfa2434ed98dc", + "BlindedElement": "03b2332e9dc41bd9b7997df58c1f432d13c4f018cb2095ef8eb14ef3b323aceb86,03eea6961f7f16deaa8deb6f68a865ae04d8be760626cad589b22cb90262e30b0b", + "EvaluationElement": "021f7b60c7c53fd3a6867cb38bb7f6febdbd802a78d1011100a779b67a801c3bbe,0266e83c8c525cd612669737496f0a736feb7d4209a520d2cdc204971215db0262", "Input": "00,5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", "Output": "a906579bce2c9123e5a105d4bdbcafb513d7d764e4f0937bee95b36252778424,d13c62d285a71acb534dcebdf312bfec0e2a3fcb79f4ac32d2dfb0bc9aae3cc7", "Proof": { - "proof": "70fc8376f56f7c6970eeaddfc4f268291be5c7ddea169496ae9264add96a8573c1c6ad9306377c44100436c7c5e017ccb1a277a35eb014053702a3943bd1249f", - "r": "316bc8567c89bd70267d35c8ddcb2be2cdc867089a2eb5cf471b1e6eb4b043ba" + "proof": "92c5c32bc18f3f5dbdd51473f4e3ecc9b07797c63d679be5399b223ae801ddd1e469df512f907d317a0930dd0e644b26c96edc87d2f8e0a09e66bc73db8647c5", + "r": "6e953a630772f68b53baade9962d164565d8c0e3a1ba1a337759061965a423da" } } ] @@ -321,28 +347,41 @@ "vectors": [ { "Batch": 1, - "Blind": "0470f06169bee12cf47965b72a59946ca387966f5d8331eab82117c88bbd91b9", - "BlindedElement": "02020e7eb0259b4b4bd8a63dd3071177e2b8dd85608f9cf88c4a4e7b2d40405089", - "EvaluationElement": "0322df86453b7d0dd528396d901f2cf49df10c02b5196fb995944efeed31b48a74", + "Blind": "4238835743037876080d2e3e27bc3ce7b5fb6a1107ffedeaedb371767432b68c", + "BlindedElement": "02cb57f07ba100b93ce1bf8176963c8c7f73a76827f1c1401a923d7ca4083e15aa", + "EvaluationElement": "03059d58ec9a801e33f57525c03241d8ffb61b67a18edd35222d864ffbb42b5d2f", "Info": "7465737420696e666f", "Input": "00", "Output": "15fce9922a2307349aac2eccc41941283e3c5e938aaf2506f99a6d8b6ee34ef8", "Proof": { - "proof": "2f8120ada25173ee94ab9499ae3dd5ce7d35c885f2a25f9670cf1c12c9ef918f52f9738023e2302e697338edc610aa6fff096550dd4b24bec61c8b76be06ebd4", - "r": "466f3c0a05741260040bc9f302a4fea13f1d8f2f6b92a02a32d5eb06f81de797" + "proof": "13889d6849850ccd0119981fc053a38a30a57d275091df2887943d1332f738204f8a6cf2fb6e57c9b118ec82b9b012f8864561e4cd8866245f9c762b9d45dbf9", + "r": "3d5c65b55a1b8960563b3420d7764097502850c445ccd86e2d20d7e4ec77617b" } }, { "Batch": 1, - "Blind": "15c1b9ee1e66339439e3925cf8ce21ce8659f22523b6ce778bbd8f8b541be4be", - "BlindedElement": "0268a4e711b93d37611d605f2c0a0ba8baf6627938ebd5235a166c0d727226cdd2", - "EvaluationElement": "02818461a7ba093eef0cba05badde4792653eed89d2f16ee278524a9d70f7d2d47", + "Blind": "c262bf51dc970d63acb5ab74318e54223c759e9747f59c0d4ecbc087302667fb", + "BlindedElement": "02208809631cc08f553d7843db566c55746e760a77c63513d2b22096f98452cf9d", + "EvaluationElement": "02301ee1cf1d01276649ac0f718ebbfa1c0d6a1b3e7ea82b3085e9173910fcb0ef", "Info": "7465737420696e666f", "Input": "5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", "Output": "a06ed7380210856caaba173bcad06266186c6638d86e372c3c96b9bd2f353543", "Proof": { - "proof": "66d3c5e2467bddce59e4733f1cb7de16a7de4fa7e0b2a125d9b309372a34c6c8da8d38576dbbe940da0456503a6e2d27a55ce8de0610a0b8be4722f7febac599", - "r": "a1545e9aafbba6a90dc0d4094ba4283237211e139f306fc904c2d4fe4cc69c0b" + "proof": "cb69a1ec76643a2100cc9bfe6cf1ed1fa5ba3612ed3e3211036b5ed835a138be3eb92126694e3e925ab138d4df885be18ed80371847f80baab82ce70588eebaf", + "r": "6c6990f0fcd9a655f77ff0b2ebcfe21e1a1ca4a84361e9f1b18e24c9a40ed5ef" + } + }, + { + "Batch": 2, + "Blind": "3f95c9b1334d8af16ae1e69f5adc24e5aa89ebb63637c835fd39b17a1a4453ec,9801a9d83b5d1c0fc0812c10e18f146b14d7eb94755a918bac1ef8d69d21a7c2", + "BlindedElement": "0277b1e97f06cb0976bf196a30dc7b3f635a40ec1337d4bda00f809eaf244f7133,0306823c1610cc81b08db444d7c23cd368e8b6fc1a7fa3d727f28bcc7d3afa9c41", + "EvaluationElement": "030f395a0e0328018c78de95ff498a0afb54fbcf3419722649e211940852ad0171,0221335509649461a4d201d2887af62313466af660559c348e8ac326fbc1c147af", + "Info": "7465737420696e666f", + "Input": "00,5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", + "Output": "15fce9922a2307349aac2eccc41941283e3c5e938aaf2506f99a6d8b6ee34ef8,a06ed7380210856caaba173bcad06266186c6638d86e372c3c96b9bd2f353543", + "Proof": { + "proof": "187aaa12108c49c1395001ccaa677519572ac4680b0f41b346b9879d3ea6fdb9fced5c7f20b351d03786d031de79cd3c03723ce48053a13b640fe6051ee3584e", + "r": "fa0ea4754fb56527be010296ea880e1c6a4dbbc9ede543a2ad0f83fd60fdacb6" } } ] @@ -359,17 +398,17 @@ "vectors": [ { "Batch": 1, - "Blind": "4dd65065273c5bd886c7f87ff8c5f39f90320718eff747e2482562df55c99bf9591cb0eab2a72d044c05ca2cc2ef9b61", - "BlindedElement": "02f4471ad82815b468ed6f8a565890b7ea08a5bdd5cbf97657e53d56b89e408d2cea842987b11e21eaa4c3c9edf5363fdf", - "EvaluationElement": "03d2ea8566ef199d64011b7d0141163d72c1c899848618d2786acda8aa00c9761adbd764da9d527e3f187885029bea10bd", + "Blind": "cda63dff3137c959747ec1d27852fce42d79fc710159f349e7da18455479e27473269d2926fec54d4567adabd7951ad6", + "BlindedElement": "020db1b05b22ddd8a851792dfb5b10b4f237d69522097cbb0127ae537e3256f86e35a72554a6ebdb26c28342fee16473dd", + "EvaluationElement": "031e6e8c82d3284727a724a5854b3e2bf9958b4e5470601f4ca37d33d26879eca817796cb7e98bbbb1d1739eeafb33c027", "Input": "00", "Output": "b2e380ca96ea80f7550a6b663e5f7752d7d7772c46169d72308a84259031e804ba577ac34e632f535a9519a692734016" }, { "Batch": 1, - "Blind": "55f951785ae22374dfc19eb96faba6382ec845097904db87240b9dd47b1e487ec625f11a7ba2cc3de74c5078a81806f8", - "BlindedElement": "028b1f9016b28c0d7ffa72018fa66caf130ad42e260517a756f32f9d9d5b995a67cdfa366ff8ef9b5cfb03f0ec7e8c303d", - "EvaluationElement": "03b9523b3ccf732e28abfb0611c21a0db80ea46b9539bede1824bc33e59e1cfdc5dd0660e603088d182139670d1904072b", + "Blind": "f9e066cf04a050c4fd762bff10c1b9bd5d37afc6f3644f8545b9a09a6d7a3073b3c9b3d78588213957ea3a5dfd0f1fe4", + "BlindedElement": "023c36bf6352c93d27b118972d1040cf22f99d5a1c8134afb898d30b319f70a096973db23410881f84eea599c0c73220bd", + "EvaluationElement": "0240b6a002d0190793ea62a7499244027753d63b0a57cea198c8c6dc883cdeb273ab385699bb414f1040bb6819313cd675", "Input": "5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", "Output": "1d155a7ba2ea75c4f1e76fb0a37231e9b0776eed3f24a6541a01907ca8afb984a74408e6d2de8e481cae5dd03bdae3ce" } @@ -388,38 +427,38 @@ "vectors": [ { "Batch": 1, - "Blind": "84580de0f95f8e06aa6f6663d48b1a4b998a539380ed73cafefa2709f67bd38be70f0ffdc309b401029d3c6016057a8f", - "BlindedElement": "030b29cb373dfede2ff32a048875af7bf27646ab6513e12382642c5c487f7f75ca228895fadb2cb51a3c5cc490a29876b7", - "EvaluationElement": "02fc30baa706040fd25536887fd45306b5f4672adacdef8d2952230b303840e45655c748cf047c344e7a434a45663c7082", + "Blind": "61247a74d0c62c98ddff1365bb9b82b279e775b7220c673c782e351691bea8206a6b6856c044df390ab5683964fc7aac", + "BlindedElement": "026601d99c313b827a09aad832fcc814ac5257a57bb49d65c05e247df9518315a66557fc8af56b4521c51900aaab1a2ea9", + "EvaluationElement": "020b478b9c9b1a5935e07fb532eac2e596b78170a0e755ecc71829419e63a2119eae23be281e109de205cd85af7e42228a", "Input": "00", "Output": "f18884ace2e342f849cea7f2f17de902b9884574fdaa8f507356f482c6b67013f329e8c899b3c2c154af1defaa11d656", "Proof": { - "proof": "3f6d130a4cc35e3e41613050050ffd9aaff3ed927b6b4ccfc96bcc2cf561f58d51ef43b894a6b368b95b47c16cdbab52c5dbbd44a9761a19f6338ff2e673bfb4e2319e831c4737f056e031065558a2c8345f2d73ca9470e14d640148fdb20c4f", - "r": "e17e559ca3ccd1944f9a70536c175f11a827452672b60d4e9f89eba281046e2839dd2c7a98309b06dfe89ac0cdd6b747" + "proof": "02d0946f1795048bc803171aea5b4a9a5f256bd5fa9414e5fa76dd17a4aaa94307814d57c2cca239485e29bb76d4ac1b4d3d62dfbb8e43c7135b2ebe50fe923e30bd99e1e6ec961db18fa6e67c63dd6652284c15860156c08d64d838efbeeb68", + "r": "f5685928c72d9dab8ddfe45de734ce0d4ff5823d2e40c4fcf880e9a8272b46eea593b1095e7d38ba6ff37c42b3c48598" } }, { "Batch": 1, - "Blind": "7759061965a423d9d3d6e1e1006dc8984ad28a4c93ecfc36fc2171046b3c4284855cfa2434ed98db9e68a597db2c1473", - "BlindedElement": "03128b675110ddb78dad990afcc962d8893f16bbbf36a073718757f4d91e5a0e1a2b6f7a2118c433db44c78ce08dec5e14", - "EvaluationElement": "02d7ea5cd1cb88a07f1de1a9e0f98945078fc7aff2b35f9a78e88102837a3b444d6f09540947c31d7eb27c66259f0e7d53", + "Blind": "ef54a703503046d8272eaea47cfa963b696f07af04cbc6545ca16de56540574e2bc92534ac475d6a3649f3e9cdf20a7f", + "BlindedElement": "0279e61686e698fdbac5cf484f54846db8cdf6f403fa88209c34c56c584fe4ca600ac81b61aad11c5e639ff1add3b30de4", + "EvaluationElement": "03900e8e3f5b8bf698e7aa0aacb8dbdfaedf80220b1f640de2049615985b19b913569cc2feb90725a3661146fb88ef3755", "Input": "5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", "Output": "f91d172cdecdea4f8299c8b39426db4c47428b82f8872b8539ad9b019deb48b8d3c928c572ed988d5591a4442c060438", "Proof": { - "proof": "14baa204829577b1df0e0be74272ef971be05a57adce39629c26b23b893d4e71efa6de555784d99d59d203040ec6486ceaef12b23b643dfb48e5f65faeaa56650da6d579bf810829081926232d9dcd9ae815ec90fc3baa2b80e881dbc2333d1c", - "r": "f96713dfe16f40f2c662a56ed2db95e1e7bf2dea02bd1fa76e953a630772f68b53baade9962d164565d8c0e3a1ba1a34" + "proof": "343536346a1145b81336eafc239f225dc6a154752492707c0465f029aa9af0fe2bf0428285e43b596db633b50f0801b62b0e9c64c62f329b8a84324a415e4a586cbf9477b1285c9b74f614c352e06658a8997486b8177006491e84aa96a3de09", + "r": "0cdd9475ad6d9e630235ff21b634bc650bf837aaa273530dc66aa53bb9adb4f0ed499871eb81ae8c1af769a56d4fc42b" } }, { "Batch": 2, - "Blind": "563b3420d7764097502850c445ccd86e2d20d7e4ec77617a4238835743037876080d2e3e27bc3ce7b5fb6a1107ffedeb,4ecbc087302667fabefa647b1766accb7c82a46aa3fc6caecbb9e935f0bfb00ea27eb2359bb3b4ef3d5c65b55a1b8961", - "BlindedElement": "033bf70953102f1ea680a1bf65974580341a8dbda2e26b5233426c18f62d16c6bc8033042c98e004a59ae0aa6af7d20a6b,022c42095692ac6e9fe02d4bef10763457d5db8db41ae973cf14370e5c460eccec0a2e479b043d21b07fac9aac5fc04603", - "EvaluationElement": "03fc0f78343004ce73ad8ba83e7ad48b73993b32f9244a40ed4981be4310984b590cf31264df21ab12bf7838d287c35407,024c85d0e51b941f72e65c1d5b8c5ca051200d802e7fabc86a1f599f88635ab3fcd113c9da6d8caafd7be3fc56b0c49ced", + "Blind": "485cccf5018abbf875b8e81c5ade0def4fe6fa8dfc15388367a60f23616cd1468dae601875f7dd570624d0ae9d7be2e7,b0d53a6f8da29c3cf4f8695135d645424c747bec642bc91375ff142da4687426b0b4f35c14eb2477c52e1ffe177f193b", + "BlindedElement": "03dbcb21b211e7b5d2cf0c36d782308af28458539423f67a29336355e55035137eb768b1935b5a825c589a2913f0c2894e,036c8b2fa4dd9cd057561d377b4686cddc82317ad3e5eda08bece2a8616ca724937ff933e340a47fc09bfe9b0fc1ef9ab6", + "EvaluationElement": "03a1cba477a408162aacdca43e059309fd61cc14687a107bd492a1ec688a010ff49c60684e0f973412a7da2e627b1553a5,036fe6df8a99bb7b2c4a5020ab4c6d7e71b5abca2d5d5a418f2314b614deb40c7b3acad982951b5f524e56f0e9ac7d8e95", "Input": "00,5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", "Output": "f18884ace2e342f849cea7f2f17de902b9884574fdaa8f507356f482c6b67013f329e8c899b3c2c154af1defaa11d656,f91d172cdecdea4f8299c8b39426db4c47428b82f8872b8539ad9b019deb48b8d3c928c572ed988d5591a4442c060438", "Proof": { - "proof": "124bac40edc92f8aabe62247aceb0a501947025354876f51da7500a806b927260f8648e1f1740eef022408d77f17903a698a943b598116a875f5e37871f623d0a41ce2f1a9ff53e819a971974e726bf461bee95b4811c3d0f1ee1d4b4baf10d9", - "r": "f77ff0b2ebcfe21e1a1ca4a84361e9f1b18e24c9a40ed5eec262bf51dc970d63acb5ab74318e54223c759e9747f59c0e" + "proof": "1e26bf1210717b88dfae585008100e9ccaebe93b8605ca168a608cbf1855697b7b87d0b9c6bdca85e43143b3630e87f2fe9ce519dba3d477d2a869bcad0db9dc6239cd11938213f9bfd63d39de090a6fc90cd1f33f164b2c54c38bc31ad98ddf", + "r": "b36f4c2a140b7a3c53dd8efb6171d3bb4d73591be8483a1a38e40c13a04b0f2180dda3c36e3d43c3a8f127158d010945" } } ] @@ -437,28 +476,41 @@ "vectors": [ { "Batch": 1, - "Blind": "c405a354e666f086fa0ea4754fb56527be010296ea880e1c6a4dbbc9ede543a2ad0f83fd60fdacb59801a9d83b5d1c10", - "BlindedElement": "0202fd96becd2b9f97f6540c833be9e423d14ed3b43ffef6eaf4ad029fbabd2403af879641ec3b068711ba2573157cb603", - "EvaluationElement": "02abf57f3f71cab2026ed849217f1a49cc97168f7e8c49520eb18648620d255d69caead39dc4c1ec04d6717fcbddf90648", + "Blind": "9572d3a8a106f875023c9722b2de94efaa02c8e46a9e48f3e2ee00241f9a75f3f7493200a8a605644334de4987fb60da", + "BlindedElement": "0252f98f04a956afa469c62ca2850f751b112dc019d4e713c662fc0735ef8573f1497cea55b750f27f0efc8330e394a3ab", + "EvaluationElement": "03fb20c33a7f6f01f2bb388318a6db84f7183bc3bd5e5840302fe38b6b313649b523238b4c4c625614440dd6ddbbcc7272", "Info": "7465737420696e666f", "Input": "00", "Output": "af52cf184180177970be0770e1c7920aa307b767556a13de38a64723d8dcc7b344af9b6dd8f117ac2cef249ee3acc8fb", "Proof": { - "proof": "5bf53b72e43cebba15e8ef9dd9de6090588f5945b4d04ff2ff25b5a8bd8f6621ebc72b1f75b702d9e06165cc921589892845a3d158b8565c04b9f70dff8c189a53c795a08450c1af0e271e479f16a3a888616d4f6d58859356c68dac0b5848e1", - "r": "5cf7fa02f3ad744eb5baf418275e45ab31ade30669dbae98fb0879524fb9234e93a8bd048ad9f44b428026396a810329" + "proof": "d33c83c1840a48759659a4d417769ae3bb1adb86326a36fa1ff24f70066b75d0200e5c1e7d9847e91f7d3d6843efc62101c401a7c952cde32ada6fec848450d8564e2c778af47ece4f50a88c6d2281bdd858b90fdfad8b093c986bc1e59aaa2e", + "r": "7e82569cb56d97e9c20e59311bac3a50735d573abb787b251879b77de4df554c91e25e117919a9db2af19b32ce0d501d" } }, { "Batch": 1, - "Blind": "fd762bff10c1b9bd5d37afc6f3644f8545b9a09a6d7a3073b3c9b3d78588213957ea3a5dfd0f1fe3cda63dff3137c95a", - "BlindedElement": "028f33d8420d4ba8d1bc2316728af6ad2b71c13f729cd0ea703ba0e3913445deaa5e1d6c1013fca8194eec31dadce7ac1c", - "EvaluationElement": "03ee3dcad372a7aa0dd9d7aa33177f1b5e90e31d7c04fd9f8228f82f4308dcffbcbdb88a428d6965895ba93720c939a971", + "Blind": "01e6e57b7ec6752a45c74f3ed36a3eb8ad0dafb634f668e415357a04fab501c0f6764e854701129e38071b008286c5fc", + "BlindedElement": "0257c264a1016e7a1a8236e46cb3bc11a0f13178b03262e01531da14a05e75a811ba4669fc41cc9453298f71c23834f91c", + "EvaluationElement": "0295529cd99f4255be59966e430bef38c93a5261b0624612091327c9aedaaaa40d22b03280ec15620bc91d48970f18c68f", "Info": "7465737420696e666f", "Input": "5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", "Output": "8bc546462de3087cddafcf81435d5802c0c31f557c791b115a092d5b71ea2b6e20986bb624ead85c7a63c976c05dcddd", "Proof": { - "proof": "4b9e650d35c9fa846b422b73dcbf6ccb476e8f8b8e57bc5851a6fff7cea3c56bdba17552d11d05a64d832f8a513dcabef8842810f8168d4a035c24ed4fe6f4c44997c5f65524d933acbf889b2e3e7defabeb15cc6fb266c8c6197cb9cd164bde", - "r": "ddff1365bb9b82b279e775b7220c673c782e351691bea8206a6b6856c044df390ab5683964fc7aabf9e066cf04a050c5" + "proof": "b5dfd5fc5ddc61ad8234c544aacbf280193da985d9204d5a30ef9d1a5964c1e70ffc3d9c986c93f561ab6f91f012c8ef9b9b6f2d1c178f01fe172c37c98fd4ef05e5b15c15e810241ed6dda051500165d9f79d4e83580ea4c810a95dddcb593c", + "r": "6b61028c0ce57aa6729d935ef02e2dd607cb7efcf4ae3bbac5ec43774e65a9980f648a5af772f5e7337fbeefbee276ca" + } + }, + { + "Batch": 2, + "Blind": "ebd2fec41edafcba833ccaac567c14d2fa01f55b33a2fbbb37118f2f5603b1298346e02cbdf55c95ef9b1aadda5ef281,be210603388cbcabb8cb630aa1ad04d73e349009a438ce248380bd4b7e6758211fe9692922fb61f00f1a39bc735cefce", + "BlindedElement": "02b1938a7613e9567a67aac83c50529238e3323c212dd4074911980c4d998479174ddb9c925d1b761b33da2ea0bd0ea057,031b9a47b7caf732ff32db035d1d073fd925c17dbb6c83e00a49af674166bf264bdb00c303edb26af96fed6fe9ce44dc36", + "EvaluationElement": "02c75f2d383c18692e0e11b08e9187c4c047d28116977c8e5e1e872f1cf5eab457c04fd50274cd5cc4b1996a607470694e,02e72fbfff4c7047923b967ee9a6b37d902b49a465242c12b2b910daa5f30c3f947899283ed0a6c75834855a1ac0c64065", + "Info": "7465737420696e666f", + "Input": "00,5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", + "Output": "af52cf184180177970be0770e1c7920aa307b767556a13de38a64723d8dcc7b344af9b6dd8f117ac2cef249ee3acc8fb,8bc546462de3087cddafcf81435d5802c0c31f557c791b115a092d5b71ea2b6e20986bb624ead85c7a63c976c05dcddd", + "Proof": { + "proof": "bded438b699d3bb8bab26954f9a7fb5bb402f043c3364dc4f2b68976748a77868dec1fa2d0774d306043ee8abbad5ef8ceee6a331be2906124f53f37c96d7f5a4aa543053ccca87b577a32d803c3ca4841e37b3c4b5cf20aad11c59dec72a350", + "r": "c7a86f11c143a291e349b70b34e67b38fe9dc6f90b47375087d72e891df74070810500dfd391282c15d87bacdc9867a5" } } ] @@ -475,17 +527,17 @@ "vectors": [ { "Batch": 1, - "Blind": "01583649f3e9cdf20a7e882066be571714f5db073555bc1bfebe1d50a04fd6656a439cf465109653bf8e484c01c5f8516f98f3159b3fed13a409f5685928c72d9dac", - "BlindedElement": "0300c6f11dfb79a56c9abb778d47884087fdfa2999b172a2c48ab10c0a06bc16058329701562ce38db0c331635a35d1cc86376c92771f146776e3f3626398697cddf82", - "EvaluationElement": "0301d306df92deaa4137b1f1344506112b2fe8215d32d257df9d05fb763981e99898cf7fe1cf262b186f3bcc2067f0e816a4841652f387f3edc619fbf41e655d3f0ac8", + "Blind": "00b638b3000884019316267eae9b424f812592e4dc9cd7f7aebfb1d3d2b8c7fa7904503aef20c694a01d3e1154fe98e7232be9eaec5789a012a559367b1f99654ddf", + "BlindedElement": "02016f3fc7b3c84f673c75b3bb3e00ddd81e734cc84fe3bd4a7671e0a971879b7678c048f40aae87179614abc2261522303257a92127a195298744c54094b7b87499c0", + "EvaluationElement": "0301ddff1ac88acd812a2917cee4917f8a692eaabf9fd0529981441b83e368175b566657729a8be5ba2573e33e7734c146ef4c8b7d41f450384280797318ff3a62d79c", "Input": "00", "Output": "383e3098d74b43f75d2e1136d7e7c08702d992e6f5f24f2bd438f98b86d9d143ce87281b2daf7d67c94370903ba81495655d6e9626443a895b37bb74c0276f2a" }, { "Batch": 1, - "Blind": "0017a273530dc66aa53bb9adb4f0ed499871eb81ae8c1af769a56d4fc42aef54a703503046d8272eaea47cfa963b696f07af04cbc6545ca16de56540574e2bc92535", - "BlindedElement": "0200d4e8e680135ee19adcf749a2ad8fe61e153e24b7f58ee4ac5f0b30ea858e38f86ec1744225790296d0066064e18b4ad889eaa582bc1f6c5301c2ebb1bef4f038f8", - "EvaluationElement": "02013b06cb9fbade37e8aac7ab94329e3ccb8344c8ba414b2cc2131cd0de06c443ed800df6a3196f9aaac6e1f1ced289bccfab278f6e27dc152b09aea469bd9ea85ec4", + "Blind": "00219598d5f1544830f9d667b683234c68ef3db95227fe3ebdfd963d03070055fef107bfeb3c79c86b934061f894227b23a69eb0b53f168a4a2230ef6a7d703ac4ce", + "BlindedElement": "0201e75b88d5de2b839f356a05c359ed610601450d83dcc9def649fbd00a9790161e9333cb07978d1567ecab037c498ae2b00d9181abfd7bcee3feedc11de88c54190f", + "EvaluationElement": "0200b99d9694bbf9b9ea783e18e5fd049fb2fdf169cf386abe304ccf8cdd633f7a1e25083ec6a6ca3a6e82367b38ee3c991e024097cf6fad928b023817cdc5dea21751", "Input": "5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", "Output": "5100f12a88477ba993cfe8eb5a82a835892b7fa3bdb47dc1db19725e4c1138798e0f965df4f649e3a159aaca1fdd07034f7b91c0c9ac3d064b50953bb5c867c3" } @@ -504,38 +556,38 @@ "vectors": [ { "Batch": 1, - "Blind": "013a196708f773cf65852bda777210337d8b3b88754b881aa5fd937ec7932e725ac43a07cb3ea0e90b40e0501e6bdc3c97510cdd9475ad6d9e630235ff21b634bc66", - "BlindedElement": "0301fdda5da4798fe365d606aca1faf0d772fbd39091f47b88bd87f1c4a53943b358fa5d46df24eaecda8f875409c951a2ea6424ff54ff98b98e7a3eda31f957710f23", - "EvaluationElement": "02009e48543890f6c51084a0ecdad159d36ac057542e6a5865c6505f28209d828d430423a7184eaebcb05edf3185109c8cef76e0be7d416f3699777028abc613fda02e", + "Blind": "01dd6b45efbc57c5f087181c9f03d5b5e51b3a90cc9da17604b2e59a93759eb0985d2259c20e3783be009527adf47f8fb5b1437cba7731c34ac70bc6ab1b8c14ff42", + "BlindedElement": "0201b93fc5997dc0e8acd5b3ffa3a6f1be1522986c17ed60e5bad7b057136b3b7e31b5a7073a744a1304bf9bce4a27b02d77f1caf73a5f72686fa9e83dbe9f730b4304", + "EvaluationElement": "0301142205a8fb983efb6d76111db30e2a6e7c54724fe0ee54f842a477cbf03adcb2cca8df2f165a65694e7a056948f8afd651b32ea8153cc26f819cc5b1243f383910", "Input": "00", "Output": "b3e837431aaafdfa8efbf486d70ca2d4364ef86afc7a8941d9bf1a6adb7bfd8c5302f91ee5796d956b5d3ea95fd0138d55d3059b1f4febf8cfd552e31fa2cf97", "Proof": { - "proof": "012abc4044b83283b7498d8e881d3102871cf2b3c0d26d3602fd79a3251cf42f912a66bf4da0f651babe348c507754cf0817220ab1ea2f22e99054228ab90b2a0e2900683396864f635836ad14ee5b9a3027d31a9e141c730d28441d7c1bd8e55d54308f5944f423181e4f09fa729ae39a4589f27e4d560ff8005acff8135f038f8b15d3", - "r": "00eba4687426b0b4f35c14eb2477c52e1ffe177f193a485cccf5018abbf875b8e81c5ade0def4fe6fa8dfc15388367a60f23616cd1468dae601875f7dd570624d0af" + "proof": "00fd70ea3e4b7b008de749adb7403ca66f7aa56ae06a587d7d74a06daf6d5c4dcce8a81acdbee1fcd21ce55db4440383b9fcfc1d584db6fa022a5fd62595c7d939820116ad656f5ad470b5bdd208248a0a0b064960c80e180239691c5eb77b4a760eeda8c27cf3cddc37d6329ad4997a37ffe9aba6f96d45e3e67fad86ec7b1d3a47487f", + "r": "01ce330164821b9b2a108e3ef8964622075015ac9ea0f8380dcce04b4c70b85f82bd8d1806c3f85daa0e690689a7ed6faa65712283a076c4eaee988dcf39d6775f40" } }, { "Batch": 1, - "Blind": "0085f76f3320fdd24777894218769fc1965033654f34b06b578fe36ef23a5b9872ade82b9261cc447670debcf78318add682f6055089b0a2484abc37f110b36f4c2b", - "BlindedElement": "03004e72d8ee72c14e5963fb807d28ebe0a71e43f07253085f2ffbbc9ad193767d7868619371fd0d7a8a4e3b6249d0f5cceb52490181d561d41b039b934707a5d4b629", - "EvaluationElement": "0201633ac2688c09dbe3db1749dc09f07e86d56305fe092cc6452d3ee90a9752e1b8345124283ade0df74edd7d11c947030f080db95da854936999ddedf4effcac70e3", + "Blind": "001745a97be4680b39889979a8b4b4322450628389ff2d90c0799597e99c926ae54b2fce5ca13daa8cabbd4da53324fbd20554f2c56460442edb7d6ee76b64ab68d1", + "BlindedElement": "0300c2eed082810750dc327122ac1d9de647d1943f1767bd54656835ef71dd68347436c121df49c997b0adb11cc421ec8abc5611b6d9e86468e4666001e3db386ace9f", + "EvaluationElement": "02002ddf4ceaed6eefea8f12ca765c6d800e3f514f4fc75f52f55a555cbecfb724f2bde39d5890f4b0dfcd3ea9029f663c7babddb30dd0692bfe0f76190b7ee30bf68a", "Input": "5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", "Output": "e8f92bac6c7ae89918d724697d8c45da339f55b61d527c50104e66582803a8e6dcceae31b0d499e471aca460194a011d6b8b94fe2886b8b5a0c242079bfbf09c", "Proof": { - "proof": "0074e3f91bf2e122523048c0e2143d5b1db1f95cf559b79379c3c9c11f0950dc9bace3f0b9ceafac0422afd6195a7dbff537f21e075ea5006827051dea182ee1054d00ae0342e3172f79bba6a985d41289543df7db7099d0a1268e8b5dee1415be5717d3aca174705d912462e469b89beac1200c0b3a06f8e4759eac5783fcd245202622", - "r": "0165aa02c8e46a9e48f3e2ee00241f9a75f3f7493200a8a605644334de4987fb60d9aaec15b54fc65ef1e10520556b43938fbf81d4fbc8c36d787161fa4f1e6cf4f9" + "proof": "018d1fbf1bc79cb4636d905f03bba48e0d872ac89c4c7e8bcc6884dc796d22ceb648dd373b196d23335052a8d8013b154b38d233d68612213e3cea8f9024a1d01e160004438ef7171638b7799a987739064e2313f9a902413d1f11f0eb5c7e8ca00d9c83d03aa12bef8059144bc169bec7f4258858438daaa3ebdacad658e5f3eb7c6d5b", + "r": "0013559a0599ff077b4ebcbe7f73e9fc1bc25fff3fc5fd6c8bc664e27822fdece106def4a69460e9777347a314fbbe5035803d3aa65819e81997c4d89909e25ce20e" } }, { "Batch": 2, - "Blind": "006915357a04fab501c0f6764e854701129e38071b008286c5fb629de5cfea56c0532dd8254a5a6e7fcc9e51e20a1cf4f254335ca57ce603ae7cf03fc00b7a2d4953,00d60ce57aa6729d935ef02e2dd607cb7efcf4ae3bbac5ec43774e65a9980f648a5af772f5e7337fbeefbee276c901e6e57b7ec6752a45c74f3ed36a3eb8ad0dafb7", - "BlindedElement": "03019a34eca6981123bf80a5dac91b6073b639b6b695a36995e2adc186a608e281087f10415ca703cdd9cb78f9113c7607015bd0d2f26d8d67d1d2bfde442f336845c2,0300bd77def99da2726bc8b69ceb64912b59a044564382776aa45389cc237de78e5e498a28a964862da758878eaa917f89fa79a3905b9c6be45985e3c4d199cf6c5b8e", - "EvaluationElement": "0200bdcec88e94c95b5dfe4fbcbc63ffaf614bcce87905101a0ac574bd2dfc38e04ad52242e399739f8247e6b9092df78c9bb12b249ca65c99eff19fa16a0e2949993b,0300761e1ee3572e132bc8e52d5176ef4e135d741514813319437b779b71b247c6b95fe12c401c555945529a6ba394107f4b66b5c7cee83143d3d9908751667274b2b1", + "Blind": "017b1679ed98960e4cee27f330d5d3dccebf40596dc7e8b057938841423f8b336f12c6c4dfa3a822d8f670e5aa46e733baaec9f93d5e14ad9ab99dfcbcb2ad157a8b,00010fddc6356f1aa3fb05702631e213b4bbbe8fe5176fff25526ed5b1772ba6164952c3c2da8017fdf337f81f5cbd0ec805923a335fa1bde3dbb840b3924c5ceba6", + "BlindedElement": "03001658908fb353f15fd637ec5b9703cc1dfe5a8aab4f5fd519c0e41f69300769918d28963c07e5678ecb98c235c406f29dd1cd1dadadb4e23b98a1cb290992b9aa46,030123068d8554e65999a6df1fde0bf10550ec5e223ef1d30c073dee509933502a59106aae80e67d33f93400e2c32b5d9bd49f4e8cb97f08f4181998d330013b9e07a3", + "EvaluationElement": "03012d790d77da1675a8e4ca5d9ce622046e31ea4af9511fa32ef80fbe60e9e04866feeb7f31818c1ff0ed263cecf07f787129450f9f7322fa9b593edc5cb626d1abb8,020198f45b9988bf0ab56c37bbaed0df4099c9b7b7a89b5c7030a451687cd9f8fd777f587dd7dcd717f529149d21c0763da4a03441d96e6fa245888a352d08ddda70db", "Input": "00,5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", "Output": "b3e837431aaafdfa8efbf486d70ca2d4364ef86afc7a8941d9bf1a6adb7bfd8c5302f91ee5796d956b5d3ea95fd0138d55d3059b1f4febf8cfd552e31fa2cf97,e8f92bac6c7ae89918d724697d8c45da339f55b61d527c50104e66582803a8e6dcceae31b0d499e471aca460194a011d6b8b94fe2886b8b5a0c242079bfbf09c", "Proof": { - "proof": "0018d2360e82d178b1f4c6163ffa3466b3f44f992048e90373fd540f77bc3942e33a95858892b5acc4efb5cdbee7439e6e341b7760c117188119256ee210882ba345000c00a1e0e7ac66db3cf8ef3cbff67f7d4b7b20eb0568b6222482b335e70a3c44d61df136856a686c19a2085d93e4219cc131a74a8a2933783a2793e8a4df6def44", - "r": "00ac8346e02cbdf55c95ef9b1aadda5ef280cfa46891dfa664a785675b2c95bbc2412ceae9d69a186038345f8ff704bc925f6818500615a825a9a6b5646a4e4f11b2" + "proof": "01d6f0f91660fc391573f819587ad310bf3da80a2dd4cda113c1fbbec9d1cd88a0e4d783833c4c64bbcb6414688d925af2a4a5845b2e3b6634df5e5d901047d5148f01a1ec61207132162fc851126b07397beeeae6814e8e135e4a03ca8bd346568d23c85e0a64b9b83de207ff8d17674863bde02eaeb0fa16d05a9b44cb01654bd0806d", + "r": "001caeef2365ebf9c1edbdb24825e5735614aaf644f03458a1f30c90229f8068bec0ae930eef110e98ea1cbc6d849b4c9ca5b7a970d0320ba5f4f95f5cd4f501d720" } } ] @@ -553,28 +605,41 @@ "vectors": [ { "Batch": 1, - "Blind": "010204f2476ad5274e2f9d258659e80b0fbd20e4761b22298eba98ae9dc4fcbc7ad42f5459d29f5c3b170f51d08e65679d984c1e852b2344bbebcb92747c83cd6b89", - "BlindedElement": "0300f2fcc5a3948221fcd278a335d6dfc8635a05d87e5f74c1166505e41f755dc501b846376025d06810fad592b1516cf00dba7e1cc32f5217cc367f99e0b765f7ee1f", - "EvaluationElement": "0300500d396769fa1c32a8112563f75221da61343654339bec4f0dc463bd51cf529f6abf29160f95462204f45a7b8336c883ad20b10459cae2382d6e41407a10056ca7", + "Blind": "00dc9f04fb076cffe7d179d692a05b0c2210b6c008c1062c1e54514ef654eefc0519dd1867571c9d518e305fdf463231b6ec8b7498e2122a7a6033b6261a1696a773", + "BlindedElement": "03009a6b363627cbc6ba5f241493a724a69ca7a85f203fb5100bde9f36ee57e3fe75a5b41d10c6d9a2799fcee9cd1f4bcd730cb8d9be7aa5e8a7a488b6ae3004afd2a8", + "EvaluationElement": "03009ae81470679a5c5733401488cc6648a522a208e698e9879307e794158ce508e08a50556ec66a055f05f5d5276231258d95d004a49a3080372f3e9d2075753c010f", "Info": "7465737420696e666f", "Input": "00", "Output": "70ad5e29de9f6e35f16afab3b97c1b26fdf6be0da60aff48a99980ddb8d7c2d728a8a5d2837179bfddd612712e014c0c9b9596cbb5a6ee6761c564dbb8921b4e", "Proof": { - "proof": "00c4ee78304b60083768753b47ddb0c68b060346c096d5053bfd4374df1ae9aa8b34a9e021a0e6565bb43044390db33764ece8009ae70d0599de29bb663d0f8b9a3b01d6296f5b6bffe5f686cbd37466a25b0efd9e4943b108536e024019aa9d9d6db5b5d1aa085090ba1d7ea4bc33cf200baf681258f1ac2482933746a2a858415b6603", - "r": "008492e4dc9cd7f7aebfb1d3d2b8c7fa7904503aef20c694a01d3e1154fe98e7232be9eaec5789a012a559367b1f99654ddef5acc7b0dbee75bcd8bb50363ec64004" + "proof": "0122e18e5c3e2242617098cf1d6b5868d66fb4f4816ddd3769e5b7f326f0ea3d79cd8b8b87be31c1acb9559a2ffdd13f4af7ee143e5081a2db996f3a7d2da83973e100f559c9dbb7b16df3d5f609d2f8f2184e9e204e6444db72608e4816beee31c859dfabfe137bc3bae06947d767cd8cb6ad634134cf6faec24bc8341d51b584872ae1", + "r": "00c07a53a1c70f44466b3861be4f8ef48c2bb1aec2e478e341c467fd4a2638aeca63ed6c4bc48d008bca3f36f043e0eb73a44aba77e5e37d5ab1389e09b80a34cfaa" } }, { "Batch": 1, - "Blind": "01ab3a90cc9da17604b2e59a93759eb0985d2259c20e3783be009527adf47f8fb5b1437cba7731c34ac70bc6ab1b8c14ff4110afc54c9598d5f1544830f9d667b684", - "BlindedElement": "0201900b35b9009c79e6ce516b4206fc8430555ee26d9bdba16865e19418a06aa899adb3dcb5226535feab336234bc8f40e3e29a80b67e6f55d1133a9362c5944ff882", - "EvaluationElement": "0301cfbc891616e82afb285e347ed28f27ea5071f9c9a88711b776b2d3111d991d69dc13b3c0a4ce3b58c36c2f603893b677c79eaefae013ff7066b4f103f8c9191991", + "Blind": "0085ad3fc8c91caec3bd7699591b10d6da93877a470e128f38030627dffcbbf1f576b38677841fc47af778f9d85ac9bce6279388ddf4607e295e64cea6f4f95078b8", + "BlindedElement": "0201eeaedeb3692cc0ecfeacdf9cab61947eb0d23bbfe2e1fbf8de0907f9410b6089d060d3af63411fd81b9d588fa2c48bf8ec63ec66c14b86d237124042ca83fc99e1", + "EvaluationElement": "0300886138e19945036ebe6f4195cf9f688d9e5a7c89597dfeea6e0e5fcf4b53a9dfa280c8409b6abe8051e3394279d0b669440af8a27aad169de10446eb88e09d6801", "Info": "7465737420696e666f", "Input": "5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", "Output": "ee2d8e42030da6283ab59a11f41a171c65e208306e00c6f965a56c10f33bf0942bb38b7e1a33c70bc3542d27220379cbcef8b91898c720be948e9db214a14bb9", "Proof": { - "proof": "013255218e01044d4f44236e34ba80415e37e99e8cb5893052c9470d6fb3371887ee46cf5c487b5fe509774d7b3d766c49a3ad5ba1dd75a47b9362b8a24bae1dc92a0131c78fc528ee23f32a644d4da74dfdba866003d5f4dba2a0f963ddca588661a916441d4c4e2548a041566dc18650c0b1aaa8ffa04eab55f37bc4d4d9adf5fd61bb", - "r": "008c15ac9ea0f8380dcce04b4c70b85f82bd8d1806c3f85daa0e690689a7ed6faa65712283a076c4eaee988dcf39d6775f3feee6a4376b45efbc57c5f087181c9f04" + "proof": "01cb4d8a14eeb472ee3e2fbfe3f6d49f3654cfe6238254bea17ce30848ca934e20e82c2a33d140de55b24fab047811e20b46f6dcaf3c0945c802e8489131618617ef001e233aa2c3d674bce7465278faab6300d4f6b5463e1597d74e2a69865bb0681604f9210edbf50bf341d836dc09af85e603b4b2b8b55c90c2efd979a4e312b653e1", + "r": "003a09eed29f2e7f8950d766270d390db7a53b8080b89cb9e024e1e008d83bd90e94f501281b6b49c351c959348b3a65f24c6f74e77a62905a6d3e4b0b10600a7cbc" + } + }, + { + "Batch": 2, + "Blind": "019dd87ebabccec2627d4006b698d9ba57f6e207c989448d39fe0431e60c9a9a4110596d5a16fa6cdf3f66467524f295b5dc8f3492c6da02dd7387bd1dc40065b232,00adaeeed48a6f9a8fb57640c3bff88d3ab3cc52ef969f02beaba2c6e32c2f37baaf4ee9c691833dc081e2a0fb6ff636525457a21c1fc56bf3514635ac7fb8618f73", + "BlindedElement": "030170a994d40e8517aed3a7efae01b650dc131c1ae07158f02ad70d211348a4b328add9d17e93d2e747dd8bc6960a5ab3bec6a9a29f793bf5663d0ab108b5f84fa751,03011045c5ea9567626cf6d2baa158830b035e66c249df4967bbbf917e64bf27e4ec49623704a7c621b32f05e1c7bf1b89960c82d4203c4efa6a1056e083be789d017f", + "EvaluationElement": "0300fadd09cc84c7e91c2173be0e65ee3c1b6ef98cf0cdd757ec432f12f13b5d457edc0311d61ddd831f8becd5231bdc492e92c9d0c103e55ea516ee00fe64c10d0e8e,03005941fb7eabc6353a5c2e4a6b284b7b8ee8da6c4435af6c4c472195bb0deb44e7dc215299c7fe38feafa2b0a1a1db7dd3090c5ce8171247f647da20e04acef8164d", + "Info": "7465737420696e666f", + "Input": "00,5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a", + "Output": "70ad5e29de9f6e35f16afab3b97c1b26fdf6be0da60aff48a99980ddb8d7c2d728a8a5d2837179bfddd612712e014c0c9b9596cbb5a6ee6761c564dbb8921b4e,ee2d8e42030da6283ab59a11f41a171c65e208306e00c6f965a56c10f33bf0942bb38b7e1a33c70bc3542d27220379cbcef8b91898c720be948e9db214a14bb9", + "Proof": { + "proof": "0186deebd9e2db71ca43bcb57311371390c2d04ac9c3189e155f10c9c548f6f22c051d38203493176e8392ef405c783759c735cb6f7219636c140cb2dc070a1158c001bfdb12f34e00a582e22e1eb2fbdebcffe4b6e0818de5c50451617213e1ab20fa5392eb3b535206140a2619732c012d5f331a615755f5397feb9e1fb16d1320d20d", + "r": "010a82559ee5e4ba79c390c4033405e3f792bc49daa905c694707e7e0191104b34d68c7cc81c2e392da60b838eadf434b693d9b4f7c7beb31e37008156656c19382b" } } ]