&
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 });...
With `@types/snarkjs` the snarkjs functions are typed as well, i.e. the proof objects.
It seems to break the test, didnt happen with `groth16` but happened with `plonk` and `fflonk`.
For larger circuits, otherwise recompiling everytime is not cool.
For example, it should output a list of pairs which the CLI prints out as something like: | Symbol | Value | | --- | --- | | `main.in` |...