{
  "caseName": "valid half 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": 18
    }
  },
  "signerPublicKey": "a820f230f6ae38503b86c70dc50b61c58a77e45c39ab25c0652bbaa8fa136f2851bd4781c9dcde39fc9d1d52c9e60268061e7d7632171d91aa8d460acee0e96f1e7c4cfb12d3ff9ab5d5dc91c277db75c845d649ef3c4f63aebc364cd55ded0c",
  "signature": "aa1a66a6feafef7fa91f158c11d305bde01ead2352e3678c07472b7086d4315d4b260340b6946cf59dc1f8c0529242811f45b727c933ce0221a9e8e8f3bb9263e74b432e4ad4d203705f9aa87ad7fac9",
  "commitmentWithProof": "a2a3e178bcc77f98a3c07f8532134021ab5847326b5b3bfc3089ca73f1bc51cfe2c99163f4919525dd6bedc8a14ee39e30374643902017ca2e6fb8b5647c736e82d1d3c5b05de5c3021fa6f40d9f36dd22fa06e522411aa20377088ca9a15885d7a5044175f0168e927149ee71e2d257079e0100d6d96a7ddf5392dbc64267af8df7b4711cb5eeccb5e8901d0580b9e837f38337cb7260cffcf4f962154fafe5c98beaed7e4d2fc0f8e7eb1ba4eb04086f170aa4924894e2ab63054049c9ef5dfff4f90b48ef0dcf1f50699907301073270e4782d4d7628cfbe1444cea930928bb45004e41e0ad86a874ea03473845ce42f78ceb6f855ba8326a4d47732c5aed3968b396a07f079b22b5bf2139e51a03",
  "proverBlind": "4fba5396baa36b2fde81d46a9b9ee89c425dbc5e1ffd65c20249afb4abd37589",
  "signerBlind": "10e75ca49d242390896d9dd943b97ff23b8cb780bf27df185f51b33abaaa94e2",
  "header": "11223344556677889900aabbccddeeff",
  "presentationHeader": "bed231d880675ed101ead304512e043ade9958dd0241ea70b4b3957fba941501",
  "revealedMessages": {},
  "revealedCommittedMessages": {
    "0": "5982967821da3c5983496214df36aa5e58de6fa25314af4cf4c00400779f08c3",
    "2": "835889a40744813a892eff9deb1edaeb",
    "4": ""
  },
  "proof": "ad668f95a4be5360e4f2f8ec1ad4b00f063b789f3b5329ccd2d99c977aad877e3c36eb36a1eee6de485017293453513c8aa711894f40c925c0fd346f2d3504cf143dafeefb1b80537868c0bd6805f890d61d2a35b498f397602ec2fd2716f2778edb30bee705086a460dc2a2e9fb566cc5b3196ddc90ecf1e948ecc37befeff39e978b0a4dc5f08e44351c6fd877dbf91a1afa6574a212cfa01d16659e0b1229aa8d8f03d6b2dbb64b8d8153a6eb48bd53b9afcccd3e0acdeb20827f2b7a25b08fe8e1667cad177c4aef6c465c4defa71d4cb70e106a7fc9b1f2fafe44eb3c268714e4b43bfa7f944b2786830c4e6b743a4bd51a695da6228dc6f9d942fd823536e54f80e42604e4ee7a270c43e26be343560e9f8021eb34ed8adfb54f9f7e4d1b4803696653e0292894d2047b75a86339e6238472556c4d896adcf4f2170a41afa41abec1aa98d912458db314d112714792ed6c037ac8486a734580d1b89e60b371357fbf00bad30b911d330b7b544653a91c34a2bd8310849af199a591066e6ae586e14b58ca7b5d0e6cdb6c020006693fbe9acc66513544eb56fdb3d1fd83a0b8277cdd9d2bf1ef810e19ff569c4224b6f9de5c73062aa974506f8e6a54f3e5a1cbb889b0ae22e72207fae79e83103af70d3d88599f9c6197cad13804a4fd2986e7e113e75cf4774df86270bb249c245c6a2bf5f5a9971f076321e9c472a8382d206dbadbf7f86362a6908005ad3920d132dfc49c4a95ff2ca2b6c69d433338bb5046ade2d17cd18f95c4f1e448341eebf78bc73aec7f5f5a547eb9953663afb4aab2b82f9dd4ed2fc45bbb1f14bf35173f0117c7751ce7c374d556fb528995ad82385144a524514233cc841746e21ebfed48bcda634985b63facc07b4534679015c8d622fb8cf3795ab5e709b74421c2f3626751b1f833dcd77252a3b0bd09cd22d0c594eb61aecef46aa27f2476",
  "result": {
    "valid": true
  },
  "trace": {
    "random_scalars": {
      "r1": "23d8b41f82e80a32c4606bf7198b6a85bfdcbb9a87773a54e668aa6cc50f4b60",
      "r2": "259cb8451e183911fd32701689c8da084a351cbc878edabb5c65892f5566cbee",
      "e_tilde": "0750d611202174343211411eb9aeb18d6b09057c51e9f9524cf1ec29a845a4c9",
      "r1_tilde": "519d28834203f545ce2e917b1428e59f4ca3e716351c2f03b9884bf3b84ee5d9",
      "r3_tilde": "664fd86f51bd56079f1f58e8f29881ca6881f9022b267a0842eb9bd66d8ff116",
      "m_tilde_scalars": [
        "35c21b4641053b0e351cecc6b4f7aa9687771ea67785ba51ddb13ee3d6616344",
        "2dec7bd3fcd718500184d41d750642b55d21ea63b494bdf41011dca9d7075b57",
        "277ca0dcb0183675a981bfa22e2ad09c8a61b23761575078374a9df40cb63237",
        "3376f31a419eb425ae5375029f0f1caba349467ff477c30aa6a577ffbabc162b",
        "22808132ab0fea4b85a2b6621abc8f2e78b65f3417db2e8350bec0a5d02f12f7",
        "68b417316ece357d32bd0e94f5211a900abf5888ec25ad7762d40413d45a6ff5",
        "668d12f5ef2c391c0dc06f1f2c1451d710c743311cd213c268bd7b41085300d5",
        "1f45ce8d90d44399aafe97bd024636747766b670004c366af6b19dfd211fdae9",
        "304b07fecf8dcc052c29b4d52934a031d4abdad430c4bd3ccc65028d4e26da8f",
        "02d05a55bcfe243c268154cc03f548ffa461f84c4087c7bbb6284e4e07ffee53",
        "3e20f9d1709e50cf709530e4e267f544eda9c4b9e214e4b133c20cda8477ffe9",
        "6e41035b050e5ea1f97bc975eb5a63447470bc24639a7f63269e8b3f5d8f94a3",
        "31dad9cf8ab3482296a766c4c6e2a97b2ad9e83cf8c83755940736235bea6e0e"
      ]
    },
    "A_bar": "ad668f95a4be5360e4f2f8ec1ad4b00f063b789f3b5329ccd2d99c977aad877e3c36eb36a1eee6de485017293453513c",
    "B_bar": "8aa711894f40c925c0fd346f2d3504cf143dafeefb1b80537868c0bd6805f890d61d2a35b498f397602ec2fd2716f277",
    "D": "8edb30bee705086a460dc2a2e9fb566cc5b3196ddc90ecf1e948ecc37befeff39e978b0a4dc5f08e44351c6fd877dbf9",
    "T1": "97ac4963e423f412385fa1df0bba2052266d3ccf17af3b44e3c417985588569f5233920aab5a62522e972845b0f59246",
    "T2": "a928b145aba19ea736d34e1267c37a05142ec49fea44752d7c113330d17f8f91e56875766107a954a38903187fea2271",
    "domain": "1207ed090723fa7e41c07e970ebb647d1d043079cc2a38c650c32234f1823936",
    "challenge": "21c2f3626751b1f833dcd77252a3b0bd09cd22d0c594eb61aecef46aa27f2476"
  }
}