I love algebra

@NethermindEth is working on multiple long term Ethereum vision support initiatives: * agentic Ethereum * scaling Ethereum with Starknet (BTCFi arc) and STARKs * Nethermind client support / client abstraction for the #flashbots rBuilder and #BuilderNet geographic decentealization * support

With Audit Agents from Nethermind, auditing is now readily available to everyone. Get audited by ai, get audited by humans and then get formalverification.xyz Correctness is becoming cheaper

Preconfirmations are profitable for proposers! (say it 10 times) In our most recent work on economic viability of preconfs, we demonstrate that there are classes of execution and inclusion preconfirmation protocols that increase proposer revenue *without* preconfirmation tips.

Justin Drake Amazing initiative, Justin Drake — we have no doubt that it will result in many successful projects that will substantially increase the security of our ecosystem! The Nethermind Formal Verification team, led by Julian Sutherland (Julian Sutherland) and supported by Petar Maksimovic

Another intern project: TruthTok Using signing keys on iOS to authenticate video comes from a 'trusted' device (a stop-gap pre C2PA) Aggregate similar videos, use VideoLLama2 and Whisper to describe everything seen and create a twitter like news feed on real data.

Don't be mev'il. Embrace Mev'olution. mevolution.io en.wikipedia.org/wiki/Don%27t_b…

Our harness for formally verifying zk-circuits written in Halo2 now fully supports lookup/shuffle arguments and interjected randomness - check it out at: github.com/NethermindEth/… 👀 Examples and blog post coming soon! Many thanks to Ethereum for funding this effort!

Our new post on L1->L2 composability is out! It introduces a way for the L2 proposer to directly inject L1 messages emitted from the same slot into the L2, bypassing the need to wait for a past L1 state root to become accessible. ethresear.ch/t/same-slot-l1…

Yayoi's Garden is an innovative tool that lets you create interactive, generative art using code, AI-like randomness, and TEE (Trusted Execution Environments) for secure and transparent creation. It’s perfect for artists, developers, and collectors looking to explore the future

🔑 Unlock the Secrets of the Future! 🌍 Join us as our co-founder 2030 reveals the game-changing technology behind INTMAX in an exclusive live presentation! Don’t miss this chance to see how we’re reshaping global payments ! x.com/i/spaces/1YqJD…

The wait is over! Malachite is officially open source 🥳 Dive into the future of decentralized consensus: github.com/informalsystem… (1/3)

Denisa Diaconescu from Nethermind discusses how they formalised the INTMAX2 protocol in the Lean proof assistant and mechanically proved the security theorem that guarantees the key economic safety property of the protocol. Watch the talk here: youtu.be/jD6eoLdbUr8

In collaboration with INTMAX main, the Formal Verification team at Nethermind Security has formalized the INTMAX2 protocol in Lean. Using hard formal methods, we have proven the key security property claimed in the INTMAX2 whitepaper: no adversary can manipulate the rollup

I was asked and accepted to be a co-Executive Director (alongside Hsiao Wei) of Ethereum Foundation. Officially starting around 17th of March (pending paperwork). Please reach out via Telegram to Tomasz K. Stańczak if you think we should talk / prefer async but a call also works

Celebrating Women in Web3! 🌸 This March 8th, we’re honoring the incredible women shaping the future of Ethereum & blockchain! For today only, we’re offering a Buy 1, Get 1 FREE ticket deal! 🎟️ Buy your ticket and gift the free one to an amazing woman in Web3—or grab a

Super excited to present tomorrow at #ETHBucharest some of the problems we are working on at @NethermindEth.

REAL decentralization. With Gigagas. Surge testnet is live in Stage 2! A based rollup template showcasing trustless scaling true to @Ethereum principles. 1 Ggas per second capacity via Nethermind Client, on a fully open-source stack you can use today. Get started now: - Add