In the fast-growing world of Web3.0, one of the most innovative and crucial assets is the technology of smart contracts: an immutable and self-executing software that automatizes procedures to be executed during a transaction. They provide secure and trustworthy way to operate on the content of a transaction, but also require a high level of proficiency with coding and knowledge about security protocols. During this thesis, there has been an iterative exploration to study what are the most important characteristics worth to be implemented in the final solution, considering the user interface, the modeling of the operative methodology and the functionalities provided to the developers that have been designed for those iterations.