The security arm of Nethermind

Nethermind Security encompasses all of Nethermind’s blockchain expertise, zeroed in on security solutions across Web3 - including the Ethereum and zk ecosystems

Contact us

TRUSTED BY the best
Official Ecosystem Security Partners
Certified by Leading Networks
Grant Funding by
Trusted Verification Partner
TRUSTED BY the best

What we do

We offer comprehensive security solutions, including smart contract audits, formal verification, and real-time monitoring, working collaboratively to deliver the most robust solutions to our clients.

Smart Contract Audits

Our security researchers conduct full reviews for contracts in Solidity, Cairo, Rust, and Noir, ensuring security, optimization, and resilience.

Learn more

AI-Powered Pre-Audits

AuditAgent is a fast, AI-driven pre-audit tool that enhances security workflows with immediate insights, addressing risks early in development.

Powered by Nethermind Security & Research, it empowers developers to optimize security in a way that complements traditional audits, providing a strong foundation for comprehensive reviews.

Learn more

Formal Verification

Nethermind Security provides cutting-edge solutions for formal verification of zk-circuits, zk-related cryptography, protocol modelling, and more.

We have collaborated with industry leaders, such as RISC Zero, Succinct Labs, MatterLabs, and IntMax, and have won a number of formal verification grants from the Ethereum Foundation. Using interactive theorem proving, we can establish the strongest correctness guarantees possible for your products, which are beyond the reach of standard testing and automated verification tools.

Learn more

Architecture Assessment

Our architecture assessment reviews the foundational design of the protocol to uncover weaknesses or inefficiencies not evident in code-level audits.

This ensures optimized performance, reduced costs, and a secure, adaptable structure ready for future growth.

Security Assitance

Our security experts provide ongoing support throughout development, ensuring continuous reviews that address vulnerabilities early.

This proactive approach minimizes delays and keeps code secure without disrupting speed, allowing for a more resilient final product.

What we do

Smart Contract Audits

Our security researchers conduct full reviews for contracts in Solidity, Cairo, Rust, and Noir, ensuring security, optimization, and resilience.

AI-Powered Pre-Audits

AuditAgent is a fast, AI-driven pre-audit tool that enhances security workflows with immediate insights, addressing risks early in development.

Powered by Nethermind Security & Research, it empowers developers to optimize security in a way that complements traditional audits, providing a strong foundation for comprehensive reviews.

Formal Verification

Nethermind Security provides specialized formal verification in ZK-circuits verification, EVM-based smart contract verification, and Starknet smart contract verification.

Our range of services cater to your project's specific needs and include specification drafting, development of property testers, full-stack verification, and the development of advanced automated tools.

Architecture Assessment

Our architecture assessment reviews the foundational design of the protocol to uncover weaknesses or inefficiencies not evident in code-level audits.

This ensures optimized performance, reduced costs, and a secure, adaptable structure ready for future growth.

Security Assitance

Our security experts provide ongoing support throughout development, ensuring continuous reviews that address vulnerabilities early.

This proactive approach minimizes delays and keeps code secure without disrupting speed, allowing for a more resilient final product.

The Nethermind Security team did a great job reviewing our on-chain accounting oracle contract and SP1 zkVM circuit. Their deep knowledge of ZK systems and clear communication helped us quickly address the findings. We appreciated the thoroughness of the audit and the actionable feedback, especially on performance and best practices.

Lido Audits Committee

Featured audits

DeFi
Nethermind Security completed an audit of the Puffer Finance protocol

Learn more

DeFi
Pragma audit

Learn more

DeFi
Nethermind Security completed an audit of the etherfi protocol

Learn more

Smart Contracts
Nethermind Security has completed 6 audits for Worldcoin

Learn more

Layer 2
Nethermind Security completed an audit of the PolygonID protocol

Learn more

DeFi
Nethermind Security completed an audit of the Gyroscope protocol

Learn more

Featured audits

View more audits

DeFi
Nethermind Security completed an audit of the Puffer Finance protocol

Learn more

DeFi
Pragma audit

Learn more

DeFi
Nethermind Security completed an audit of the etherfi protocol

Learn more

Smart Contracts
Nethermind Security has completed 6 audits for Worldcoin

Learn more

Layer 2
Nethermind Security completed an audit of the PolygonID protocol

Learn more

DeFi
Nethermind Security completed an audit of the Gyroscope protocol

Learn more

200k+

Lines of code audited by Nethermind Security since 2022

240+

Published articles by auditors

200+

Bots customized on Forta Network

Our web3 partners

AAVE
Argent
Atlendis
Avalanche
AVNU
Blockframe
Braavos
Briq
Cartridge
Chi Protocol
Decentraland
Dinero
Dojo
Ekubo
Ethereum Foundation
EtherFi
Etherspot
Everyrealm
Fibrous
Fileverse
Fleek
Flexa
Forta
Game7
Gnosis Chain
Gyroscope
Haiko
Hopper Labs
HyperNest
HyperPlay
Influence
Jedi
Swap
Layer Akira
Libre
Lido
Lighter
Midnight Society
Monarch
Munchables
mySwap
Nodle
Numbers Game
Ondo Finance
OpenZeppelin
Optimism
Ora
Pimlico
Pocket Network
Privado ID
Polygon Village
Pontis
Pragma
PropHouse
Puffer
PWN
Pyth Network
RavenDAO
SafeStake
SithSwap
SkateFi
SMG
Sphere Finance
StarkGate
Starknet Foundation
Starknet ID
StarkWare
Summon
Swell
TokenTable
Trader Joe
TxFusion
TruFin
Wilderworld
World Network
zkLend
zkSync
Veggies
+ more
AAVE
Argent
Atlendis
Avalanche
AVNU
Blockframe
Braavos
Briq
Cartridge
Chi Protocol
Decentraland
Dinero
Dojo
Ekubo
Ethereum Foundation
EtherFi
Etherspot
Everyrealm
Fibrous
Fileverse
Fleek
Flexa
Forta
Game7
Gnosis Chain
Gyroscope
Haiko
Hopper Labs
HyperNest
HyperPlay
Influence
Jedi
Swap
Layer Akira
Libre
Lido
Lighter
Midnight Society
Monarch
Munchables
mySwap
Nodle
Numbers Game
Ondo Finance
OpenZeppelin
Optimism
Ora
Pimlico
Pocket Network
Privado ID
Polygon Village
Pontis
Pragma
PropHouse
Puffer
PWN
Pyth Network
RavenDAO
SafeStake
SithSwap
SkateFi
SMG
Sphere Finance
StarkGate
Starknet Foundation
Starknet ID
StarkWare
Summon
Swell
TokenTable
Trader Joe
TxFusion
TruFin
Wilderworld
World Network
zkLend
zkSync
Veggies
+ more

Let’s discuss your security needs

Explore how advanced security solutions can safeguard your business.
Thank you!
Your submission has been received!
Oops! Something went wrong while submitting the form.

Get in touch.
Security solutions

See open positions

Expertise across ...

Our security audit experts conduct thorough reviews, specifically tailored to the challenges of the Ethereum and Starknet ecosystems.

Feature 1

Feature 1

Feature 1

Feature 1

Feature 1

Feature 1

Feature 1

Feature 1