← 输入框|github.com|刷新
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 69

  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 507 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 89 160 Updated Nov 4, 2026
  • eipproof Public

    EIP status per execution client as a chain of evidence: spec revision -> EELS tests -> hive run

    NethermindEth/eipproof's past year of commit activity
    Python 0 0 0 0 Updated Nov 4, 2026
  • json-bench Public

    Etheruem JSON-RPC benchmarking suite

    NethermindEth/json-bench's past year of commit activity
    Go 1 2 1 5 Updated Nov 4, 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 44 (12 issues need help) 16 Updated Nov 4, 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 110 3 20 1 Updated Nov 4, 2026
  • wormhole Public Forked from wormhole-foundation/wormhole

    A reference implementation for the Wormhole blockchain interoperability protocol.

    NethermindEth/wormhole's past year of commit activity
    TypeScript 0 927 1 3 Updated Nov 4, 2026
  • eth-client-dependency Public
    NethermindEth/eth-client-dependency's past year of commit activity
    TypeScript 0 MIT 2 0 5 Updated Nov 4, 2026
  • nethermind-node-tests Public

    In this repository, there will be a set of test cases which will be executed on various stages of post-merge-smoke-tests nodes syncing process.

    NethermindEth/nethermind-node-tests's past year of commit activity
    C# 3 MIT 2 0 4 Updated Nov 4, 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 4, 2026
  • lean-bindings Public
    NethermindEth/lean-bindings's past year of commit activity
    Rust 0 MIT 0 0 0 Updated Nov 3, 2026
View all repositories