Smart Contracts (SCs) are programs stored in a Blockchain to ensure agreements between two or more parties. Due to the unchangeable essence of Blockchain, failures or errors in SCs become perpetual once published. The reliability of SCs is essential to avoid financial losses. So, SCs must be checked to ensure the absence of errors. Hence, many studies addressed new methods and tools for zero-bug software in SCs. This paper conducted a systematic literature mapping identifying initiatives and tools to analyze SCs and how to deal with the identified vulnerabilities. Besides, this work identifies gaps that may lead to research topics for future work.
翻译:智能合同(Smart Contracts)是存储在“链锁”中的程序,目的是确保两个或两个以上当事方之间的协议。由于“链锁”的不可改变的本质,在册种姓的失败或错误一旦公布,就会永久存在。在册种姓的可靠性对于避免财政损失至关重要。因此,必须对在册种姓进行检查,以确保没有错误。因此,许多研究涉及在册种姓使用零错误软件的新方法和工具。本文进行了系统化的文献测绘,查明了分析在册种姓的举措和工具,以及如何处理已查明的弱点。此外,这项工作还找出了可能导致未来工作研究专题的空白。