Builder resources

The smart contract development tool for Pythonistas, Data Scientists, and Security Professionals

Scaffold-ETH 2 is a Next.js plus Hardhat or Foundry starter with wallet hooks, hot contract reload, local faucet utilities, and extension modules for full-stack dapp deployment.

A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine.

ethPM is the immutable package manager to consume, distribute, or manage any EVM smart contract system.

Lightweight web based Smart Contract IDE

Moccasin is Cyfrin's Python-first workflow on Titanoboa for testing, fuzzing, and deploying Vyper written smart contracts.

Ethernaut CLI is a Hardhat-based command toolbox from EthernautDAO with optional AI helpers for common Ethereum tasks when you prefer terminals over GUIs.

opstack-kit scaffolds Superchain-aware frontends and scripts with bridging helpers, CustomGasToken flows, and OP Stack CLI tasks baked into the starter.

Hardhat is a development environment to build and deploy your Ethereum software

Foundry is a fast, portable Rust toolchain for Ethereum smart contract engineering that manages dependencies, compiles Solidity, runs fuzz and unit tests, deploys contracts, and drives scripted chain interaction from the terminal or Solidity automation scripts.

Kurtosis packages reproducible multi-service devnets so you can spin up realistic Ethereum or rollup stacks for integration tests faster than hand-maintained compose files.

CreateX is pcaversaccio's trustless universal deployer that wraps CREATE, CREATE2, and CREATE3-style flows so teams can launch contracts from predictable addresses without bespoke factory code.

Txtx turns the stress, pain and tears of Smart Contract Infrastructure management by introducing Crypto Infrastructure as Code. Runbooks are the blueprint for Engineering Excellence, setting the new standard for Web3 Infrastructures.

A hardhat plugin that provides gas usage analytics for smart contract test suites. It has dedicated support for OPStack chains, is a dependency in > 150k Github repos and is downloaded from NPM > 100k per week.

Hardhat plugin to deploy your smart contracts across multiple EVM chains with the same deterministic address. A total of 133 EVM chains are currently supported, including (almost) all OP-stack-powered chains.

A tool to get the most recent deployment from a given environment in foundry. This way, you can do scripting off previous deployments in solidity.

Create2Deployer is a minimal factory contract from pcaversaccio that wraps the CREATE2 opcode with safety checks so teams can deploy counterfactual contracts at deterministic addresses.

Redprint pairs a wizard-style playground with redprint-forge libraries so developers can experimentally compose OP Stack contract upgrades in Solidity with type-safe deployments, reusable tests, Safe-aware transaction scripting, and modular component wiring before changes graduate to production pipelines.

Cannon is a DevOps tool for protocols on Ethereum. It manages smart contract deployment and configuration for local development and live networks.

A 100% opensource CLI that goes along with building blocks of smart contract. This toolbox can reduce L2 gas cost by encoding calldata for dApps development to use as little bytes of calldata as possible.

Easily compare gas reports generated by Foundry automatically on each of your Pull Requests!

Fire up a personal Superchain environment to run tests, fork networks, and inspect state with complete control over how your rollup operates. The Ultimate Ethereum & Superchain Development Playground

This signer proxy lets OP Stack operators route sequencer, batcher, proposer, and challenger signing through AWS KMS or YubiHSM instead of raw private keys on disk.

OpenZeppelin Contracts are the go-to library for smart contract development.

Solidity is an object-oriented, high-level language for implementing smart contracts.

Pythonic Smart Contract Language for the EVM

Solidity-Oriented Development Tooling

Solady by Vectorized collects aggressively optimized Solidity snippets from Merkle proofs to compression helpers, wrapping careful inline assembly in approachable APIs so advanced developers can ship gas-efficient patterns while learning cutting-edge optimization techniques from a living reference library.

Fe is a Rust-inspired language targeting the EVM; today you can explore Fe v2's type system via CLI or editor tooling even while bytecode generation is still evolving.

Solhint is a Solidity linter you wire into editors or CI to enforce style rules and catch footgun patterns early.

Juan Blanco's VS Code Solidity extension adds syntax highlighting, compile commands, hover metadata, quick fixes, monorepo detection, optional Nethereum codegen, lint integration, and an LSP server.

WhatsABI recovers selectors, proxies, and partial ABIs from bytecode alone-use it in wallets, explorers, or local tools when verified source is missing but you still need calldata decoding.

PRBMath is a smart contract library that adds support for fixed-point types and advanced math functions like logarithms and exponentials in Solidity. Operating with 18-decimal numbers, PRBMath is at the same time gas efficient and user-friendly.

Solc-select is a command line utility for quickly installing and switching between Solidity compiler versions.

A Prettier plugin for automatically formatting your Solidity code.

State-of-the-art, highly opinionated, hyper-optimised, and secureVyper smart contract building blocks.

An onchain flexible and composable framework for creating, reusing, and customizing gatekeepers. Uses Policies and Checkers as core primitives for attribute-based access control with gas-efficient minimal proxy patterns and multi-stage validation.

Implementing TinyAlloc in Fe-lang for the EVM

The organizational graph protocol: encode your organization's roles, agents, and permissions into a programmable graph with Hats Protocol

Solmate is a modern, opinionated collection of gas-optimized Solidity building blocks and utilities for smart contract development.

A gas-efficient Solidity compiler for Ethereum powered by LLVM from the ZKsync team and collaborators. Works as a drop-in replacement for solc in workflows like Foundry and Hardhat.

EvmTools bundles browser and extension utilities-decoders, merkle helpers, converters, and similar small tools-for day-to-day smart contract debugging in one place.

Solidity Bytes Utils is a classic library for concatenating, slicing, and casting dynamic bytes arrays in Solidity memory or storage-long maintained and widely forked across major protocols.

Rustic programming language that targets EVM

HTTP Library for Solidity based on curl

VSCode Solidity Inspector bundles practical Solidity utilities in VS Code: storage layout views, import hygiene hints, Foundry deployment summaries, Bulloak test stubs, remappings-aware imports, and code-size hints.

Diamondscaffold is a CLI tool designed to scaffold EIP-2535 diamond projects with an opinionated layout and scripts, making it faster to stand up modular upgradeable proxies.

Solidity plugin for IntelliJ

These libraries package Derive-tuned Black-Scholes pricing and risk math in Go and Rust so onchain risk modules can reuse heavily optimized implementations tied to Derive's margin stack.

Blazingly fast, modular Solidity compiler written in Rust by Paradigm. Designed as a contributor-friendly compiler stack for faster builds and better diagnostics.

ZK Email provides circuits and SDKs for proving facts about redacted email transcripts onchain. Useful when you want privacy-preserving identity or receipt checks without doxxing inboxes.

Self Protocol provides open identity and proof primitives builders can embed when they need privacy-preserving verification flows tied to wallets or credentials.

zkTLS / TLSNotary is an open protocol for proving properties of TLS sessions with MPC so verifiers can trust transcripts without seeing full plaintext.

Tools for building privacy-preserving applications using Indian government Aadhaar ID cards. Provides ZK circuits, TypeScript, Solidity, and React libraries to enable Aadhaar holders to prove residency without revealing personal data.

Aztec is a privacy-first Ethereum rollup and developer platform for building applications with programmable privacy and zero-knowledge proofs.

Circom is a domain-specific language and compiler for writing and compiling arithmetic circuits used in zero-knowledge proof systems.

A PSE research project enabling the use of the Circom language to develop MPC applications. Compiled arithmetic and boolean MPC circuits using Circom with MP-SPDZ backend integration for machine learning applications.

PSE's re-architected fork of Zcash's Halo2 PLONK proof system, featuring a KZG backend with Solidity verifier for economical L1 verification, support for multiple elliptic curves, and decoupled frontend/backend architecture.

MACI (Minimal Anti-Collusion Infrastructure) uses zero-knowledge proofs to enable collusion-resistant, private voting and signaling systems on Ethereum.

A toolkit that makes client-side zero-knowledge proving on mobile simple. Connects ZK proof systems (Halo2, Circom) to generate iOS, Android, and browser bindings, leveraging mobile GPU for improved performance.

A safe, performant, modular, and portable Multi-Party Computation (MPC) library in Rust. Supports native and WebAssembly execution. Powers TLSNotary's cryptographic infrastructure and is used across privacy-focused projects.

Noir is a Rust-inspired language for writing zero-knowledge circuits with a developer-friendly syntax and tooling maintained by Aztec.

A toolkit for Groth16 Phase 2 Trusted Setup ceremonies. Helps developers create and manage trusted setups for ZK applications, with a companion webapp (DefinitelySetup) for monitoring and participation.

An ongoing (since 2019) zk-SNARK trusted setup ceremony for circuits up to 2^28 constraints, generating 530M+ powers of tau. A multi-party ceremony where security holds as long as one participant is honest.

The second generation of cryptographic Provable Object Datatypes (PODs). Enables flexible computation across data through custom predicates and recursive operations. Developed by 0xPARC in collaboration with PSE.

Railgun is a privacy protocol for Ethereum and EVM networks that provides shielded transactions and private DeFi interactions with zero-knowledge proofs.

Semaphore is a zero-knowledge protocol for private group membership proofs, enabling anonymous signaling and authentication without revealing identity.

snarkjs is a JavaScript and CLI toolkit for generating and verifying zkSNARK proofs, and for running common proving workflows in Node.js and the browser.

A modular folding library supporting multiple folding schemes (Nova, HyperNova, ProtoGalaxy, CycleFold) and decider backends (Groth16, KZG) for Incremental Verifiable Computation. Supports Arkworks, Circom, Noir, and Noname frontends.

Generates recursive zkVM proofs verifying that Unified Binary Trie (UBT) and Merkle Patricia Trie state updates match per Ethereum block. Enables trustless state verification for light clients and private information retrieval.

Enabling pseudonymous systems for Web2 identities using verifiable Oblivious PseudoRandom Functions. Allows email and social accounts to generate private nullifiers for anonymous voting, private forums, and confidential airdrops.

A PSE initiative advancing privacy-preserving digital identity by drafting technical standards, building open-source ZK infrastructure, and collaborating with governments. Working on EU EUDI Wallet integration and ZKP Wallet Unit.

ZoKrates is a toolbox for zkSNARKs on Ethereum, offering a DSL, compiler, and utilities for trusted setup, proof generation, and verifier integration.

Private identity verification using zero-knowledge proofs. Verify age, country, or proof of personhood without revealing any personal information. Mobile-first design with SDK for integration and onchain registry contracts.

A monorepo of reusable zero-knowledge libraries across multiple languages (JavaScript, Solidity, Rust, Noir), offering well-tested implementations of cryptographic primitives like Merkle trees, Poseidon hash, and more.

CodeTracer is a user-friendly time-traveling debugger designed to support a wide range of web3 programming languages.

Simbolik is a powerful Solidity debugger that combines traditional breakpoint debugging with symbolic execution, enabling developers to explore every possible execution path and uncover vulnerabilities with precision. Available as a VSCode extension, Simbolik integrates seamlessly into existing workflows, offering breakpoint-style debugging, Solidity and EVM-level inspection, and formal verification capabilities.

Web-based transaction debugger and simulator for the EVM. Open-source and self-hostable. Inspect variable states at every step, simulate transactions before deploying, and profile gas usage. Supports any RPC provider.

Abi Ninja is a browser UI for calling contracts with known ABIs, pasted ABIs, or decompiled bytecode, with proxy-aware reads across many networks including your locally running Hardhat or Anvil node.

a simple cli tool to load a contract code up in your IDE instantly.

Super easy interactive shell for interacting with smart contracts

viem-tracer augments a Viem client so failed ethestimateGas and ethsendTransaction calls automatically include human-readable trace output decoded with sourcify.dev, and it adds typed helpers around debug_traceCall so developers can inspect execution without leaving their existing RPC stack.

EDB is a source-level debugger for Solidity execution with stepping, locals, watches, and breakpoints when you need IDE-grade visibility into contract behavior onchain or in tests.

forge-stack-tracer pipes verbose Foundry test output through Swiss-Knife decoding so failing tests return interactive stack traces instead of opaque hex.

Chimera is a framework to write Solidity tests in foundry and be able to reuse them with other Open Source Tools such as Echidna, Medusa, Halmos and Kontrol

Slither is Trail of Bits' Python static analysis engine for Solidity and Vyper: run it in CI to fire detectors, print structural views of contracts, or script custom checks over whole codebases.

Synpress layers Playwright with Ethereum-aware browser automation so you can end-to-end test dapps, including wallet popups and chain switches, in CI.

Aderyn is Cyfrin's open-source, Rust-based solidity smart contract static analyzer designed to help protocol engineers and security researchers find vulnerabilities in Solidity code bases

Titanoboa is an interactive Vyper interpreter and test harness for fast feedback loops when you are experimenting with contracts outside a full Foundry loop.

Medusa is a stateful smart contract fuzzer inspired by Echidna. It provides parallelized fuzz testing of smart contracts and the verification of advanced smart contract invariants.

solidity-coverage provides smart-contract code coverage for the Hardhat developer platform. It's highly accurate, supports full viaIR solidity compilation and a large set of solidity-specific code branch patterns. It's installed on ~230k Github projects and is downloaded ~100k times a week from NPM.

hevm is an open source, state-of-the art, fast symbolic and concrete EVM execution engine that can find issues in smart contracts. Through its symbolic execution and analysis system, hevm can symbolically, semi-concretely, or concretely execute contracts to find bugs, or compare two different contracts for discrepancies, performing equivalence checking.

Wallet Test Framework is an automated suite that walks core wallet flows-transfers, balance reads, basic dapp interactions-so teams can regression-test shared UX expectations in CI.

Crytic-Properties is a suite of re-usable security tests for some of the most widely used token standards such as ERC20, ERC721, ERC4626, and more.

A smart contract test generator based on the Branching Tree Technique.

Solidity/EVM smart contract security auditor with 104 vulnerability patterns and 8 analysis tools. Achieves 100% on CTF and EVMBench benchmarks (120/120). Static analysis for detecting vulnerabilities in smart contracts.

ERCx is a comprehensive open-source testing library for ERC token standards, featuring over 500 individual tests across ERC-20, ERC-721, ERC-1155, and ERC-4626 implementations.

foundry-storage-check is a GitHub Action for Foundry projects that runs on every pull request to ensure upgradeable proxy storage layouts stay collision-safe and that newly appended storage slots are zero-initialized onchain before merges ship.

blocksmith.js is a thin JavaScript harness around forge and anvil for scripting multi-chain or multi-instance Foundry tests when a single local EVM is not enough.

KEVM is the K-framework executable semantics of the EVM: point it at bytecode when you need conformance-checked execution, symbolic exploration, gas reasoning, or proofs that track Ethereum's rules closely.

Kontrol lifts Foundry property tests into KEVM-backed proofs so you can chase formal guarantees with less hand-written specification work than raw KEVM alone.

Act is Ethereum's declarative specification language and toolchain for describing all behaviors of an EVM program so SMT solvers, theorem provers, or economic analysis tools can reason about bytecode-level correctness and incentive compatibility, including automatic refinement proofs against concrete implementations.

hax is a tool for high assurance translations of a large subset of Rust into formal languages such as F* or Rocq.

Verifereum connects Ethereum smart contracts to HOL4-backed theorem proving so you can aim at very strong correctness claims when automated SMT approaches are not enough.

Lightweight, modular, reactive Java and Android library for Ethereum. JSON-RPC client API, wallet support, and auto-generated Solidity contract wrappers for deployment and interaction. Includes CLI, Maven/Gradle plugins, and ENS support.

web3.py is the open source library that connects Python developers to Ethereum. The same team maintains more than a dozen additional building blocks including py-evm, eth-account, and eth-utils.

noble cryptography is a family of minimal-dependency TypeScript cryptographic libraries that prioritize readable source, signed releases, and transparent npm builds, and they underpin most modern JavaScript wallets including MetaMask, Rabby, Rainbow, and many SDKs across the ecosystem.

Ethers.js is a compact TypeScript library for scripts, wallets, and services that need predictable JSON-RPC, ABI encoding, and signing helpers in Node or the browser.

Viem is the most used modern TypeScript Interface for Ethereum. Viem provides robust, performant, and type-safe modules to be the foundation for building Web Applications, TypeScript Libraries, Wallets, Backends, Indexers, Scripts, and more, on top of Ethereum.

Nethereum is the .Net integration library for Ethereum, simplifying the access and smart contract interaction with Ethereum nodes both public like Geth (or your preferred client) L2 chains like Optimism, Arbitrum (or your preferred L2), any compatible EVM chain (Gnosis, etc) and permissioned chains like Quorum.

rust-libp2p is the reference Rust implementation of libp2p's modular peer-to-peer stack used by Magi on the OP Stack, Lighthouse, Forest, and many other projects that need composable transports, security, pubsub, and discovery primitives for decentralized networking.

Revm is a critical component in the Ethereum ecosystem used by builders, toolings, clients and chains.

A JavaScript library to construct Merkle Trees and verify proofs.

Ethereum library for the Ruby language

Multicaller from Vectorized is a collection of gas-optimized multicall-style contracts that batch arbitrary external calls while preserving the original msg.sender context for each callee, making complex router or aggregator flows cheaper and safer on EVM chains.

Tor protocol embedded in JavaScript powered by Arti (official Tor in Rust) for anonymous networking in web environments. An npm module enabling fetch operations through the Tor network with Snowflake bridge support.

Voltaire is a modern general-purpose Ethereum library for TypeScript, Zig, C, and