Nethermind (@NethermindEth)
Guthub

NethermindEth

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

nethermind

A robust execution client for Ethereum node operators.
C#
1,036
star
2

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.
TypeScript
753
star
3

juno

Starknet client implementation.
Go
315
star
4

starknet.go

Golang Library for StarkNet/Cairo
Go
144
star
5

sedge

A one-click setup tool for PoS network/chain validators and nodes.
Go
121
star
6

StarknetByExample

A collection of examples of Cairo smart contracts for Starknet.
Cairo
110
star
7

Forta-Agents

TypeScript
95
star
8

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.
C#
90
star
9

cairo-vm-go

A virtual machine for Cairo written in Go
Go
82
star
10

dotnet-libp2p

A libp2p implementation for .NET in C#.
C#
60
star
11

horus-checker

Horus, a formal verification tool for StarkNet smart contracts.
Haskell
59
star
12

starknet-remix-plugin

A plugin that brings Starknet to Remix! 🐺 ⭐
TypeScript
41
star
13

Clear

Interactive formal verification tool for Yul programs
Lean
35
star
14

PublicAuditReports

Public reports of audits performed by Nethermind Security
34
star
15

UniStark

Using HardhatWarp for testing
HTML
33
star
16

eigenlayer

EigenLayer CLI (https://www.eigenlayer.xyz)
Go
32
star
17

voyager-verify

A CLI Verifier Package for Voyager
TypeScript
30
star
18

EVMYulLean

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

el-node-spec

Go
24
star
20

int256

A 256-bit integer implementation for .NET
C#
23
star
21

entro

Library Interacting with Blockchains
Python
23
star
22

hardhat-warp

A Hardhat plugin that uses Warp to bring Solidity contracts to StarkNet
TypeScript
19
star
23

general-agents-module

TypeScript
18
star
24

awesome-preconfirmations

18
star
25

starknet-contract-verifier

CLI to verify your starknet contracts classes on block explorers!
Rust
18
star
26

research-mnemonic

Shamir secret sharing for mnemonic lists
Python
16
star
27

Cairo-SafeMath

Python
16
star
28

verify-everything

Aims to create various ZK verifiers on Starknet for network growth
Cairo
14
star
29

optimized_ecc_cairo

Cairo implementation of operations over the elliptic curve BLS12-381
Cairo
14
star
30

cortex

.NET Core Ethereum 2.0
C#
13
star
31

Mpt-Instruct-DotNet-S

Training and Evaluation code for DotNet focused LLM (based on mosaicml/mpt-7b-instruct)
C#
13
star
32

Yul-Specification

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

starknet.unity

Starknet Unity SDK lets game developers to integrate Starknet blockchain functionality into their Unity projects with ease.
C#
12
star
34

zksync-remix-plugin

Remix plugin for zkSync
TypeScript
12
star
35

cairo_zstd

Cairo v1 port of a Zstandard decompressor (WIP)
Cairo
11
star
36

Mev-Searcher

C#
11
star
37

underhanded-cairo-contest

11
star
38

Taiko-Preconf-AVS

Rust
11
star
39

kzg-ceremony-client

C#
10
star
40

starknet-state-verifier

TypeScript
10
star
41

blink-extension

TypeScript
10
star
42

stwo-gpu

Rust
9
star
43

docs

Nethermind documentation
JavaScript
8
star
44

horus-compile

Cairo compiler plugin extending language with annotations
Python
8
star
45

0to1CairoDemo

Demo to upgrade your upgradeable cairo 0 proxy contract to cairo 1 via replace_class_syscall
Python
8
star
46

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
Cairo
7
star
47

ethtaipei-cairo1-workshop

6
star
48

cortex-cryptography-bls

Library wrapper for Eth 2.0 version of BLS signatures for .NET Core, using the Herumi library.
C#
6
star
49

near-sffl

Go
6
star
50

starknet-node-data-spec

Specification of network nodes data collection and sharing.
6
star
51

research

Jupyter Notebook
5
star
52

metrics-infrastructure

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

restaking-dashboard

Restaking Dashboard
JavaScript
5
star
54

rpc-request-builder

TypeScript
5
star
55

nethermind-encode-bootcamp

Python
4
star
56

eth-docker-compose

Set of docker-compose recipes for Eth2 networks
4
star
57

go-template

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

starknet-abi-form

Starknet ABI Form
TypeScript
4
star
59

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.
C#
3
star
60

research-mnemonic-public

Using Shamir's secret sharing to share mnemonic keys
Python
3
star
61

AA_bundler

Go
3
star
62

homebrew-sedge

Homebrew repository for Sedge
Ruby
3
star
63

voyager-translations

JavaScript
3
star
64

formalverification.xyz

A website listing all the best FV companies in the Crypto space.
TypeScript
3
star
65

terraform-nethermind

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

sign-in-with-starknet

Reference implementation to use Starknet accounts to sign in
TypeScript
2
star
67

kudu

C++
2
star
68

forta-staking-vault

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

validators-watcher

Simple validators balance watcher
Go
2
star
70

boost-builder

Go
2
star
71

validators-alerting-service

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

shutter-validator-registration

JavaScript
2
star
73

gas-benchmarks

Gas benchmark research repository
Python
2
star
74

posmoni

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

vmsToNotion

Go
2
star
76

CommitEd

Learn about various commitment schemes through visualisation
TypeScript
2
star
77

netherverse

Netherverse (Atlantis Team)
JavaScript
2
star
78

blst-bindings

C#
2
star
79

cairo-workshop

Cairo smart contract development workshop content
Cairo
2
star
80

starknet-worldcoin-bridge

A Worldcoin bridge for Starknet
Cairo
2
star
81

tsim

TypeScript
2
star
82

jrpc-interceptor

A tool to intercept json rpc requests and publish metrics like response time to Prometheus
Go
2
star
83

l2-finality

Tooling to provide real-time data and assess these risks across various L2s
TypeScript
2
star
84

starknet-abi

Python Abi Decoder for Starknet
Python
2
star
85

pwn-starknet

Cairo
2
star
86

eth1.0-specs

Specifications for the Ethereum 1.0. Tracking network upgrades.
Python
1
star
87

aura-validators-monitoring

Go
1
star
88

EOF-Header-Parser

a simple parser of EOF headers from Shanghai compatible bytecodes
C#
1
star
89

Atlantis-Repo

Team Atlantis main repository
1
star
90

warp-plugin

Cairo
1
star
91

vm-request-slack-bot

A slack bot for managing vm requests
Go
1
star
92

hardhat-warp-template

TypeScript
1
star
93

cortex-ssz

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

nethermind.launcher

JavaScript
1
star
95

optimistic-zk

Solidity
1
star
96

warp-build-action

1
star
97

secp256k1-bindings

C# bindings for the libsecp256k1 library
C#
1
star
98

docker-volumes-snapshotter

Go
1
star
99

IL-EVM

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

nethermind-plugins-guide

C#
1
star