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

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

提交截止日期为2020年11月1日。

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

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

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

页面内容
感兴趣的主题
规则
近期文章

• 使用Deptective调查依赖项
• 做好准备，Buttercup，AIxCC评分轮正在进行中！
• 让智能合约超越私钥风险成熟化
• Go解析器中意外的安全陷阱
• 我们审查首批DKLs23库的收获
• Silence Laboratories的23个库

© 2025 Trail of Bits。
使用Hugo和Mainroad主题生成。