Smart contracts are blockchain-based algorithms that execute when specific criteria are satisfied. They are often used to automate the implementation of an agreement so that all parties may be confident of the conclusion right away, without the need for an intermediary or additional delay. They can also automate a process so that the following action is executed when circumstances are satisfied. This study seeks to pinpoint the most significant weaknesses in smart contracts from the viewpoints of their internal workings and software security flaws. These are then addressed using various techniques and tools used across the industry. Additionally, we looked into the limitations of the tools or analytical techniques about the found security flaws in the smart contracts.
翻译:智能合同是按具体标准执行的基于链式算法,通常用于使协议的执行自动化,以便所有各方能够立即对达成协议充满信心,而不需要中间人或额外的延误。它们还可以使程序自动化,以便在情况满足时执行以下行动。本研究试图从智能合同的内部运作和软件安全缺陷的角度来查明智能合同中最重大的弱点。然后利用整个行业使用的各种技术和工具解决这些问题。此外,我们研究了有关智能合同中发现的安全缺陷的工具或分析技术的局限性。