pages / proof / 4/classes/trading.defi_strategy

in release 4: classes · trading.defi_strategy

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
0xcf697da6a3da0972516490c7be6b297e624f0c9aa08578ef92dad60b6c6785d9
index
96
count
3770
peak_index
0
siblings
11

the proof

{
 "leaf": {
  "kind": "word",
  "set": "classes",
  "id": "trading.defi_strategy",
  "digest": "0xa755bd6c562e483636ea8e42101d08046e2be09770d593adeb882c6247f1bd21"
 },
 "index": 96,
 "count": 3770,
 "siblings": [
  "0xe9118526b94eebc77605eb2b9928dd7baa6bac04413d0570fbf8aad850c9fb16",
  "0x6bf071cb4fcc29055f2df924d97861f0c954eb7b9f251764ca7010583bb68847",
  "0x82f9ff6af731912395c197bf0b89295a0b4fdc83ce70b258bd4fa4d168736a6f",
  "0x0e35cf096ed50a403c15c39034c28ad7aeeae28114fbe2323f12bf77e6321b72",
  "0x95537e69ddf89c0d1d5ce720661e8c4095476e43f19569fb6200ecdeee367e98",
  "0x9d225d578a624009b43bb794bd01241059673ff8cec0d25ca08885738fe8bbbf",
  "0xe1d8041ada1884a193345e8f6e447e9a4d6c62089b4d9433fe38fdf1302e8b3b",
  "0x4046c51e2cb18daec88e29281254b7a780ca2d220742a44e2360e1d06392b987",
  "0xb70b87c508ffe9181fe2496b058bf81ff8ee61fcdb81d7a7849ed5a0245cedf4",
  "0x6406a8963aa93795849426b59cf70d6e40b5f3cc7f279e5a5130f3a059eaf55c",
  "0xf024d52a3dd19fda681dea2f14b6980131a515d9b3e959064d98020da1a62502"
 ],
 "peaks": [
  "0xc83761bb6d9398aca86b43cc9d2ba075f4d0d0229d52c76165d8649114781cfb",
  "0xdf12f1deab413755b97b950c29d62aaea4aff0495d1d38d358d0f664b8274f93",
  "0xcb4078f42089ff5df42f5f57e5a895d0ce3f63418cb567f1af9479eb226963e3",
  "0x8ce0d2ee48d3847487d4ac631e81d90046da48c5136febee9cd42913d1a2b18e",
  "0xb364bdca5788ed04d4ebeab69ee13fc2785ed1a4371f353419f19805f2ef1542",
  "0xae7f8fd798bb674d5e493dbbd0dfbe12db18376f9cd63ce90376452d081264ce",
  "0x8f35bea020cd3ffe0de483d54d93102e8f989fd272fd818852c15576a555a337",
  "0x5417080684080e0bccab321d07bc69d5548beaed2752a194916a083e7d4b53e8"
 ],
 "peak_index": 0,
 "head": "0x70ca62614037642bc3527162614e79da1573fcd4f55c853d07b5c9476311175f"
}