Pinned
Your team takes the break. We take the audit.
A few slots open July 1 — August 15. Adjusted rates. AuditAgent Pro included so the codebase is ready before we start.
Smart contracts and ZK circuits.
nethermind.io/audit-slots
Nethermind Security
734 posts
Nethermind Security
@NethermindSec
Comprehensive security from @Nethermind, from audits to formal verification. Book now: nethermind.io/nethermind-sec…
Joined September 2024
- We are happy to announce that the Nethermind Security team has completed a comprehensive review of @dop_org's Selective Transparency feature. 🛡️ DOP enables private and public token transactions while ensuring selective data disclosure for enhanced privacy.
- Congratulations to @_ulasanil, one of our expert auditors, for earning a $150,000 bug bounty for a critical vulnerability report on @immunefi. Our team lives and breathes security. This kind of work happens behind the scenes every day through audits, deep research, andWe'd like to congratulate @_ulasanil on earning a big $150k for a critical bug report. Top-notch skills.
- Congrats to the @lukso_io team on launching their bridge between LUKSO and Ethereum! Nethermind’s AuditAgent was used to support reviews of the bridge token contracts, alongside independent audits, to augment and strengthen the bridge’s security.The LUKSO Bridge is Now Live! 🚀 The wait is over. You can now bridge LYX between LUKSO and Ethereum via @hyperlane as part of the first phase of our progressive rollout. Start bridging → usenexus.org/?origin=lukso&… Read more → medium.com/lukso/the-luks…
- @districts_xyz will soon launch as a decentralized virtual world mirroring Earth—an exciting new, unique space to claim and shape digital land. We’re proud to support their journey by ensuring rock-solid smart contract security! 👇
- Who verifies the (zk) verifier? Nethermind! The Formal Verification team at @NethermindSec, led by @JulekSU, just made history by formally verifying the honesty of @zksync’s on‑chain zk verifier using EasyCrypt. This is the first time formal verification has been applied to a
- We’re happy to announce that the Nethermind Security team has completed another review for @LidoFinance. This time, the audit covered the on-chain Lido accounting report contract and its Succinct SP1 zkVM circuit for LIP-23 negative rebase proofs. 🛡️
- 🎉 AuditAgent is officially live! 🎉 4,256 vulnerabilities found. 🔍 460,446 lines of code scanned. 💻 302 users secured their smart contracts. ✅ AuditAgent has been battle-tested in beta—now, it's officially live. Faster. Smarter. More powerful than ever. Start securing your
- Nethermind Security has developed the most complete formal model of the EVM execution layer. 🚀❤️🔥 This work strengthens the security of Ethereum, providing a foundation for formal verification of execution clients and #zkVMs. 1/
- We are delighted to announce that we have been awarded a grant from the @ethereumfndn to advance formal verification of zk circuits! 🦾 1/
- Thrilled to join forces with @skate_chain through a strategic security partnership. 🤝 From smart contracts to infrastructure, we're working together to help strengthen the foundation of the network.Skate is entering a strategic security partnership with @nethermind. This collaboration spans multiple fronts, including onchain contract audits and offchain infrastructure, including DVN support for the SKATE token, with off-chain executor policy enforcement in future.
- We’re excited to announce that Nethermind Security has completed the audit of @eth_strategy ERC4626 vaults🛡️ The audit focused on reviewing two interconnected ERC4626 vaults. 1. EthStrategyPerpetualNote (primary vault & share token: ESPN) 2. StakedEthStrategyPerpetualNoteLP (LP
- Incredible to see users putting our Audit Agent to the test while reviewing the @lukso_io <> Ethereum bridge. 🌉 Big thanks to @JeanCavallera for the thoughtful feedback.👇I had great pleasure and enthusiasm to beta test AI Audit agent from @nethermind while I was internally auditing and reviewing the smart contracts for the #LUKSO <> #Ethereum bridge. 🌉 And provide feedbacks to @balakhonoff to improve and refine their product. A great tool
- It's been a pleasure collaborating with @intmaxIO on formally verifying key security properties of the INTMAX2 protocol using @leanprover. Blog post and source coming out shortly. Formal verification is crucial for ensuring security and correctness of blockchain protocols like
