Contract tooling

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.

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

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

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

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

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.

Lightweight web based Smart Contract IDE

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.

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.

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.

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.

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.

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

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

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.

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.

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

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.

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

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.

Solidity plugin for IntelliJ

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

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

A Prettier plugin for automatically formatting your Solidity code.

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

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.

Implementing TinyAlloc in Fe-lang for the EVM

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.

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.

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.

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.

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.

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

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.

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

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

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

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

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

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

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

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

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.

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 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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.