电子智能合同安全检查表

Question

是否有一个工具，方法清单，帮助审查智能合同安全？

例如，对于每一项功能，您都会进行审查

• 是否存在重返大气层的可能性，以及它在重返大气层时的表现。
• 当回路耗尽气体时它是如何工作的
• 如果达到堆栈限制，它的行为如何？

..。诸若此类。

如果没有这样的工具可用，是否有一个很好的资源或列表，所有已知的故障模式，以太智能合同安全？

Answer 1

Devcon2: Smart合同安全发言人: Christoph

在对过去聪明的合同失效进行快速概述之后，将列出一份重要的外卖清单。我们将介绍一些用于防止智能契约中意外行为的编码技术，以及一些关于分散系统中的治理的说明。

Youtube链接

另一个；

新加坡国立大学()的研究人员不久将发布一款工具，帮助ethereum用户确定他们编写的智能合同是否有效。

这是白皮书链接

源头Coindesk。