Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies