Compound Case Study: How Compound Secures its Protocol and Users