Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP

Abstract

Smart contracts are widely applied in financial delegation contracts to address contract fraud. The smart contract delegation contract signing mechanism (DCSM-SC) effectively tackles fraud risks arising from information and interest asymmetry. However, in dealing with financial contracts, a formalized analysis method is necessary.