{ "caseName": "valid all 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": 11 } }, "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": { "0": "5982967821da3c5983496214df36aa5e58de6fa25314af4cf4c00400779f08c3", "1": "a75d8b634891af92282cc81a675972d1929d3149863c1fc0", "2": "835889a40744813a892eff9deb1edaeb", "3": "e1ca9729410dc6ba", "4": "" }, "proof": "885fc9be8194a72628b0a75828b6f2297e0ac0db13473d8c8346f3862926365e38a5ab28265854a2a165fac412d201ca937eb6e249768e52c4ec15c711b8a4c2153b09caa7d64c5e010fc05f3f6ef3865920e877365f82d0400738b65f9bb421a8e4e5f7bbade675d55eb91d32adf0eac29d9dd1168acf39e89824e7b83e98381b47030c5e2ba4b9edb7b5ea262b01310ae1bf7884d2aee023504adcd48ed1c4312fc401618ab24679ca46c448fe478227d0bc48cccafe0d61b91b01bd9e9821842af129f3c2a5c877fa9c759f81b5e8606cdec75a7af1e99c0750394e8fb39465d07fb8b6049d8e8070fb1523fd6a1d052c2daaf7bb42d1187ef6efb12df7c0b9200a7230c377767289b7aac236b2f703b0f2d0914266cc0b1bad8f21330ecaee604f49d494befe28b46d6dcf2de82f73a3d4e82d628097aa773063d4e868f25fe6544abe890b30b8ae08ef22cf8529498d3e7fb7c881f275c56cf57cd19039a4189fcbd718bfb6b1e7de1274008d331fdd48de78b047b98966dddb5492c9ef093f1b7064d6453615ad0776f131794b52c689527d84d67836a61e993b8416299020a8d57bd5266043554541d0d30bd3464520473549979cbbbe5172009ec1078cb039167b018853a3a507b8babb617d", "result": { "valid": true }, "trace": { "random_scalars": { "r1": "517c6ba25814e7e8a6b1e1e7a1eaefbd13a47b874a249094592b51295c896be6", "r2": "17d278dc4ff520d8bcde7c7f35e635c19d9d0e19e0f32e4900e4a69af300b2f6", "e_tilde": "658838c65c01e42cd39fe21885284cef7006630bf8b8ab9183bcc2d212778dee", "r1_tilde": "21e2ce874aaef017a9d67f01e432cd16bcf2794299e6594f5065b417d0039f42", "r3_tilde": "51a834a77851b6f5b476bd8ce9440019c0ba3b19a1739ae20e0834abca1facd4", "m_tilde_scalars": [ "586ad615bf1d62d511c8737ebb6a0492e0769faed21e1fb23cbbdf898b25ad55", "441e55f5927fb14f4059f4d4c7aad45b72349b50436cd8d2cd5ae3666ecd64dd", "10292482d9e08dc8d3a14223dfdbe4a14433ddfbff0950732a12f99edd78efd9", "1acd7900624f83027ee6c7700c579d10eaa0060dba6b94322470949717394645", "4e525012cc1649cd7a6a4d3a16899e39b9d877243716e6212effb6320294a382", "65f2bf6e3dcde2dece63dd45ffcdecc8019f04664cb245f45ecdbc945e8a4772" ] }, "A_bar": "885fc9be8194a72628b0a75828b6f2297e0ac0db13473d8c8346f3862926365e38a5ab28265854a2a165fac412d201ca", "B_bar": "937eb6e249768e52c4ec15c711b8a4c2153b09caa7d64c5e010fc05f3f6ef3865920e877365f82d0400738b65f9bb421", "D": "a8e4e5f7bbade675d55eb91d32adf0eac29d9dd1168acf39e89824e7b83e98381b47030c5e2ba4b9edb7b5ea262b0131", "T1": "81172a458bf764c942cfc9d2f4c6d77ecce1b98c7167a0483c4c65d37bc29d61fdf27fb9a941b8a351e4674203c38f1d", "T2": "91b8aff9920c55af087dfd6c28f0e8c33edc8a5e5ba50ad501132d95e39b0fe90ba82536a7518287c3b0cde01acc9c5c", "domain": "04ad1197bffbb54ae41c1d43c61dc29325c2dc771d5cc7dba67907b17f564a04", "challenge": "464520473549979cbbbe5172009ec1078cb039167b018853a3a507b8babb617d" } }