The Research team I have created and lead is no longer part  of Matter labs. It’s one of the most capable and productive teams working on rollup-related problems and blockchain-related research, more broadly. matter-labs.io/research/

Busy day at Nethermind House in London today! Many interesting discussions on blockchain, AI and cybersyn! DM if you want to join our discussion at the office!

Building the future of blockchain means security is non-negotiable. Formal verification is bringing this to the forefront, using mathematical proofs to ensure correctness and security. Explore the what, why, and who at formalverification.xyz Nethermind is working to

Occasionally in mathematics a statement that just has to be true turns out to be false. A paper appeared on arXiv today that disproves a well-known conjecture in probability called the bunkbed conjecture. 🧵 arxiv.org/abs/2410.02545

NethermindStark is Hosting a Live Space! 🎤 Join us for an exciting deep dive into MEV on Layer 2 with a powerhouse panel featuring: John Church @ Devcon (SOON!), Denisa Diaconescu, and tesa ⚡🤖 | 🤫 🥊 | 🛰️ 📅November 1st, 1 PM UTC 📺 Streaming live on: YouTube: youtube.com/live/ZJkJnt7x2… X:

The week of Deva the Devcon Unicorn is going to be intense! Don’t miss the ProtoLayers Builder Conference 🔜 ETHDenver Builder Conference and Leona Hioki priv/acc’s speech on November 10th at 13:00 (ICT).

I am thrilled to annouce that I have joined the Lamport team at Nethermind as a Formal Verification Engineer and Business Development Lead. Looking forward to contributing to the vision of Nethermind and the overall web3 ecosystem!

Super excited to talk about the work we did Nethermind with the wonderful team behind the INTMAX priv/acc protocol. Formal verification all the way ❤️🌈🌟

Intmax2 has a theoretical audit (formal verification) by Nethermind’s mathematicians! Thanks for the huge contribution! Denisa Denisa Diaconescu , Ferinko, Julian Julian Sutherland !

Vitalik and the Nethermind team mentioned INTMAX’s technology on stage. We’re thrilled to see our invention being discussed! Want to learn more? Join our founder Leona Hioki priv/acc at these sessions: 📍 EVM SUMMIT 2024 🗓️ 11.11.24 ( PM - PM) Details: lu.ma/ftb2d57t (Big

Learn more about Clear, a cutting-edge tool designed for the formal verification of smart contracts. Join us for two separate events on November 12th & 13th. Functional Programming Talks | Auckland, New Zealand 🇳🇿 Topic: Building trustworthy smart contracts using interactive

It’s great to see the EF investing in zkVM security and embracing it as a critical part of Ethereum’s roadmap. We’ve submitted a few proposals for their zkVM formal verification push around SP1 & plonky3!

With formal verification, you avoid the need to do successive code audits, as the reasoning of why the code is correct is written in code also! This can lower your security cost a lot for smart contracts L1/L2 validators, especially in the long run.

Justin Ðrake 🦇🔊 Amazing initiative, Justin Ðrake 🦇🔊 — 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

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 Foundation for funding this effort!

Code audits are your safety net for web3 projects 🕸️ Formal verification is the strongest way to ensure the correctness of software. Ask for the best! ✌️

Vanishree Rao We've worked with ZKsync (∎, ∆) to verify the functional correctness of their on-chain verifier, RISC Zero 🟡 to produce formal verification tooling for the Zirgen MLIR, and Ethereum Foundation to develop formal verification tooling for zk constraint systems as well as cryptography (on which more

The awesome zkVM repo now has a feature tracker thanks to the work of piapark ! To help fix any mistakes, keep the information up to date, and suggest new features, please see the github repository. 👇

Check out our Lean formalisation of the EVM: github.com/NethermindEth/…👀 It now passes >94% of the EVM conformance tests, aiming to pass all soon! Thanks to Ethereum Foundation for funding this effort and dxo for feedback!

Bullish! In 2025, we should educate founders and the wider crypto community why formal verification is utmost important. Should not be in the shadow. Protocols can ping me or my colleagues Julian Sutherland Petar Maksimović | Nethermind anytime to learn more about FV and how it can add value to their