Initial Coin Offerings with SMTs