Swimsuits For Smart Contracts