Nethermind Security

@NethermindSec

Comprehensive security from @Nethermind, from audits to formal verification. Book now: nethermind.io/nethermind-sec…

nethermind.io/nethermind-sec…

Joined September 2024

Following

1,607

Followers

Replies Reposts Media Articles

Pinned
Nethermind Security
@NethermindSec
Aug 20
Most protocols stop at the audit. Lido didn't. An audit is essential, but it's a snapshot: New AI models find what older ones and past reviews missed. New attack vectors surface, and attackers weaponize them fast. So @LidoFinance had us run AI + experts on already-audited Lido
Piloting Continuous AI-Augmented Security on Lido Core
From nethermind.io
Nethermind Security
@NethermindSec
8h
Privacy bridges rarely fail at the cryptography. They fail at signature scope and the timing of state updates. We audited Holonym's Aztec Bridge, which moves ERC-20s from Ethereum to @aztecnetwork while proving Proof of Humanity and Proof of Clean Hands, so transfers stay
Auditing Holonym's Aztec Bridge
From nethermind.io
1
Nethermind Security
@NethermindSec
Aug 27
Solidity accounts for 0.01% of The Stack v2, one of the main datasets AI coding assistants learn from. So when one finishes your withdrawal function for you, it's guessing from almost nothing, in a language where a single wrong line locks funds for good. Our approach is
Trust, but Verify: Pair Programming with AI for Secure Smart Contracts
From nethermind.io
Nethermind Security
@NethermindSec
Aug 18
Formal verification isn't worth it for most code. That flips at the infrastructure layer. An app bug stays local. A verifier or zkVM bug hits everything that trusts it, and onchain there's no undo. When does proof cost less than uncertainty? ⬇️
Formal Verification and the Economics of Correctness
From nethermind.io
1
Nethermind Security
@NethermindSec
Aug 13
AuditAgent's MCP server is live. Start a scan on your contracts and get the results straight in your coding agent New accounts come with $50 in free credits, enough to run Auditor, our most in-depth scan mode, on your own code. By popular request, findings can now be grouped by
00:00