Ethereum Core Developer @nethermind Opinions are my own. believe in somETHing.
kuwait
Joined December 2009
- Tweets5.7K
- Following460
- Followers1.1K
- Likes7.6K
smartprogrammer.gwei 🐌 retweeted
Given the number of high-severity CVEs the world has experienced recently, including vulnerabilities at the programming language and OS levels, having multiple independent client implementations is one of Ethereum’s strongest security properties against today’s threats.
smartprogrammer.gwei 🐌 retweeted
Blockchains are credible but not intelligent. Humans are intelligent but not credible.
At Devcon, our researcher @linoscope showed a way to get both. He built a prototype oracle that runs an LLM inside a TEE: the model answers the question, and the contract checks the TEE’s proof before it accepts the answer.
Most smart contracts today act on numbers a data feed can report, like prices. An oracle like this could let them act on any question you can phrase, like whether a flight left on time or a GitHub PR meets a bounty’s conditions.
youtube.com/watch?v=aJvWLxqK…
smartprogrammer.gwei 🐌 retweeted
0x quotes on Ethereum just got faster, for more reasons than just our Lightning Upgrade.
Big thanks to @Nethermind for working with us on our simulation workload.
0x is moving its Ethereum traffic to Nethermind.
On @0xProject’s Swap API workload, Nethermind now runs with 20–30% lower latency than their current client.
Thanks to the 0x engineers who worked with us to make this happen.
smartprogrammer.gwei 🐌 retweeted
AI now finds bugs that survived decades of human review, and writes code that looks right but isn’t. Tests can’t keep up.
LeanCIL: formal verification for .NET
Proofs about compiled C# and F# (any dotnet lang), for every input, checked by @leanprover
github.com/NethermindEth/Lea…
smartprogrammer.gwei 🐌 retweeted
just shipped: every .gwei name now gets a default website at (name).gwei.limo, which doubles as a blog where posts are published as ethereum blobs 😎
see donnoh.gwei.limo 👇
One would see this and think it is just for Hoodi fork readiness. then you look at performance, and this version is faster than the previous one by around 45%.
Just @Nethermind team doing Nethermind things.
#ethereum #Glamsterdam
Nethermind Client 2.2.0 is out. For RPC providers: faster responses that use less memory, and faster tracing on Glamsterdam blocks.
Mandatory for Hoodi nodes before the Glamsterdam fork on Oct 26. github.com/NethermindEth/net…
smartprogrammer.gwei 🐌 retweeted
Nethermind's @svlachakis_ co-authored Frame Transactions (EIP-8141) for the Hegotá upgrade, planned for 2027.
What Frame Transactions change:
An app can pay a user’s fee and get paid back in a stablecoin like USDC. Smart wallets can let users sign with a phone passkey or change their key without moving funds. Wallets do this today with extra offchain services. With Frame Transactions, Ethereum supports this directly.
We’ve built them into the Nethermind Client. See how they work in the video below.
smartprogrammer.gwei 🐌 retweeted
Over the past few months, the @Nethermind Client team has been focusing on almost everything BUT performance - authoring, supporting and reviewing EIPs for Glamsterdam, championing Hegota headliner - Frame Transactions, researching state bloat, and much more.
That's not changing - we are still being heavily involved in Ethereum roadmap. But AI has unlocked a whole new level of productivity for us, and we're now pushing hard on several fronts:
1. zk guest program - coming soon to @eth_proofs. Very promising, very performant.
2. RPC refresh - Geth compatibility, major performance improvements, and more. Few projects already got a feeling of what we are shipping - and it is looking very good.
3. Client hardening with AI - Node MCP for users and our custom CoreMCP for developers, helping us ship faster and build a much more stable client.
4. Innovative node optimizations and advanced plugins - unlocking capabilities that could be extremely useful for many projects across the ecosystem, including support for new chains.
And that's just the beginning.
As a "side effect," we've also significantly improved the node's performance at the tip of the chain - before even getting into the Glamsterdam hard fork, which should unlock a whole new level of throughput.
Nethermind is the fastest #Ethereum execution client, and the only one pushing beyond 1.5 GGas/s in p50 block throughput at the tip of the chain.
With the next fork, we expect that ceiling to go even higher - based on Sepolia data, potentially around 3x higher.
And we're definitely not done.
We want to change the rules of the game. The AI-powered tools we've built in-house are giving us enormous leverage, and we're confident this advantage will only grow over time.
Performance is good. 🚀
GLM-5.3-Flash-EXL3 vs DeepSeek-v4.1-Flash-1017-EXl3 on 2 DGX Spark, TP=2. Seems benchmarks are truly strong. time to test it on real work. Thanks @MiaAI_lab for the recipe and SparkDash.
1
5
329
smartprogrammer.gwei 🐌 retweeted
We are considering removing our precompiles dependencies and reimplement them in C# as we can do it faster, avoid managed<->unmanaged code cost, avoid 3rd party dependencies and increase diversity (not all clients depending on same library that can have security issue).
smartprogrammer.gwei 🐌 retweeted
I built it instead 😁
Introducing LeanCIL - formal semantics for .NET CIL in Lean 4, with machine-checked proofs against actual compiled assemblies
Not just C# - a foundation for verifying F# and other .NET languages too
Let's formally verify dotnet
github.com/NethermindEth/Lea…
I just proposed an official @leanprover 4 formal semantics for C# - giving C# a foundation for machine-checkable proofs.
AI agents are getting very good at writing code - and very good at breaking it.
In the agentic era, "tests passed" won't be enough for critical software. We need to be able to prove properties of the code we ship.
And this is becoming practical.
Rust already has Aeneas -> Lean. Microsoft Research is using it to formally verify SymCrypt. Java and C have roots into formal verification too.
C# should not be left behind.
AI can write the code.
AI can construct the proof.
A deterministic proof kernel checks whether the proof is actually correct.
That is a very different trust model from:
AI writes code -> AI reviews code -> hopefully both were right.
Proposal:
github.com/dotnet/csharplang…
smartprogrammer.gwei 🐌 retweeted
I have a games industry background, where everything needs to fit within 16.67ms to hit 60fps
That mindset has carried over into other work
So now @Nethermind processes Ethereum mainnet blocks in 16ms at p50, on standard EIP-7870 hardware
smartprogrammer.gwei 🐌 retweeted
"lead and adopt the same changes" in practice.
github.com/paradigmxyz/reth/…
Less than 12h between @Nethermind PR merged and Reth PR opened.
Hard to be unique in AI times - we expected that :)
What matters is who brings the innovation and that should be higlighted.
This might not be widely known, but @Nethermind improvements don’t just benefit our client.
Other clients often follow our lead and adopt the same changes, so we’re raising the performance bar across the entire Ethereum and EVM ecosystem. 👇
smartprogrammer.gwei 🐌 retweeted
This might not be widely known, but @Nethermind improvements don’t just benefit our client.
Other clients often follow our lead and adopt the same changes, so we’re raising the performance bar across the entire Ethereum and EVM ecosystem. 👇
Nethermind continues doing excellent work and making Ethereum more efficient and faster.
firefly.social/post/x/210738…
smartprogrammer.gwei 🐌 retweeted
The fastest.
we just made @ethrex_client again the fastest client in @ethereum. i've always said, lambda would deliver and push the boundaries of ethereum.
after a couple of months focused on Glamsterdam hardening and Hegota prototyping, including hosting several public testnets for the most important EIPs coming in Hegota, we've turned our attention back to performance. this doesn't mean we're stepping away from that work, where we still have a lot to contribute.
The early results are very promising. In just a couple of days, we brought block processing time down from ~40ms to ~26ms in mainnet, making ethrex the fastest client once again. The image below compares how we perform today (ethrex-baseline) with what we've been cooking (ethrex-testing).
congrats @class_lambda, i'm proud of the team we've built. i love working with people that are way smarter than me.
thanks @ethereumfndn for the constant support.
smartprogrammer.gwei 🐌 retweeted
BAL's + @Nethermind crazy optimization in action on Sepolia. Expect even bigger throughput numbers when Block sizes rise up to 200MGas (and more!)
smartprogrammer.gwei 🐌 retweeted
Nethermind continues doing excellent work and making Ethereum more efficient and faster.
firefly.social/post/x/210738…
