circomspect

circomspect copied to clipboard

Adds a new argument vector specified with `-L` or `--library` to either add a library file or directory. These "library paths" are then stored in the `FileStack` and when the...

incertia

Introduced pub access-modifier for include_loggic module to expose FileStack from outside the library.

1

Needed for calling parse_file which is now public and has FileStack as parameter.

Gratla

The `unconstrained-less-than` analysis pass should check if the input evaluates to a constant value before emitting a warning. In particular, warnings like the following do not make any sense. ```...

fegge

If the assigned signal is constrained elsewhere in the circuit, it is enough to emit an informational finding. In particular, the following should not raise a warning. ``` warning: Using...

fegge

Bumps [rustix](https://github.com/bytecodealliance/rustix) from 0.36.11 to 0.36.16. Commits 6534992 chore: Release rustix version 0.36.16 4928cf7 Disable riscv64 testing. 8cc159c Fix the test_ttyname_ok test when /dev/stdin is inaccessable. (#821) 6dc7ba9 Downgrade dependencies...

dependabot[bot]

[DRAFT] Non-Boolean conditional pass

1

This includes: - An updated constant-propagation implementation that adds support for tracking uncertainty about the exact value (e.g. `Boolean(None)`, which is definitely boolean but doesn't have a known exact value)...

tob-joe

WASM build

3

Hello, I'm creating a website called [circuitscan.org](https://circuitscan.org) and would like to include Circomspect outputs along with the circom code. To do this, I would like to build circomspect for WASM...

numtel

I’m curious about the design choices behind Circumspect. The current implementation analyzes each template file independently and does not inspect internally called-templates defined in separate files. In contrast, other tools...

Koukyosyumei