Picus
In-house ZK circuit vulnerability detection tool by Veridise. Specifically designed for ensuring correctness of zero-knowledge circuit implementations.
About
Picus is Veridise's proprietary detection tool designed specifically for zero-knowledge circuit security analysis. It identifies issues like under-constrained circuits, soundness bugs, and implementation flaws in ZK proof systems.
Categories
Static Analyzers ZK Security
Chains
ethereum starknet scroll
Related Tools
Quick Info
- Pricing
- enterprise
- Open Source
- No
- Last Updated
- 2026-04-05