Audit zero-knowledge circuits for soundness and constraint bugs across major frameworks.
Statically audit Solidity contracts to find and fix common security vulnerabilities.
