pages / proof / 4/shapes/AgentSpec

in release 4: shapes · AgentSpec

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

0xf7cb18eeae1ace693f31c27ed487c2f731e5fd840e0d7b2412db78a382e35f3d

index

1063

count

3770

peak_index

0

siblings

11

the proof

{
 "leaf": {
  "kind": "word",
  "set": "shapes",
  "id": "AgentSpec",
  "digest": "0xee8deff07a1c7e1336dfa4d5f95a232425582d85232ed597182d86977624fbce"
 },
 "index": 1063,
 "count": 3770,
 "siblings": [
  "0x2ef63556bcfac605a27669426aceded298abe7be65e2a1819fda978acc7e867f",
  "0x154b11212f70051693659bea975b17fa03dc57a52e9ba4fd6a9fc27b0a912346",
  "0xc35299c81364bbff0e51996ff066f819ef04918863e507d62c1f33ae1116331a",
  "0x733b68bc0781da84717238efb8d9982536abb37856383bc681975d216e158954",
  "0xea54d16cffb9ec7c7e913552b26bbbe73da5fa414dcfb8138b159c14d41ae032",
  "0x9e843484d5c884ca045028f90de5f134becd6756dd49b710e16b421c8fdbfea0",
  "0xe5ea132bad9c10c8ed5dd9988a1934e2d7a2cfcb485fe7bc529c0eeb4c8745bb",
  "0x17dcf47483823b494ab0113db3d68646240e7711a144ddc5cbd6ec19dad9e63e",
  "0xf2d869f0d01d113d09ba302d3c65e0065a2ae4d72fc7b67d5bc4b91d99775b18",
  "0x50c55d913ded3afddcda971004be1942a68edc773d302a9ddb41924b45005f6b",
  "0x8f0406575b803b992979ab8b8859baf18592027306190c47fa83f7f755209e34"
 ],
 "peaks": [
  "0xc83761bb6d9398aca86b43cc9d2ba075f4d0d0229d52c76165d8649114781cfb",
  "0xdf12f1deab413755b97b950c29d62aaea4aff0495d1d38d358d0f664b8274f93",
  "0xcb4078f42089ff5df42f5f57e5a895d0ce3f63418cb567f1af9479eb226963e3",
  "0x8ce0d2ee48d3847487d4ac631e81d90046da48c5136febee9cd42913d1a2b18e",
  "0xb364bdca5788ed04d4ebeab69ee13fc2785ed1a4371f353419f19805f2ef1542",
  "0xae7f8fd798bb674d5e493dbbd0dfbe12db18376f9cd63ce90376452d081264ce",
  "0x8f35bea020cd3ffe0de483d54d93102e8f989fd272fd818852c15576a555a337",
  "0x5417080684080e0bccab321d07bc69d5548beaed2752a194916a083e7d4b53e8"
 ],
 "peak_index": 0,
 "head": "0x70ca62614037642bc3527162614e79da1573fcd4f55c853d07b5c9476311175f"
}