Cyfrin: AI-assisted security audits for cryptography and ZK
===========================================================

Cyfrin maintains the Aderyn static analyzer (not AI), opened its Solodit database of more than fifty thousand audit findings to AI agents via an API, runs CodeHawks contests, and lists an AI formal verification engagement for Lido's Circuit Breaker (April 2026) in its public reports.

Website: https://www.cyfrin.io
Headquarters: Distributed
Focus: Aderyn static analyzer, Solodit API for AI agents, CodeHawks contests; an AI formal verification engagement for Lido
Index position: #8 of 12
Services: Human audits | Solodit API for agents | Contests
Tools: n/a
Evidence: https://github.com/Cyfrin/cyfrin-audit-reports

Source page: https://agentsast.com/firms/cyfrin/
Compiled by: agentsast editors (https://agentsast.com/about/)
Last reviewed: 2026-09-13