zk-kit.circom
zk-kit.circom copied to clipboard
zk-kit
A monorepo of reusable Circom circuits.
## Description - Fixed the range check implementation of `IntegerDivision` and `MultiplicationFromFloat` - Replaced ` assert(lt == 1)` with lt === 1 constrain - Replaced ` assert(isz == 0)` with...
The variables lta and ltb are no-oping [here](https://github.com/privacy-scaling-explorations/zk-kit.circom/blob/326cef9fdb9a2f845b890cffea0594975768be1f/packages/utils/src/float.circom#L56) and may be removed. There are no constraints applied to either variable, the assert statement is a witness computation time operation, not...
Circomspect does not provide a way to configure override rules per warning and files. However the way we integrated it in the CI relies on a [SARIF](https://docs.oasis-open.org/sarif/sarif/v2.0/csprd01/sarif-v2.0-csprd01.html) (Static Analysis Results...
