Log of a Merlin transcript for a 64-bit Bulletproof

Bulletproofs Transcript Example

Initialize STROBE-128(4d65726c696e2076312e30)	# b"Merlin v1.0"
meta-AD : 646f6d2d736570 || LE32(24)	# b"dom-sep"
     AD : 4167677265676174656452616e676550726f6f6654657374	# b"AggregatedRangeProofTest"
meta-AD : 646f6d2d736570 || LE32(13)	# b"dom-sep"
     AD : 72616e676570726f6f66207631	# b"rangeproof v1"
meta-AD : 6e || LE32(8)	# b"n"
     AD : 4000000000000000	# b"@"
meta-AD : 6d || LE32(8)	# b"m"
     AD : 0100000000000000	# b""
meta-AD : 56 || LE32(32)	# b"V"
     AD : cec27d6c21070698fb24cc51e5558fbe1c599e36dd7cc0bd2ebd8a162181571b
meta-AD : 41 || LE32(32)	# b"A"
     AD : 5275cb519ced67dc9b6306074436997b27dcdafb0628d854a3b66f90b0b61371
meta-AD : 53 || LE32(32)	# b"S"
     AD : 34d09b22d060aa696432711de35bb2c5b9216eb102cb6f2a2c7135f0226b954f
meta-AD : 79 || LE32(64)	# b"y"
     PRF: 4a02a36cdfebda19fa75b9a618a3f30d0c38d3a7f3d573ee6c450033e083cecfe70f5ec315d14205d2616cf1ef2e3ae8d178467ec45c56c9ef95447458b94b48
meta-AD : 7a || LE32(64)	# b"z"
     PRF: b559efa8693055f21f6be0cb42b201d3c1e2b551024cd1f8faea149fce16e83bea7c509209fdc78b49d18889a0844d43367b14eaa5934d0eb842e3ce453cee56
meta-AD : 545f31 || LE32(32)	# b"T_1"
     AD : 1abe3dbae86b90ee84d25302f6d9d9b8c1c3264d6b4b8a06115f72e52d5cf64b
meta-AD : 545f32 || LE32(32)	# b"T_2"
     AD : e2b40d232530be15fa28d72ea0c8b0fc9f3b592f9d2511b58a99c3e6f9e83d2e
meta-AD : 78 || LE32(64)	# b"x"
     PRF: a5538a525d3b60837f2dbb488e1a36212dfd837dae2a5b03b25891a050e5cc9c81668fc88241739940fe6e816b428f770664e114ea91133a7642f2b110e33b92
meta-AD : 745f78 || LE32(32)	# b"t_x"
     AD : 84b191139eae648a3c1c12d0fd6ac9455391ee7e19b083934c98d4efd0e3670a
meta-AD : 745f785f626c696e64696e67 || LE32(32)	# b"t_x_blinding"
     AD : 81b428ef76d62d72d7937ed591e130d6e31fdfe039bff50b636a4a6e77d3f90a
meta-AD : 655f626c696e64696e67 || LE32(32)	# b"e_blinding"
     AD : f575f2503c2d9234601aa87b074243b16bdd68a6cd50c0844fe3f8a9e44f930f
meta-AD : 77 || LE32(64)	# b"w"
     PRF: db470306f6ead60150065a00394ad35fc3f2104a9ded4214a410c572bc4006eb234db05e59097c56aa29f590945360dc1de6a8e6ab20a1bb6bd5ed2571a66772
meta-AD : 646f6d2d736570 || LE32(6)	# b"dom-sep"
     AD : 697070207631	# b"ipp v1"
meta-AD : 6e || LE32(8)	# b"n"
     AD : 4000000000000000	# b"@"
meta-AD : 4c || LE32(32)	# b"L"
     AD : 5c80cac04538eb874a5143c6fab1359bf5afe4ed299ce3e7024b2ffa87bd3a5a
meta-AD : 52 || LE32(32)	# b"R"
     AD : 8065f42a3bab09f55b886b2358184705d34ede3f1fdfd8556269a180af82bc07
meta-AD : 75 || LE32(64)	# b"u"
     PRF: 5fbcc797abbc6758c41b353b98c3a4bfdf960b8a64d3ecf48b177a5c157aae2a84f6a0e4fe71c3fe09571db65fde26a101d945246c138a5f41ef2b813d9ea9f9
meta-AD : 4c || LE32(32)	# b"L"
     AD : 424461386491b766ae041b8e6e8848799173957bdd0ec7b3ee948b1c806f0b70
meta-AD : 52 || LE32(32)	# b"R"
     AD : ac3a3409023e9139d05300b80695309a1d96e36c89e27377a8bcbc7871a87a2e
meta-AD : 75 || LE32(64)	# b"u"
     PRF: 6f1d8e1c8a85237ccb3c8782d7262a734e297062c1c2c3a6ad56e75e0e5f7ddfc61d2c12eb3dc8fd5f984a90805730cd254920b54a9c49c9fef0083a0c0e4194
meta-AD : 4c || LE32(32)	# b"L"
     AD : 965112a366bae08a25b8affcd822e7cfee60a783aaf390b29389fbf6ebdf4f38
meta-AD : 52 || LE32(32)	# b"R"
     AD : 76e4fefa724867206cb913abe1d92a83a9ffdbfd7ad21709308cf5ed0ea75a1a
meta-AD : 75 || LE32(64)	# b"u"
     PRF: 46bfc3d8002bf35c3ac22eb6cd9570a11952bffb021f9117cd5d7666e896faf70e926382a0432484137644f5b6a7e2e75fab1b8e067c3b8a0df2344ba2f0e9d6
meta-AD : 4c || LE32(32)	# b"L"
     AD : 7e5e49d7a2a254ced052ed5c119a7e1f25f84a1368e61fddd2a2efe6328a5e6b
meta-AD : 52 || LE32(32)	# b"R"
     AD : d25bf33d1b03bcdad199c703aeb7603673e063634097645b360b019030306c72
meta-AD : 75 || LE32(64)	# b"u"
     PRF: b902e29300878f478c96dc563e4f73cc16cd517ccd7bc6757d88a1847b9d42be91a987d5c9543e13f12536067b516f8228994c3565ad68b75adff00957ff3c3f
meta-AD : 4c || LE32(32)	# b"L"
     AD : 6edecb28cdd396875535b48e301cb70e227fab9b78783a7b6e0a0124873d100a
meta-AD : 52 || LE32(32)	# b"R"
     AD : 84e346c7f475ec6b42c4b30a104085fc98526eafcc698a8d028622def9345405
meta-AD : 75 || LE32(64)	# b"u"
     PRF: f9a6feaa79e1484f898ea7a87f40b0349649615711fb9f8076c37bd544fc6ac63c7e8ffc5638f1d777795dcb8a50f06e78fbddaf3a83f76944ba88e037f6d7e7
meta-AD : 4c || LE32(32)	# b"L"
     AD : 4e336c5fb6187def28ea168a1a4e7d112ea2fcb3ecf0a77aea89c358c2289723
meta-AD : 52 || LE32(32)	# b"R"
     AD : ae0c8dcf8a3e5b532d4d4888e021b7512c3180faeb9e3074680ee93abba5140b
meta-AD : 75 || LE32(64)	# b"u"
     PRF: 66e9ca930286b3b07f6072245bffbedb29c564e40b39a2649aad26bf8dd4c8fa6d2c7996d57c17c16adc75193da2abe54514aed7632064698cf22a3f2652e98e