pages / proof / 4/lambdas/lambda:exchange-moonbeam-bfafb749e0c51de1

in release 4: lambdas · lambda:exchange-moonbeam-bfafb749e0c51de1

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

0x11341a59dbb2736b23a30bddc1f228ca5a6648ba11722f39236c32eafcca9fb3

index

340

count

3770

peak_index

0

siblings

11

the proof

{
 "leaf": {
  "kind": "word",
  "set": "lambdas",
  "id": "lambda:exchange-moonbeam-bfafb749e0c51de1",
  "digest": "0x52d11d9d2be1ec769a10140350c615aa37b61dcd4855cef950466c0e46c45bbd"
 },
 "index": 340,
 "count": 3770,
 "siblings": [
  "0x3a89701e3596d40533c8a96a6df13b7ff499a43f6c64a869bb2070b27431af9b",
  "0x6ec8782ca0c08d6cc4b001274e8b5330c86c5da8ba5dc7d40ea5ea569034ce09",
  "0x5342d1ebb964c7eaef1c39bbcc2c31fa3ee4ea3ba85c26f325838bf9c15af85c",
  "0xab7e5b96180bfa20ab18d596c96351faf49d5de109f41c0c7f5e5fef7cd1b7cc",
  "0x9ba5c6dcf04afa103c5fc2bfce1b69b28ba8d6e0907b9c0a5ec24371926518b8",
  "0x5e9841f75c22c892e4e8df699bd40c335a5b00bc786f1a0d96807ac76efd5388",
  "0x2cf47c4b1711c2496ef229620fd95d0153447a7f9b1b253f2cf6f4a570804f68",
  "0x1e104ee8bf634cd41e78131c850ffc3265f852569edda66280e1aa7251f172e0",
  "0xcd88d2d1514fc81dd7afedb79044015737d40de8d0e7a236ceb736bcd7895bdc",
  "0x6406a8963aa93795849426b59cf70d6e40b5f3cc7f279e5a5130f3a059eaf55c",
  "0xf024d52a3dd19fda681dea2f14b6980131a515d9b3e959064d98020da1a62502"
 ],
 "peaks": [
  "0xc83761bb6d9398aca86b43cc9d2ba075f4d0d0229d52c76165d8649114781cfb",
  "0xdf12f1deab413755b97b950c29d62aaea4aff0495d1d38d358d0f664b8274f93",
  "0xcb4078f42089ff5df42f5f57e5a895d0ce3f63418cb567f1af9479eb226963e3",
  "0x8ce0d2ee48d3847487d4ac631e81d90046da48c5136febee9cd42913d1a2b18e",
  "0xb364bdca5788ed04d4ebeab69ee13fc2785ed1a4371f353419f19805f2ef1542",
  "0xae7f8fd798bb674d5e493dbbd0dfbe12db18376f9cd63ce90376452d081264ce",
  "0x8f35bea020cd3ffe0de483d54d93102e8f989fd272fd818852c15576a555a337",
  "0x5417080684080e0bccab321d07bc69d5548beaed2752a194916a083e7d4b53e8"
 ],
 "peak_index": 0,
 "head": "0x70ca62614037642bc3527162614e79da1573fcd4f55c853d07b5c9476311175f"
}