Nethermind

nethermind

A robust execution client for Ethereum node operators.

juno

Starknet client implementation.

sedge

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

starknet.go

Golang Library for StarkNet/Cairo

StarknetByExample

A collection of examples of Cairo smart contracts for Starknet.

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.

Clear

Interactive formal verification tool for Yul programs

starknet-remix-plugin

A plugin that brings Starknet to Remix! 🐺 ⭐

EVMYulLean

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

rollup-geth

Fork of go-ethereum tailored for L2 Rollups

starknet-contract-verifier

CLI to verify your starknet contracts classes on block explorers!

surge-taiko-mono

A vanilla implementation of Taiko stack based rollup.

zksync-remix-plugin

Remix plugin for zkSync

docs

Nethermind documentation

pwn-starknet

starknet-p2p-tests

starkweb

Complete toolkit to build on the stark side of the web

surge-docs

Surge based rollup docomentation

eigenlayer-onchain-exporter

A tool to expose Prometheus metrics about EigenDA blob traffic.

cairo-plonk-verifier

Plonk Verifier in Cairo

core-scripts

idealis

Python Library for Typing, Parsing, and Interfacing with blockchain RPCs

pitchlake-coprocessor

Calculates properties of a range of blocks in risc 0 environment

preconfirm-devnet-package

A Kurtosis package that deploys a private, portable, and modular Ethereum devnet for preconfirm AVS

preconfirmations-economic-viability

raiko

Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.

simple-surge-node

Start your Surge node with a single command. 🌐

Surge

taiko-helm-charts

A set of Helm charts to run multiple components of the Ethereum and Taiko blockchain on Kubernetes.

w-sedge

Sedge Workshop Resources