Automated smart contracts are very cool. But I havent met a mechanism that would be responsible for keeping the logic and sequence of actions when transactions are carryied out. It turns out that if Im right, a smart contract may fail.
No, its difficult to imagine operation of the CREDITS project without such a mechanism. The developers of the company are smart people, therefore they provided such a mechanism. Its called a method in CREDITS. Its method that is responsible for observing the logic and sequence of actions when conducting transactions.
Is it described in white paper? Apparently, I missed this point. Tell us please how the method will work.
The algorithm of its operation is as simple as possible. The logic and sequence of actions are described by a program code (module) which contains commands, the sequential execution of which allows you to get the desired result.
This sounds very reliable, the guys from CREDITS obviously worked hard. And which commands describing the logic and sequence of actions does program code use in its operation?
This code can handle system commands (for example, assignments command), user commands (separately written functions), contract features (variables initialized statically or dynamically, available from any contract method), and also the methods of any other third-party contract, which is available not only to the owner of the connected (third-party) contract.