These proceedings collect the papers accepted at the 4th Workshop on Trusted Smart Contracts associated with the Financial Cryptography and Data Security 2020 (FC 2020) conference held Kota Kinabalu, Malaysia, during February 10-14, 2020. The WTSC series focus on smart contracts, i.e. self-enforcing agreements in the form of executable programs, and other decentralized applications that are deployed to and run on top of (specialized) blockchains. These technologies introduce a novel programming framework and execution environment, which, together with the supporting blockchain technologies, carry unanswered and challenging research questions. Multidisciplinary and multifactorial aspects affect correctness, safety, privacy, authentication, efficiency, sustainability, resilience, and trust in smart contracts and decentralized applications.
展开▼