pages / proof / 6/lambdas/lambda:exchange-moonbeam-139fd318cd1d2ea5

in release 6: lambdas · lambda:exchange-moonbeam-139fd318cd1d2ea5

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

0x4a1b309d166b0fb82ae67e37281564e138fb20762f03c46c794e52db7c316d0a

leaf

0xbd6f2504324f99e60979510e10283a2995e03c9f3e6136094021774964002b3e

index

325

count

3786

peak_index

0

siblings

11

the proof

{
 "leaf": {
  "kind": "word",
  "set": "lambdas",
  "id": "lambda:exchange-moonbeam-139fd318cd1d2ea5",
  "digest": "0xb8f834559848f945f3dca900bb90f46d62e75c203f7bcf25e20546c1eb10694e"
 },
 "index": 325,
 "count": 3786,
 "siblings": [
  "0xc9d49dbcd956a739f361a0032fa2318dbfa67fdad07a344001abd161a03e77a4",
  "0xfa17bc48237ca62d2b2aaa04e68c814502af4e722ea1a48ae15b145456c27446",
  "0x676d417dabd1529219df4c84d57876cabeffa6828a4e92d3c1f9918383e8a05f",
  "0xd1e77abe51b61d11a16a2ec364f5060b1a23060cfe8d1f1469babd333caad88e",
  "0x2a96d566f397ee244176ad98451e5850e5663b87683a471a872e255ae1cfdace",
  "0x5e9841f75c22c892e4e8df699bd40c335a5b00bc786f1a0d96807ac76efd5388",
  "0x2cf47c4b1711c2496ef229620fd95d0153447a7f9b1b253f2cf6f4a570804f68",
  "0x1e104ee8bf634cd41e78131c850ffc3265f852569edda66280e1aa7251f172e0",
  "0xcd88d2d1514fc81dd7afedb79044015737d40de8d0e7a236ceb736bcd7895bdc",
  "0x6406a8963aa93795849426b59cf70d6e40b5f3cc7f279e5a5130f3a059eaf55c",
  "0xa4e61783325d9fedd3be7201b562e7bea697780fc1ed113ab6c19483c0f82ca9"
 ],
 "peaks": [
  "0xd8277c4290848845d9419e37123a8a759eb765e1fd86b2f94c8497a96f0c4c87",
  "0xdf12f1deab413755b97b950c29d62aaea4aff0495d1d38d358d0f664b8274f93",
  "0xe2b43a87a31bd13a4e5c3eb634e3bf24a7a431afc30ee8f17383fdb413b0b44e",
  "0xc42c6930c50293f8b822ebc2045b41fd656f42e52742f7816ef89c0bb7430bc1",
  "0x338fa317e333d84b5fc1b4f7e57cd183d37b38871c31d8154b24986133aafecc",
  "0x8f35bea020cd3ffe0de483d54d93102e8f989fd272fd818852c15576a555a337",
  "0x5417080684080e0bccab321d07bc69d5548beaed2752a194916a083e7d4b53e8"
 ],
 "peak_index": 0,
 "head": "0x4a1b309d166b0fb82ae67e37281564e138fb20762f03c46c794e52db7c316d0a"
}