Circomspect已集成至Sindri CLI - Trail of Bits博客

Jim Miller
2024年2月26日
区块链, 密码学, 静态分析, 零知识证明

我们的工具Circomspect现已集成至Sindri命令行界面（CLI）！我们设计Circomspect的初衷是帮助开发者更安全地构建Circom电路，特别是考虑到这一新型编程框架可用的工具支持有限。将该工具集成到Sindri提供的开发环境中，是推动Circomspect更广泛使用的重要一步，从而为编写Circom电路的开发者提供更好支持。

开发零知识证明电路是一项艰巨的任务。即使抛开技术复杂性，在Circom等平台上运行非平凡电路的计算强度也极高：运行基本测试可能需要几分钟（或更长时间），这会大幅增加开发时间。Sindri旨在通过让用户访问专用硬件来显著加速这些电路的执行，从而帮助缓解这个问题。他们简单的API和CLI工具使开发者能够将其电路与专用硬件集成，而无需管理任何自有基础设施。

Sindri Labs的首席执行官Stasia Carson对此公告表示：

我们在Sindri CLI上的持续重点是使其对电路开发者更普遍和广泛有用，无论他们是否使用Sindri服务。关键在于通过优化的Docker容器实现无安装工具分发，并结合用于静态分析、代码检查、编译和证明的统一跨框架接口。Circomspect是开发安全Circom电路的关键工具，老实说可能是所有框架中最好的此类工具，因此我们将其视为最重要的集成之一。

集成到Sindri CLI对Circomspect来说是重要的一步。随着用户数量的增加，我们计划扩展Circomspect，加入更多分析思路，这些将在全年陆续公布。请持续关注我们的博客，获取关于Circomspect和零知识电路开发的最新动态！

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

页面内容
近期文章

• Trail of Bits的Buttercup在AIxCC挑战赛中获得第二名
• Buttercup现已开源！
• AIxCC决赛：数据对比
• 攻击者的提示注入工程：利用GitHub Copilot
• 新员工发现NVIDIA Triton中的内存损坏问题

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