Table 3.

Some examples of programming-centric solutions

Paper	Contribution	Description
Regnath and Steinhorst [78]	SmaCoNat	SmaCoNat is a domain-specific language that is tailored for a subset of the transaction logic found in smart contracts.
Schrans et al. [83]	Flint	Flint is a type-safe, capabilities-secure, contractoriented programming language specifically designed for writing robust smart contracts.
Sergey et al. [85]	Scilla	Scilla is a novel intermediate-level functional smart contract programming language, suitable to serve as a compilation target and also as an independent programming framework. Scilla aims at achieving both sufficient expressivity and tractability, while enabling formal contract verification.