Explore @NethermindEth Open Source projects

Nethermind (@NethermindEth)

NethermindEth

Stars
3,673
Global Org. Rank 5,943 (Top 2 %)
Registered about 6 years ago
Most used languages

C#
18.6 %

TypeScript
17.5 %

Go
17.5 %

Python
10.3 %

Cairo 9.3 %

JavaScript
7.2 %

Rust
4.1 %

Lean 3.1 %

Shell
2.1 %

Solidity
2.1 %

Ruby
2.1 %

Jupyter Notebook
1.0 %

HTML
1.0 %

HCL 1.0 %

C++
1.0 %

Haskell
1.0 %

Makefile 1.0 %

nethermind

A robust execution client for Ethereum node operators.

warp

Warp - Bringing Solidity to Starknet at warp speed. Warp is a Solidity to Cairo Compiler, this allows teams to write/migrate Solidity to Cairo for easy onboarding into the StarkNet ecosystem.

juno

Starknet client implementation.

starknet.go

Golang Library for StarkNet/Cairo

sedge

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

StarknetByExample

A collection of examples of Cairo smart contracts for Starknet.

Forta-Agents

Paprika

A custom storage engine of Nethermind, benefiting from the alignment of the underlying data structure with the layout of State & Storage trees of Ethereum.

cairo-vm-go

A virtual machine for Cairo written in Go

dotnet-libp2p

A libp2p implementation for .NET in C#.

horus-checker

Horus, a formal verification tool for StarkNet smart contracts.

starknet-remix-plugin

A plugin that brings Starknet to Remix! 🐺 ⭐

Clear

Interactive formal verification tool for Yul programs

PublicAuditReports

Public reports of audits performed by Nethermind Security

UniStark

Using HardhatWarp for testing

eigenlayer

EigenLayer CLI (https://www.eigenlayer.xyz)

voyager-verify

A CLI Verifier Package for Voyager

EVMYulLean

Executable formal model of the EVM and Yul in Lean 4.

el-node-spec

int256

A 256-bit integer implementation for .NET

entro

Library Interacting with Blockchains

hardhat-warp

A Hardhat plugin that uses Warp to bring Solidity contracts to StarkNet

general-agents-module

awesome-preconfirmations

starknet-contract-verifier

CLI to verify your starknet contracts classes on block explorers!

research-mnemonic

Shamir secret sharing for mnemonic lists

Cairo-SafeMath

verify-everything

Aims to create various ZK verifiers on Starknet for network growth

optimized_ecc_cairo

Cairo implementation of operations over the elliptic curve BLS12-381

cortex

.NET Core Ethereum 2.0

Mpt-Instruct-DotNet-S

Training and Evaluation code for DotNet focused LLM (based on mosaicml/mpt-7b-instruct)

Yul-Specification

A formal specification of the Yul IR semantics in the Lean proof assistant.

zksync-remix-plugin

Remix plugin for zkSync

starknet.unity

Starknet Unity SDK lets game developers to integrate Starknet blockchain functionality into their Unity projects with ease.

Taiko-Preconf-AVS

cairo_zstd

Cairo v1 port of a Zstandard decompressor (WIP)

Mev-Searcher

underhanded-cairo-contest

stwo-gpu

kzg-ceremony-client

starknet-state-verifier

blink-extension

docs

Nethermind documentation

horus-compile

Cairo compiler plugin extending language with annotations

0to1CairoDemo

Demo to upgrade your upgradeable cairo 0 proxy contract to cairo 1 via replace_class_syscall

research-basic-Cairo-operations-big-integers

Cairo implementation of operations involving big integers, including arithmetic operations between 256 and 384 bit integers, and prime field arithmetic of corresponding prime size

ethtaipei-cairo1-workshop

cortex-cryptography-bls

Library wrapper for Eth 2.0 version of BLS signatures for .NET Core, using the Herumi library.

near-sffl

starknet-node-data-spec

Specification of network nodes data collection and sharing.

research

Jupyter Notebook

metrics-infrastructure

Metrics Infrastracture sample then can be used to monitor your running Nethermind nodes

restaking-dashboard

Restaking Dashboard

rpc-request-builder

nethermind-encode-bootcamp

eth-docker-compose

Set of docker-compose recipes for Eth2 networks

go-template

This is a template repository for starting new Go projects from scratch with common configurations that we use at Nethermind

starknet-abi-form

Starknet ABI Form

nethermind-node-tests

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.

research-mnemonic-public

Using Shamir's secret sharing to share mnemonic keys

AA_bundler

homebrew-sedge

Homebrew repository for Sedge

voyager-translations

formalverification.xyz

A website listing all the best FV companies in the Crypto space.

terraform-nethermind

Recipe for a fast & easy terraform deployment of Nethermind Client and Monitoring stack (Grafana/Prometheus/Seq)

sign-in-with-starknet

Reference implementation to use Starknet accounts to sign in

kudu

forta-staking-vault

Forta Vault for FORT holders to get access to FORT staking rewards abstracting the complexity of tracking scanning pools performance

validators-watcher

Simple validators balance watcher

boost-builder

validators-alerting-service

Simple function that detects decreasing ETH/Gnosis validator's balance and alerts the user.

shutter-validator-registration

gas-benchmarks

Gas benchmark research repository

posmoni

A tool to monitor validators in a PoS network of chain, using official HTTP APIs.

vmsToNotion

CommitEd

Learn about various commitment schemes through visualisation

netherverse

Netherverse (Atlantis Team)

blst-bindings

cairo-workshop

Cairo smart contract development workshop content

starknet-worldcoin-bridge

A Worldcoin bridge for Starknet

tsim

jrpc-interceptor

A tool to intercept json rpc requests and publish metrics like response time to Prometheus

l2-finality

Tooling to provide real-time data and assess these risks across various L2s

starknet-abi

Python Abi Decoder for Starknet

pwn-starknet

aura-validators-monitoring

EOF-Header-Parser

a simple parser of EOF headers from Shanghai compatible bytecodes

Atlantis-Repo

Team Atlantis main repository

warp-plugin

vm-request-slack-bot

A slack bot for managing vm requests

hardhat-warp-template

cortex-ssz

An implementation of the ETH2.0 Simple Serialize (SSZ) specification, for .NET Core (written in C#).

nethermind.launcher

optimistic-zk

warp-build-action

secp256k1-bindings

C# bindings for the libsecp256k1 library

docker-volumes-snapshotter

IL-EVM

An EVM contract precompiler that emits .NET code to make the execution faster

nethermind-plugins-guide

eigenlayer-operator