pages / proof / 2/classes/dev_tools.compile

in release 2: classes · dev_tools.compile

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

0x7c16ef8bdc2917114cf744f143abb2bf2dbb6164e32ded534af694ab50bcd1b7

index

66

count

3484

peak_index

0

siblings

11

the proof

{
 "leaf": {
  "kind": "word",
  "set": "classes",
  "id": "dev_tools.compile",
  "digest": "0xde307b9f747202d79dd9ebd8a8fecbc2c6f22e44827139b15c0733471edfd297"
 },
 "index": 66,
 "count": 3484,
 "siblings": [
  "0x59c111ed3246297bf9712924c94ea3963bf7d78be81b25034a0bf189ebbbcecb",
  "0xc0f8a1395f8d6b9a7ff6a9ffbfc57ffa190ebbffaa3f841beb454fadde7c05a5",
  "0x5267469256af001269045b9a49bba9d33d2b6366625f2e45bee090532f8bf060",
  "0x8d7d127db96c76e3b7bade534af8e964724cbdf8609f3ca077c0a0699223feeb",
  "0x5be819105c9814a066127a88d3568fcf3a974bd393ce087befd4cf3f11090bb6",
  "0x3a4a4d0c7f3faff5ff725d2f2a9e6a09aa85d7ff92819ad962fb11be92a5eba6",
  "0x29cb932b13009fcb7f03bca0792436d3650de27df767420d45056aa7dfd99319",
  "0xae7690f3e0aae21e6b25c7f3ac3c806791b6d294688e19756f6023625da53c95",
  "0xade468ba205cf88c0a3c48ddd5f8e75203cf770d8cbeadae658ec7c3d53a4ae7",
  "0xd7fff8dce0af22fded47c5bbf75c0200e89c33416eb1aaea79692e21ee5424dc",
  "0xc33d0d9f40e1ce5f5dd2d0c8af7069f6ae219b3ea2cbf16d1330d4a6136607b4"
 ],
 "peaks": [
  "0x3fc8519bfaa0239ed03860c94ba962e0339f87ef40089c95858d64b14cc513cc",
  "0x3034556e926ef7b823d4547ed5b4fba28afb3237610ede8855c4e94258133a7b",
  "0x5ddcc6d04521992df97dfecddde9ea5dcf82f41a409444aa7f1f08933657978d",
  "0x56a2e8e961794d68a1a0c85d4958c87cc87616aae2ac466ed951796ae678aa62",
  "0x039950697d2e6064a7b828f7552100150dfcaa72b5ef00b0f982cc84d2541acf",
  "0xc0845ba48ed0ed4dc5b8f45d1bf7e39c046878d83c085f20522b1f4695d3402c",
  "0x6a93eea1e64a8205dda4a902a2816d52a7b6f5ea20ec9c3a1e30e29371a60218"
 ],
 "peak_index": 0,
 "head": "0xcce32dfb4664a3b217b2659fb8e6738876f8afb5626ffb72af268624bb932c5a"
}