E: Cryptographic Capabilities for Distributed Smart Contracting