pages / proof / 4/shapes/ExchangeCallAdmission

in release 4: shapes · ExchangeCallAdmission

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
0x0eabfddc4db13616e941da7884b1ab576cb5bb8de94eea0127064131080fa1a4
index
1205
count
3770
peak_index
0
siblings
11

the proof

{
 "leaf": {
  "kind": "word",
  "set": "shapes",
  "id": "ExchangeCallAdmission",
  "digest": "0x13dc19fb7f0ec4e0593b34c641b79aeddb326932b31259c1334fe67068b10dd2"
 },
 "index": 1205,
 "count": 3770,
 "siblings": [
  "0xc52fb4d63338799636b33d26aa0984f94b580472af9670803ca66fbfa985de8e",
  "0x5e6bc87a915ce5cab2739219add13446a6cffe71724561d0c2b2b677ee48d0f0",
  "0xe961c581f7f43ac7a83367491617d72888c43a9b2d63420b47e260ee5ae581d2",
  "0x0f20f5e3c373dceaff5f0294702ad538d41b36b2685b3ab50f497d02a81c3944",
  "0x794741634cf66c13acb0179c95e369f6a3a27561fe4569fa3251c4e273cadbb4",
  "0x462f6ac444bda404aee6d2e9d11f5f2fddab14775252ba76a5b7b5ec1b34168a",
  "0xbe56ae5d0b997d97ffcfe60ea7f1922dc4e8ff3aed49e217c3b6925e08176c64",
  "0x850663dea3e226038c5ed8c79755de7af2c410eb65e466ffc6cf03d26fbe0335",
  "0xf2d869f0d01d113d09ba302d3c65e0065a2ae4d72fc7b67d5bc4b91d99775b18",
  "0x50c55d913ded3afddcda971004be1942a68edc773d302a9ddb41924b45005f6b",
  "0x8f0406575b803b992979ab8b8859baf18592027306190c47fa83f7f755209e34"
 ],
 "peaks": [
  "0xc83761bb6d9398aca86b43cc9d2ba075f4d0d0229d52c76165d8649114781cfb",
  "0xdf12f1deab413755b97b950c29d62aaea4aff0495d1d38d358d0f664b8274f93",
  "0xcb4078f42089ff5df42f5f57e5a895d0ce3f63418cb567f1af9479eb226963e3",
  "0x8ce0d2ee48d3847487d4ac631e81d90046da48c5136febee9cd42913d1a2b18e",
  "0xb364bdca5788ed04d4ebeab69ee13fc2785ed1a4371f353419f19805f2ef1542",
  "0xae7f8fd798bb674d5e493dbbd0dfbe12db18376f9cd63ce90376452d081264ce",
  "0x8f35bea020cd3ffe0de483d54d93102e8f989fd272fd818852c15576a555a337",
  "0x5417080684080e0bccab321d07bc69d5548beaed2752a194916a083e7d4b53e8"
 ],
 "peak_index": 0,
 "head": "0x70ca62614037642bc3527162614e79da1573fcd4f55c853d07b5c9476311175f"
}