Circomspect 正式集成至 Sindri CLI:提升零知识证明电路开发安全

Trail of Bits 团队宣布将 Circomspect 静态分析工具集成至 Sindri CLI,帮助开发者更安全地构建 Circom 零知识证明电路,解决现有工具链支持不足的问题,并通过专用硬件加速测试流程。

Circomspect 已集成至 Sindri CLI

我们的工具 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
comments powered by Disqus
使用 Hugo 构建
主题 StackJimmy 设计