Key points are not available for this paper at this time.
The widespread use of smart contracts results in high repeatability of their source code. The solution seems to lay in reusing the verification rules that check the feasibility of logically related transactions. The software allows for developing a smart contract that may process various transaction types. Besides, employing the package in implementing a smart contract eliminates the redundancy of verification rules. The package structure ensures the ability to handle actual smart contracts and transactions at the abstract level. Moreover, the article presents a proposal to standardize the way of designing the transaction verification function in a smart contract. • The package imposes a design pattern for handling various types of transactions. • Applying the AdapT design pattern eliminates the redundancy of verification rules. • The package processes the smart contracts and transactions at the abstract level. • The software standardizes the transaction verification function in a smart contract.
Tomasz Górski (Wed,) studied this question.