From the Traditional Contract to the Smart Contract：The Transformation from Ex Post Court Judgment to Ex Ante Automatic Performance