Nethermind

Nethermind is a company that specializes in blockchain research and software engineering. It offers a range of services including smart contract audits, formal verification, and real-time monitoring. The company provides blockchain development services encompassing core engineering, protocol development, and infrastructure management. Nethermind has developed several tools, such as the Nethermind Client, a high-performance and customizable Ethereum client; Voyager, a block explorer for Starknet; Sedge, a one-click node setup tool for Ethereum solo stakers and testnet developers; and Juno, a Starknet full-node client aimed at advancing the network’s decentralization goals. Since 2022, the company has audited over 130,000 lines of code and maintains a team of over 220 members worldwide. In 2018, Nethermind received an Ethereum Foundation grant to deliver a full-client implementation and is actively working on the implementation of Verkle Trees for Ethereum. The company also provides market research and analytics services for institutional investors, operates Lido nodes and Ethereum validators, and participates in the StarkWare Data Availability Committee (DAC). Nethermind has developed a custom database implementation for Ethereum state and storage trees called Paprika and implements the Libp2p networking stack in .NET. The company collaborated on EIP-4337 for account abstraction with the Ethereum Foundation and OpenGSN, and developed the Starknet Remix Plugin for writing, compiling, and deploying Cairo code. Additionally, Nethermind offers Node Operator as a Service for secure and reliable blockchain infrastructure and developed the Starknet Unity SDK for integrating Starknet functionalities into Unity projects. The company provides formal verification services for smart contracts and zk-circuits and developed a novel zkSNARK called ‘Vampire’ with the shortest proof among updatable and universal zkSNARKs. Nethermind maintains 144 Ethereum validators and over 10,000 Lido validators, and uses tools like Terraform, Docker, Kubernetes, Prometheus, and Grafana for service delivery. The company also offers bespoke trading tools for hedge funds and asset tokenization services, and developed a user-friendly tool for securely storing mnemonic keys using Shamir’s secret sharing.