宣布Crytic 1万美元研究奖金 - Trail of Bits博客

Trail of Bits
2019年11月13日

在Trail of Bits，我们始终致力于与学术界保持同步。我们经常通过同行评审会议评估工作，并热衷参与学术活动（参见我们最近的ICSE和Crypto活动总结）。

然而，我们在这些学术活动中持续发现一个重复出现的问题：缺乏可靠的工具和实验。研究人员没有维护工具的动力，且大多数时候缺乏必要的工程资源。这正是Trail of Bits的用武之地：我们投入大量精力维护以研究为导向的开源工具，希望研究人员能从我们的工作中受益。

现在，为了鼓励该领域的更多活动，我们设立了Crytic研究奖金，奖励基于我们区块链工具发表的学术论文。

感兴趣的主题

任何基于我们工具的工作都符合资格。

您想产生工业级影响吗？我们团队目前对以下主题感兴趣：

提升工具核心能力：

• 如何让Echidna探索更智能
• 如何让Manticore在智能合约上运行更快
• 如何减少Slither的误报

扩展工具应用领域：

• 如何精确建模和检测竞态条件
• 如何自动修复漏洞
• 如何使用机器学习或基于语法的方法指导Echidna
• 任何特定的智能合约插桩技术
• 如何组合使用这些工具

我们特别希望看到我们的工具在原始用途之外的创造性应用。例如，参见我们基于Slither的代码相似性工具。

规则

• 论文必须基于我们的开源工具之一：

  • Echidna
  • Manticore
  • Slither
  • 或其他Crytic工具，如evm-cfg-builder（但这些优先级较低）

• 论文必须被同行评审会议接收。我们推荐：

  • ACSAC, ASE, CAV, CCS, Crypto, FC, FSE, NDSS, ICSE, ISSTA, OSDI, POPL, PLDI, S&P, S&P Europe, TACAS, 和Usenix
  • 上述任何会议的研讨会

• 所有材料必须开源，包括基准测试。我们将重新运行实验并评估工具

• 申请必须遵守适用的美国和国际法律、法规和政策

Trail of Bits将评估所有参赛作品，并向最佳论文颁发现金奖励：

• 第一名：6,000美元
• 第二名：2,000美元
• 第三名：2,000美元

我们将在2020年11月1日截止提交。

我们很乐意为我们的工具提供支持。如果您需要开发人员的直接帮助，请加入我们的Slack频道（#ethereum）。

记住，如果您想参加比赛，请将论文发送给我们！

如果您喜欢这篇文章，请分享： Twitter | LinkedIn | GitHub | Mastodon | Hacker News