pages / proof / 12/shapes/GTCase

in release 12: shapes · GTCase

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
0x961db923f6322351f5ace3c6f1dadd510fecafe7fba8df6abc1e9fd8134f6584
leaf
0x2ee9d3ff13578c9420a8942e9c5c65f1b0f913d234679a96e1234de434e0f95c
index
1291
count
5353
peak_index
0
siblings
12

the proof

{
 "leaf": {
  "kind": "word",
  "set": "shapes",
  "id": "GTCase",
  "digest": "0xc8d4b2ee9b1b775637fcefddc9c757dcc2113c6a00c5823d9629105057ed79e3"
 },
 "index": 1291,
 "count": 5353,
 "siblings": [
  "0x0673418ffb3bc8ab11c9184ecbc334cd52b682b0a383ac395fc972dcef5241ca",
  "0x6d52f8c6abd3e77598d78caa45c6ed9be248060690628cdbc02de9bb6f6af4e8",
  "0x735bf76baaa905a4a072e4b72ae737947d78c5019f524881df3ab16219a549e6",
  "0xd12d52b4c8cc1f934475dfc25d63906e7039bed02689eadc57fc52726869ff9f",
  "0x6b495c6828c3c87a779cfaf1efc06a14ec81190a6a285e55df07df8a6ca00d17",
  "0xac86ff5a8cc9950210ebbbc3e6fcc01b5f90740258302b005df077c90f4888bd",
  "0x11466047adc007b5be796ad8406356f3a9618576a933321e978bd8da51801fb3",
  "0xd736efb1709a03e8c8de7974b32662eb7a5fb371654729ded999174c1709ae5f",
  "0x9a300f1fb186b31062964a027ec907cdf69823a446861aa28305f99dbcade648",
  "0x3a75b8ee9177456e71fa4ab7aef43ed024e7be3ebd3d7a4831a0e85eb6abeeba",
  "0xf4dc61234a7965dd49adaa8cc9fe2068c6a1ece0eee5ed506fd0086fe768d9f4",
  "0xfef1c620fa1fd4f63ed2e3fdf2d01f4d13bb36c8c1ac8e0333dc544530adf656"
 ],
 "peaks": [
  "0x1514e6a9f3f9fb0c408e0be6e0b7df0f676eb10f472f5e3ae6aaca7901885a36",
  "0x16061905d2ea1235177eb2da95e34658adb70a1a71a11a1103e6f01d98e96925",
  "0x79f5809319a848ddc4d839ff61eff21eb7c320410417f3ef8579657a2f78b2f4",
  "0xab5e72f5a0b7c45faae261cfbea03ab0a05014cc7fe338fc4b68d6923f07e644",
  "0x7d532fc4334cfb0f7e2c728d5e0baade6274902a9b7b686323d77558642d2110",
  "0xdaed3a17669e7044eb4963f1a5a0b528f9d011ff08241294862a0fbab8b68146",
  "0x997b8f4cd47d2bd28da900612027e33b7abd14fb333980d722d294dc7eac9cc2"
 ],
 "peak_index": 0,
 "head": "0x961db923f6322351f5ace3c6f1dadd510fecafe7fba8df6abc1e9fd8134f6584"
}