{ "caseName": "valid no prover committed messages and no 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": 21 } }, "signerPublicKey": "92d37d1d6cd38fea3a873953333eab23a4c0377e3e049974eb62bd45949cdeb18fb0490edcd4429adff56e65cbce42cf188b31bddbd619e419b99c2c41b38179eb001963bc3decaae0d9f702c7a8c004f207f46c734a5eae2e8e82833f3e7ea5", "signature": "98699909137b16b5ebfdec7396d515f606415353f4ef0a329db11bb2fddd266900e54219da5cec913c1d4593b8231a1842c1659bc991b18e778c195540621d097d0288aba536052b1d14510d3ed165f5", "commitmentWithProof": "85d8034b358566ebfd26f921211b257d30def9962ddf80dc7cbdbf96da2bf598a8bbdc03bdc311ff290673ab29edf4a642be726c577a1aaeb11d00d10c5a07c824bbf8e47af13042f570b6bfc05e42783d70fb3ee76ab7c2565fda74ed6536e14105adf9ae943736a6c96c1102d1dc4424eda4ee1961f0d450736d1cc9f6b3ad2f9f1bcd3b63ef5445798b65ad04806240edee143b5c7c57f61ab7fc9fd8f0b05d984e12cee674541b6a79202931e0ef11bcfc908660861b48cfd4ce0970c9726d9359b4bd0c853da78891e9c9db41f2029195279d92f6831b37b5c6d5ac28840e97c12f7962e65adac6705ae712daa61c0c0bda85a3da6850a8dce296797beff88b1c8e8459dba0730ecace09177f79", "proverBlind": "41fb2f74c30256398c927a262602b5ac3ebc6f84d9169476f8fcb1525c93b649", "signerBlind": "49541deb67dc42d5509d39548637959bc43e105fff02c780a308c78e0a1e3c7f", "header": "11223344556677889900aabbccddeeff", "presentationHeader": "bed231d880675ed101ead304512e043ade9958dd0241ea70b4b3957fba941501", "revealedMessages": {}, "revealedCommittedMessages": {}, "proof": "8b3f43fbbf9649ee4992f8f9659261229ea655edcf678c498387eb35b5a1bfc9a6e75c35a0e278bd287dee634ea7ec999283bee904996317f39fe21acd540d54d5b059a03fe710c3a7c7458903f1ce7f571f24f8d0b4c33e8a360156da17cd2a88ff88dda253a3514af6af70b8ca6d70b1b90ffe7a5f1ae1f84e0b5b773e03d7bc3e6c802a908338cf2f4f9a4259472526f4e747167f3cdbf2f715e466a9b7d08f3c7233f217b619725b6c3223c7b84c377876d362203f249d66cde6896b6cc60a42f853dc5ff3da5a07fb84d58d6cf97171ef532345c47e174cf361f02d77b9d8ab6a071841fe9b43eea903f2deea9a2d0a8a31d838682699132b1bddf9f3dd47fca6888f74551c7cc0a11c65330a5c05eeeb95894d65abada470d07712632baeeb40394aa01df3ec04032742d3bfee0cfee07ed3842cbaf27b31a45f95e8435fa4a571ee0b417d264c62170397c4e04844a32d9b5688e5b94e1f62deb87394663e5c832d8d167ed7d45fbcf4eefc813f542cd9e9e4802d9e80ca56a60fe06d86cf22d364d72e1bb0472d56bc80796e6f978707e9b6d67bcfafceb5f57cc6a41b30b9f3c64871af1f97e0ad28edaf905b9f72035daacd33e1535aacf2c44224f49cd6eb3b8d147a771491df19452f8139fe077219bc39ee073e05bf80d6250fcae0da2cc87df3e9998ad9d128ac6f5c078deef38e1d0b08ad4cb9aa14bcbea8520f2bcd0944a645b9334d73a1e0267a62b76a822e09754a749c4f4bb10bfcf0749dfec40056e60396a19c742bcb9bbe620ba677d47d28ef7c45105a93d4c61af612349ac323a6da07dfc302e3e42cc13d623d9d4ec6327efd0e94fa74bd0395ae8764846f75127f107a939dec73ca9201b1c920736b6c79bfae80d5b540eab88696d9cf2b6509bdeea769f6ee6acc0f5b641d7c0c4f10cffe8a5c40f92a63806b04e8c7827a519ec775080a5bad7a4a03fa6c4c7086176a0fd26ee56b22016af620a0ecbea6b2879dc8abd8844a2b8a54bad1220aa8ffc60313432d41fb9e730312cb8035d6200110545e919dee73be05732f303b6e7b458cc70e9a030cf9cad455a05707d0458785acc59bf834dfef", "result": { "valid": true }, "trace": { "random_scalars": { "r1": "2aa67d3759b3aa6cdc1e57822f10e4ac850a7f80a82f0967cd5fd21899ca0b69", "r2": "1e946e0a41c6a6dcc24894f477899f060f0f6bbe5b913022848d39e356d83cf1", "e_tilde": "6d6c354149a71ca3c43e5657fee3b95652c5978125350c6d317cebc9fb88292a", "r1_tilde": "2508a44ef5e20176698f111e2375bfa84661ee27189c300bde8b9d946ceb58d7", "r3_tilde": "35632248dc2eea031c09ae0797e1b9974d675d60df32035a5fde566ff71dd247", "m_tilde_scalars": [ "26f66a47894e184b5fe32a2e6568c0786af376d089e2a11e632978c183a6f3fb", "6d3606b3086f0c44c209c5af201d48d20e015f0fc80fd00a10259f7f46ea6eed", "22063ed43999f4ae40a03c4ea9f934b3f946dc167957b20d501a134426695cc0", "29930e487c3e109322d0f2e097616ece04d87d91649dff92bda1dc438400256f", "4b0cff28fe171b5179977f6bed33413ba420e0656e468a579a7fdac983d24314", "6451fce17b93ed5dbf4d2aafbbd6afaa18e6f222046ac31ed2dc1d6df9a33291", "1f9c3ab790fbad9b71f74783969fb01a14fc7e1f417a38696b0430a77b68fe94", "480b325408ff54ddd292d3c3ce8253c540cc8c32ef42308389bc9543c471c2da", "5e02607fbd4d0af561e61c377e2b31c2ae1c589ba835f93bd7be3814f65ea450", "6849cc6bf9367386c4189859998d9c4993c84488f9b03d311c197499dda1ee0c", "51b9c711f25213b6a63a9ae2ade5b0d517539992c40bb45297d0709b216db36e", "6be3bcea66b6872421a2572b0c37cfdd0541d226a18fefdd60619217554eb08d", "48fd2d36c9e119fba1ad5f5fef059838c7b0150f7a4088919ed9bf6934f7c90b", "2c7589a2b29e0be25b1f592ecb84d072fb17659c4bfc6dfc54dba002623f5a0c", "55976175ecac1373e3e27ed645de08514e66d50600363a6de6e791f3358b06f2", "5a4d330bd5d5fe02528f8c3b2a7d3dcc223d11452f2f772e95cc36b74fc4c60c" ] }, "A_bar": "8b3f43fbbf9649ee4992f8f9659261229ea655edcf678c498387eb35b5a1bfc9a6e75c35a0e278bd287dee634ea7ec99", "B_bar": "9283bee904996317f39fe21acd540d54d5b059a03fe710c3a7c7458903f1ce7f571f24f8d0b4c33e8a360156da17cd2a", "D": "88ff88dda253a3514af6af70b8ca6d70b1b90ffe7a5f1ae1f84e0b5b773e03d7bc3e6c802a908338cf2f4f9a42594725", "T1": "b47c7fdf1d5f18f776b436973084aef0d56550cc061584520ebd25b84bf2b9648111b2090aa6e275059c9517a7d6fd1d", "T2": "a22a1474d8ef231d4acb70f707cb0b6f30a6fd373c5a39269142327015608ccbb03830106319691c9f6559db262600da", "domain": "04ad1197bffbb54ae41c1d43c61dc29325c2dc771d5cc7dba67907b17f564a04", "challenge": "05732f303b6e7b458cc70e9a030cf9cad455a05707d0458785acc59bf834dfef" } }