pages / proof / 2/products/lambda.act

in release 2: products · lambda.act

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

0xcce32dfb4664a3b217b2659fb8e6738876f8afb5626ffb72af268624bb932c5a

leaf

0x9dafb62d0a5d23f47a0e5e13e3d01f8786d1bd963ce0aba88dec12f525b725be

index

873

count

3484

peak_index

0

siblings

11

the proof

{
 "leaf": {
  "kind": "word",
  "set": "products",
  "id": "lambda.act",
  "digest": "0xcc242b56649ef1cc30b0ce1895a81d1239ea3865f36bd06787ef1a7583feb32c"
 },
 "index": 873,
 "count": 3484,
 "siblings": [
  "0x6ff04a9b95b7b12a7c6daa2e405eb9906731e14d5e28987a482ce0eb8745dc6a",
  "0x353caa81cb7ff0f6ff14b42ef63ab9ce04a7650ea049a2e56d339e92529ba875",
  "0xb8c029216294ea23d860e59ec856d2dbf80de9e338905deac6348f49db3a4de2",
  "0x8d923108a3553134f9facb6d520151301339e76a18821d2cc65f37c4a63cb11d",
  "0x41ce03730fbcac026ff01d8c70967ceaaf277b1b842c042b4c871ce8beca5327",
  "0x5051e1f68c4b11a91f6345a4839cf088353e2771e04af30acc7e914cae519cb4",
  "0x1043234ff3c537867e7a4248623e88b3a0ae95459bb0018e4128fc16a7e90822",
  "0x12d145c278ac3ca7bd5e06f8eaa85ca4e544be04751636386916054145bffda9",
  "0xa2ada72a62aee87deb09f11bcd0c895374bc834e016c64d0ec1b47cc94694807",
  "0xa36b8d21e713af7e206ea8c71de0c9ec93730d56e6eec25886dc4a628efdd356",
  "0xc33d0d9f40e1ce5f5dd2d0c8af7069f6ae219b3ea2cbf16d1330d4a6136607b4"
 ],
 "peaks": [
  "0x3fc8519bfaa0239ed03860c94ba962e0339f87ef40089c95858d64b14cc513cc",
  "0x3034556e926ef7b823d4547ed5b4fba28afb3237610ede8855c4e94258133a7b",
  "0x5ddcc6d04521992df97dfecddde9ea5dcf82f41a409444aa7f1f08933657978d",
  "0x56a2e8e961794d68a1a0c85d4958c87cc87616aae2ac466ed951796ae678aa62",
  "0x039950697d2e6064a7b828f7552100150dfcaa72b5ef00b0f982cc84d2541acf",
  "0xc0845ba48ed0ed4dc5b8f45d1bf7e39c046878d83c085f20522b1f4695d3402c",
  "0x6a93eea1e64a8205dda4a902a2816d52a7b6f5ea20ec9c3a1e30e29371a60218"
 ],
 "peak_index": 0,
 "head": "0xcce32dfb4664a3b217b2659fb8e6738876f8afb5626ffb72af268624bb932c5a"
}