SUMMARY

1. INTRODUCTION

2. BACKGROUND, NOTATIONS, AND RELATED WORK

3. SYSTEMATIZATION METHODOLOGY

4. CONSTRUCTING SMART CONTRACTS WITH SCRIPTS

5. CONSTRUCTING SMART CONTRACTS WITH TURING-COMPLETE LANGUAGES

6. EXECUTING SMART CONTRACTS

7. DISCUSSION

8. CONCLUSION