pages / proof / 4/shapes/LaunchSpec

in release 4: shapes · LaunchSpec

the leaf hashed, climbing its siblings to its peak; the peaks bagged right to left are the head (the pipe's verify_twig)

verifies
true
head
0x70ca62614037642bc3527162614e79da1573fcd4f55c853d07b5c9476311175f
leaf
0xbf9cb9e6f7cdc6f9ab36b494585af4db3e0fa236e986589a01e9fc89f9fbdf9d
index
1322
count
3770
peak_index
0
siblings
11

the proof

{
 "leaf": {
  "kind": "word",
  "set": "shapes",
  "id": "LaunchSpec",
  "digest": "0x48e57bba24f49cd2affe1c48820a688e344aa14d54e943182fe5734646832812"
 },
 "index": 1322,
 "count": 3770,
 "siblings": [
  "0xf2d519f21b8d4d8d268067056800bd949af7ae98f68e063de6e34f652057c348",
  "0xac587de84f71c23d7bef5b88e4f631bf69fc7f37bdafb71de081a40756fbbedd",
  "0x7a91784bc50213aa53e7be2c06bd75ca07c2e6bf7ffa127240bad9c9e08f4980",
  "0x10bf016aa69eba9001fd9d9abbac409bd7fff9fbc36672f5fe4fc9835f1fa51b",
  "0x4906c040ed3f8068307353676e7133da05b02d7df3f7ca34bdf1e299fadbafa7",
  "0x95271ce46d84c8752f6e5c4a61ffeb2675747251ae24aaf376dbdfa2372dc5af",
  "0x6676a557200eb474a83adbb7d1aeac757b43786d3328f85fd9f9ccf10abac00f",
  "0x0b91f3419d7e5886baa4b25f11ae5f0ba0596ee078616e7d68b7b932de251eb1",
  "0x2832f54904bd8932a7042316753dec63a4a9a3c74e89ee3f3d9f4d71dcc2d2d3",
  "0x50c55d913ded3afddcda971004be1942a68edc773d302a9ddb41924b45005f6b",
  "0x8f0406575b803b992979ab8b8859baf18592027306190c47fa83f7f755209e34"
 ],
 "peaks": [
  "0xc83761bb6d9398aca86b43cc9d2ba075f4d0d0229d52c76165d8649114781cfb",
  "0xdf12f1deab413755b97b950c29d62aaea4aff0495d1d38d358d0f664b8274f93",
  "0xcb4078f42089ff5df42f5f57e5a895d0ce3f63418cb567f1af9479eb226963e3",
  "0x8ce0d2ee48d3847487d4ac631e81d90046da48c5136febee9cd42913d1a2b18e",
  "0xb364bdca5788ed04d4ebeab69ee13fc2785ed1a4371f353419f19805f2ef1542",
  "0xae7f8fd798bb674d5e493dbbd0dfbe12db18376f9cd63ce90376452d081264ce",
  "0x8f35bea020cd3ffe0de483d54d93102e8f989fd272fd818852c15576a555a337",
  "0x5417080684080e0bccab321d07bc69d5548beaed2752a194916a083e7d4b53e8"
 ],
 "peak_index": 0,
 "head": "0x70ca62614037642bc3527162614e79da1573fcd4f55c853d07b5c9476311175f"
}