pages / proof / 8/lambdas/lambda:exchange-data-onchain-query

in release 8: lambdas · lambda:exchange-data-onchain-query

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
0xf9750992fe5d7c3d9b4102f3c36364fc73d9822b368e4cae1fd85a578f0cb8e7
leaf
0x9a69b8c97c0a2d4fe54313f35bd2771147018300210866a84d637627611aaad8
index
320
count
3967
peak_index
0
siblings
11

the proof

{
 "leaf": {
  "kind": "word",
  "set": "lambdas",
  "id": "lambda:exchange-data-onchain-query",
  "digest": "0x64041601dcf9afd67e7d30c5b8d2f1527c8574fe5dc8a4b9ea2419b6adfd8e34"
 },
 "index": 320,
 "count": 3967,
 "siblings": [
  "0xbed13efcb39b732130c657256bf1258a778a2f6ab4a229e2cf9a490d6e3c284f",
  "0x176696cdbe21889382b3b7c1bfd64c203c396f100114b9e9fc515a24ca28903c",
  "0xc6a1333b899181d80665efe581f347bace9d03ab5a8c035c3606e9dffe1a812c",
  "0xf362efe79a9b1229fb1813a35a515f4415690ea2b7a96afb91c82934ec37c17e",
  "0xc081624f9e47bcf2ddc6791d8c69884b04c6cefa94e5ba87062d03bc466ce2e2",
  "0xbe5d23f5f63152ba9d0870310dba255f958a66fdeefd77fe678f5ccc5f66757b",
  "0x2cf47c4b1711c2496ef229620fd95d0153447a7f9b1b253f2cf6f4a570804f68",
  "0xdc1a7d7bf1daa21a9e3306e62c4f142ee68534922081c3bcee883bd2853e044c",
  "0x3499394788f7a0a91aebcdca4b9b3251b0315e67cc7a1efd472c39987a7161a8",
  "0x899fb5d42dc33f1a2c2543d73f20f77cddf05148fec95120c0a153e07e2311be",
  "0x60aff9b7a792991a08d6b157a8eef168a9cf766a496ba16a493d2f6ab0181e7c"
 ],
 "peaks": [
  "0x3b59d77b317049ff5dbabaed7b3ffeea91d29a40dc410664021d3eafc9c4c2e8",
  "0x52c0064de08459fbf5d47833113678342573c459a06dd6f02e2fba0c1a0f3e5d",
  "0x588b52239ac601f8b6ed5f2d944e6b4db65346ba8089c126de95aa85b03cf35b",
  "0xf81c395ba48929d018faf5fe39c3d57e585e7bc35d3cdcb8a56a0eed60659a94",
  "0xa01beed5b94655d7107ef1556d5eb39a3a2d75780d702d24ca4819ae3c7759f2",
  "0x84b057b220478127a3becc41f6e75eab9d891bc0fce70bb112bed6f9137e31ee",
  "0xf429f37231cad4c3e141814ce4be4f7b2bc0703b1e702471c1e9147267b2e4bf",
  "0x49c0ef1231b5e80510f3b042995b928e544e22fbc4189c78d595609e3157a80a",
  "0x3e14f2b61303ed568989a06a1280a23d27311ca8441e6a57cc4d10ca3d2a9634",
  "0x388c7fc8544af02106ff7ab2ae4f50c08bbecf85b4d0a1791bc0b6384c1abc1c",
  "0x997b8f4cd47d2bd28da900612027e33b7abd14fb333980d722d294dc7eac9cc2"
 ],
 "peak_index": 0,
 "head": "0xf9750992fe5d7c3d9b4102f3c36364fc73d9822b368e4cae1fd85a578f0cb8e7"
}