Skip to content

v0.8.0

Compare
Choose a tag to compare
@fegge fegge released this 21 Mar 09:41
· 27 commits to main since this release
cda487e

Features

  • Circomspect will now only report findings for potential issues in the files
    specified on the command line. (It will still attempt to parse included
    files, but these will only be used to inform the analysis of the files
    specified by the user.)
  • Added support for tags, tuples, and anonymous components. Circomspect now
    supports Circom versions 2.0.0 - 2.1.4.
  • Added templates to the bn254-specific-circuits analysis pass.
  • Added unused-output-signal analysis pass.
  • All uses of the name BN128 have been replaced with BN254.

Bug fixes

  • Rewrote the unconstrained-less-than analysis pass to better capture the
    underlying issue.
  • Fixed an issue where the cyclomatic complexity calculation could underflow
    in some cases in the overly-complex-function-or-template analysis pass.
  • Fixed an issue in the Sarif export implementation where reporting
    descriptors were added multiple times.