Follow feeds: blogs, news, RSS and more. An effortless way to read and digest content of your choice.
Get Feedermedium.com
Get the latest updates from Nethermind.eth - Medium directly as they happen.
Follow now 328 followers
Last updated about 1 year ago
about 1 year ago
Why OP Stack in the Nethermind Client?One of the key advantages of...
about 1 year ago
By František Silváši and Julian Sutherland, from the Formal Verification at Nethermind...
over 1 year ago
By Colin Kennedy and Josh Klopfenstein.TL;DRWe’re excited to announce the release of...
over 1 year ago
Table of contentsIntroductionWhy Conduct a Smart Contract Audit?Smart Contract Audit ProcessCommon Smart...
over 1 year ago
Rollups on the Ethereum network are experiencing significant user adoption, marking a...
over 1 year ago
Research SummaryIntroducing Validator TicketsPuffer Finance enables node operators (NO) to borrow ETH...
over 2 years ago
Part 2: Anatomy of Sierra programsIntroductionIn our previous blog post, we introduced...
over 2 years ago
Formal verification of an automated market maker (AMM)By Nethermind’s Formal Verification Team...
over 2 years ago
By Ignacio Manzur. Special thanks to Albert Garreta, Yevgeny Zaytman, Michal Zajac...
over 2 years ago
Liquid Staking: the New Crypto NarrativeThe long-awaited Shapella upgrade, expected to go...
over 2 years ago
Part 1: An essential layer to produce safe CASMIntroductionI recently attended two...
over 2 years ago
Verifying a smart contract on VoyagerVerify your Starknet smart contract on https://voyager.online/With...