Injective Smart Contracts