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

页面内容
最近文章

• 使用 Deptective 调查您的依赖项
• 系好安全带，Buttercup，AIxCC 的评分轮正在进行中！
• 将智能合约成熟度提升至超越私钥风险
• Go 解析器中意想不到的安全隐患
• 我们从审查首批 DKLs23 库中学到了什么
• Silence Laboratories 的库

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