宣布Crytic 1万美元研究奖金

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将评估所有参赛作品，并向最佳论文颁发现金奖励：

• 第一名：6000美元
• 第二名：2000美元
• 第三名：2000美元

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

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

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

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

页面内容
感兴趣的主题
规则
近期文章
非传统创新者奖学金
在PajaMAS中劫持多代理系统
我们构建了MCP一直需要的安全层
利用废弃硬件中的零日漏洞
Inside EthCC[8]：成为智能合约审计员
© 2025 Trail of Bits。
使用Hugo和Mainroad主题生成。