Improve case study of merkle_tree example#21

Merged

hei411 merged 5 commits intomainfrom constant_hash

Feb 14, 2024

+618-536

Commits on Feb 8, 2024

Merge coll_free into hashfun to produce coll_free_hashfun, shortened proof and moved things around
hei411
committed

Commits on Feb 9, 2024

Strengthen amortized bounds
hei411
committed

Commits on Feb 12, 2024

Small comment on unreliable storage
hei411
committed

Commits on Feb 13, 2024

Simpler proof of real_le_limit
hei411
committed

Commits on Feb 14, 2024

simplify statements of lemmas in merkle and unreliable
hei411
committed