称的功能是真实的，例如虚拟赌场可以证明它是公平的。另一方面，合约的公开性也表示如果合约中有漏洞，任何人都可以立刻看到，而修正程式可能会需要一些时间。The DAO 就是一个例子，无法即时阻止。智慧合约的许多细节仍在研究中，包括如何验证合约的功能。微软研究院的报告指出要写出完善的合约可能非常困难，讨论了微软开发的一些可以用来验证合约的工具，并提到如果大规模分析各个已发佈的合约，可能发现找出大量的漏洞。报告也说可以证明Solidity程式和以太虚拟机编码的等同性。
程式语言.Gav