Meme Insider
Nethermind Security Joins Arbitrum Audit Program: Boosting Blockchain Safety
Discover how Nethermind Security's new role in the Arbitrum Audit Program enhances blockchain security with a $10M subsidy for early-stage projects.
Nethermind Security Completes Lido Audit with Advanced ZK Oracle Technology
Discover how Nethermind Security completed a critical audit for Lido Finance using a ZK Oracle built on Succinct SP1, enhancing blockchain security.
Nethermind Security Partners with Arbitrum for Enhanced Audit Program in 2025
Discover how Nethermind Security’s partnership with Arbitrum strengthens blockchain security through the new Audit Program, featuring 30M $ARB funding.
How Nethermind Security Audit Empowers Mellow Protocol's Launch
Discover how Nethermind's security audit ensured Mellow Protocol's launch-ready cross-chain architecture, boosting confidence in blockchain innovation.
Towards Scalable Formal Verification: Insights from ECOOP 2025 in Bergen
Explore the upcoming keynote on scalable formal verification at ECOOP 2025 in Bergen, Norway, featuring Nethermind Security's Petar Maksimović. Learn how this impacts blockchain and programming languages.