用于安全审计的MythX和Mythril的区别

Question

我知道神话和mythril都用于智能合同审计，但我还没有弄清楚两者之间的区别。我会感谢你的帮助。

Answer 1

两个项目都是由同一个团队创建的，用于分析字节码并查找SWC登记处中列出的缺陷。有一些显著的差异：

• 迈斯里是一个免费的、开源的智能合同安全分析器.它使用符号执行来检测各种安全漏洞。它在你的本地机器上运行。
• MythX是一种基于云的智能合同安全服务。它远程执行安全分析，接受作业并通过API返回结果。一个免费的版本是可用的，但要进行完整的分析，您必须注册并购买订阅。

MythX API已经集成到许多开发框架中，包括巧克力蛋糕、松露和混炼。提交作业是一个相当简单的过程。

您可以从以下官方博客文章中了解更多的差异：MythX技术:智能契约安全分析的幕后