pages / proof / 4/covers/r500of10000-p10

in release 4: covers · r500of10000-p10

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

0x8bd03593f22d4d9fcaa94519389f68e6df31671a1c8082ea647ee57bb6bdd267

index

157

count

3770

peak_index

0

siblings

11

the proof

{
 "leaf": {
  "kind": "word",
  "set": "covers",
  "id": "r500of10000-p10",
  "digest": "0x8b71f44c3d996b0f9e06dab2f0bb054b71190f0cecd3302f995740333cbe95dd"
 },
 "index": 157,
 "count": 3770,
 "siblings": [
  "0x39a7869a9718df577bbd72b0a004346eec46f49220681f097d8d14c0029c55da",
  "0x68e1b10074f4dd12a732e66723861b75cfd08c10958fea7b187a19dc87a20d23",
  "0xc44f6b25a11d36333a14ff90c2cc1681298673728559da94bd8b754964802e4f",
  "0x574d4e230321fd8a19febfe941faeaa7b1d952fa2fca9511543a9028f3440c44",
  "0x199077d8ed7babb79eff9e874435c1c2644b63954880be3052dde84ad9b4d4b0",
  "0xe78287a2bc31df052086cae00746280f625b70efdba9b8f258eaed9fa8294e83",
  "0x7fbf6ccd3c36732429d089f36972a51e2ea5fba1424b6fbc85f7289e0450565a",
  "0xa08d9d0442742876a4f53a0181ea051b8f2ad226d7a0c71ba21a04e8bed8529d",
  "0xb70b87c508ffe9181fe2496b058bf81ff8ee61fcdb81d7a7849ed5a0245cedf4",
  "0x6406a8963aa93795849426b59cf70d6e40b5f3cc7f279e5a5130f3a059eaf55c",
  "0xf024d52a3dd19fda681dea2f14b6980131a515d9b3e959064d98020da1a62502"
 ],
 "peaks": [
  "0xc83761bb6d9398aca86b43cc9d2ba075f4d0d0229d52c76165d8649114781cfb",
  "0xdf12f1deab413755b97b950c29d62aaea4aff0495d1d38d358d0f664b8274f93",
  "0xcb4078f42089ff5df42f5f57e5a895d0ce3f63418cb567f1af9479eb226963e3",
  "0x8ce0d2ee48d3847487d4ac631e81d90046da48c5136febee9cd42913d1a2b18e",
  "0xb364bdca5788ed04d4ebeab69ee13fc2785ed1a4371f353419f19805f2ef1542",
  "0xae7f8fd798bb674d5e493dbbd0dfbe12db18376f9cd63ce90376452d081264ce",
  "0x8f35bea020cd3ffe0de483d54d93102e8f989fd272fd818852c15576a555a337",
  "0x5417080684080e0bccab321d07bc69d5548beaed2752a194916a083e7d4b53e8"
 ],
 "peak_index": 0,
 "head": "0x70ca62614037642bc3527162614e79da1573fcd4f55c853d07b5c9476311175f"
}