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 322 followers
Last updated 9 months ago
9 months ago
Why OP Stack in the Nethermind Client?One of the key advantages of...
10 months ago
By František Silváši and Julian Sutherland, from the Formal Verification at Nethermind...
11 months ago
By Colin Kennedy and Josh Klopfenstein.TL;DRWe’re excited to announce the release of...
12 months ago
Table of contentsIntroductionWhy Conduct a Smart Contract Audit?Smart Contract Audit ProcessCommon Smart...
12 months ago
Rollups on the Ethereum network are experiencing significant user adoption, marking a...
about 1 year ago
Research SummaryIntroducing Validator TicketsPuffer Finance enables node operators (NO) to borrow ETH...
about 2 years ago
Part 2: Anatomy of Sierra programsIntroductionIn our previous blog post, we introduced...
about 2 years ago
Formal verification of an automated market maker (AMM)By Nethermind’s Formal Verification Team...
about 2 years ago
By Ignacio Manzur. Special thanks to Albert Garreta, Yevgeny Zaytman, Michal Zajac...
about 2 years ago
Liquid Staking: the New Crypto NarrativeThe long-awaited Shapella upgrade, expected to go...
about 2 years ago
Part 1: An essential layer to produce safe CASMIntroductionI recently attended two...
about 2 years ago
Verifying a smart contract on VoyagerVerify your Starknet smart contract on https://voyager.online/With...