Crystal, Michael, Guy Goren, and Scott Duke Kominers. "Rationally Analyzing Shelby: Proving Incentive Compatibility in a Decentralized Storage Network." In Proceedings of the 30th International ...