Vendor
Nethermind
London blockchain engineering and research firm; its Nethermind Security arm audits smart contracts
About
Nethermind, the trading name of Demerzel Solutions Limited, is a blockchain engineering and research company registered in England and Wales with its office in London. On the engineering side it writes and maintains the Nethermind Ethereum execution client and offers core protocol development, Layer 2 and rollup engineering, OP Stack customisation, bridge and cross-chain messaging engineering, tokenization platforms and vault infrastructure, node and validator operations, and applied cryptography research. It describes itself as a core contributor to the Starknet ecosystem with expertise in Cairo contract development. Its security arm, Nethermind Security, sells smart contract audits for Solidity and EVM, Rust and Solana, Cairo and Starknet, and zero-knowledge circuits including Noir, Circom and zkVM code, plus reviews of off-chain components and AI-powered applications. It also offers formal verification using interactive theorem proving (for example Lean), architecture assessments and ongoing security assistance, and provides AuditAgent, an AI-driven pre-audit tool. Audit pricing is quoted per project based on code complexity, size and timeline. Public audit reports are listed on its website with the scope and findings of each review.
At a glance
- Develops and maintains the Nethermind Ethereum execution client
- Nethermind Security audits Solidity, Rust, Cairo and Noir code, and zero-knowledge circuits
- Offers formal verification with interactive theorem proving
- Provides AuditAgent, an AI-driven pre-audit tool
- Publishes public audit reports on its website
- Registered in England and Wales as Demerzel Solutions Limited
- Services
- Development
- Audit
- Languages
- Solidity, Cairo, Rust
- Headquarters
- United Kingdom
- Public audit reports
- nethermind.io(opens in a new tab)
Nethermind: frequently asked questions
- What services does Nethermind offer?
- According to its public information, Nethermind offers: Development and Audit.
- Which blockchains does Nethermind work with?
- Nethermind works with Ethereum, Starknet, ZKsync, and Solana.
- Which smart contract languages does Nethermind use?
- Nethermind works with Solidity, Cairo, and Rust.
- Where is Nethermind based?
- Nethermind is headquartered in United Kingdom.
- Is Nethermind verified on smart-contract.com?
- Not yet. This listing was compiled from public information and Nethermind has not claimed it or gone through the vetting process of smart-contract.com.
- How can I get a quote from Nethermind?
- Describe your project once on smart-contract.com: you receive comparable quotes from vendors that match it, in the same format. Development and audit are always entrusted to two independent companies.
Where this information comes from
This listing was compiled from the public pages below and last reviewed on September 24, 2026. The company has not claimed it yet, is not a partner of smart-contract.com and has not been vetted.
Describe your project once. Compare with confidence.
Get comparable quotes from vetted developers, then secure your code with an independent auditor.
Free for clients. No commitment.