circomkit
circomkit copied to clipboard
erhant
A testing & development environment for Circom.
- [x] Group all testing stuff under the tests folder. Only the `src` and `tests` should be at the top level, along with the `circomkit.json`. - [ ] Resolves #47...
This command will list the built circuits under the configured build folder. It's just a quality-of-life command to see which circuits are built. It could even go beyond and see...
For example, we may set `plonk` as the Circomkit protocol in `circomkit.json`, but we would also like something such as: ```js { "multiplier_3": { "file": "multiplier", "template": "Multiplier", "params": [3],...
When reading a witness value, if that witness got optimized due to Circom optimization parameters, their variable index will be `-1`. It is possible to keep track of this somewhere...
- For instance, `npx circomkit compile *` should compile everything in `circuits.json` - `npx circomkit compile` by itself can default to the command above - `npx circomkit compile mul_*` could...
- [ ] Hangs at `snarkjs.plonk.setup` - [x] Hangs at `snarkjs.info` | resolved by #76
Consider the following test (of a logical OR gate): ```ts await circuit.expectPass({ in: [0, 0] }, { out: 0 }); await circuit.expectPass({ in: [0, 1] }, { out: 0 });...