Secure Smart Contract-based Computation (Verifiable computation, Fair two-party protocols, and Resource sharing)