A Unified Sindri + Circomspect CLI DevEx
v0.0.1-alpha.32
This is the first of a number of enhancements to the CLI intended to ease frustration while writing circuits via the incorporation of key open-source libraries.
Our initial integration builds in the Trail of Bits' Circom analysis tool: Circomspect.
Previously, you could use sindri init to create a handful of circuits in different frameworks that are built from scratch via templates.
That functionality allows you to quickly get started writing Circom circuits by filling in the essentials.
With this new integration, you can use sindri x circomspect to analyze your circuit while its under development.
See the corresponding blog post for an in-depth description and a demo! For the full set of commands available, check out the reference docs.