Discover NethermindEth/starknet-state-verifier Open Source project

Starknet client implementation.

753

juno

315

starknet.go

Golang Library for StarkNet/Cairo

144

sedge

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

121

StarknetByExample

A collection of examples of Cairo smart contracts for Starknet.

110

Forta-Agents

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

Paprika

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.

Haskell

starknet-remix-plugin

A plugin that brings Starknet to Remix! 🐺 ⭐

Interactive formal verification tool for Yul programs

Clear

Lean

PublicAuditReports

Public reports of audits performed by Nethermind Security

UniStark

Using HardhatWarp for testing

HTML

eigenlayer

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

voyager-verify

A CLI Verifier Package for Voyager

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

EVMYulLean

Lean

el-node-spec

int256

A 256-bit integer implementation for .NET

entro

Library Interacting with Blockchains

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

hardhat-warp

general-agents-module

CLI to verify your starknet contracts classes on block explorers!

awesome-preconfirmations

starknet-contract-verifier

Rust

research-mnemonic

Shamir secret sharing for mnemonic lists

Cairo-SafeMath

Aims to create various ZK verifiers on Starknet for network growth

verify-everything

Cairo implementation of operations over the elliptic curve BLS12-381

optimized_ecc_cairo

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

cortex

.NET Core Ethereum 2.0

Mpt-Instruct-DotNet-S

Yul-Specification

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

Lean

zksync-remix-plugin

Remix plugin for zkSync

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

starknet.unity

Taiko-Preconf-AVS

Rust

cairo_zstd

Cairo v1 port of a Zstandard decompressor (WIP)

Mev-Searcher

underhanded-cairo-contest

stwo-gpu

Rust

kzg-ceremony-client

blink-extension

docs

Nethermind documentation

Cairo compiler plugin extending language with annotations

horus-compile

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

0to1CairoDemo

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

research-basic-Cairo-operations-big-integers

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

ethtaipei-cairo1-workshop

cortex-cryptography-bls

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

Set of docker-compose recipes for Eth2 networks

eth-docker-compose

go-template

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

Makefile

starknet-abi-form

Starknet ABI Form

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.

nethermind-node-tests

research-mnemonic-public

Using Shamir's secret sharing to share mnemonic keys

Homebrew repository for Sedge

AA_bundler

homebrew-sedge

Ruby

voyager-translations

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

formalverification.xyz

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

terraform-nethermind

HCL

sign-in-with-starknet

Reference implementation to use Starknet accounts to sign in

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

kudu

C++

forta-staking-vault

Solidity

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 benchmark research repository

gas-benchmarks

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

posmoni

vmsToNotion

CommitEd

Learn about various commitment schemes through visualisation

Netherverse (Atlantis Team)

netherverse

Cairo smart contract development workshop content

blst-bindings

cairo-workshop

A Worldcoin bridge for Starknet

starknet-worldcoin-bridge

tsim

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

jrpc-interceptor

l2-finality

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

Python Abi Decoder for Starknet

starknet-abi

pwn-starknet

a simple parser of EOF headers from Shanghai compatible bytecodes

aura-validators-monitoring

EOF-Header-Parser

Atlantis-Repo

Team Atlantis main repository

warp-plugin

A slack bot for managing vm requests

vm-request-slack-bot

hardhat-warp-template

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

cortex-ssz

nethermind.launcher