{ "caseName": "valid half prover committed messages and half signer messages revealed proof", "mockRngParameters": { "SEED": "3.141592653589793238462643383279", "commit": { "DST": "BBS_BLS12381G1_XOF:SHAKE-256_SSWU_RO_H2G_HM2S_COMMIT_MOCK_RANDOM_SCALARS_DST_", "count": 7 }, "signature": { "DST": "BBS_BLS12381G1_XOF:SHAKE-256_SSWU_RO_H2G_HM2S_SIGNATURE_MOCK_RANDOM_SCALARS_DST_", "count": 1 }, "proof": { "DST": "BBS_BLS12381G1_XOF:SHAKE-256_SSWU_RO_H2G_HM2S_PROOF_MOCK_RANDOM_SCALARS_DST_", "count": 13 } }, "signerPublicKey": "92d37d1d6cd38fea3a873953333eab23a4c0377e3e049974eb62bd45949cdeb18fb0490edcd4429adff56e65cbce42cf188b31bddbd619e419b99c2c41b38179eb001963bc3decaae0d9f702c7a8c004f207f46c734a5eae2e8e82833f3e7ea5", "signature": "98699909137b16b5ebfdec7396d515f606415353f4ef0a329db11bb2fddd266900e54219da5cec913c1d4593b8231a1842c1659bc991b18e778c195540621d097d0288aba536052b1d14510d3ed165f5", "commitmentWithProof": "85d8034b358566ebfd26f921211b257d30def9962ddf80dc7cbdbf96da2bf598a8bbdc03bdc311ff290673ab29edf4a642be726c577a1aaeb11d00d10c5a07c824bbf8e47af13042f570b6bfc05e42783d70fb3ee76ab7c2565fda74ed6536e14105adf9ae943736a6c96c1102d1dc4424eda4ee1961f0d450736d1cc9f6b3ad2f9f1bcd3b63ef5445798b65ad04806240edee143b5c7c57f61ab7fc9fd8f0b05d984e12cee674541b6a79202931e0ef11bcfc908660861b48cfd4ce0970c9726d9359b4bd0c853da78891e9c9db41f2029195279d92f6831b37b5c6d5ac28840e97c12f7962e65adac6705ae712daa61c0c0bda85a3da6850a8dce296797beff88b1c8e8459dba0730ecace09177f79", "proverBlind": "41fb2f74c30256398c927a262602b5ac3ebc6f84d9169476f8fcb1525c93b649", "signerBlind": "49541deb67dc42d5509d39548637959bc43e105fff02c780a308c78e0a1e3c7f", "header": "11223344556677889900aabbccddeeff", "presentationHeader": "bed231d880675ed101ead304512e043ade9958dd0241ea70b4b3957fba941501", "revealedMessages": { "0": "9872ad089e452c7b6e283dfac2a80d58e8d0ff71cc4d5e310a1debdda4a45f02", "2": "7372e9daa5ed31e6cd5c825eac1b855e84476a1d94932aa348e07b73", "4": "496694774c5604ab1b2544eababcf0f53278ff50", "6": "d183ddc6e2665aa4e2f088af", "8": "96012096" }, "revealedCommittedMessages": { "0": "5982967821da3c5983496214df36aa5e58de6fa25314af4cf4c00400779f08c3", "2": "835889a40744813a892eff9deb1edaeb", "4": "" }, "proof": "8e1434019ae87246297e159aa75f43eb5f394576cbaad9dab7392a57841d903628c192583963dfa3c6628aa234e8aa3ba3c45b324a40223cb35af21cd4f643a97efb3262359f0a0ab3606209030eadf2d59f404f67bf17cf9eccc2483e540f68b8fbd18a6f55110fbc12966916ac698ca7a6c8c7ece5818945bfc5e3bf32387d64e532ad32f432133dcc676c2926246f2ed725e744242940a383c33e1731f366fcef24f6376615bcfc5c1bc4f29fe91553a8299ebaf843e32bc97c5114d3d297e61bd9ebfdec31310650a904981c097319785f07c63da13ff11c718c98b91cc0af9f0a1fefa5c93cecc9884b15f467521b7495b8a039923bc41f39a779da0b06564d7db558b0576ef29ec29a5ed785321f2f77c3620143044683449392de8349b4a4dd430ba33a250a419eac1c06a80f014a1f509a4abe09f4ad94d3e0497d0377fa855d222bbebf928f8b643f5b81dd49c664c48342d0fb5004ed381ed88d0d98790305fc420c2e67afc2be3b1272c217d8150dd9c78cbed8476d9a83ec0fc84c3d1ec69f6ccdeb4cca78d2207086943f76defd1943a5373fadada7e52e45cd394d3a3e9c62eb504a30709e8de25e340baee1cf06bdadccd4f6f1b1f1ab72dd9a7cdaf85507891bb446e2e483d2f0d53cbd7aa1417b01f721e149b8bdc8e0c54692ef3e136d0b363e25a44559e2c8fb28b941e2f8fdf90ae1fed6a1209cbba29fbaf607c9aa65e705c9245c7b3a2fc9", "result": { "valid": true }, "trace": { "random_scalars": { "r1": "11ac0d86f78a0bcdc7c20417d73522b46d20a8f7e3ac008d2d3bd77730614b34", "r2": "2697d76e223bda4ed35e2428030bac7c2ca77122e3bab7b5d6b8bffca307a3d3", "e_tilde": "0fc4a68d61483036dbf45878430cc8382283c481c8c1cd3c9d3fe9aec9263be3", "r1_tilde": "1baffa5c4d6187496310d4014bc9f15d0150f215868722186679b8e68d84b682", "r3_tilde": "05b85a30f2f49348d34ca44242820c77421979b9b312a05b0fab16690026d86a", "m_tilde_scalars": [ "6f7e7893731097ba853486fea7eb62f66e3e14be47b0565b388c5a9170135b86", "45a4a12e1a7a518a63b66eebbce90605c29f249f570c85685bc0232c8011fbf3", "2ca1dd61fa58bc6670268750f5acdb19dbeca06ff2eb1a352d69e21318042772", "0c79f4d9a6373202c102adf291522c06e2bf7f0da76f8e6cc3d6762bcc6bee1f", "48f8c3fdcdde12d9949c6ba62661e5694363145f140be07d928b4ea9521a838b", "382d6baa8558a7cd49b2fb6ad333114d7d4842c1c29aa2fcb8d6159aa40e84f2", "53ae47dc3e329331a0cc2f46920d6f8b07f27afc4ad662ddad0e61d5e1b74751", "6165660f8dde9349f501d169e463ddef10b94a248f2de5701966e65ba16b656a" ] }, "A_bar": "8e1434019ae87246297e159aa75f43eb5f394576cbaad9dab7392a57841d903628c192583963dfa3c6628aa234e8aa3b", "B_bar": "a3c45b324a40223cb35af21cd4f643a97efb3262359f0a0ab3606209030eadf2d59f404f67bf17cf9eccc2483e540f68", "D": "b8fbd18a6f55110fbc12966916ac698ca7a6c8c7ece5818945bfc5e3bf32387d64e532ad32f432133dcc676c2926246f", "T1": "b7b4f49648243c0645124c9d7370c11d2f4c03eeee6f874a07d6f395cbe2ec11f48c0bc5f06092bd35ad4b74fd2e4c49", "T2": "b42257bf46107920e1c987957a589cdd1bd5f848bffb23c17177eeb18a4cc7b3e1dfdd3d6ac590fcbea913696f9a93ae", "domain": "04ad1197bffbb54ae41c1d43c61dc29325c2dc771d5cc7dba67907b17f564a04", "challenge": "28b941e2f8fdf90ae1fed6a1209cbba29fbaf607c9aa65e705c9245c7b3a2fc9" } }