Skip to content
@NethermindEth

Nethermind

Ethereum and Starknet researchers and builders developing the Nethermind Ethereum client, Juno, Voyager, and Sedge.

Pinned Loading

  1. nethermind nethermind Public

    A robust, high-performance execution client for Ethereum node operators.

    C# 1.6k 760

  2. juno juno Public

    Starknet full node designed for peak concurrency and efficiency

    Go 448 253

  3. Forta-Agents Forta-Agents Public archive

    Collection of Forta Bots for on-chain anomaly/threat detection

    TypeScript 122 83

  4. sedge sedge Public

    A one-click setup tool for PoS network/chain validators and nodes.

    Go 194 70

  5. zinc-plus zinc-plus Public

    Zinc+ is a performance-oriented SNARK framework designed to handle computations across multiple mathematical domains without the "witness inflation" overhead typical of traditional arithmetization.

    Rust 48 16

Repositories

Showing 10 of 505 repositories
  • nethermind Public

    A robust, high-performance execution client for Ethereum node operators.

    NethermindEth/nethermind's past year of commit activity
    C# 1,627 GPL-3.0 760 77 153 Updated Nov 3, 2026
  • pluto Public

    Pluto is a Proof of Stake Ethereum Distributed Validator Middleware Client written in Rust

    NethermindEth/pluto's past year of commit activity
    Rust 8 5 43 4 Updated Nov 3, 2026
  • ArkLibFri Public Forked from Verified-zkEVM/ArkLib

    Formally Verified SNARKs in Lean

    NethermindEth/ArkLibFri's past year of commit activity
    Lean 1 Apache-2.0 126 0 12 Updated Nov 3, 2026
  • stellar-private-payments Public

    Nethermind Privacy Engineering team's implementation of private payments for the Stellar network

    NethermindEth/stellar-private-payments's past year of commit activity
    Rust 60 Apache-2.0 49 46 (12 issues need help) 21 Updated Nov 3, 2026
  • eth-client-dependency Public
    NethermindEth/eth-client-dependency's past year of commit activity
    TypeScript 0 MIT 2 0 5 Updated Nov 3, 2026
  • juno Public

    Starknet full node designed for peak concurrency and efficiency

    NethermindEth/juno's past year of commit activity
    Go 448 Apache-2.0 253 27 43 Updated Nov 3, 2026
  • aztec-p2p-explorer Public

    P2P network monitoring for Aztec: DHT crawler, GeoIP enrichment, sync status, REST API, and live dashboard

    NethermindEth/aztec-p2p-explorer's past year of commit activity
    Go 0 Apache-2.0 0 0 5 Updated Nov 3, 2026
  • LeanCIL Public

    LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against compiled Common Intermediate Language (CIL), supporting applications written in C#, F#, and other .NET languages.

    NethermindEth/LeanCIL's past year of commit activity
    Lean 108 2 20 1 Updated Nov 3, 2026
  • github-workflows Public
    NethermindEth/github-workflows's past year of commit activity
    1 4 1 2 Updated Nov 3, 2026
  • dotnet-libp2p Public

    A libp2p implementation for .NET in C#.

    NethermindEth/dotnet-libp2p's past year of commit activity
    C# 129 MIT 61 35 (13 issues need help) 5 Updated Nov 2, 2026
View all repositories