{ "caseName": "valid no prover committed messages and no 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": 21 } }, "signerPublicKey": "a820f230f6ae38503b86c70dc50b61c58a77e45c39ab25c0652bbaa8fa136f2851bd4781c9dcde39fc9d1d52c9e60268061e7d7632171d91aa8d460acee0e96f1e7c4cfb12d3ff9ab5d5dc91c277db75c845d649ef3c4f63aebc364cd55ded0c", "signature": "aa1a66a6feafef7fa91f158c11d305bde01ead2352e3678c07472b7086d4315d4b260340b6946cf59dc1f8c0529242811f45b727c933ce0221a9e8e8f3bb9263e74b432e4ad4d203705f9aa87ad7fac9", "commitmentWithProof": "a2a3e178bcc77f98a3c07f8532134021ab5847326b5b3bfc3089ca73f1bc51cfe2c99163f4919525dd6bedc8a14ee39e30374643902017ca2e6fb8b5647c736e82d1d3c5b05de5c3021fa6f40d9f36dd22fa06e522411aa20377088ca9a15885d7a5044175f0168e927149ee71e2d257079e0100d6d96a7ddf5392dbc64267af8df7b4711cb5eeccb5e8901d0580b9e837f38337cb7260cffcf4f962154fafe5c98beaed7e4d2fc0f8e7eb1ba4eb04086f170aa4924894e2ab63054049c9ef5dfff4f90b48ef0dcf1f50699907301073270e4782d4d7628cfbe1444cea930928bb45004e41e0ad86a874ea03473845ce42f78ceb6f855ba8326a4d47732c5aed3968b396a07f079b22b5bf2139e51a03", "proverBlind": "4fba5396baa36b2fde81d46a9b9ee89c425dbc5e1ffd65c20249afb4abd37589", "signerBlind": "10e75ca49d242390896d9dd943b97ff23b8cb780bf27df185f51b33abaaa94e2", "header": "11223344556677889900aabbccddeeff", "presentationHeader": "bed231d880675ed101ead304512e043ade9958dd0241ea70b4b3957fba941501", "revealedMessages": {}, "revealedCommittedMessages": {}, "proof": "8d1cc08eaace25a47e97b0f0a1eaf6a748aad4b15d2a769056b520fef96e0619ef6be35b1b5ed5097ef127ae2fb950aeac675419153a7154204e29015963c22a9e8639b731989e336e9e0777dc534face34b26d5db97d6bb0ac29d9d1a97b419841174ce8b0c2f0e4d5cc1dda2f5ae6ffdcc9c40d0cd7b7e8492134aa7460b79f804235bcfbec9b8213aee93243de6c1066ff92bbe9ed5a5cb904757c40101a0a17a6f2cca72697993833bf488e346ee460744b8988734f5f9232d79c5a8821f05be4ce9099e19b857dadd287b55f8a202d76d918a000cf256f2d0a145ec71ee17c514816148230126a8ca71d8de486700f538e6c33b7c3ec16b85a43eac61acd7e98cb9e6c2ced8cd4552c1653c650705d102f436a0292046bf6c08b4ef96cce2ec56f659592edf9d8a082c682ad9da31cfe12ba6c9f21eb23c7d4e569fabec33b677875db2c17dd1ad45b6973d6bfc09e551a7f2204b20249314f1dc2e1bc099c25a0396f980acb3613449be4f8e0a5a197b565bb169e15f91ab93d7d04b3316a16456d74f6ac9b05a6c65213577335cbe98fcde5747df9ee17986d82014cc1db15a428292dfe6a350d1f7131b2d4d5092d784ced5b0a0b3d5bdfecf03c9eecf9e5aad0d02a92ee9bd4b4cf69c328563fe25f309347b69376ef47ad46ec6ece43bceed9664ca919888bdaf1162d7f3523c5616b335377474572c95441b523d34ee0aff14869ae71a51caab12887bef22c20c259a7ca0f79f60bb0a8e76ca284ded334781838678e412e5ff79d0fdf3629e9259596e871aaf589d57cfde517ad672c126d43c89508763f9573b5b98ce113d511eec39e99cbef97c87921148616eebf10e25c1fbd5f4cac6be569d44a746fb1a85ca99596174bcf61df0a3cd78a34c601df931fdf29c2fac3d02a0152c5c6338a328ef725c6db9eb7ba3e1304168d280e6f861766772e37a10a2ef878d67759f017a9a7a7aacff153b18c9f31895d56c764d5b1e7ff71cae7ca5dc5d0142a751e24ada65b68f3b9dd6820a198f3ea04731ef24399b9121a9aa856d90b45dec193d1518e13ff54a77765c7c3438c72a155e2fe178222fae1981fe5818bc", "result": { "valid": true }, "trace": { "random_scalars": { "r1": "60d345d6f2bf3d7b6734145a0a1c84731771d9fb8f2caa849dc33a3e1ed42906", "r2": "5fd44fc64975d153f17a73ce413b86211acf63e62494ae73a0865f068588fb02", "e_tilde": "6e3fdd342aa6c154fd11ba738e191c54f9877522f4648b466eb4ee1d301780bb", "r1_tilde": "3da42b3641758dc3d8bce1ced15d1fd1d291bfd533d11373248082eca6d45d9c", "r3_tilde": "01be275b265a083b2b8a1ba7110576e28cfcad346717c512c3311ca403168120", "m_tilde_scalars": [ "67ff540238565851a1f98c6357507be2da16884e44ae26fe4d0a0a8607532fbe", "5de3cb769cc629a9ab21fe29bb7acc06cd5df979826fabe26b78cc9ab67a32f9", "1a14acb3666d2d123db8d19ec473dd980cb1100532be1abda1b941668b43ff28", "4f03cb50f6a25f1f7f277682ab5965a772ac0b24e9ad2f1a7b42a047d8d7adc6", "11ef78647f2fbdc57f8d29cab816584920596bbd3813d2ee7df7f44b24617f33", "4d7fb091d8f42be6fc0fc0401cc5ffbf0da7aad8951a451f26abf5820eece429", "03b576c0e1b8063af7f9acc91784cb062920820e9b2d4baf11d55777d11e2946", "5c8053e4347ad1c5f600a7d1d5aef448dc0fbbad6204430486c65e7216c18a73", "4b81ebb73b19c698f62d0fda7505452e97382b09bbe7821ef40fb1f3b3f26172", "1ab69f6373dcf9d87b75f2e140a34345a92f7952a44436832036bf6bc4fb3b75", "0f0059e68095e5edccc546ac5312234ed1d6b1ca65c4b13f77dc1b7bae4623a2", "1372682d7f0522cf87aa4805f43d493c2beb7784fe9875712480a5bec63a8b69", "366a39b41f91f2f6faee881f06c1077e9c65257fc75587353880f6406ff828f0", "4eac85d64994ff0b48690a25055eb62f0f0b4a89095c54fc1b08fb7ba0e90eae", "475da477f48d661e2271eefd16d7437a64f6ec7a4cda8deaacdc9c6275489fe2", "3a9be520243abe976b50d5ad343692ac99e28d3d11e4e9a5cd458316d097ce36" ] }, "A_bar": "8d1cc08eaace25a47e97b0f0a1eaf6a748aad4b15d2a769056b520fef96e0619ef6be35b1b5ed5097ef127ae2fb950ae", "B_bar": "ac675419153a7154204e29015963c22a9e8639b731989e336e9e0777dc534face34b26d5db97d6bb0ac29d9d1a97b419", "D": "841174ce8b0c2f0e4d5cc1dda2f5ae6ffdcc9c40d0cd7b7e8492134aa7460b79f804235bcfbec9b8213aee93243de6c1", "T1": "a688f2f75a0e1ba8519fca3272f8b4ae890744ca582f0e89a34767521fa7519c04cfb63f5938d2da59fd03f032b659f0", "T2": "92a201a92637b9de1ea6053bb8686ad9851c2b0e5941e644e5de11618543ebaea16c5968db02922f8aa9a3aa79b02555", "domain": "1207ed090723fa7e41c07e970ebb647d1d043079cc2a38c650c32234f1823936", "challenge": "5dec193d1518e13ff54a77765c7c3438c72a155e2fe178222fae1981fe5818bc" } }