Smart Contract-based Secure Systems for Verifiable Computation, Cross-chain Communication, and Green Credit Management