Nethermind (@nethermindeth) 's Twitter Profile
Nethermind

@nethermindeth

Engineering and research solutions, empowering developers & enterprises to build upon the decentralized web. Ethereum @NethermindEth Starknet @NethermindStark

ID: 1023893332940992512

linkhttps://nethermind.io/ calendar_today30-07-2018 11:29:28

4,4K Tweet

30,30K Followers

925 Following

Antonio Sabado | Nethermind (@ant_sabado) 's Twitter Profile Photo

Today, in the heart of Canary Wharf, London, Tomasz K. Stańczak and I and the Nethermind team will be diving deep into the core of Ethereum, its future roadmap and why institutions are building on it. We'll be hosting a roundtable discussion with senior representatives from the

Nethermind (@nethermindeth) 's Twitter Profile Photo

Nethermind builds infrastructure for a modular, verifiable future. That’s why we’re contributing to The Signal: An industry-wide collaboration to connect all chains by ZK proofs. It’s a critical step toward trustless, cross-chain interoperability. signal.beboundless.xyz

Nethermind Security (@nethermindsec) 's Twitter Profile Photo

The Nethermind Security Formal Verification team, with support from the Ethereum Foundation through the 2024 ZK Grants Round, has developed Halva: an infrastructure for formal verification of Halo2 zk circuits in Lean. We used Halva to uncover a critical bug in a real-world Scroll

The <a href="/NethermindSec/">Nethermind Security</a> Formal Verification team, with support from the <a href="/ethereumfndn/">Ethereum Foundation</a> through the 2024 ZK Grants Round, has developed Halva: an infrastructure for formal verification of Halo2 zk circuits in <a href="/leanprover/">Lean</a>.

We used Halva to uncover a critical bug in a real-world Scroll
Antonio Sabado | Nethermind (@ant_sabado) 's Twitter Profile Photo

The Nethermind leadership team together with Tomasz K. Stańczak and I had a lively exchange with TradFi leaders on a number of key topics shaping the future of onchain finance, including but not limited to: Ethereum interoperability Ethereum governance Ethereum security Ethereum

The <a href="/NethermindEth/">Nethermind</a> leadership team together with <a href="/tkstanczak/">Tomasz K. Stańczak</a> and I had a lively exchange with TradFi leaders on a number of key topics shaping the future of onchain finance, including but not limited to:

Ethereum interoperability
Ethereum governance
Ethereum security 
Ethereum
Nethermind (@nethermindeth) 's Twitter Profile Photo

From based rollup templates to L1-L2 composability to AI-aided smart contract audits: At EthCC[8], we shared what we’ve been researching and building across the stack. 🔗nethermind.io/blog/ethcc-8-2…

From based rollup templates to L1-L2 composability to AI-aided smart contract audits:

At EthCC[8], we shared what we’ve been researching and building across the stack.

🔗nethermind.io/blog/ethcc-8-2…
Nethermind (@nethermindeth) 's Twitter Profile Photo

Our Head of Research Michał Zając | Nethermind shares Nethermind’s vision for Ethereum: Scaling to billions of users and AI agents using ZK. · Offload heavy compute offchain · Verify efficiently onchain This unlocks verifiable, high-throughput systems for the agentic era.

Nethermind (@nethermindeth) 's Twitter Profile Photo

Nethermind is proud to support Boundless and the launch of The Signal, an open-source ZK consensus client that enables any chain to verify Ethereum’s state cryptographically. This milestone brings Ethereum closer to becoming a universal trust layer: Powering cheaper bridges,