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 及零知识电路开发的最新动态!
如果您喜欢这篇文章,请分享至:
- GitHub
- Mastodon
- Hacker News