Aihe: Smart Contracts