{ "caseName": "valid no 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": 16 } }, "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": {}, "proof": "b49d202961fcd847f07546539dff3482d874bf49230d9195842d8e7d56810909542f670c77224652a06426ec23fe8aa7af22a741f60c494b57e511b0e39bed7690187f0dc60aacbb601876c995c7137b26a3e00929ed9f04db85dd026449bd5c8511aa643200708fa241b82fc9c3ad43f4cb7ffb8108374bd80a104276aa3b25fd99b4a39648bd6ed9d31a1dd99b0868516a282ebbb7c9e43bf4e8d02bc2661e42cd9ccf8201eb363095fb8c99289a2a4a4250499a0a58e9040724be294e64cba78ac1a770a5a6825e83c6b2d190a7b54c069f0c67a72a9bd8252e2c76da8a0c736f94aba59ec8bab63f5eca2adb55403369a441e5e7da8898ebbf5d9136ef84d706a44a14fb3e022862435b3ad9f7f4316d10d68a7769dbdc66a3108bfedbaa1cc4d97af2ce2118f4ee87c2e269ac40135a07cf3286ea1169b657121b44104036aba5e434d086cd4684a914262ad8e137ce0aac45fe18d907252e145b68482a7e9639801fb73c20b262e58ab63cb49a30bd9529c968d145facc8bdd1f8e0e29a9502832fbd28812d9d9ea58e6bca8125ec7b54f4cbf7a3a49b4eae96627b8a800a840d3581f7d61782d467ab4fe9bed43377a53c19b02c883abab17c089af3cfffedd0c3fda7523e829fb6256842efd4dbad7bd23e6fa424358878047a76e5c10dd9eebd72c58bc1a0b28bcbebbc77a45f145871c9e45939e5fdfe8cfcda8cd7e7db06ada9062efa0615bcd8324a8a35498be70cebd3dc49e0a5021aa62dc75a7575cf72aeddff26bd0ead27dabc18e31c0bfb468e8b9dff0b6c3222ad18d01c654526539f5c3d32ffe6efccc951875430dc2408bf61a1c780d89325e53943233336d878147a94e965928e430a35ebf", "result": { "valid": true }, "trace": { "random_scalars": { "r1": "211c1037bcd1316e4160817643c34a7bbb83021ddd3b1f22f37ed5253da52e25", "r2": "6ca3bb81e84cd13823f2630f90f28084d1409bca3d08983d9901f290450ef52e", "e_tilde": "2a37d3d049c506148362bb3411255f08bd504553caf90b877569b7250ca7f98c", "r1_tilde": "3427333b9226659b999a422946edc23b382d9a355ac03ec8dc45ed57cbe56bc4", "r3_tilde": "633a0ef2d7d6a96a6d273e6984d0dc3a4d8a619fad2be125dd3e4237bfe2e53a", "m_tilde_scalars": [ "5f2b419df907cc204177fb0f60a8865cafc792fec2a5eee336146ad811cbd483", "03c340104c6b71dd62b77ed31d2b4863e9a6925cb9b78666a0b8c400c4ca31f8", "45f9d520e8682e349a036b8763fd647d2a1cbb81a77f61da5879d563948cffe4", "4010f0d66857c907ebb8f7544e04ff1ba4bdc2baa19f63b4a146f5ccc3853544", "4ca37c03d4ab19de664f57d18874d7b86434cff1389cf9865506bcc49f63b4f8", "47965b117a3d83c8133a1f915f858c0b4e1f3d648af84dadbf722696ab0d62f2", "68bbcf9066fd79d6224a0a8d289bc38cc7768bca389779edfa29b0fe874b2645", "6185e602029fe3df6f0023323d20d33c67e8e0093e4d603e00506869aa2fa57c", "47f3355d90deaa185a76e02fc2bb521714682686569e36f016f5161babdc3006", "461a8b4fc326abf2bc18c43df883fd512d460419c4ee361a45714d8466b5750f", "4da6a68e742b02785c398f1693b856908138fa2376c03546ab2b4168853c255b" ] }, "A_bar": "b49d202961fcd847f07546539dff3482d874bf49230d9195842d8e7d56810909542f670c77224652a06426ec23fe8aa7", "B_bar": "af22a741f60c494b57e511b0e39bed7690187f0dc60aacbb601876c995c7137b26a3e00929ed9f04db85dd026449bd5c", "D": "8511aa643200708fa241b82fc9c3ad43f4cb7ffb8108374bd80a104276aa3b25fd99b4a39648bd6ed9d31a1dd99b0868", "T1": "b3c0f8ff30dc4b74e3ef80a49deae5581c1b30d3eeb3265a29934c77a3bf81b088e9497ef56deb0e94160daf667a51c1", "T2": "b8d05b87e865db7669adb79813faa7302d88ab54806cf917d592e64d34913de76ff1191b87971536815cf734f919ca00", "domain": "04ad1197bffbb54ae41c1d43c61dc29325c2dc771d5cc7dba67907b17f564a04", "challenge": "430dc2408bf61a1c780d89325e53943233336d878147a94e965928e430a35ebf" } }