{
  "caseName": "valid half 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": 18
    }
  },
  "signerPublicKey": "92d37d1d6cd38fea3a873953333eab23a4c0377e3e049974eb62bd45949cdeb18fb0490edcd4429adff56e65cbce42cf188b31bddbd619e419b99c2c41b38179eb001963bc3decaae0d9f702c7a8c004f207f46c734a5eae2e8e82833f3e7ea5",
  "signature": "98699909137b16b5ebfdec7396d515f606415353f4ef0a329db11bb2fddd266900e54219da5cec913c1d4593b8231a1842c1659bc991b18e778c195540621d097d0288aba536052b1d14510d3ed165f5",
  "commitmentWithProof": "85d8034b358566ebfd26f921211b257d30def9962ddf80dc7cbdbf96da2bf598a8bbdc03bdc311ff290673ab29edf4a642be726c577a1aaeb11d00d10c5a07c824bbf8e47af13042f570b6bfc05e42783d70fb3ee76ab7c2565fda74ed6536e14105adf9ae943736a6c96c1102d1dc4424eda4ee1961f0d450736d1cc9f6b3ad2f9f1bcd3b63ef5445798b65ad04806240edee143b5c7c57f61ab7fc9fd8f0b05d984e12cee674541b6a79202931e0ef11bcfc908660861b48cfd4ce0970c9726d9359b4bd0c853da78891e9c9db41f2029195279d92f6831b37b5c6d5ac28840e97c12f7962e65adac6705ae712daa61c0c0bda85a3da6850a8dce296797beff88b1c8e8459dba0730ecace09177f79",
  "proverBlind": "41fb2f74c30256398c927a262602b5ac3ebc6f84d9169476f8fcb1525c93b649",
  "signerBlind": "49541deb67dc42d5509d39548637959bc43e105fff02c780a308c78e0a1e3c7f",
  "header": "11223344556677889900aabbccddeeff",
  "presentationHeader": "bed231d880675ed101ead304512e043ade9958dd0241ea70b4b3957fba941501",
  "revealedMessages": {},
  "revealedCommittedMessages": {
    "0": "5982967821da3c5983496214df36aa5e58de6fa25314af4cf4c00400779f08c3",
    "2": "835889a40744813a892eff9deb1edaeb",
    "4": ""
  },
  "proof": "91316c2d47546e7eec8b974c58764d0002e9def61a4631f12e74a643a058f6aa95eb27b1b7b319635af43da84e9a104080542f0d9f5fbeacdc0e669d5a2e0678ace2d258032ce6ae4e9c7ad35b4739ab3aaba3a2592fdd3af1fd70fc4b31ba8f92f36dff7f48afd0afb0e1ea9123b0a1d1387f16bfba16d4e48f28a78dbe6a5c841c6ef939c268f7490f21878d81b39f4c2388ddb5e1e205cb4eda73cc830f415c6098325ba77739fdbc5a28d557302d591485fb5b5337ebe77cd33f1aa83daae47d21ec993d8d75a8956c894a6e61293c95bd0d785a0af5debb71aad8580830eb258f6c8a68810505b4bfe8c941d36c42cd81f3a40e2784ca64cd10a08e85cb9d7f6ad9dc2cd2704dd6cd31ab95f1c5123efb704c5061c1fdf955890414b43eafb2158ab7324a3d550349969fad60a52c68b3cd9e8936de4e602b92cbe80963ed614c8f2ee498c460e5ae4bb521c37e58a88017fce41b8ccd5f18963f3a6c4aea75ce64e55b578d5b41f96f24220269139cde310b9cace17efd7237cc9df18009b424c6af03e955b04277ad89fc9a0365b0fc1391941dd5b87fc95fe1fbf935d989fedd5f0cd9f684841e6b06ad8dbc64d31315fec28a0de9abcd916e6229470434e471e08b401414067413a9e45fb206248b295c6496cb025221e8f1967f4e77fc2b3b26ea02e5f1fcb0e05856c6a251b3e7ee47206c622ed321523c04d0f65eaccb1f68323469efd34d8c4f6c052a30000dc810793b0e74476002d34d8d509fe2d4d57315da6b7cbcede917446d1e3614cfb22a47a808865fa73487253c9eebe8a8fbe72969bc36ad4f895068bf2818031475232fe085bb49e501a6bb202b1ab5a5dfdb8a1adbd31992aadbb0720d4ffebc5623871fa60c35e6ce7b403a7fd564adb8ca4e913bb05ce2418232a7970a6b38833021e0813d96cc6415a88b04aa0e5bb3640ca0dc3815e75449517ef2",
  "result": {
    "valid": true
  },
  "trace": {
    "random_scalars": {
      "r1": "72202656d242b95e869fbcd40581b1924183ac11ac323ebbe011d63536d8287c",
      "r2": "1b6f80e77f00fd46a7ab1e46be33db2582fbadbf8358e7dfb157c69f577b9063",
      "e_tilde": "48e116be2272e66dac308ec305869640dcc107d3de941659e7dfa80359a3a33d",
      "r1_tilde": "67dbca3425cd03873b9ef9240389de348618c4eb142eb963f03e99f5cc85755f",
      "r3_tilde": "38beeb508bc526d9f70af680eb5e747daf0b0abf9c5dd2da78a795eb082c891e",
      "m_tilde_scalars": [
        "41e0af39eb876d842a6fa22e739bd8557782d8bc64f1e3e8caa407acf21e9d83",
        "34318199184c1d1b0088b30f12b59b5be5eaf0a6d4f1bd06cae1844ce79493db",
        "449a1a27becc25364804695002bb8671d66119c6b47ca0090a42690f108b8743",
        "0db0eb8b857927356955a1e251ad1df40e45427e8dd488b822608565a62a5a31",
        "3030cf9de98a457fdfe9cfbe693e53a2eefbe6590557b04bc5abcc981b2c5b53",
        "21e0abb919758a5b8bfd32cc6417b36ca94d091a4ef4b6e9e6840a174ed193d4",
        "6d46722a4f82d87d5012bab944b18239571c6c20b7133b529d0cd81999251eee",
        "38af70a2dc939db80ec191f993d38ce477fbf53f0de85c8676e0bd32fb6529b9",
        "39c92b70c8e3635a623da5dfeccb3b2a706e8179f1c94c5185f8cf3a4147f0e4",
        "1521952789a9f1a2c8e88d102574fc3b11644dcd57e4658bcf37f44ba575a69f",
        "5ecc4872b50ac3e9159dc3eef11260766090788a864607e669c50ebc489d5a75",
        "68c917c66ecd829f333f0f9b12fcaf0c93e6f085fbb0d490e1e1a43ba59d6a94",
        "60f3ae300246e53d20ec89d0bce7f4ea8bb2f669f9b972f5e475401ab9a44ad1"
      ]
    },
    "A_bar": "91316c2d47546e7eec8b974c58764d0002e9def61a4631f12e74a643a058f6aa95eb27b1b7b319635af43da84e9a1040",
    "B_bar": "80542f0d9f5fbeacdc0e669d5a2e0678ace2d258032ce6ae4e9c7ad35b4739ab3aaba3a2592fdd3af1fd70fc4b31ba8f",
    "D": "92f36dff7f48afd0afb0e1ea9123b0a1d1387f16bfba16d4e48f28a78dbe6a5c841c6ef939c268f7490f21878d81b39f",
    "T1": "a31aaba48e0a2d09945a41472276d30842cc86e216880085c4c81b55d6c7a354a3076e41b8c97d03b130222effc07bd9",
    "T2": "8fed3661429624cc42d72019ecede724622d0d76e6bfa498d3329492b98c6fc488e9f32eae6c54162f3facddb964ce0f",
    "domain": "04ad1197bffbb54ae41c1d43c61dc29325c2dc771d5cc7dba67907b17f564a04",
    "challenge": "0a6b38833021e0813d96cc6415a88b04aa0e5bb3640ca0dc3815e75449517ef2"
  }
}