{ "caseName": "valid all 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": 11 } }, "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", "1": "a75d8b634891af92282cc81a675972d1929d3149863c1fc0", "2": "835889a40744813a892eff9deb1edaeb", "3": "e1ca9729410dc6ba", "4": "" }, "proof": "b912110a83e3645dfa2de4a569808b8e2088281f45a00429aa0c4a8dcbae13a421f566d41f8b48d0bfdc6970d911a16886b87ccc69107bd0ec54690d415dd3f2e07899a737951930375d55c76e14b394536c3b8555393841de0c5227bebbbf00935ce099219dd4f67defcb6e3ba5f428ba4ebcc1995eab806f3b68d484da677f881d15c9e76f331b693a89de7846894125daf42ee6ca3dd6f3aa4d453d601d63e8f09b0d4b786f98206a513d3bd184004d8d9ee801d78eb56332ea6289c91d70cf928c8c2fa760d38179616a7fb4a35d524b30f368e7ee5061dc191deb261dee18163812605a5e666ebad0609191a00166711b74fe54eb45afc41649d4f06a336f30aa2a0f5d5dc80eb66bd4915c00fa417187306abf8d5ee20603f5c9dd6d31cb120b4a95ac1e3eb32558e5e6aece931b94d532d7d7d5c5ca9f2b8239d127fba284ff9fb0e091c1d7dba7f928dd497f6f42a2f9a9f12cdbb50b62fa79aad28266ccb04378fa6c0f0a580846d6ce1e264ef96b46bb2c34110301e545933e51e4eba9d5092e3b158d8a412e52c3b260532173174c4ca43191bdb8a8d97225c074c0f0799a724deeab447f101ccaed1df50b08901d5522b3ec561e4c4dbda9f257b8dfa584efb6d6ed437bd6c8bd80aa59", "result": { "valid": true }, "trace": { "random_scalars": { "r1": "034d543fdd164520876e558a77c102d4ad8bc99bf82ebe74590481473df2df56", "r2": "4a8334929ba48d36eb4ebc7f8bfa701b4d3f30ef25bc01e2a45ef9611c16037f", "e_tilde": "19726feed8e0e5ff22e4f5de19713977beceb12c3e85c1f3fb41cfe4a7237d1a", "r1_tilde": "73012dc2f14039c8de5853b26baab7b51280a3f41425416d78a1a91fbaae9bf2", "r3_tilde": "68263029bdc322a3d6460758135205dec58957ff3e5397276a2f0ffdc738d5e4", "m_tilde_scalars": [ "52638b8d190f9fd439188b22c903507cfe5282296c2c9f605f1ef714afc14062", "2cbc33e381cf6ae09dbb6f1d08e3ea93a5aa03c4a6574fd2fa2e879dc4deeca9", "1ec36e6be1c702255d9aa4d590014b2b5de2f07d290c9551b66977cde157094b", "5491612228a993693c79c11ae169dad9be4116a704ae9ed333ef96e3986373a0", "6f4d920974d33c1e08c86b7f4b6bb7c58a5c0289d8d706a92d4855125ccedb70", "279717a2b1e1d34cccfddfe9c8e3729f6e92e28197a09459c6dcd56e3920a0d7" ] }, "A_bar": "b912110a83e3645dfa2de4a569808b8e2088281f45a00429aa0c4a8dcbae13a421f566d41f8b48d0bfdc6970d911a168", "B_bar": "86b87ccc69107bd0ec54690d415dd3f2e07899a737951930375d55c76e14b394536c3b8555393841de0c5227bebbbf00", "D": "935ce099219dd4f67defcb6e3ba5f428ba4ebcc1995eab806f3b68d484da677f881d15c9e76f331b693a89de78468941", "T1": "b07dbac9dc86fd07e135a432241ada37eac859d949190ef793e2cdb8b29069ca39dc40aff3334761ceb4fe4e24b5731e", "T2": "a57ff147c6d214cc11b7ffcb867705d9f708225bf4be56e057b42c75bcbe682701fc29038c9925819779d2b2fec6adf2", "domain": "1207ed090723fa7e41c07e970ebb647d1d043079cc2a38c650c32234f1823936", "challenge": "0b08901d5522b3ec561e4c4dbda9f257b8dfa584efb6d6ed437bd6c8bd80aa59" } }