Smart Bitcoins