pages / proof / 4/shapes/ResourceAccess

in release 4: shapes · ResourceAccess

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

0x544276c2a0002ea69ae23d0d6a830bfef5f42d229dca43d8a5fcc6fc7b3134e5

index

1477

count

3770

peak_index

0

siblings

11

the proof

{
 "leaf": {
  "kind": "word",
  "set": "shapes",
  "id": "ResourceAccess",
  "digest": "0xc857d02d36ec60e07d8f01844a5375a380d103f90e06343fe8a6c0f3ab0c4a91"
 },
 "index": 1477,
 "count": 3770,
 "siblings": [
  "0xa36966671fbb0655c59dffaee7c6c3176ebb60f9e7500f1c2680d8ade56c2a3e",
  "0x354b1b310127f040bda3de06027d06e87c43c1c743fade075a95be41f53bf11f",
  "0x64659885ce20f57cea3a83915da4ef826310a2a1d21591d10c98393d7255c52f",
  "0xc487e97448315cd4b246395a161aba482e08ccba970417804ea01838681757a3",
  "0xdf92322e572fd99167a8d97abb49fe2d26386f9c656703c248115d743b3c706a",
  "0x17c6d549a3f431236e2d9d40e09c8fcc4262646588f679941462e8678288f773",
  "0xafd8b29abea85fd67a13c27d9e245e6962e36db0811acc809071e7465e8fad14",
  "0x9dcac3101998dc0e6d6a4b79af3e079485e4099f5fb76ab9b70af0d969b8d3de",
  "0x2832f54904bd8932a7042316753dec63a4a9a3c74e89ee3f3d9f4d71dcc2d2d3",
  "0x50c55d913ded3afddcda971004be1942a68edc773d302a9ddb41924b45005f6b",
  "0x8f0406575b803b992979ab8b8859baf18592027306190c47fa83f7f755209e34"
 ],
 "peaks": [
  "0xc83761bb6d9398aca86b43cc9d2ba075f4d0d0229d52c76165d8649114781cfb",
  "0xdf12f1deab413755b97b950c29d62aaea4aff0495d1d38d358d0f664b8274f93",
  "0xcb4078f42089ff5df42f5f57e5a895d0ce3f63418cb567f1af9479eb226963e3",
  "0x8ce0d2ee48d3847487d4ac631e81d90046da48c5136febee9cd42913d1a2b18e",
  "0xb364bdca5788ed04d4ebeab69ee13fc2785ed1a4371f353419f19805f2ef1542",
  "0xae7f8fd798bb674d5e493dbbd0dfbe12db18376f9cd63ce90376452d081264ce",
  "0x8f35bea020cd3ffe0de483d54d93102e8f989fd272fd818852c15576a555a337",
  "0x5417080684080e0bccab321d07bc69d5548beaed2752a194916a083e7d4b53e8"
 ],
 "peak_index": 0,
 "head": "0x70ca62614037642bc3527162614e79da1573fcd4f55c853d07b5c9476311175f"
}