Nethermind Security
@NethermindSec
Comprehensive security from @NethermindEth - from audits to formal verification. Book now: http://nethermind.io/nethermind-security
The @NethermindSec Formal Verification team, with support from the @ethereumfndn through the 2024 ZK Grants Round, has developed Halva: an infrastructure for formal verification of Halo2 zk circuits in @leanprover. We used Halva to uncover a critical bug in a real-world Scroll…
Did you know that some ERC20 tokens don’t revert on failed transfers? Instead, they just return false. Miss that, and your smart contract could behave unexpectedly. Take the dummy contract below as an example. Can you spot the bug? 🤔 A malicious buyer or seller could take…
Nethermind Security + @arbitrum = 🤝 We are happy that our team was selected as part of the Arbitrum Audit Program, along with other great companies in this space. If you're building on Arbitrum and you're looking for a security review, now is the best time to book an audit.
Another step forward for Arbitrum ecosystem security 🛡️ The Arbitrum Audit Program Committee has whitelisted the first batch of top-tier audit firms, after a careful selection process (and 100+ hrs of due diligence), kicking off the deployment of 30M $ARB to support @arbitrum…
It’s been a privilege to serve as a trusted security partner to @worldcoin over the past two years, supporting privacy-first digital identity at scale. Working together on audits, architecture, and ongoing security has strengthened both our teams, and helped set new standards for…
Two years in, and our why hasn't changed: We're building World so every human benefits from the age of AI.
Can you spot why this might miscompute your USD balance? 🤔 👉 Insight: The return value of Chainlink’s price feeds doesn’t always have 8 decimals. Some price feeds report the price with 18 decimals. Always check the actual value returned by priceFeed.decimals() to normalize…
“Not just secure code, but a launch-ready protocol backed by real confidence.” – @s0xn1ck, CEO @mellowprotocol Before launch, Mellow turned to @NethermindSec to secure its cross-chain LRT architecture built on LayerZero’s OFT standard. 🔎 Read the full case study:…
🧵 OnePiece Labs × Solana: Launching a Game-Changing Web3 Accelerator We’re excited to officially announce a new Web3 accelerator designed to empower early-stage founders building the future of decentralized applications on @solana. If you’re building in RWA, PayFi, or…