pages / proof / 4/shapes/MeterLegTo

in release 4: shapes · MeterLegTo

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
0x20ee5c4ba0ca0fa7a990e9390889420d3c3e8f7814479cdba55f38b8ac3b8ea4
index
1364
count
3770
peak_index
0
siblings
11

the proof

{
 "leaf": {
  "kind": "word",
  "set": "shapes",
  "id": "MeterLegTo",
  "digest": "0xaefcc46c597b99a18df644a91bc38ed1136a28d3df6d82c8a21f4f8156b862c6"
 },
 "index": 1364,
 "count": 3770,
 "siblings": [
  "0x3a3844155410fbf89277f37e695f24507c661843678313fea85c0ec4bbac18d7",
  "0xe019be3060d311c087bc33d22138a9f9feecac94893c18c25fae79f3f0985527",
  "0x1088872177531e7a47b9c0d19426fe3ea625bd4f3aa852e4d7efc94a27e87a8d",
  "0xab822f43169d2ab1b3994d6c5d70a5b40ca9ae7a8c0277541549f03c75a6229f",
  "0xddda67445485dded1c2c42d4de71d99c71438bbc346be368ba5a735b1f233b36",
  "0x367c0bb4e00c0b10c287de0c2f1d97a5002e2a80db858b628e5c46a5dd16ac7f",
  "0x17951ba5607dacc5b516772a94b4cdb9ffde8ee1510a97dcdae17f8b22ac9f87",
  "0x0b91f3419d7e5886baa4b25f11ae5f0ba0596ee078616e7d68b7b932de251eb1",
  "0x2832f54904bd8932a7042316753dec63a4a9a3c74e89ee3f3d9f4d71dcc2d2d3",
  "0x50c55d913ded3afddcda971004be1942a68edc773d302a9ddb41924b45005f6b",
  "0x8f0406575b803b992979ab8b8859baf18592027306190c47fa83f7f755209e34"
 ],
 "peaks": [
  "0xc83761bb6d9398aca86b43cc9d2ba075f4d0d0229d52c76165d8649114781cfb",
  "0xdf12f1deab413755b97b950c29d62aaea4aff0495d1d38d358d0f664b8274f93",
  "0xcb4078f42089ff5df42f5f57e5a895d0ce3f63418cb567f1af9479eb226963e3",
  "0x8ce0d2ee48d3847487d4ac631e81d90046da48c5136febee9cd42913d1a2b18e",
  "0xb364bdca5788ed04d4ebeab69ee13fc2785ed1a4371f353419f19805f2ef1542",
  "0xae7f8fd798bb674d5e493dbbd0dfbe12db18376f9cd63ce90376452d081264ce",
  "0x8f35bea020cd3ffe0de483d54d93102e8f989fd272fd818852c15576a555a337",
  "0x5417080684080e0bccab321d07bc69d5548beaed2752a194916a083e7d4b53e8"
 ],
 "peak_index": 0,
 "head": "0x70ca62614037642bc3527162614e79da1573fcd4f55c853d07b5c9476311175f"
}