Nethermind
Blockchain infrastructure engineers building the Nethermind Ethereum execution client, the Juno Starknet node, and smart contract audit and formal verification tooling.
About
Nethermind describes itself as the leading engineers of blockchain infrastructure, working to empower enterprises and developers worldwide to access and build on decentralized systems. A large part of the work is core engineering that supports the health and growth of Ethereum and Starknet, building open source tooling for both.
Its developer tools include the Nethermind Client, an Ethereum execution client focused on performance and customizability and written in C#; Juno, a Starknet full node implementation written in Go; Sedge, a one click setup tool for proof of stake validators and nodes; Voyager, the Starknet block explorer and data analytics platform; Clear, a formal verification framework for programs written in Solidity; and AuditAgent, an AI powered tool to help developers secure their smart contracts.
Alongside core engineering the company runs Nethermind Research, covering cryptography, decentralized finance, and protocol design, and Nethermind Security, which provides smart contract audits, formal verification, and zero knowledge audits. It also offers institutional grade Blockchain as a Service with security and compliance built in.