pages / proof / 4/shapes/SpecSection

in release 4: shapes · SpecSection

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
0xe581d7211f2b541106b77d73aeb94b7f7b903f002fb95cb1c754b1c1c4bc9f84
index
1556
count
3770
peak_index
0
siblings
11

the proof

{
 "leaf": {
  "kind": "word",
  "set": "shapes",
  "id": "SpecSection",
  "digest": "0x85c1320f998764a76581a4eaf09804473bf00652c9f99853595042900c66c158"
 },
 "index": 1556,
 "count": 3770,
 "siblings": [
  "0xb2ffa7dd3cf69fc8f5d92b8f373c67eda8546cb3e6f8faf85b0cb59e8ef9b77e",
  "0x11b750146a96f94b1a831eada25a25b03906b7a1949258ec8d4fe64728ea3fad",
  "0x5373fd372fafd4cda4f524a26b534035e47ee77edb7f8aa3d357c5c82fa5020a",
  "0xe3a5878ce134ce9f4446dcf48ca2e0f4366ecb4d0128794eb8dddc14326e296f",
  "0x5f3cea6a1d432d386b443263e7d55b1c38ad7056b3b0847fef8b39d5c7393516",
  "0xbba19f568650ef9c53713f6d1188b15c59a485b62ab1a7f58f26d94e04d82402",
  "0x99835aa0dbee2dafa360bd9ad3918035c81649b1e4678a7f3045e665f3b5c49f",
  "0x34fafa0578633afa7575e2752b99d18a6ca98647a482f4c73285f75675cddcd7",
  "0xbaa10849c24bb53fab01ada2ea2359cd3e4359df0bf4ce5b05eecd34e643c113",
  "0xd1f2c31fd14cf8c659733a15fe5d3e21555d60738565df6370de35bbab71a095",
  "0x8f0406575b803b992979ab8b8859baf18592027306190c47fa83f7f755209e34"
 ],
 "peaks": [
  "0xc83761bb6d9398aca86b43cc9d2ba075f4d0d0229d52c76165d8649114781cfb",
  "0xdf12f1deab413755b97b950c29d62aaea4aff0495d1d38d358d0f664b8274f93",
  "0xcb4078f42089ff5df42f5f57e5a895d0ce3f63418cb567f1af9479eb226963e3",
  "0x8ce0d2ee48d3847487d4ac631e81d90046da48c5136febee9cd42913d1a2b18e",
  "0xb364bdca5788ed04d4ebeab69ee13fc2785ed1a4371f353419f19805f2ef1542",
  "0xae7f8fd798bb674d5e493dbbd0dfbe12db18376f9cd63ce90376452d081264ce",
  "0x8f35bea020cd3ffe0de483d54d93102e8f989fd272fd818852c15576a555a337",
  "0x5417080684080e0bccab321d07bc69d5548beaed2752a194916a083e7d4b53e8"
 ],
 "peak_index": 0,
 "head": "0x70ca62614037642bc3527162614e79da1573fcd4f55c853d07b5c9476311175f"
}