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