pages / proof / 4/reader_kinds/rule

in release 4: reader_kinds · rule

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

0x70ca62614037642bc3527162614e79da1573fcd4f55c853d07b5c9476311175f

leaf

0x41bc974475f686b2ad9a8fb7d717968c275b3a6c4f84c71f86c2eb2468c048af

index

940

count

3770

peak_index

0

siblings

11

the proof

{
 "leaf": {
  "kind": "word",
  "set": "reader_kinds",
  "id": "rule",
  "digest": "0xb995ae5941a208607b231d4d8a3e696cf811f393b8db61749d599b88f9cac8bc"
 },
 "index": 940,
 "count": 3770,
 "siblings": [
  "0x218014d022efae8e44abdce71347684cfe8e4b1924b94bc83a8b11e539b0d120",
  "0x58f71617183375e6e62650c78aeb1f16773210fe91a94f1c8558e17557688940",
  "0x62ab4a155754a738fd97493a9c29a5b725e3482c7c5c563d07034a84b597a036",
  "0x54245b7bbaae86908f93b4cd70e016d599c127f7168acdcb4c3930363e2e78d6",
  "0x3159a337f1d0abbc15c20c4298927257f5f5b3e00cd6fbdc92bbda625aea4771",
  "0x15aa6811b1db1779d366a455217e01d31372b9f1604868672bb421cfcf60b2f4",
  "0xcdc9d0f5b96ffe8936ee51661130266c13c3a809f66d52da2c4d130b51538677",
  "0x7f269b486e365ed0d575d1fb5bcda50aefeb3ba47ebeb5f80635f1b9d0103f73",
  "0x41c1454c851687c8b43ee91131835fcf90b64b475154a4eabdc12931c6b2c058",
  "0x3a9529f795067b655c1084e04826342d7fd2f51b24f519d5c517a4cb64f3d35a",
  "0xf024d52a3dd19fda681dea2f14b6980131a515d9b3e959064d98020da1a62502"
 ],
 "peaks": [
  "0xc83761bb6d9398aca86b43cc9d2ba075f4d0d0229d52c76165d8649114781cfb",
  "0xdf12f1deab413755b97b950c29d62aaea4aff0495d1d38d358d0f664b8274f93",
  "0xcb4078f42089ff5df42f5f57e5a895d0ce3f63418cb567f1af9479eb226963e3",
  "0x8ce0d2ee48d3847487d4ac631e81d90046da48c5136febee9cd42913d1a2b18e",
  "0xb364bdca5788ed04d4ebeab69ee13fc2785ed1a4371f353419f19805f2ef1542",
  "0xae7f8fd798bb674d5e493dbbd0dfbe12db18376f9cd63ce90376452d081264ce",
  "0x8f35bea020cd3ffe0de483d54d93102e8f989fd272fd818852c15576a555a337",
  "0x5417080684080e0bccab321d07bc69d5548beaed2752a194916a083e7d4b53e8"
 ],
 "peak_index": 0,
 "head": "0x70ca62614037642bc3527162614e79da1573fcd4f55c853d07b5c9476311175f"
}