This release brings major improvements to Circom triage, refined analysis across multiple flows, finer-grained classification, explicit assumptions on every finding, and a cleaner detail page.
Improved Circom Triage
We are rolling out improvements to how Circom findings are triaged. Our analysis can now generate proof-of-concept test cases for Circom circuits, helping confirm or invalidate findings more reliably before they reach you.
Better Findings Across Multiple Flows
We have refined our analysis across a number of flows, improving how we detect and classify issues. You should see more relevant findings with fewer false positives.
Finer-Grained Finding Categories
Findings are now classified with a category such as soundness, under-constrained, logic-error, or access-control. Category badges appear alongside severity in finding lists and detail views, giving you more granularity into the types of issues we surface.
Assumptions on Findings
Each finding now lists the key assumptions it relies on, such as "the prover is untrusted" or "no range check applied upstream." This helps you quickly determine whether a finding applies to your specific context and protocol design.
Redesigned Finding Detail Page
The finding detail page has a cleaner layout: title and severity up front, impact shown before the description, triage controls always visible, and distinct visual states for published vs. draft findings. The commit hash and repository are now more prominent, and the copy/publish actions are consolidated into a single toolbar.
Other Changes
- Improved project invite flow with role selection (Viewer, Member, Admin)
- Glowing status indicator replaces the scan count badge in the navigation menu