Nethermind Security
4.5/5 Founded 2017 Team: 20-50 $$
About
Nethermind Security is the audit and formal verification arm of Nethermind, the engineering company best known for its Ethereum execution client and its deep involvement in the Starknet ecosystem. The team audits smart contracts and ZK systems with particular strength in Cairo and Starknet, and it maintains internal formal methods and real-time monitoring capabilities alongside classic manual review. Its parent company's role as a core Starknet developer gives it unusual depth in the STARK stack.
Specialties
cairo starknet formal verification smart contracts zk circuits
Supported Chains
cairo starknet evm generic
Notable Audits
Turnaround
3-8 weeks
Team Size
20-50
Public Reports
No
Links
- Last validated
- Jul 2026