Nethermind Security
4.6/5 Founded 2020 Team: 50+ $$$
About
Security arm of the Nethermind research and engineering firm. 40% of team holds PhDs with 145+ published papers. Deep expertise in formal verification, ZK circuits, and Starknet. Created AuditAgent, an AI tool that detects valid issues in 62% of projects. 70% repeat client rate speaks to quality.
Specialties
smart contracts formal verification zk proofs starknet defi
Supported Chains
ethereum polygon arbitrum optimism starknet base
Notable Audits
World Starknet Lido Polygon zkSync Optimism EtherFi
Turnaround
4-10 weeks
Team Size
50+
Public Reports
Yes