{ "caseName": "valid half prover committed messages and half signer messages revealed proof", "mockRngParameters": { "SEED": "3.141592653589793238462643383279", "commit": { "DST": "BBS_BLS12381G1_XMD:SHA-256_SSWU_RO_H2G_HM2S_COMMIT_MOCK_RANDOM_SCALARS_DST_", "count": 7 }, "signature": { "DST": "BBS_BLS12381G1_XMD:SHA-256_SSWU_RO_H2G_HM2S_SIGNATURE_MOCK_RANDOM_SCALARS_DST_", "count": 1 }, "proof": { "DST": "BBS_BLS12381G1_XMD:SHA-256_SSWU_RO_H2G_HM2S_PROOF_MOCK_RANDOM_SCALARS_DST_", "count": 13 } }, "signerPublicKey": "a820f230f6ae38503b86c70dc50b61c58a77e45c39ab25c0652bbaa8fa136f2851bd4781c9dcde39fc9d1d52c9e60268061e7d7632171d91aa8d460acee0e96f1e7c4cfb12d3ff9ab5d5dc91c277db75c845d649ef3c4f63aebc364cd55ded0c", "signature": "aa1a66a6feafef7fa91f158c11d305bde01ead2352e3678c07472b7086d4315d4b260340b6946cf59dc1f8c0529242811f45b727c933ce0221a9e8e8f3bb9263e74b432e4ad4d203705f9aa87ad7fac9", "commitmentWithProof": "a2a3e178bcc77f98a3c07f8532134021ab5847326b5b3bfc3089ca73f1bc51cfe2c99163f4919525dd6bedc8a14ee39e30374643902017ca2e6fb8b5647c736e82d1d3c5b05de5c3021fa6f40d9f36dd22fa06e522411aa20377088ca9a15885d7a5044175f0168e927149ee71e2d257079e0100d6d96a7ddf5392dbc64267af8df7b4711cb5eeccb5e8901d0580b9e837f38337cb7260cffcf4f962154fafe5c98beaed7e4d2fc0f8e7eb1ba4eb04086f170aa4924894e2ab63054049c9ef5dfff4f90b48ef0dcf1f50699907301073270e4782d4d7628cfbe1444cea930928bb45004e41e0ad86a874ea03473845ce42f78ceb6f855ba8326a4d47732c5aed3968b396a07f079b22b5bf2139e51a03", "proverBlind": "4fba5396baa36b2fde81d46a9b9ee89c425dbc5e1ffd65c20249afb4abd37589", "signerBlind": "10e75ca49d242390896d9dd943b97ff23b8cb780bf27df185f51b33abaaa94e2", "header": "11223344556677889900aabbccddeeff", "presentationHeader": "bed231d880675ed101ead304512e043ade9958dd0241ea70b4b3957fba941501", "revealedMessages": { "0": "9872ad089e452c7b6e283dfac2a80d58e8d0ff71cc4d5e310a1debdda4a45f02", "2": "7372e9daa5ed31e6cd5c825eac1b855e84476a1d94932aa348e07b73", "4": "496694774c5604ab1b2544eababcf0f53278ff50", "6": "d183ddc6e2665aa4e2f088af", "8": "96012096" }, "revealedCommittedMessages": { "0": "5982967821da3c5983496214df36aa5e58de6fa25314af4cf4c00400779f08c3", "2": "835889a40744813a892eff9deb1edaeb", "4": "" }, "proof": "8c351e989532f6b0e9c4992d7696c73c49a2e70bbb166fb71f2ff8face46383725c9f4667cc22da193830fdd0dba8676b0fa5b9366b8005cbf6835c425a87e3cce620572d609519943855ed39a67943a71bd4f37726c78451fe2f1a9772a31a389bb30d3c88ad5603db31249880fa3288af95f6767907d1f80590f0049637e56444c46ddd967866df8db33abae2fcbac1594a8282dbf0bc1ac912cde52643977554c57fbbbd154081093de13f10097e4707b62b4d69617df3635def324b9fb5e7609a21c73f1076df97f50a7affe23bc1afdafde9b826b94db01d5ea99a70a576a5295af627bd44e62141305bef9c076546469d1cda2bde227cea9bf01fcde7cfb1b69701cb332aba22214bf0f5cbd2a32a9e8f694a2168157407d10cfd99b9f78e928c3f0d9f2946ada6bcdf1d1a60717dbdee1cb372a80bfedb3d517b6814d1e41e65bf34b1f947623db7752fd86c33e419498717f964e2570672b781266b59acb7b67bf6b104f0735ab9f10b23604166b47d6d398d3433a7760bdc9c14e4c96f0008d61f8f522d0107b7eec8633260de697afa05733d0e71beca9fd9843139a9920c78e3efde8f837125f1ef3a2342502e26d8f53622496b7a96ca5126c9f8db04ef7dd1d631cc91358cabd54027624aa2141fb9043ce3a5f9225f0ab3437ddf4c014e2abbf665b9cef75ef1e90ca47d6c72943e03023c946387c005e3822febfcafffa3c9c69a4f23b449c957825", "result": { "valid": true }, "trace": { "random_scalars": { "r1": "6fe2700deae18571f365d5b549a03eca3a19414532982cdb173e6442f8488a82", "r2": "4cc007c238298166e67bcbc8332435b27f39879b75ab00ed5e6863f6296051a4", "e_tilde": "53f3c5e5ff89fb20a89d7fffa1198b13744d1ae78457119e5bb3da42d77bfe56", "r1_tilde": "14e6c0d53eba55936c1f1ff11d9775fde7bc366d1859cdbd9ec9f65510a19b02", "r3_tilde": "0a3c38367bd4f42d8b44d988580b40ad1c929a3844fd92e0d2c2a724796218b4", "m_tilde_scalars": [ "4e27cd534e2d06c2af769760a2651010d8f2495066c4a4bbf33778f558c72b09", "2ea785a49f1b29d7f79323d5e369e3598665c6e6ed1352797dcdd20b249d58fe", "438393d39c51a4efe0bf3b53acf17a7b26724ad7de58ff8bd5fdf9dea0f5675e", "01d9d79da4918a57bd628cd625cba37cb3a278b419e04f5880c6cbc77c905c2f", "525ec7e60016e00e8e1d039d245bd7c44c4dbff8f566deb9e902d10819edc0b5", "1a65097b4ef6145d0ca4c8257e193afe8245c85a3cc934b1a28c876c7d65809f", "5f3a2f4d08763ca6a6685aebb3eeb66a0887c750698b44ac17b7bed8ac3a1fd6", "4c583e5e4fc913aa71989afc50cfd8c2024d64df96ed12c7ef82d50ed4d8bb1b" ] }, "A_bar": "8c351e989532f6b0e9c4992d7696c73c49a2e70bbb166fb71f2ff8face46383725c9f4667cc22da193830fdd0dba8676", "B_bar": "b0fa5b9366b8005cbf6835c425a87e3cce620572d609519943855ed39a67943a71bd4f37726c78451fe2f1a9772a31a3", "D": "89bb30d3c88ad5603db31249880fa3288af95f6767907d1f80590f0049637e56444c46ddd967866df8db33abae2fcbac", "T1": "9075ca64308e91b8f1b16eddb698304111442267f9b15948ad9b82c79594f6e1b9eb2a0fb0cd2618adaca274e0ca3e2d", "T2": "8d5a33789b00e275f30b6c5cf3d9820b2b259a1269856b1c4af78856938d54120a97d6634c909e616ecb7f173cfdbd11", "domain": "1207ed090723fa7e41c07e970ebb647d1d043079cc2a38c650c32234f1823936", "challenge": "47d6c72943e03023c946387c005e3822febfcafffa3c9c69a4f23b449c957825" } }