---
id: 1683
title: "Circomspect has more passes!"
source_domain: blog.trailofbits.com
source_url: "https://blog.trailofbits.com/2023/03/21/circomspect-static-analyzer-circom-more-passes/"
published_at: "2023-03-21T12:00:24Z"
tags: ["cryptography", "static-analysis", "blockchain", "zero-knowledge", "trail-of-bits", "circomspect", "circom"]
phying_url: "https://phying.com/item/1683"
lang: en
---

# Circomspect has more passes!

## Summary

Circomspect 0.8.0 adds five analysis passes for Circom ZK circuits — unconstrained signals, division-by-zero, Circomlib LessThan misuse — and would have caught the million-dollar ZK bug.

## Intelligence Metadata

- **Sources:** blog.trailofbits.com
- **Published:** 2023-03-21T12:00:24Z
- **Original:** https://blog.trailofbits.com/2023/03/21/circomspect-static-analyzer-circom-more-passes/
- **Phying News:** https://phying.com/item/1683