Skip to content

@NethermindEth Nethermind

Change the repository type filter

All

    Repositories list

    412 repositories

    • nethermind

      Public
      A robust execution client for Ethereum node operators.
      ethereumblockchainethereum-clientethevm
      C#
      •
      GNU General Public License v3.0
      •633•1.5k•326•172•Updated Jan 21, 2026Jan 21, 2026

    • CertiPlonk

      Public
      A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.
      Lean
      •
      Apache License 2.0
      •1•13•0•1•Updated Jan 21, 2026Jan 21, 2026

    • LeanZKCircuit-Plonky3

      Public
      Lean ZK circuit models for the Plonky3 zkDSL
      Lean
      •
      Apache License 2.0
      •0•0•0•1•Updated Jan 21, 2026Jan 21, 2026

    • starknet.go

      Public
      Golang Library for StarkNet/Cairo
      gogolangblockchainnubiastarknet
      Go
      •
      MIT License
      •140•177•20•15•Updated Jan 20, 2026Jan 20, 2026

    • zkevm-benchmark-workload

      Public
      zkEVM benchmarking
      Rust
      •
      Apache License 2.0
      •16•0•0•4•Updated Jan 20, 2026Jan 20, 2026

    • juno

      Public
      Starknet client implementation.
      gogolangrest-apiethereumnubiajunolayer2starksstarknetcairolang
      Go
      •
      Apache License 2.0
      •222•443•42•42•Updated Jan 20, 2026Jan 20, 2026

    • surge-taiko-mono

      Public
      A based rollup template of the Taiko Alethia stack.
      Svelte
      •
      MIT License
      •2.3k•25•0•23•Updated Jan 20, 2026Jan 20, 2026

    • Catalyst

      Public
      The preconfer sidecar for Taiko Alethia preconfirmations 🥁
      ethereumrolluptaikolayer2basednethermindpreconfirmations
      Rust
      •
      MIT License
      •12•44•55•4•Updated Jan 20, 2026Jan 20, 2026

    • agentarena-arbiter

      Public
      ArbiterAgent is an open source AI-powered triage system that aggregates, deduplicates, and assigns severity to vulnerability findings from multiple AI auditing agents. It ensures consistent scoring, fair reward allocation, and streamlined dispute resolution within smart contract auditing ecosystems.
      MIT License
      •3•0•0•2•Updated Jan 20, 2026Jan 20, 2026

    • r1serialize

      Public
      Lean
      •0•0•0•0•Updated Jan 20, 2026Jan 20, 2026

    • arbitrum-nitro-testnode

      Public
      A complete environment for nitro-based service including sequencer, batch-poster, validator, and a coordinator.
      TypeScript
      •
      Apache License 2.0
      •98•0•0•1•Updated Jan 20, 2026Jan 20, 2026

    • node

      Public
      Everything required to run your own Base node
      Go
      •
      MIT License
      •3.2k•0•0•1•Updated Jan 20, 2026Jan 20, 2026

    • gas-benchmarks

      Public
      Gas benchmark research repository
      Python
      •
      MIT License
      •17•20•1•8•Updated Jan 20, 2026Jan 20, 2026

    • wormhole

      Public
      A reference implementation for the Wormhole blockchain interoperability protocol.
      TypeScript
      •
      Other
      •822•0•1•12•Updated Jan 20, 2026Jan 20, 2026

    • simple-taiko-node-nethermind

      Public
      Start your Taiko node with a single command. 🌐
      Shell
      •
      MIT License
      •831•0•0•2•Updated Jan 20, 2026Jan 20, 2026

    • arbitrum-nitro

      Public
      Nitro goes vroom and fixes everything
      Go
      •
      Other
      •708•0•0•6•Updated Jan 20, 2026Jan 20, 2026

    • Forta-Agents

      Public
      Collection of Forta Bots for on-chain anomaly/threat detection
      TypeScript
      •
      GNU General Public License v3.0
      •76•119•3•1.2k•Updated Jan 20, 2026Jan 20, 2026

    • simple-surge-node

      Public
      Start your Surge node with a single command. 🌐
      Shell
      •
      MIT License
      •831•0•0•10•Updated Jan 20, 2026Jan 20, 2026

    • Poseidon.lean

      Public
      A Lean 4 implementation of the Poseidon zkSNARK-friendly hash function
      Lean
      •
      MIT License
      •1•0•0•0•Updated Jan 20, 2026Jan 20, 2026

    • LSpec

      Public
      A Testing Framework for Lean - Dependency of https://github.com/NethermindEth/Poseidon.lean
      Lean
      •
      MIT License
      •15•0•0•0•Updated Jan 20, 2026Jan 20, 2026

    • YatimaStdLib.lean

      Public
      Dependency of https://github.com/NethermindEth/Poseidon.lean
      Lean
      •
      MIT License
      •9•0•0•0•Updated Jan 20, 2026Jan 20, 2026

    • voyager-translations

      Public
      nubia
      JavaScript
      •
      Apache License 2.0
      •12•3•0•8•Updated Jan 19, 2026Jan 19, 2026

    • layerzero-gasolina-aws

      Public
      This repository provides Infrastructure-As-Code (IAC) for installing Gasolina on AWS via CDK.
      TypeScript
      •
      MIT License
      •20•0•0•3•Updated Jan 19, 2026Jan 19, 2026

    • raiko

      Public
      Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
      Rust
      •
      Apache License 2.0
      •129•2•0•9•Updated Jan 19, 2026Jan 19, 2026

    • native-token-transfers

      Public
      Open, flexible, and composable framework for transferring tokens across blockchains without liquidity pools
      TypeScript
      •
      Other
      •84•0•0•13•Updated Jan 19, 2026Jan 19, 2026

    • auditagent-scoring-algo

      Public
      Scoring algo to determine the results of an AI security scan versus a source of truth.
      Python
      •
      Apache License 2.0
      •2•16•0•1•Updated Jan 19, 2026Jan 19, 2026

    • catalyst-toolset

      Public
      Rust
      •
      Other
      •0•1•0•3•Updated Jan 19, 2026Jan 19, 2026

    • int256

      Public
      A 256-bit integer implementation for .NET
      uint256int256
      C#
      •
      MIT License
      •11•48•1•1•Updated Jan 16, 2026Jan 16, 2026

    • preconf-taiko-protocol

      Public
      Shell
      •0•0•0•2•Updated Jan 16, 2026Jan 16, 2026

    • crypto-primitives

      Public
      Basic building blocks for ZK systems
      cryptographyzinczkzero-knowledgestarkssnarksnethermind
      Rust
      •
      Apache License 2.0
      •1•5•1•2•Updated Jan 16, 2026Jan 16, 2026